| 1 |
- {"ast":null,"code":"\"use strict\";\n\nvar __extends = this && this.__extends || function () {\n var extendStatics = function (d, b) {\n extendStatics = Object.setPrototypeOf || {\n __proto__: []\n } instanceof Array && function (d, b) {\n d.__proto__ = b;\n } || function (d, b) {\n for (var p in b) if (Object.prototype.hasOwnProperty.call(b, p)) d[p] = b[p];\n };\n return extendStatics(d, b);\n };\n return function (d, b) {\n if (typeof b !== \"function\" && b !== null) throw new TypeError(\"Class extends value \" + String(b) + \" is not a constructor or null\");\n extendStatics(d, b);\n function __() {\n this.constructor = d;\n }\n d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());\n };\n}();\nvar __createBinding = this && this.__createBinding || (Object.create ? function (o, m, k, k2) {\n if (k2 === undefined) k2 = k;\n var desc = Object.getOwnPropertyDescriptor(m, k);\n if (!desc || (\"get\" in desc ? !m.__esModule : desc.writable || desc.configurable)) {\n desc = {\n enumerable: true,\n get: function () {\n return m[k];\n }\n };\n }\n Object.defineProperty(o, k2, desc);\n} : function (o, m, k, k2) {\n if (k2 === undefined) k2 = k;\n o[k2] = m[k];\n});\nvar __setModuleDefault = this && this.__setModuleDefault || (Object.create ? function (o, v) {\n Object.defineProperty(o, \"default\", {\n enumerable: true,\n value: v\n });\n} : function (o, v) {\n o[\"default\"] = v;\n});\nvar __importStar = this && this.__importStar || function (mod) {\n if (mod && mod.__esModule) return mod;\n var result = {};\n if (mod != null) for (var k in mod) if (k !== \"default\" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);\n __setModuleDefault(result, mod);\n return result;\n};\nvar __importDefault = this && this.__importDefault || function (mod) {\n return mod && mod.__esModule ? mod : {\n \"default\": mod\n };\n};\nObject.defineProperty(exports, \"__esModule\", {\n value: true\n});\nexports.ProofTreeItem = void 0;\nvar TexError_js_1 = __importDefault(require(\"../TexError.js\"));\nvar StackItem_js_1 = require(\"../StackItem.js\");\nvar Stack_js_1 = __importDefault(require(\"../Stack.js\"));\nvar BussproofsUtil = __importStar(require(\"./BussproofsUtil.js\"));\nvar ProofTreeItem = function (_super) {\n __extends(ProofTreeItem, _super);\n function ProofTreeItem() {\n var _this = _super !== null && _super.apply(this, arguments) || this;\n _this.leftLabel = null;\n _this.rigthLabel = null;\n _this.innerStack = new Stack_js_1.default(_this.factory, {}, true);\n return _this;\n }\n Object.defineProperty(ProofTreeItem.prototype, \"kind\", {\n get: function () {\n return 'proofTree';\n },\n enumerable: false,\n configurable: true\n });\n ProofTreeItem.prototype.checkItem = function (item) {\n if (item.isKind('end') && item.getName() === 'prooftree') {\n var node = this.toMml();\n BussproofsUtil.setProperty(node, 'proof', true);\n return [[this.factory.create('mml', node), item], true];\n }\n if (item.isKind('stop')) {\n throw new TexError_js_1.default('EnvMissingEnd', 'Missing \\\\end{%1}', this.getName());\n }\n this.innerStack.Push(item);\n return StackItem_js_1.BaseItem.fail;\n };\n ProofTreeItem.prototype.toMml = function () {\n var tree = _super.prototype.toMml.call(this);\n var start = this.innerStack.Top();\n if (start.isKind('start') && !start.Size()) {\n return tree;\n }\n this.innerStack.Push(this.factory.create('stop'));\n var prefix = this.innerStack.Top().toMml();\n return this.create('node', 'mrow', [prefix, tree], {});\n };\n return ProofTreeItem;\n}(StackItem_js_1.BaseItem);\nexports.ProofTreeItem = ProofTreeItem;","map":{"version":3,"names":["__extends","extendStatics","d","b","Object","setPrototypeOf","__proto__","Array","p","prototype","hasOwnProperty","call","TypeError","String","__","constructor","create","__createBinding","o","m","k","k2","undefined","desc","getOwnPropertyDescriptor","__esModule","writable","configurable","enumerable","get","defineProperty","__setModuleDefault","v","value","__importStar","mod","result","__importDefault","exports","ProofTreeItem","TexError_js_1","require","StackItem_js_1","Stack_js_1","BussproofsUtil","_super","_this","apply","arguments","leftLabel","rigthLabel","innerStack","default","factory","checkItem","item","isKind","getName","node","toMml","setProperty","Push","BaseItem","fail","tree","start","Top","Size","prefix"],"sources":["F:/workspace/202226701027/huinongbao-app/node_modules/mathjax-full/js/input/tex/bussproofs/BussproofsItems.js"],"sourcesContent":["\"use strict\";\nvar __extends = (this && this.__extends) || (function () {\n var extendStatics = function (d, b) {\n extendStatics = Object.setPrototypeOf ||\n ({ __proto__: [] } instanceof Array && function (d, b) { d.__proto__ = b; }) ||\n function (d, b) { for (var p in b) if (Object.prototype.hasOwnProperty.call(b, p)) d[p] = b[p]; };\n return extendStatics(d, b);\n };\n return function (d, b) {\n if (typeof b !== \"function\" && b !== null)\n throw new TypeError(\"Class extends value \" + String(b) + \" is not a constructor or null\");\n extendStatics(d, b);\n function __() { this.constructor = d; }\n d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());\n };\n})();\nvar __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {\n if (k2 === undefined) k2 = k;\n var desc = Object.getOwnPropertyDescriptor(m, k);\n if (!desc || (\"get\" in desc ? !m.__esModule : desc.writable || desc.configurable)) {\n desc = { enumerable: true, get: function() { return m[k]; } };\n }\n Object.defineProperty(o, k2, desc);\n}) : (function(o, m, k, k2) {\n if (k2 === undefined) k2 = k;\n o[k2] = m[k];\n}));\nvar __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {\n Object.defineProperty(o, \"default\", { enumerable: true, value: v });\n}) : function(o, v) {\n o[\"default\"] = v;\n});\nvar __importStar = (this && this.__importStar) || function (mod) {\n if (mod && mod.__esModule) return mod;\n var result = {};\n if (mod != null) for (var k in mod) if (k !== \"default\" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);\n __setModuleDefault(result, mod);\n return result;\n};\nvar __importDefault = (this && this.__importDefault) || function (mod) {\n return (mod && mod.__esModule) ? mod : { \"default\": mod };\n};\nObject.defineProperty(exports, \"__esModule\", { value: true });\nexports.ProofTreeItem = void 0;\nvar TexError_js_1 = __importDefault(require(\"../TexError.js\"));\nvar StackItem_js_1 = require(\"../StackItem.js\");\nvar Stack_js_1 = __importDefault(require(\"../Stack.js\"));\nvar BussproofsUtil = __importStar(require(\"./BussproofsUtil.js\"));\nvar ProofTreeItem = (function (_super) {\n __extends(ProofTreeItem, _super);\n function ProofTreeItem() {\n var _this = _super !== null && _super.apply(this, arguments) || this;\n _this.leftLabel = null;\n _this.rigthLabel = null;\n _this.innerStack = new Stack_js_1.default(_this.factory, {}, true);\n return _this;\n }\n Object.defineProperty(ProofTreeItem.prototype, \"kind\", {\n get: function () {\n return 'proofTree';\n },\n enumerable: false,\n configurable: true\n });\n ProofTreeItem.prototype.checkItem = function (item) {\n if (item.isKind('end') && item.getName() === 'prooftree') {\n var node = this.toMml();\n BussproofsUtil.setProperty(node, 'proof', true);\n return [[this.factory.create('mml', node), item], true];\n }\n if (item.isKind('stop')) {\n throw new TexError_js_1.default('EnvMissingEnd', 'Missing \\\\end{%1}', this.getName());\n }\n this.innerStack.Push(item);\n return StackItem_js_1.BaseItem.fail;\n };\n ProofTreeItem.prototype.toMml = function () {\n var tree = _super.prototype.toMml.call(this);\n var start = this.innerStack.Top();\n if (start.isKind('start') && !start.Size()) {\n return tree;\n }\n this.innerStack.Push(this.factory.create('stop'));\n var prefix = this.innerStack.Top().toMml();\n return this.create('node', 'mrow', [prefix, tree], {});\n };\n return ProofTreeItem;\n}(StackItem_js_1.BaseItem));\nexports.ProofTreeItem = ProofTreeItem;\n"],"mappings":"AAAA,YAAY;;AACZ,IAAIA,SAAS,GAAI,IAAI,IAAI,IAAI,CAACA,SAAS,IAAM,YAAY;EACrD,IAAIC,aAAa,GAAG,SAAAA,CAAUC,CAAC,EAAEC,CAAC,EAAE;IAChCF,aAAa,GAAGG,MAAM,CAACC,cAAc,IAChC;MAAEC,SAAS,EAAE;IAAG,CAAC,YAAYC,KAAK,IAAI,UAAUL,CAAC,EAAEC,CAAC,EAAE;MAAED,CAAC,CAACI,SAAS,GAAGH,CAAC;IAAE,CAAE,IAC5E,UAAUD,CAAC,EAAEC,CAAC,EAAE;MAAE,KAAK,IAAIK,CAAC,IAAIL,CAAC,EAAE,IAAIC,MAAM,CAACK,SAAS,CAACC,cAAc,CAACC,IAAI,CAACR,CAAC,EAAEK,CAAC,CAAC,EAAEN,CAAC,CAACM,CAAC,CAAC,GAAGL,CAAC,CAACK,CAAC,CAAC;IAAE,CAAC;IACrG,OAAOP,aAAa,CAACC,CAAC,EAAEC,CAAC,CAAC;EAC9B,CAAC;EACD,OAAO,UAAUD,CAAC,EAAEC,CAAC,EAAE;IACnB,IAAI,OAAOA,CAAC,KAAK,UAAU,IAAIA,CAAC,KAAK,IAAI,EACrC,MAAM,IAAIS,SAAS,CAAC,sBAAsB,GAAGC,MAAM,CAACV,CAAC,CAAC,GAAG,+BAA+B,CAAC;IAC7FF,aAAa,CAACC,CAAC,EAAEC,CAAC,CAAC;IACnB,SAASW,EAAEA,CAAA,EAAG;MAAE,IAAI,CAACC,WAAW,GAAGb,CAAC;IAAE;IACtCA,CAAC,CAACO,SAAS,GAAGN,CAAC,KAAK,IAAI,GAAGC,MAAM,CAACY,MAAM,CAACb,CAAC,CAAC,IAAIW,EAAE,CAACL,SAAS,GAAGN,CAAC,CAACM,SAAS,EAAE,IAAIK,EAAE,CAAC,CAAC,CAAC;EACxF,CAAC;AACL,CAAC,CAAE,CAAC;AACJ,IAAIG,eAAe,GAAI,IAAI,IAAI,IAAI,CAACA,eAAe,KAAMb,MAAM,CAACY,MAAM,GAAI,UAASE,CAAC,EAAEC,CAAC,EAAEC,CAAC,EAAEC,EAAE,EAAE;EAC5F,IAAIA,EAAE,KAAKC,SAAS,EAAED,EAAE,GAAGD,CAAC;EAC5B,IAAIG,IAAI,GAAGnB,MAAM,CAACoB,wBAAwB,CAACL,CAAC,EAAEC,CAAC,CAAC;EAChD,IAAI,CAACG,IAAI,KAAK,KAAK,IAAIA,IAAI,GAAG,CAACJ,CAAC,CAACM,UAAU,GAAGF,IAAI,CAACG,QAAQ,IAAIH,IAAI,CAACI,YAAY,CAAC,EAAE;IACjFJ,IAAI,GAAG;MAAEK,UAAU,EAAE,IAAI;MAAEC,GAAG,EAAE,SAAAA,CAAA,EAAW;QAAE,OAAOV,CAAC,CAACC,CAAC,CAAC;MAAE;IAAE,CAAC;EAC/D;EACAhB,MAAM,CAAC0B,cAAc,CAACZ,CAAC,EAAEG,EAAE,EAAEE,IAAI,CAAC;AACtC,CAAC,GAAK,UAASL,CAAC,EAAEC,CAAC,EAAEC,CAAC,EAAEC,EAAE,EAAE;EACxB,IAAIA,EAAE,KAAKC,SAAS,EAAED,EAAE,GAAGD,CAAC;EAC5BF,CAAC,CAACG,EAAE,CAAC,GAAGF,CAAC,CAACC,CAAC,CAAC;AAChB,CAAE,CAAC;AACH,IAAIW,kBAAkB,GAAI,IAAI,IAAI,IAAI,CAACA,kBAAkB,KAAM3B,MAAM,CAACY,MAAM,GAAI,UAASE,CAAC,EAAEc,CAAC,EAAE;EAC3F5B,MAAM,CAAC0B,cAAc,CAACZ,CAAC,EAAE,SAAS,EAAE;IAAEU,UAAU,EAAE,IAAI;IAAEK,KAAK,EAAED;EAAE,CAAC,CAAC;AACvE,CAAC,GAAI,UAASd,CAAC,EAAEc,CAAC,EAAE;EAChBd,CAAC,CAAC,SAAS,CAAC,GAAGc,CAAC;AACpB,CAAC,CAAC;AACF,IAAIE,YAAY,GAAI,IAAI,IAAI,IAAI,CAACA,YAAY,IAAK,UAAUC,GAAG,EAAE;EAC7D,IAAIA,GAAG,IAAIA,GAAG,CAACV,UAAU,EAAE,OAAOU,GAAG;EACrC,IAAIC,MAAM,GAAG,CAAC,CAAC;EACf,IAAID,GAAG,IAAI,IAAI,EAAE,KAAK,IAAIf,CAAC,IAAIe,GAAG,EAAE,IAAIf,CAAC,KAAK,SAAS,IAAIhB,MAAM,CAACK,SAAS,CAACC,cAAc,CAACC,IAAI,CAACwB,GAAG,EAAEf,CAAC,CAAC,EAAEH,eAAe,CAACmB,MAAM,EAAED,GAAG,EAAEf,CAAC,CAAC;EACxIW,kBAAkB,CAACK,MAAM,EAAED,GAAG,CAAC;EAC/B,OAAOC,MAAM;AACjB,CAAC;AACD,IAAIC,eAAe,GAAI,IAAI,IAAI,IAAI,CAACA,eAAe,IAAK,UAAUF,GAAG,EAAE;EACnE,OAAQA,GAAG,IAAIA,GAAG,CAACV,UAAU,GAAIU,GAAG,GAAG;IAAE,SAAS,EAAEA;EAAI,CAAC;AAC7D,CAAC;AACD/B,MAAM,CAAC0B,cAAc,CAACQ,OAAO,EAAE,YAAY,EAAE;EAAEL,KAAK,EAAE;AAAK,CAAC,CAAC;AAC7DK,OAAO,CAACC,aAAa,GAAG,KAAK,CAAC;AAC9B,IAAIC,aAAa,GAAGH,eAAe,CAACI,OAAO,CAAC,gBAAgB,CAAC,CAAC;AAC9D,IAAIC,cAAc,GAAGD,OAAO,CAAC,iBAAiB,CAAC;AAC/C,IAAIE,UAAU,GAAGN,eAAe,CAACI,OAAO,CAAC,aAAa,CAAC,CAAC;AACxD,IAAIG,cAAc,GAAGV,YAAY,CAACO,OAAO,CAAC,qBAAqB,CAAC,CAAC;AACjE,IAAIF,aAAa,GAAI,UAAUM,MAAM,EAAE;EACnC7C,SAAS,CAACuC,aAAa,EAAEM,MAAM,CAAC;EAChC,SAASN,aAAaA,CAAA,EAAG;IACrB,IAAIO,KAAK,GAAGD,MAAM,KAAK,IAAI,IAAIA,MAAM,CAACE,KAAK,CAAC,IAAI,EAAEC,SAAS,CAAC,IAAI,IAAI;IACpEF,KAAK,CAACG,SAAS,GAAG,IAAI;IACtBH,KAAK,CAACI,UAAU,GAAG,IAAI;IACvBJ,KAAK,CAACK,UAAU,GAAG,IAAIR,UAAU,CAACS,OAAO,CAACN,KAAK,CAACO,OAAO,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC;IAClE,OAAOP,KAAK;EAChB;EACA1C,MAAM,CAAC0B,cAAc,CAACS,aAAa,CAAC9B,SAAS,EAAE,MAAM,EAAE;IACnDoB,GAAG,EAAE,SAAAA,CAAA,EAAY;MACb,OAAO,WAAW;IACtB,CAAC;IACDD,UAAU,EAAE,KAAK;IACjBD,YAAY,EAAE;EAClB,CAAC,CAAC;EACFY,aAAa,CAAC9B,SAAS,CAAC6C,SAAS,GAAG,UAAUC,IAAI,EAAE;IAChD,IAAIA,IAAI,CAACC,MAAM,CAAC,KAAK,CAAC,IAAID,IAAI,CAACE,OAAO,CAAC,CAAC,KAAK,WAAW,EAAE;MACtD,IAAIC,IAAI,GAAG,IAAI,CAACC,KAAK,CAAC,CAAC;MACvBf,cAAc,CAACgB,WAAW,CAACF,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC;MAC/C,OAAO,CAAC,CAAC,IAAI,CAACL,OAAO,CAACrC,MAAM,CAAC,KAAK,EAAE0C,IAAI,CAAC,EAAEH,IAAI,CAAC,EAAE,IAAI,CAAC;IAC3D;IACA,IAAIA,IAAI,CAACC,MAAM,CAAC,MAAM,CAAC,EAAE;MACrB,MAAM,IAAIhB,aAAa,CAACY,OAAO,CAAC,eAAe,EAAE,mBAAmB,EAAE,IAAI,CAACK,OAAO,CAAC,CAAC,CAAC;IACzF;IACA,IAAI,CAACN,UAAU,CAACU,IAAI,CAACN,IAAI,CAAC;IAC1B,OAAOb,cAAc,CAACoB,QAAQ,CAACC,IAAI;EACvC,CAAC;EACDxB,aAAa,CAAC9B,SAAS,CAACkD,KAAK,GAAG,YAAY;IACxC,IAAIK,IAAI,GAAGnB,MAAM,CAACpC,SAAS,CAACkD,KAAK,CAAChD,IAAI,CAAC,IAAI,CAAC;IAC5C,IAAIsD,KAAK,GAAG,IAAI,CAACd,UAAU,CAACe,GAAG,CAAC,CAAC;IACjC,IAAID,KAAK,CAACT,MAAM,CAAC,OAAO,CAAC,IAAI,CAACS,KAAK,CAACE,IAAI,CAAC,CAAC,EAAE;MACxC,OAAOH,IAAI;IACf;IACA,IAAI,CAACb,UAAU,CAACU,IAAI,CAAC,IAAI,CAACR,OAAO,CAACrC,MAAM,CAAC,MAAM,CAAC,CAAC;IACjD,IAAIoD,MAAM,GAAG,IAAI,CAACjB,UAAU,CAACe,GAAG,CAAC,CAAC,CAACP,KAAK,CAAC,CAAC;IAC1C,OAAO,IAAI,CAAC3C,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAACoD,MAAM,EAAEJ,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;EAC1D,CAAC;EACD,OAAOzB,aAAa;AACxB,CAAC,CAACG,cAAc,CAACoB,QAAQ,CAAE;AAC3BxB,OAAO,CAACC,aAAa,GAAGA,aAAa","ignoreList":[]},"metadata":{},"sourceType":"script","externalDependencies":[]}
|
