{"version":3,"sources":["https://lively-kernel.org/lively4/lively4-function-completion/src/babylonian-programming-editor/annotations/replacement.js"],"names":["ReplacementWidget","InputAnnotation","Replacement","constructor","editor","location","changeCallback","deleteCallback","_widget","kind","_changeCallback","_deleteCallback","id","serializeForWorker","Object","assign","locationAsKey","value","serializeForSave","load","serialized"],"mappings":";;;;;;AAAOA,uB;;AACAC,qB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAGQ,YAAMC,WAAN,SAA0BD,eAA1B,CAA0C;AACvDE,oBAAYC,MAAZ,EAAoBC,QAApB,EAA8BC,cAA9B,EAA8CC,cAA9C,EAA8D;AAC5D,gBAAMH,MAAN,EAAcC,QAAd,EAAwBC,cAAxB,EAAwCC,cAAxC;AACA,eAAKC,OAAL,GAAe,IAAIR,iBAAJ,CAAsBI,MAAtB,EAA8BC,QAA9B,EAAwC,KAAKI,IAA7C,EAAmD,KAAKC,eAAxD,EAAyE,KAAKC,eAA9E,CAAf;AACD;;AAED,YAAIC,EAAJ,GAAS;AACP,iBAAO,KAAKJ,OAAL,CAAaI,EAApB;AACD;;AAEDC,6BAAqB;AACnB,iBAAOC,OAAOC,MAAP,CAAc,MAAMF,kBAAN,EAAd,EAA0C;AAC/CD,gBAAI,KAAKA,EADsC;AAE/CP,sBAAU,KAAKW,aAFgC;AAG/CC,mBAAO,KAAKT,OAAL,CAAaS;AAH2B,WAA1C,CAAP;AAKD;;AAEDC,2BAAmB;AACjB,iBAAO,KAAKL,kBAAL,EAAP;AACD;;AAEDM,aAAKC,UAAL,EAAiB;AACf,eAAKZ,OAAL,CAAaI,EAAb,GAAkBQ,WAAWR,EAA7B;AACA,eAAKJ,OAAL,CAAaS,KAAb,GAAqBG,WAAWH,KAAhC;AACD;AAzBsD;;yBAApCf,W","file":"replacement.js","sourcesContent":["import ReplacementWidget from \"../ui/replacement-widget.js\";\nimport InputAnnotation from \"./input-annotation.js\";\n\n\nexport default class Replacement extends InputAnnotation {\n  constructor(editor, location, changeCallback, deleteCallback) {\n    super(editor, location, changeCallback, deleteCallback);\n    this._widget = new ReplacementWidget(editor, location, this.kind, this._changeCallback, this._deleteCallback);\n  }\n  \n  get id() {\n    return this._widget.id;\n  }\n\n  serializeForWorker() {\n    return Object.assign(super.serializeForWorker(), {\n      id: this.id,\n      location: this.locationAsKey,\n      value: this._widget.value\n    });\n  }\n  \n  serializeForSave() {\n    return this.serializeForWorker();\n  }\n  \n  load(serialized) {\n    this._widget.id = serialized.id;\n    this._widget.value = serialized.value;\n  }\n}"]}