@harmoniclabs/pebble 0.1.0-dev2 → 0.1.0-dev4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/IR/IRHash.d.ts +8 -0
- package/dist/IR/IRHash.js +78 -0
- package/dist/IR/IRNodeKind.d.ts +17 -0
- package/dist/IR/IRNodeKind.js +19 -0
- package/dist/IR/IRNodes/BaseIRMetadata.d.ts +3 -0
- package/dist/IR/IRNodes/BaseIRMetadata.js +1 -0
- package/dist/IR/IRNodes/IRApp.d.ts +36 -0
- package/dist/IR/IRNodes/IRApp.js +91 -0
- package/dist/IR/IRNodes/IRCase.d.ts +32 -0
- package/dist/IR/IRNodes/IRCase.js +91 -0
- package/dist/IR/IRNodes/IRConst.d.ts +49 -0
- package/dist/IR/IRNodes/IRConst.js +273 -0
- package/dist/IR/IRNodes/IRConstr.d.ts +30 -0
- package/dist/IR/IRNodes/IRConstr.js +87 -0
- package/dist/IR/IRNodes/IRDelayed.d.ts +31 -0
- package/dist/IR/IRNodes/IRDelayed.js +68 -0
- package/dist/IR/IRNodes/IRError.d.ts +32 -0
- package/dist/IR/IRNodes/IRError.js +44 -0
- package/dist/IR/IRNodes/IRForced.d.ts +31 -0
- package/dist/IR/IRNodes/IRForced.js +69 -0
- package/dist/IR/IRNodes/IRFunc.d.ts +33 -0
- package/dist/IR/IRNodes/IRFunc.js +91 -0
- package/dist/IR/IRNodes/IRHoisted.d.ts +55 -0
- package/dist/IR/IRNodes/IRHoisted.js +212 -0
- package/dist/IR/IRNodes/IRLetted.d.ts +108 -0
- package/dist/IR/IRNodes/IRLetted.js +444 -0
- package/dist/IR/IRNodes/IRNative/IRNativeTag.d.ts +138 -0
- package/dist/IR/IRNodes/IRNative/IRNativeTag.js +204 -0
- package/dist/IR/IRNodes/IRNative/index.d.ts +165 -0
- package/dist/IR/IRNodes/IRNative/index.js +240 -0
- package/dist/IR/IRNodes/IRNative/isForcedNative.d.ts +3 -0
- package/dist/IR/IRNodes/IRNative/isForcedNative.js +18 -0
- package/dist/IR/IRNodes/IRRecursive.d.ts +29 -0
- package/dist/IR/IRNodes/IRRecursive.js +90 -0
- package/dist/IR/IRNodes/IRSelfCall.d.ts +46 -0
- package/dist/IR/IRNodes/IRSelfCall.js +127 -0
- package/dist/IR/IRNodes/IRVar.d.ts +41 -0
- package/dist/IR/IRNodes/IRVar.js +93 -0
- package/dist/IR/IRNodes/index.d.ts +12 -0
- package/dist/IR/IRNodes/index.js +12 -0
- package/dist/IR/IRNodes/utils/dependsByDbns.d.ts +5 -0
- package/dist/IR/IRNodes/utils/dependsByDbns.js +29 -0
- package/dist/IR/IRNodes/utils/isClosedAtDbn.d.ts +2 -0
- package/dist/IR/IRNodes/utils/isClosedAtDbn.js +22 -0
- package/dist/IR/IRNodes/utils/makeArrayLikeProxy.d.ts +1 -0
- package/dist/IR/IRNodes/utils/makeArrayLikeProxy.js +34 -0
- package/dist/IR/IRNodes/utils/mapArrayLike.d.ts +1 -0
- package/dist/IR/IRNodes/utils/mapArrayLike.js +8 -0
- package/dist/IR/IRTerm.d.ts +15 -0
- package/dist/IR/IRTerm.js +1 -0
- package/dist/IR/index.d.ts +5 -0
- package/dist/IR/index.js +5 -0
- package/dist/IR/interfaces/IHash.d.ts +6 -0
- package/dist/IR/interfaces/IHash.js +1 -0
- package/dist/IR/interfaces/IIRParent.d.ts +4 -0
- package/dist/IR/interfaces/IIRParent.js +1 -0
- package/dist/IR/interfaces/IRMetadata.d.ts +3 -0
- package/dist/IR/interfaces/IRMetadata.js +2 -0
- package/dist/IR/interfaces/ToIR.d.ts +5 -0
- package/dist/IR/interfaces/ToIR.js +1 -0
- package/dist/IR/interfaces/index.d.ts +4 -0
- package/dist/IR/interfaces/index.js +4 -0
- package/dist/IR/toUPLC/CompilerOptions.d.ts +80 -0
- package/dist/IR/toUPLC/CompilerOptions.js +98 -0
- package/dist/IR/toUPLC/_internal/_addDepth.d.ts +2 -0
- package/dist/IR/toUPLC/_internal/_addDepth.js +58 -0
- package/dist/IR/toUPLC/_internal/_irToUplc.d.ts +9 -0
- package/dist/IR/toUPLC/_internal/_irToUplc.js +156 -0
- package/dist/IR/toUPLC/_internal/_makeAllNegativeNativesHoisted.d.ts +2 -0
- package/dist/IR/toUPLC/_internal/_makeAllNegativeNativesHoisted.js +12 -0
- package/dist/IR/toUPLC/_internal/_modifyChildFromTo.d.ts +10 -0
- package/dist/IR/toUPLC/_internal/_modifyChildFromTo.js +141 -0
- package/dist/IR/toUPLC/_internal/depth.d.ts +5 -0
- package/dist/IR/toUPLC/_internal/depth.js +8 -0
- package/dist/IR/toUPLC/_internal/findAll.d.ts +3 -0
- package/dist/IR/toUPLC/_internal/findAll.js +99 -0
- package/dist/IR/toUPLC/_internal/getDebruijnInTerm.d.ts +2 -0
- package/dist/IR/toUPLC/_internal/getDebruijnInTerm.js +51 -0
- package/dist/IR/toUPLC/_internal/getDiffDbn.d.ts +2 -0
- package/dist/IR/toUPLC/_internal/getDiffDbn.js +55 -0
- package/dist/IR/toUPLC/_internal/includesLettedTerms.d.ts +2 -0
- package/dist/IR/toUPLC/_internal/includesLettedTerms.js +50 -0
- package/dist/IR/toUPLC/_internal/includesNode.d.ts +2 -0
- package/dist/IR/toUPLC/_internal/includesNode.js +54 -0
- package/dist/IR/toUPLC/_internal/iterTree.d.ts +2 -0
- package/dist/IR/toUPLC/_internal/iterTree.js +93 -0
- package/dist/IR/toUPLC/_internal/lowestCommonAncestor.d.ts +3 -0
- package/dist/IR/toUPLC/_internal/lowestCommonAncestor.js +41 -0
- package/dist/IR/toUPLC/compileIRToUPLC.d.ts +4 -0
- package/dist/IR/toUPLC/compileIRToUPLC.js +118 -0
- package/dist/IR/toUPLC/index.d.ts +2 -0
- package/dist/IR/toUPLC/index.js +2 -0
- package/dist/IR/toUPLC/subRoutines/handleHoistedAndReturnRoot/index.d.ts +2 -0
- package/dist/IR/toUPLC/subRoutines/handleHoistedAndReturnRoot/index.js +161 -0
- package/dist/IR/toUPLC/subRoutines/handleLetted/findHighestRecursiveParent.d.ts +5 -0
- package/dist/IR/toUPLC/subRoutines/handleLetted/findHighestRecursiveParent.js +14 -0
- package/dist/IR/toUPLC/subRoutines/handleLetted/groupByScope.d.ts +20 -0
- package/dist/IR/toUPLC/subRoutines/handleLetted/groupByScope.js +107 -0
- package/dist/IR/toUPLC/subRoutines/handleLetted/incrementUnboundDbns.d.ts +9 -0
- package/dist/IR/toUPLC/subRoutines/handleLetted/incrementUnboundDbns.js +73 -0
- package/dist/IR/toUPLC/subRoutines/handleLetted/index.d.ts +2 -0
- package/dist/IR/toUPLC/subRoutines/handleLetted/index.js +304 -0
- package/dist/IR/toUPLC/subRoutines/handleRecursiveTerms.d.ts +3 -0
- package/dist/IR/toUPLC/subRoutines/handleRecursiveTerms.js +32 -0
- package/dist/IR/toUPLC/subRoutines/hoistForcedNatives.d.ts +2 -0
- package/dist/IR/toUPLC/subRoutines/hoistForcedNatives.js +58 -0
- package/dist/IR/toUPLC/subRoutines/inlineSingleUseApplications.d.ts +1 -0
- package/dist/IR/toUPLC/subRoutines/inlineSingleUseApplications.js +12 -0
- package/dist/IR/toUPLC/subRoutines/markRecursiveHoistsAsForced.d.ts +2 -0
- package/dist/IR/toUPLC/subRoutines/markRecursiveHoistsAsForced.js +82 -0
- package/dist/IR/toUPLC/subRoutines/performUplcOptimizationsAndReturnRoot/expandFuncsAndReturnRoot.d.ts +4 -0
- package/dist/IR/toUPLC/subRoutines/performUplcOptimizationsAndReturnRoot/expandFuncsAndReturnRoot.js +68 -0
- package/dist/IR/toUPLC/subRoutines/performUplcOptimizationsAndReturnRoot/index.d.ts +5 -0
- package/dist/IR/toUPLC/subRoutines/performUplcOptimizationsAndReturnRoot/index.js +227 -0
- package/dist/IR/toUPLC/subRoutines/replaceClosedLettedWithHoisted.d.ts +2 -0
- package/dist/IR/toUPLC/subRoutines/replaceClosedLettedWithHoisted.js +13 -0
- package/dist/IR/toUPLC/subRoutines/replaceForcedNativesWithHoisted.d.ts +2 -0
- package/dist/IR/toUPLC/subRoutines/replaceForcedNativesWithHoisted.js +11 -0
- package/dist/IR/toUPLC/subRoutines/replaceHoistedWithLetted.d.ts +2 -0
- package/dist/IR/toUPLC/subRoutines/replaceHoistedWithLetted.js +16 -0
- package/dist/IR/toUPLC/subRoutines/replaceNatives/index.d.ts +2 -0
- package/dist/IR/toUPLC/subRoutines/replaceNatives/index.js +16 -0
- package/dist/IR/toUPLC/subRoutines/replaceNatives/nativeToIR.d.ts +3 -0
- package/dist/IR/toUPLC/subRoutines/replaceNatives/nativeToIR.js +520 -0
- package/dist/IR/toUPLC/subRoutines/sanifyTree.d.ts +5 -0
- package/dist/IR/toUPLC/subRoutines/sanifyTree.js +84 -0
- package/dist/IR/tree_utils/_ir_apps.d.ts +3 -0
- package/dist/IR/tree_utils/_ir_apps.js +8 -0
- package/dist/IR/tree_utils/_ir_lazyChooseList.d.ts +3 -0
- package/dist/IR/tree_utils/_ir_lazyChooseList.js +5 -0
- package/dist/IR/tree_utils/_ir_lazyIfThenElse.d.ts +3 -0
- package/dist/IR/tree_utils/_ir_lazyIfThenElse.js +5 -0
- package/dist/IR/tree_utils/_ir_let.d.ts +3 -0
- package/dist/IR/tree_utils/_ir_let.js +4 -0
- package/dist/IR/tree_utils/getChildren.d.ts +2 -0
- package/dist/IR/tree_utils/getChildren.js +33 -0
- package/dist/IR/tree_utils/getRoot.d.ts +2 -0
- package/dist/IR/tree_utils/getRoot.js +6 -0
- package/dist/IR/utils/MutArrayLike.d.ts +5 -0
- package/dist/IR/utils/MutArrayLike.js +1 -0
- package/dist/IR/utils/concatUint8Arr.d.ts +1 -0
- package/dist/IR/utils/concatUint8Arr.js +11 -0
- package/dist/IR/utils/equalIRTerm.d.ts +12 -0
- package/dist/IR/utils/equalIRTerm.js +19 -0
- package/dist/IR/utils/index.d.ts +3 -0
- package/dist/IR/utils/index.js +3 -0
- package/dist/IR/utils/isClosedIRTerm.d.ts +2 -0
- package/dist/IR/utils/isClosedIRTerm.js +58 -0
- package/dist/IR/utils/isIRParentTerm.d.ts +12 -0
- package/dist/IR/utils/isIRParentTerm.js +26 -0
- package/dist/IR/utils/isIRTerm.d.ts +2 -0
- package/dist/IR/utils/isIRTerm.js +30 -0
- package/dist/IR/utils/positiveIntAsBytes.d.ts +5 -0
- package/dist/IR/utils/positiveIntAsBytes.js +27 -0
- package/dist/IR/utils/showIR.d.ts +43 -0
- package/dist/IR/utils/showIR.js +372 -0
- package/dist/ast/PebbleAst.d.ts +8 -0
- package/dist/ast/PebbleAst.js +15 -0
- package/dist/ast/Source/Source.d.ts +47 -0
- package/dist/ast/Source/Source.js +89 -0
- package/dist/ast/Source/SourceRange.d.ts +16 -0
- package/dist/ast/Source/SourceRange.js +49 -0
- package/dist/ast/nodes/HasSourceRange.d.ts +5 -0
- package/dist/ast/nodes/HasSourceRange.js +6 -0
- package/dist/ast/nodes/common/Identifier.d.ts +13 -0
- package/dist/ast/nodes/common/Identifier.js +20 -0
- package/dist/ast/nodes/expr/CaseExpr.d.ts +22 -0
- package/dist/ast/nodes/expr/CaseExpr.js +30 -0
- package/dist/ast/nodes/expr/ElemAccessExpr.d.ts +12 -0
- package/dist/ast/nodes/expr/ElemAccessExpr.js +13 -0
- package/dist/ast/nodes/expr/IsExpr.d.ts +1 -0
- package/dist/ast/nodes/expr/IsExpr.js +14 -0
- package/dist/ast/nodes/expr/ParentesizedExpr.d.ts +8 -0
- package/dist/ast/nodes/expr/ParentesizedExpr.js +8 -0
- package/dist/ast/nodes/expr/PebbleExpr.d.ts +18 -0
- package/dist/ast/nodes/expr/PebbleExpr.js +31 -0
- package/dist/ast/nodes/expr/PropAccessExpr.d.ts +28 -0
- package/dist/ast/nodes/expr/PropAccessExpr.js +46 -0
- package/dist/ast/nodes/expr/TernaryExpr.d.ts +10 -0
- package/dist/ast/nodes/expr/TernaryExpr.js +12 -0
- package/dist/ast/nodes/expr/TypeConversionExpr.d.ts +10 -0
- package/dist/ast/nodes/expr/TypeConversionExpr.js +11 -0
- package/dist/ast/nodes/expr/binary/BinaryExpr.d.ts +133 -0
- package/dist/ast/nodes/expr/binary/BinaryExpr.js +253 -0
- package/dist/ast/nodes/expr/functions/ArrowKind.d.ts +9 -0
- package/dist/ast/nodes/expr/functions/ArrowKind.js +11 -0
- package/dist/ast/nodes/expr/functions/CallExpr.d.ts +17 -0
- package/dist/ast/nodes/expr/functions/CallExpr.js +16 -0
- package/dist/ast/nodes/expr/functions/FuncExpr.d.ts +21 -0
- package/dist/ast/nodes/expr/functions/FuncExpr.js +21 -0
- package/dist/ast/nodes/expr/litteral/LitArrExpr.d.ts +8 -0
- package/dist/ast/nodes/expr/litteral/LitArrExpr.js +8 -0
- package/dist/ast/nodes/expr/litteral/LitFalseExpr.d.ts +6 -0
- package/dist/ast/nodes/expr/litteral/LitFalseExpr.js +6 -0
- package/dist/ast/nodes/expr/litteral/LitHexBytesExpr.d.ts +7 -0
- package/dist/ast/nodes/expr/litteral/LitHexBytesExpr.js +8 -0
- package/dist/ast/nodes/expr/litteral/LitIntExpr.d.ts +7 -0
- package/dist/ast/nodes/expr/litteral/LitIntExpr.js +8 -0
- package/dist/ast/nodes/expr/litteral/LitNamedObjExpr.d.ts +12 -0
- package/dist/ast/nodes/expr/litteral/LitNamedObjExpr.js +12 -0
- package/dist/ast/nodes/expr/litteral/LitObjExpr.d.ts +14 -0
- package/dist/ast/nodes/expr/litteral/LitObjExpr.js +10 -0
- package/dist/ast/nodes/expr/litteral/LitStrExpr.d.ts +7 -0
- package/dist/ast/nodes/expr/litteral/LitStrExpr.js +8 -0
- package/dist/ast/nodes/expr/litteral/LitThisExpr.d.ts +6 -0
- package/dist/ast/nodes/expr/litteral/LitThisExpr.js +6 -0
- package/dist/ast/nodes/expr/litteral/LitTrueExpr.d.ts +6 -0
- package/dist/ast/nodes/expr/litteral/LitTrueExpr.js +6 -0
- package/dist/ast/nodes/expr/litteral/LitUndefExpr.d.ts +6 -0
- package/dist/ast/nodes/expr/litteral/LitUndefExpr.js +6 -0
- package/dist/ast/nodes/expr/litteral/LitVoidExpr.d.ts +6 -0
- package/dist/ast/nodes/expr/litteral/LitVoidExpr.js +6 -0
- package/dist/ast/nodes/expr/litteral/LitteralExpr.d.ts +13 -0
- package/dist/ast/nodes/expr/litteral/LitteralExpr.js +24 -0
- package/dist/ast/nodes/expr/unary/IUnaryExpression.d.ts +4 -0
- package/dist/ast/nodes/expr/unary/IUnaryExpression.js +1 -0
- package/dist/ast/nodes/expr/unary/NonNullExpr.d.ts +8 -0
- package/dist/ast/nodes/expr/unary/NonNullExpr.js +8 -0
- package/dist/ast/nodes/expr/unary/UnaryExclamation.d.ts +9 -0
- package/dist/ast/nodes/expr/unary/UnaryExclamation.js +8 -0
- package/dist/ast/nodes/expr/unary/UnaryMinus.d.ts +9 -0
- package/dist/ast/nodes/expr/unary/UnaryMinus.js +8 -0
- package/dist/ast/nodes/expr/unary/UnaryPlus.d.ts +9 -0
- package/dist/ast/nodes/expr/unary/UnaryPlus.js +8 -0
- package/dist/ast/nodes/expr/unary/UnaryPrefixExpr.d.ts +14 -0
- package/dist/ast/nodes/expr/unary/UnaryPrefixExpr.js +27 -0
- package/dist/ast/nodes/expr/unary/UnaryTilde.d.ts +9 -0
- package/dist/ast/nodes/expr/unary/UnaryTilde.js +8 -0
- package/dist/ast/nodes/statements/AssertStmt.d.ts +15 -0
- package/dist/ast/nodes/statements/AssertStmt.js +14 -0
- package/dist/ast/nodes/statements/AssignmentStmt.d.ts +105 -0
- package/dist/ast/nodes/statements/AssignmentStmt.js +211 -0
- package/dist/ast/nodes/statements/BlockStmt.d.ts +8 -0
- package/dist/ast/nodes/statements/BlockStmt.js +8 -0
- package/dist/ast/nodes/statements/BreakStmt.d.ts +6 -0
- package/dist/ast/nodes/statements/BreakStmt.js +6 -0
- package/dist/ast/nodes/statements/ContinueStmt.d.ts +6 -0
- package/dist/ast/nodes/statements/ContinueStmt.js +6 -0
- package/dist/ast/nodes/statements/DecrStmt.d.ts +11 -0
- package/dist/ast/nodes/statements/DecrStmt.js +11 -0
- package/dist/ast/nodes/statements/DoWhileStmt.d.ts +10 -0
- package/dist/ast/nodes/statements/DoWhileStmt.js +10 -0
- package/dist/ast/nodes/statements/EmptyStmt.d.ts +6 -0
- package/dist/ast/nodes/statements/EmptyStmt.js +6 -0
- package/dist/ast/nodes/statements/ExportImportStmt.d.ts +15 -0
- package/dist/ast/nodes/statements/ExportImportStmt.js +15 -0
- package/dist/ast/nodes/statements/ExportStarStmt.d.ts +8 -0
- package/dist/ast/nodes/statements/ExportStarStmt.js +8 -0
- package/dist/ast/nodes/statements/ExportStmt.d.ts +13 -0
- package/dist/ast/nodes/statements/ExportStmt.js +13 -0
- package/dist/ast/nodes/statements/ExprStmt.d.ts +8 -0
- package/dist/ast/nodes/statements/ExprStmt.js +18 -0
- package/dist/ast/nodes/statements/FailStmt.d.ts +11 -0
- package/dist/ast/nodes/statements/FailStmt.js +10 -0
- package/dist/ast/nodes/statements/ForOfStmt.d.ts +16 -0
- package/dist/ast/nodes/statements/ForOfStmt.js +15 -0
- package/dist/ast/nodes/statements/ForStmt.d.ts +19 -0
- package/dist/ast/nodes/statements/ForStmt.js +19 -0
- package/dist/ast/nodes/statements/IfStmt.d.ts +11 -0
- package/dist/ast/nodes/statements/IfStmt.js +12 -0
- package/dist/ast/nodes/statements/ImportStarStmt.d.ts +15 -0
- package/dist/ast/nodes/statements/ImportStarStmt.js +15 -0
- package/dist/ast/nodes/statements/ImportStmt.d.ts +21 -0
- package/dist/ast/nodes/statements/ImportStmt.js +25 -0
- package/dist/ast/nodes/statements/IncrStmt.d.ts +8 -0
- package/dist/ast/nodes/statements/IncrStmt.js +8 -0
- package/dist/ast/nodes/statements/MatchStmt.d.ts +17 -0
- package/dist/ast/nodes/statements/MatchStmt.js +20 -0
- package/dist/ast/nodes/statements/PebbleStmt.d.ts +29 -0
- package/dist/ast/nodes/statements/PebbleStmt.js +62 -0
- package/dist/ast/nodes/statements/ReturnStmt.d.ts +8 -0
- package/dist/ast/nodes/statements/ReturnStmt.js +8 -0
- package/dist/ast/nodes/statements/TestStmt.d.ts +10 -0
- package/dist/ast/nodes/statements/TestStmt.js +10 -0
- package/dist/ast/nodes/statements/TypeImplementsStmt.d.ts +21 -0
- package/dist/ast/nodes/statements/TypeImplementsStmt.js +26 -0
- package/dist/ast/nodes/statements/UsingStmt.d.ts +16 -0
- package/dist/ast/nodes/statements/UsingStmt.js +20 -0
- package/dist/ast/nodes/statements/VarStmt.d.ts +10 -0
- package/dist/ast/nodes/statements/VarStmt.js +11 -0
- package/dist/ast/nodes/statements/WhileStmt.d.ts +10 -0
- package/dist/ast/nodes/statements/WhileStmt.js +10 -0
- package/dist/ast/nodes/statements/declarations/EnumDecl.d.ts +18 -0
- package/dist/ast/nodes/statements/declarations/EnumDecl.js +22 -0
- package/dist/ast/nodes/statements/declarations/FuncDecl.d.ts +8 -0
- package/dist/ast/nodes/statements/declarations/FuncDecl.js +9 -0
- package/dist/ast/nodes/statements/declarations/InterfaceDecl.d.ts +19 -0
- package/dist/ast/nodes/statements/declarations/InterfaceDecl.js +26 -0
- package/dist/ast/nodes/statements/declarations/PebbleTypeDecl.d.ts +5 -0
- package/dist/ast/nodes/statements/declarations/PebbleTypeDecl.js +8 -0
- package/dist/ast/nodes/statements/declarations/StructDecl.d.ts +25 -0
- package/dist/ast/nodes/statements/declarations/StructDecl.js +36 -0
- package/dist/ast/nodes/statements/declarations/TypeAliasDecl.d.ts +11 -0
- package/dist/ast/nodes/statements/declarations/TypeAliasDecl.js +12 -0
- package/dist/ast/nodes/statements/declarations/VarDecl/ArrayLikeDeconstr.d.ts +19 -0
- package/dist/ast/nodes/statements/declarations/VarDecl/ArrayLikeDeconstr.js +19 -0
- package/dist/ast/nodes/statements/declarations/VarDecl/HasInit.d.ts +5 -0
- package/dist/ast/nodes/statements/declarations/VarDecl/HasInit.js +7 -0
- package/dist/ast/nodes/statements/declarations/VarDecl/NamedDeconstructVarDecl.d.ts +24 -0
- package/dist/ast/nodes/statements/declarations/VarDecl/NamedDeconstructVarDecl.js +30 -0
- package/dist/ast/nodes/statements/declarations/VarDecl/SimpleVarDecl.d.ts +17 -0
- package/dist/ast/nodes/statements/declarations/VarDecl/SimpleVarDecl.js +21 -0
- package/dist/ast/nodes/statements/declarations/VarDecl/SingleDeconstructVarDecl.d.ts +24 -0
- package/dist/ast/nodes/statements/declarations/VarDecl/SingleDeconstructVarDecl.js +20 -0
- package/dist/ast/nodes/statements/declarations/VarDecl/VarDecl.d.ts +8 -0
- package/dist/ast/nodes/statements/declarations/VarDecl/VarDecl.js +13 -0
- package/dist/ast/nodes/types/AstNamedTypeExpr.d.ts +14 -0
- package/dist/ast/nodes/types/AstNamedTypeExpr.js +14 -0
- package/dist/ast/nodes/types/AstNativeTypeExpr.d.ts +52 -0
- package/dist/ast/nodes/types/AstNativeTypeExpr.js +82 -0
- package/dist/ast/nodes/types/AstTypeExpr.d.ts +4 -0
- package/dist/ast/nodes/types/AstTypeExpr.js +7 -0
- package/dist/common.d.ts +194 -0
- package/dist/common.js +224 -0
- package/dist/compiler/AstCompiler/AstCompilationCtx.d.ts +35 -0
- package/dist/compiler/AstCompiler/AstCompilationCtx.js +43 -0
- package/dist/compiler/AstCompiler/AstCompiler.d.ts +73 -0
- package/dist/compiler/AstCompiler/AstCompiler.js +542 -0
- package/dist/compiler/AstCompiler/compileAst.d.ts +0 -0
- package/dist/compiler/AstCompiler/compileAst.js +0 -0
- package/dist/compiler/AstCompiler/index.d.ts +1 -0
- package/dist/compiler/AstCompiler/index.js +1 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileBinaryExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileBinaryExpr.js +66 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileCallExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileCallExpr.js +36 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileCaseExpr.d.ts +6 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileCaseExpr.js +47 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileElemAccessExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileElemAccessExpr.js +23 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileExpr.d.ts +22 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileExpr.js +77 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileFuncExpr.d.ts +26 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileFuncExpr.js +163 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileIsExpr.d.ts +1 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileIsExpr.js +43 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileLitteralExpr.d.ts +19 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileLitteralExpr.js +202 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileNonNullExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileNonNullExpr.js +43 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compilePropAccessExpr.d.ts +9 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compilePropAccessExpr.js +102 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileTernaryExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileTernaryExpr.js +22 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileTypeConversionExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileTypeConversionExpr.js +25 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileUnaryPrefixExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileUnaryPrefixExpr.js +54 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileVarAccessExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/_compileVarAccessExpr.js +9 -0
- package/dist/compiler/AstCompiler/internal/exprs/_hasDuplicateTypeParams.d.ts +3 -0
- package/dist/compiler/AstCompiler/internal/exprs/_hasDuplicateTypeParams.js +13 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileAddExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileAddExpr.js +20 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileBitwiseAndExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileBitwiseAndExpr.js +20 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileBitwiseOrExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileBitwiseOrExpr.js +20 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileBitwiseXorExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileBitwiseXorExpr.js +20 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileDivExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileDivExpr.js +20 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileEqualExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileEqualExpr.js +18 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileExponentiationExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileExponentiationExpr.js +20 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileGreaterThanEqualExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileGreaterThanEqualExpr.js +27 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileGreaterThanExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileGreaterThanExpr.js +26 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLessThanEqualExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLessThanEqualExpr.js +25 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLessThanExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLessThanExpr.js +26 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLogicalAndExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLogicalAndExpr.js +22 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLogicalOrExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLogicalOrExpr.js +22 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileModuloExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileModuloExpr.js +20 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileMultExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileMultExpr.js +20 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileNotEqualExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileNotEqualExpr.js +18 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileOptionalDefaultExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileOptionalDefaultExpr.js +60 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileShiftLeftExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileShiftLeftExpr.js +21 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileShiftRightExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileShiftRightExpr.js +21 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileSubExpr.d.ts +5 -0
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileSubExpr.js +20 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileAssertStmt.d.ts +4 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileAssertStmt.js +30 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileAssignmentStmt.d.ts +8 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileAssignmentStmt.js +154 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileBlockStmt.d.ts +4 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileBlockStmt.js +14 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileBreakStmt.d.ts +4 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileBreakStmt.js +7 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileContinueStmt.d.ts +4 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileContinueStmt.js +7 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileExprStmt.d.ts +1 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileExprStmt.js +12 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileFailStmt.d.ts +4 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileFailStmt.js +18 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileForOfStmt.d.ts +4 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileForOfStmt.js +30 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileForStmt.d.ts +7 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileForStmt.js +46 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileIfStmt.d.ts +4 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileIfStmt.js +27 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileMatchStmt.d.ts +6 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileMatchStmt.js +182 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileReturnStmt.d.ts +4 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileReturnStmt.js +17 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileStatement.d.ts +11 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileStatement.js +73 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileTestStmt.d.ts +1 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileTestStmt.js +32 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileUsingStmt.d.ts +11 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileUsingStmt.js +41 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileVarStmt.d.ts +34 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileVarStmt.js +207 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileWhileStmt.d.ts +4 -0
- package/dist/compiler/AstCompiler/internal/statements/_compileWhileStmt.js +19 -0
- package/dist/compiler/AstCompiler/internal/types/_compileDataEncodedConcreteType.d.ts +4 -0
- package/dist/compiler/AstCompiler/internal/types/_compileDataEncodedConcreteType.js +61 -0
- package/dist/compiler/AstCompiler/internal/types/_compileSopEncodedConcreteType.d.ts +4 -0
- package/dist/compiler/AstCompiler/internal/types/_compileSopEncodedConcreteType.js +59 -0
- package/dist/compiler/AstCompiler/scope/AstScope.d.ts +102 -0
- package/dist/compiler/AstCompiler/scope/AstScope.js +195 -0
- package/dist/compiler/AstCompiler/utils/deps/ResolveStackNode.d.ts +14 -0
- package/dist/compiler/AstCompiler/utils/deps/ResolveStackNode.js +36 -0
- package/dist/compiler/AstCompiler/utils/getPropAccessReturnType.d.ts +4 -0
- package/dist/compiler/AstCompiler/utils/getPropAccessReturnType.js +121 -0
- package/dist/compiler/AstCompiler/utils/getTirFuncSigTree/TirFuncSigTree.d.ts +39 -0
- package/dist/compiler/AstCompiler/utils/getTirFuncSigTree/TirFuncSigTree.js +129 -0
- package/dist/compiler/AstCompiler/utils/getTirFuncSigTree/getTirFuncSigTree.d.ts +4 -0
- package/dist/compiler/AstCompiler/utils/getTirFuncSigTree/getTirFuncSigTree.js +49 -0
- package/dist/compiler/AstCompiler/utils/wrapManyStatementsOrReturnSame.d.ts +3 -0
- package/dist/compiler/AstCompiler/utils/wrapManyStatementsOrReturnSame.js +12 -0
- package/dist/compiler/Compiler.d.ts +10 -0
- package/dist/compiler/Compiler.js +42 -0
- package/dist/compiler/TirCompiler/TirCompilerCtx.d.ts +7 -0
- package/dist/compiler/TirCompiler/TirCompilerCtx.js +8 -0
- package/dist/compiler/TirCompiler/compileTirProgram.d.ts +9 -0
- package/dist/compiler/TirCompiler/compileTirProgram.js +18 -0
- package/dist/compiler/TirCompiler/expressify/ExpressifyCtx.d.ts +72 -0
- package/dist/compiler/TirCompiler/expressify/ExpressifyCtx.js +282 -0
- package/dist/compiler/TirCompiler/expressify/determineReassignedVariablesAndReturn.d.ts +27 -0
- package/dist/compiler/TirCompiler/expressify/determineReassignedVariablesAndReturn.js +248 -0
- package/dist/compiler/TirCompiler/expressify/expressify.d.ts +15 -0
- package/dist/compiler/TirCompiler/expressify/expressify.js +403 -0
- package/dist/compiler/TirCompiler/expressify/expressifyForStmt.d.ts +8 -0
- package/dist/compiler/TirCompiler/expressify/expressifyForStmt.js +115 -0
- package/dist/compiler/TirCompiler/expressify/expressifyIfBranch.d.ts +6 -0
- package/dist/compiler/TirCompiler/expressify/expressifyIfBranch.js +105 -0
- package/dist/compiler/TirCompiler/expressify/expressifyTerminatingIfStmt.d.ts +5 -0
- package/dist/compiler/TirCompiler/expressify/expressifyTerminatingIfStmt.js +15 -0
- package/dist/compiler/TirCompiler/expressify/expressifyVarAssignmentStmt.d.ts +4 -0
- package/dist/compiler/TirCompiler/expressify/expressifyVarAssignmentStmt.js +20 -0
- package/dist/compiler/TirCompiler/expressify/expressifyVarDecl.d.ts +3 -0
- package/dist/compiler/TirCompiler/expressify/expressifyVarDecl.js +34 -0
- package/dist/compiler/TirCompiler/expressify/expressifyVars.d.ts +10 -0
- package/dist/compiler/TirCompiler/expressify/expressifyVars.js +320 -0
- package/dist/compiler/TirCompiler/expressify/flattenSopNamedDeconstructInplace_addTopDestructToCtx_getNestedDeconstruct.d.ts +9 -0
- package/dist/compiler/TirCompiler/expressify/flattenSopNamedDeconstructInplace_addTopDestructToCtx_getNestedDeconstruct.js +59 -0
- package/dist/compiler/TirCompiler/expressify/isSingleConstrStruct.d.ts +3 -0
- package/dist/compiler/TirCompiler/expressify/isSingleConstrStruct.js +9 -0
- package/dist/compiler/TirCompiler/expressify/toNamedDeconstructVarDecl.d.ts +3 -0
- package/dist/compiler/TirCompiler/expressify/toNamedDeconstructVarDecl.js +15 -0
- package/dist/compiler/TirCompiler/index.d.ts +2 -0
- package/dist/compiler/TirCompiler/index.js +2 -0
- package/dist/compiler/TirCompiler/internal/_compileHoistedDeps.d.ts +5 -0
- package/dist/compiler/TirCompiler/internal/_compileHoistedDeps.js +37 -0
- package/dist/compiler/TirCompiler/internal/deps/DepsNode.d.ts +13 -0
- package/dist/compiler/TirCompiler/internal/deps/DepsNode.js +36 -0
- package/dist/compiler/index.d.ts +4 -0
- package/dist/compiler/index.js +4 -0
- package/dist/compiler/internalVar.d.ts +19 -0
- package/dist/compiler/internalVar.js +56 -0
- package/dist/compiler/io/CompilerIoApi.d.ts +36 -0
- package/dist/compiler/io/CompilerIoApi.js +62 -0
- package/dist/compiler/io/IOutputStream.d.ts +28 -0
- package/dist/compiler/io/IOutputStream.js +45 -0
- package/dist/compiler/io/index.d.ts +2 -0
- package/dist/compiler/io/index.js +2 -0
- package/dist/compiler/path/getAbsolutePath.d.ts +12 -0
- package/dist/compiler/path/getAbsolutePath.js +114 -0
- package/dist/compiler/path/path.d.ts +5 -0
- package/dist/compiler/path/path.js +160 -0
- package/dist/compiler/tir/expressions/ITirExpr.d.ts +11 -0
- package/dist/compiler/tir/expressions/ITirExpr.js +1 -0
- package/dist/compiler/tir/expressions/TirAssertAndContinueExpr.d.ts +19 -0
- package/dist/compiler/tir/expressions/TirAssertAndContinueExpr.js +41 -0
- package/dist/compiler/tir/expressions/TirCallExpr.d.ts +17 -0
- package/dist/compiler/tir/expressions/TirCallExpr.js +28 -0
- package/dist/compiler/tir/expressions/TirCaseExpr.d.ts +36 -0
- package/dist/compiler/tir/expressions/TirCaseExpr.js +257 -0
- package/dist/compiler/tir/expressions/TirElemAccessExpr.d.ts +20 -0
- package/dist/compiler/tir/expressions/TirElemAccessExpr.js +43 -0
- package/dist/compiler/tir/expressions/TirExpr.d.ts +23 -0
- package/dist/compiler/tir/expressions/TirExpr.js +46 -0
- package/dist/compiler/tir/expressions/TirFailExpr.d.ts +19 -0
- package/dist/compiler/tir/expressions/TirFailExpr.js +28 -0
- package/dist/compiler/tir/expressions/TirFromDataExpr.d.ts +22 -0
- package/dist/compiler/tir/expressions/TirFromDataExpr.js +196 -0
- package/dist/compiler/tir/expressions/TirFuncExpr.d.ts +37 -0
- package/dist/compiler/tir/expressions/TirFuncExpr.js +92 -0
- package/dist/compiler/tir/expressions/TirHoistedExpr.d.ts +18 -0
- package/dist/compiler/tir/expressions/TirHoistedExpr.js +28 -0
- package/dist/compiler/tir/expressions/TirInlineClosedIR.d.ts +16 -0
- package/dist/compiler/tir/expressions/TirInlineClosedIR.js +25 -0
- package/dist/compiler/tir/expressions/TirLettedExpr.d.ts +18 -0
- package/dist/compiler/tir/expressions/TirLettedExpr.js +28 -0
- package/dist/compiler/tir/expressions/TirNativeFunc.d.ts +104 -0
- package/dist/compiler/tir/expressions/TirNativeFunc.js +805 -0
- package/dist/compiler/tir/expressions/TirParentesizedExpr.d.ts +17 -0
- package/dist/compiler/tir/expressions/TirParentesizedExpr.js +20 -0
- package/dist/compiler/tir/expressions/TirPropAccessExpr.d.ts +18 -0
- package/dist/compiler/tir/expressions/TirPropAccessExpr.js +29 -0
- package/dist/compiler/tir/expressions/TirTernaryExpr.d.ts +18 -0
- package/dist/compiler/tir/expressions/TirTernaryExpr.js +36 -0
- package/dist/compiler/tir/expressions/TirToDataExpr.d.ts +28 -0
- package/dist/compiler/tir/expressions/TirToDataExpr.js +172 -0
- package/dist/compiler/tir/expressions/TirTraceIfFalseExpr.d.ts +23 -0
- package/dist/compiler/tir/expressions/TirTraceIfFalseExpr.js +32 -0
- package/dist/compiler/tir/expressions/TirTypeConversionExpr.d.ts +16 -0
- package/dist/compiler/tir/expressions/TirTypeConversionExpr.js +66 -0
- package/dist/compiler/tir/expressions/TirVariableAccessExpr.d.ts +18 -0
- package/dist/compiler/tir/expressions/TirVariableAccessExpr.js +30 -0
- package/dist/compiler/tir/expressions/ToIRTermCtx.d.ts +29 -0
- package/dist/compiler/tir/expressions/ToIRTermCtx.js +77 -0
- package/dist/compiler/tir/expressions/binary/TirBinaryExpr.d.ts +221 -0
- package/dist/compiler/tir/expressions/binary/TirBinaryExpr.js +532 -0
- package/dist/compiler/tir/expressions/litteral/TirLitArrExpr.d.ts +16 -0
- package/dist/compiler/tir/expressions/litteral/TirLitArrExpr.js +60 -0
- package/dist/compiler/tir/expressions/litteral/TirLitFalseExpr.d.ts +14 -0
- package/dist/compiler/tir/expressions/litteral/TirLitFalseExpr.js +17 -0
- package/dist/compiler/tir/expressions/litteral/TirLitHexBytesExpr.d.ts +15 -0
- package/dist/compiler/tir/expressions/litteral/TirLitHexBytesExpr.js +19 -0
- package/dist/compiler/tir/expressions/litteral/TirLitIntExpr.d.ts +15 -0
- package/dist/compiler/tir/expressions/litteral/TirLitIntExpr.js +19 -0
- package/dist/compiler/tir/expressions/litteral/TirLitNamedObjExpr.d.ts +22 -0
- package/dist/compiler/tir/expressions/litteral/TirLitNamedObjExpr.js +105 -0
- package/dist/compiler/tir/expressions/litteral/TirLitObjExpr.d.ts +22 -0
- package/dist/compiler/tir/expressions/litteral/TirLitObjExpr.js +102 -0
- package/dist/compiler/tir/expressions/litteral/TirLitStrExpr.d.ts +15 -0
- package/dist/compiler/tir/expressions/litteral/TirLitStrExpr.js +20 -0
- package/dist/compiler/tir/expressions/litteral/TirLitThisExpr.d.ts +14 -0
- package/dist/compiler/tir/expressions/litteral/TirLitThisExpr.js +20 -0
- package/dist/compiler/tir/expressions/litteral/TirLitTrueExpr.d.ts +14 -0
- package/dist/compiler/tir/expressions/litteral/TirLitTrueExpr.js +17 -0
- package/dist/compiler/tir/expressions/litteral/TirLitUndefExpr.d.ts +18 -0
- package/dist/compiler/tir/expressions/litteral/TirLitUndefExpr.js +23 -0
- package/dist/compiler/tir/expressions/litteral/TirLitVoidExpr.d.ts +14 -0
- package/dist/compiler/tir/expressions/litteral/TirLitVoidExpr.js +17 -0
- package/dist/compiler/tir/expressions/litteral/TirLitteralExpr.d.ts +13 -0
- package/dist/compiler/tir/expressions/litteral/TirLitteralExpr.js +24 -0
- package/dist/compiler/tir/expressions/unary/ITirUnaryExpression.d.ts +4 -0
- package/dist/compiler/tir/expressions/unary/ITirUnaryExpression.js +1 -0
- package/dist/compiler/tir/expressions/unary/TirUnaryExclamation.d.ts +17 -0
- package/dist/compiler/tir/expressions/unary/TirUnaryExclamation.js +23 -0
- package/dist/compiler/tir/expressions/unary/TirUnaryMinus.d.ts +17 -0
- package/dist/compiler/tir/expressions/unary/TirUnaryMinus.js +22 -0
- package/dist/compiler/tir/expressions/unary/TirUnaryPlus.d.ts +15 -0
- package/dist/compiler/tir/expressions/unary/TirUnaryPlus.js +20 -0
- package/dist/compiler/tir/expressions/unary/TirUnaryPrefixExpr.d.ts +6 -0
- package/dist/compiler/tir/expressions/unary/TirUnaryPrefixExpr.js +10 -0
- package/dist/compiler/tir/expressions/unary/TirUnaryTilde.d.ts +17 -0
- package/dist/compiler/tir/expressions/unary/TirUnaryTilde.js +22 -0
- package/dist/compiler/tir/expressions/utils/NamedExpr.d.ts +5 -0
- package/dist/compiler/tir/expressions/utils/NamedExpr.js +1 -0
- package/dist/compiler/tir/program/TypedProgram.d.ts +44 -0
- package/dist/compiler/tir/program/TypedProgram.js +126 -0
- package/dist/compiler/tir/program/stdScope/StdTypes.d.ts +34 -0
- package/dist/compiler/tir/program/stdScope/StdTypes.js +40 -0
- package/dist/compiler/tir/program/stdScope/prelude/preludeTypesSrc.d.ts +0 -0
- package/dist/compiler/tir/program/stdScope/prelude/preludeTypesSrc.js +288 -0
- package/dist/compiler/tir/program/stdScope/stdScope.d.ts +15 -0
- package/dist/compiler/tir/program/stdScope/stdScope.js +730 -0
- package/dist/compiler/tir/statements/TirAssertStmt.d.ts +18 -0
- package/dist/compiler/tir/statements/TirAssertStmt.js +29 -0
- package/dist/compiler/tir/statements/TirAssignmentStmt.d.ts +12 -0
- package/dist/compiler/tir/statements/TirAssignmentStmt.js +14 -0
- package/dist/compiler/tir/statements/TirBlockStmt.d.ts +9 -0
- package/dist/compiler/tir/statements/TirBlockStmt.js +25 -0
- package/dist/compiler/tir/statements/TirBreakStmt.d.ts +8 -0
- package/dist/compiler/tir/statements/TirBreakStmt.js +11 -0
- package/dist/compiler/tir/statements/TirContinueStmt.d.ts +8 -0
- package/dist/compiler/tir/statements/TirContinueStmt.js +13 -0
- package/dist/compiler/tir/statements/TirFailStmt.d.ts +13 -0
- package/dist/compiler/tir/statements/TirFailStmt.js +14 -0
- package/dist/compiler/tir/statements/TirForOfStmt.d.ts +16 -0
- package/dist/compiler/tir/statements/TirForOfStmt.js +25 -0
- package/dist/compiler/tir/statements/TirForStmt.d.ts +19 -0
- package/dist/compiler/tir/statements/TirForStmt.js +39 -0
- package/dist/compiler/tir/statements/TirIfStmt.d.ts +12 -0
- package/dist/compiler/tir/statements/TirIfStmt.js +23 -0
- package/dist/compiler/tir/statements/TirMatchStmt.d.ts +27 -0
- package/dist/compiler/tir/statements/TirMatchStmt.js +51 -0
- package/dist/compiler/tir/statements/TirReturnStmt.d.ts +10 -0
- package/dist/compiler/tir/statements/TirReturnStmt.js +12 -0
- package/dist/compiler/tir/statements/TirStmt.d.ts +32 -0
- package/dist/compiler/tir/statements/TirStmt.js +40 -0
- package/dist/compiler/tir/statements/TirVarDecl/TirArrayLikeDeconstr.d.ts +17 -0
- package/dist/compiler/tir/statements/TirVarDecl/TirArrayLikeDeconstr.js +30 -0
- package/dist/compiler/tir/statements/TirVarDecl/TirNamedDeconstructVarDecl.d.ts +21 -0
- package/dist/compiler/tir/statements/TirVarDecl/TirNamedDeconstructVarDecl.js +34 -0
- package/dist/compiler/tir/statements/TirVarDecl/TirSimpleVarDecl.d.ts +17 -0
- package/dist/compiler/tir/statements/TirVarDecl/TirSimpleVarDecl.js +22 -0
- package/dist/compiler/tir/statements/TirVarDecl/TirSingleDeconstructVarDecl.d.ts +17 -0
- package/dist/compiler/tir/statements/TirVarDecl/TirSingleDeconstructVarDecl.js +30 -0
- package/dist/compiler/tir/statements/TirVarDecl/TirVarDecl.d.ts +10 -0
- package/dist/compiler/tir/statements/TirVarDecl/TirVarDecl.js +11 -0
- package/dist/compiler/tir/statements/TirWhileStmt.d.ts +11 -0
- package/dist/compiler/tir/statements/TirWhileStmt.js +19 -0
- package/dist/compiler/tir/statements/utils/definitelyFails.d.ts +3 -0
- package/dist/compiler/tir/statements/utils/definitelyFails.js +52 -0
- package/dist/compiler/tir/types/TirAliasType.d.ts +32 -0
- package/dist/compiler/tir/types/TirAliasType.js +49 -0
- package/dist/compiler/tir/types/TirInterfaceImpl.d.ts +44 -0
- package/dist/compiler/tir/types/TirInterfaceImpl.js +32 -0
- package/dist/compiler/tir/types/TirInterfaceType.d.ts +28 -0
- package/dist/compiler/tir/types/TirInterfaceType.js +36 -0
- package/dist/compiler/tir/types/TirNativeType/TirNativeType.d.ts +41 -0
- package/dist/compiler/tir/types/TirNativeType/TirNativeType.js +86 -0
- package/dist/compiler/tir/types/TirNativeType/index.d.ts +2 -0
- package/dist/compiler/tir/types/TirNativeType/index.js +2 -0
- package/dist/compiler/tir/types/TirNativeType/native/Optional/data.d.ts +17 -0
- package/dist/compiler/tir/types/TirNativeType/native/Optional/data.js +47 -0
- package/dist/compiler/tir/types/TirNativeType/native/Optional/index.d.ts +3 -0
- package/dist/compiler/tir/types/TirNativeType/native/Optional/index.js +3 -0
- package/dist/compiler/tir/types/TirNativeType/native/Optional/isTirOptType.d.ts +4 -0
- package/dist/compiler/tir/types/TirNativeType/native/Optional/isTirOptType.js +6 -0
- package/dist/compiler/tir/types/TirNativeType/native/Optional/sop.d.ts +17 -0
- package/dist/compiler/tir/types/TirNativeType/native/Optional/sop.js +48 -0
- package/dist/compiler/tir/types/TirNativeType/native/bool.d.ts +13 -0
- package/dist/compiler/tir/types/TirNativeType/native/bool.js +12 -0
- package/dist/compiler/tir/types/TirNativeType/native/bytes.d.ts +13 -0
- package/dist/compiler/tir/types/TirNativeType/native/bytes.js +12 -0
- package/dist/compiler/tir/types/TirNativeType/native/data.d.ts +13 -0
- package/dist/compiler/tir/types/TirNativeType/native/data.js +12 -0
- package/dist/compiler/tir/types/TirNativeType/native/function.d.ts +16 -0
- package/dist/compiler/tir/types/TirNativeType/native/function.js +38 -0
- package/dist/compiler/tir/types/TirNativeType/native/index.d.ts +10 -0
- package/dist/compiler/tir/types/TirNativeType/native/index.js +10 -0
- package/dist/compiler/tir/types/TirNativeType/native/int.d.ts +13 -0
- package/dist/compiler/tir/types/TirNativeType/native/int.js +12 -0
- package/dist/compiler/tir/types/TirNativeType/native/linearMap.d.ts +17 -0
- package/dist/compiler/tir/types/TirNativeType/native/linearMap.js +44 -0
- package/dist/compiler/tir/types/TirNativeType/native/list.d.ts +16 -0
- package/dist/compiler/tir/types/TirNativeType/native/list.js +38 -0
- package/dist/compiler/tir/types/TirNativeType/native/string.d.ts +13 -0
- package/dist/compiler/tir/types/TirNativeType/native/string.js +12 -0
- package/dist/compiler/tir/types/TirNativeType/native/void.d.ts +13 -0
- package/dist/compiler/tir/types/TirNativeType/native/void.js +12 -0
- package/dist/compiler/tir/types/TirStructType.d.ts +68 -0
- package/dist/compiler/tir/types/TirStructType.js +128 -0
- package/dist/compiler/tir/types/TirType.d.ts +34 -0
- package/dist/compiler/tir/types/TirType.js +16 -0
- package/dist/compiler/tir/types/TirTypeParam.d.ts +18 -0
- package/dist/compiler/tir/types/TirTypeParam.js +39 -0
- package/dist/compiler/tir/types/utils/canAssignTo.d.ts +24 -0
- package/dist/compiler/tir/types/utils/canAssignTo.js +337 -0
- package/dist/compiler/tir/types/utils/canCastTo.d.ts +9 -0
- package/dist/compiler/tir/types/utils/canCastTo.js +155 -0
- package/dist/compiler/tir/types/utils/getDeconstructableType.d.ts +9 -0
- package/dist/compiler/tir/types/utils/getDeconstructableType.js +20 -0
- package/dist/compiler/tir/types/utils/getListTypeArg.d.ts +2 -0
- package/dist/compiler/tir/types/utils/getListTypeArg.js +9 -0
- package/dist/compiler/tir/types/utils/getOptTypeArg.d.ts +2 -0
- package/dist/compiler/tir/types/utils/getOptTypeArg.js +14 -0
- package/dist/compiler/tir/types/utils/getUnaliased.d.ts +3 -0
- package/dist/compiler/tir/types/utils/getUnaliased.js +9 -0
- package/dist/diagnostics/DiagnosticCategory.d.ts +16 -0
- package/dist/diagnostics/DiagnosticCategory.js +39 -0
- package/dist/diagnostics/DiagnosticEmitter.d.ts +32 -0
- package/dist/diagnostics/DiagnosticEmitter.js +95 -0
- package/dist/diagnostics/DiagnosticMessage.d.ts +37 -0
- package/dist/diagnostics/DiagnosticMessage.js +229 -0
- package/dist/diagnostics/diagnosticMessages.generated.d.ts +275 -0
- package/dist/diagnostics/diagnosticMessages.generated.js +551 -0
- package/dist/diagnostics/utils/types.d.ts +5 -0
- package/dist/diagnostics/utils/types.js +1 -0
- package/dist/index.d.ts +12 -0
- package/dist/index.js +13 -0
- package/dist/parser/Parser.d.ts +150 -0
- package/dist/parser/Parser.js +2416 -0
- package/dist/parser/Precedence.d.ts +38 -0
- package/dist/parser/Precedence.js +98 -0
- package/dist/parser/hoistStatementsInplace.d.ts +14 -0
- package/dist/parser/hoistStatementsInplace.js +94 -0
- package/dist/parser/index.d.ts +1 -0
- package/dist/parser/index.js +1 -0
- package/dist/parser/parseFile.d.ts +3 -0
- package/dist/parser/parseFile.js +8 -0
- package/dist/tokenizer/IdentifierHandling.d.ts +5 -0
- package/dist/tokenizer/IdentifierHandling.js +6 -0
- package/dist/tokenizer/OnNewLine.d.ts +6 -0
- package/dist/tokenizer/OnNewLine.js +8 -0
- package/dist/tokenizer/Token.d.ts +160 -0
- package/dist/tokenizer/Token.js +213 -0
- package/dist/tokenizer/Tokenizer.d.ts +129 -0
- package/dist/tokenizer/Tokenizer.js +1323 -0
- package/dist/tokenizer/TokenizerState.d.ts +17 -0
- package/dist/tokenizer/TokenizerState.js +17 -0
- package/dist/tokenizer/index.d.ts +2 -0
- package/dist/tokenizer/index.js +2 -0
- package/dist/tokenizer/utils/isIllegalVariableIdentifier.d.ts +1 -0
- package/dist/tokenizer/utils/isIllegalVariableIdentifier.js +12 -0
- package/dist/tokenizer/utils/operatorTokenToString.d.ts +2 -0
- package/dist/tokenizer/utils/operatorTokenToString.js +57 -0
- package/dist/tokenizer/utils/tokenFromKeyword.d.ts +2 -0
- package/dist/tokenizer/utils/tokenFromKeyword.js +222 -0
- package/dist/tokenizer/utils/tokenIsAlsoIdentifier.d.ts +2 -0
- package/dist/tokenizer/utils/tokenIsAlsoIdentifier.js +24 -0
- package/dist/utils/BasePlutsError.d.ts +2 -0
- package/dist/utils/BasePlutsError.js +2 -0
- package/dist/utils/BitUtils/index.d.ts +30 -0
- package/dist/utils/BitUtils/index.js +60 -0
- package/dist/utils/CharCode.d.ts +125 -0
- package/dist/utils/CharCode.js +1 -0
- package/dist/utils/Cloneable.d.ts +6 -0
- package/dist/utils/Cloneable.js +4 -0
- package/dist/utils/InvalidCborFormatError.d.ts +3 -0
- package/dist/utils/InvalidCborFormatError.js +5 -0
- package/dist/utils/IsSingleKey.d.ts +7 -0
- package/dist/utils/IsSingleKey.js +1 -0
- package/dist/utils/MaybePromise.d.ts +2 -0
- package/dist/utils/MaybePromise.js +4 -0
- package/dist/utils/PlutusScriptType.d.ts +12 -0
- package/dist/utils/PlutusScriptType.js +1 -0
- package/dist/utils/ToJson.d.ts +4 -0
- package/dist/utils/ToJson.js +5 -0
- package/dist/utils/UPLCFlatUtils/index.d.ts +46 -0
- package/dist/utils/UPLCFlatUtils/index.js +124 -0
- package/dist/utils/array/filterSortedStrArrInplace.d.ts +7 -0
- package/dist/utils/array/filterSortedStrArrInplace.js +46 -0
- package/dist/utils/array/keepSortedArrInplace.d.ts +7 -0
- package/dist/utils/array/keepSortedArrInplace.js +49 -0
- package/dist/utils/array/mergeSortedStrArrInplace.d.ts +6 -0
- package/dist/utils/array/mergeSortedStrArrInplace.js +52 -0
- package/dist/utils/assert.d.ts +1 -0
- package/dist/utils/assert.js +5 -0
- package/dist/utils/capitalize.d.ts +1 -0
- package/dist/utils/capitalize.js +5 -0
- package/dist/utils/combinators.d.ts +37 -0
- package/dist/utils/combinators.js +76 -0
- package/dist/utils/getCallStackAt/index.d.ts +43 -0
- package/dist/utils/getCallStackAt/index.js +295 -0
- package/dist/utils/hex.d.ts +1 -0
- package/dist/utils/hex.js +6 -0
- package/dist/utils/ints.d.ts +4 -0
- package/dist/utils/ints.js +19 -0
- package/dist/utils/isNonEmpty.d.ts +1 -0
- package/dist/utils/isNonEmpty.js +3 -0
- package/dist/utils/maybeData.d.ts +4 -0
- package/dist/utils/maybeData.js +10 -0
- package/dist/utils/stringify.d.ts +2 -0
- package/dist/utils/stringify.js +31 -0
- package/dist/utils/terminal.d.ts +28 -0
- package/dist/utils/terminal.js +38 -0
- package/dist/utils/text.d.ts +172 -0
- package/dist/utils/text.js +672 -0
- package/dist/utils/types.d.ts +12 -0
- package/dist/utils/types.js +1 -0
- package/package.json +1 -1
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
2
|
+
import { HasSourceRange } from "../../HasSourceRange.js";
|
|
3
|
+
import { AstTypeExpr } from "../../types/AstTypeExpr.js";
|
|
4
|
+
import { PebbleExpr } from "../PebbleExpr.js";
|
|
5
|
+
export declare class CallExpr implements HasSourceRange {
|
|
6
|
+
/** any expression that yeidls a function */
|
|
7
|
+
readonly funcExpr: PebbleExpr;
|
|
8
|
+
/** if the function is generic */
|
|
9
|
+
readonly genericTypeArgs: AstTypeExpr[] | undefined;
|
|
10
|
+
readonly args: PebbleExpr[];
|
|
11
|
+
readonly range: SourceRange;
|
|
12
|
+
constructor(
|
|
13
|
+
/** any expression that yeidls a function */
|
|
14
|
+
funcExpr: PebbleExpr,
|
|
15
|
+
/** if the function is generic */
|
|
16
|
+
genericTypeArgs: AstTypeExpr[] | undefined, args: PebbleExpr[], range: SourceRange);
|
|
17
|
+
}
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
export class CallExpr {
|
|
2
|
+
funcExpr;
|
|
3
|
+
genericTypeArgs;
|
|
4
|
+
args;
|
|
5
|
+
range;
|
|
6
|
+
constructor(
|
|
7
|
+
/** any expression that yeidls a function */
|
|
8
|
+
funcExpr,
|
|
9
|
+
/** if the function is generic */
|
|
10
|
+
genericTypeArgs, args, range) {
|
|
11
|
+
this.funcExpr = funcExpr;
|
|
12
|
+
this.genericTypeArgs = genericTypeArgs;
|
|
13
|
+
this.args = args;
|
|
14
|
+
this.range = range;
|
|
15
|
+
}
|
|
16
|
+
}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
import { CommonFlags } from "../../../../common.js";
|
|
2
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
3
|
+
import { Identifier } from "../../common/Identifier.js";
|
|
4
|
+
import { HasSourceRange } from "../../HasSourceRange.js";
|
|
5
|
+
import { BlockStmt } from "../../statements/BlockStmt.js";
|
|
6
|
+
import { AstFuncType } from "../../types/AstNativeTypeExpr.js";
|
|
7
|
+
import { PebbleExpr } from "../PebbleExpr.js";
|
|
8
|
+
import { ArrowKind } from "./ArrowKind.js";
|
|
9
|
+
/**
|
|
10
|
+
* a litteral function value
|
|
11
|
+
**/
|
|
12
|
+
export declare class FuncExpr implements HasSourceRange {
|
|
13
|
+
readonly name: Identifier;
|
|
14
|
+
readonly flags: CommonFlags;
|
|
15
|
+
readonly typeParams: Identifier[];
|
|
16
|
+
readonly signature: AstFuncType;
|
|
17
|
+
readonly body: BlockStmt | PebbleExpr;
|
|
18
|
+
readonly arrowKind: ArrowKind;
|
|
19
|
+
readonly range: SourceRange;
|
|
20
|
+
constructor(name: Identifier, flags: CommonFlags, typeParams: Identifier[], signature: AstFuncType, body: BlockStmt | PebbleExpr, arrowKind: ArrowKind, range: SourceRange);
|
|
21
|
+
}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* a litteral function value
|
|
3
|
+
**/
|
|
4
|
+
export class FuncExpr {
|
|
5
|
+
name;
|
|
6
|
+
flags;
|
|
7
|
+
typeParams;
|
|
8
|
+
signature;
|
|
9
|
+
body;
|
|
10
|
+
arrowKind;
|
|
11
|
+
range;
|
|
12
|
+
constructor(name, flags, typeParams, signature, body, arrowKind, range) {
|
|
13
|
+
this.name = name;
|
|
14
|
+
this.flags = flags;
|
|
15
|
+
this.typeParams = typeParams;
|
|
16
|
+
this.signature = signature;
|
|
17
|
+
this.body = body;
|
|
18
|
+
this.arrowKind = arrowKind;
|
|
19
|
+
this.range = range;
|
|
20
|
+
}
|
|
21
|
+
}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
2
|
+
import { HasSourceRange } from "../../HasSourceRange.js";
|
|
3
|
+
import { PebbleExpr } from "../PebbleExpr.js";
|
|
4
|
+
export declare class LitArrExpr implements HasSourceRange {
|
|
5
|
+
readonly elems: PebbleExpr[];
|
|
6
|
+
readonly range: SourceRange;
|
|
7
|
+
constructor(elems: PebbleExpr[], range: SourceRange);
|
|
8
|
+
}
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
2
|
+
import { HasSourceRange } from "../../HasSourceRange.js";
|
|
3
|
+
export declare class LitHexBytesExpr implements HasSourceRange {
|
|
4
|
+
readonly bytes: Uint8Array;
|
|
5
|
+
readonly range: SourceRange;
|
|
6
|
+
constructor(bytes: Uint8Array, range: SourceRange);
|
|
7
|
+
}
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
2
|
+
import { HasSourceRange } from "../../HasSourceRange.js";
|
|
3
|
+
export declare class LitIntExpr implements HasSourceRange {
|
|
4
|
+
readonly integer: bigint;
|
|
5
|
+
readonly range: SourceRange;
|
|
6
|
+
constructor(integer: bigint, range: SourceRange);
|
|
7
|
+
}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
2
|
+
import { Identifier } from "../../common/Identifier.js";
|
|
3
|
+
import { HasSourceRange } from "../../HasSourceRange.js";
|
|
4
|
+
import { PebbleExpr } from "../PebbleExpr.js";
|
|
5
|
+
import { ILibObjExpr } from "./LitObjExpr.js";
|
|
6
|
+
export declare class LitNamedObjExpr implements HasSourceRange, ILibObjExpr {
|
|
7
|
+
readonly name: Identifier;
|
|
8
|
+
readonly fieldNames: Identifier[];
|
|
9
|
+
readonly values: PebbleExpr[];
|
|
10
|
+
readonly range: SourceRange;
|
|
11
|
+
constructor(name: Identifier, fieldNames: Identifier[], values: PebbleExpr[], range: SourceRange);
|
|
12
|
+
}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
2
|
+
import { Identifier } from "../../common/Identifier.js";
|
|
3
|
+
import { HasSourceRange } from "../../HasSourceRange.js";
|
|
4
|
+
import { PebbleExpr } from "../PebbleExpr.js";
|
|
5
|
+
export interface ILibObjExpr {
|
|
6
|
+
fieldNames: Identifier[];
|
|
7
|
+
values: PebbleExpr[];
|
|
8
|
+
}
|
|
9
|
+
export declare class LitObjExpr implements HasSourceRange, ILibObjExpr {
|
|
10
|
+
readonly fieldNames: Identifier[];
|
|
11
|
+
readonly values: PebbleExpr[];
|
|
12
|
+
readonly range: SourceRange;
|
|
13
|
+
constructor(fieldNames: Identifier[], values: PebbleExpr[], range: SourceRange);
|
|
14
|
+
}
|
|
@@ -0,0 +1,7 @@
|
|
|
1
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
2
|
+
import { HasSourceRange } from "../../HasSourceRange.js";
|
|
3
|
+
export declare class LitStrExpr implements HasSourceRange {
|
|
4
|
+
readonly string: string;
|
|
5
|
+
readonly range: SourceRange;
|
|
6
|
+
constructor(string: string, range: SourceRange);
|
|
7
|
+
}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
import { LitArrExpr } from "./LitArrExpr.js";
|
|
2
|
+
import { LitFalseExpr } from "./LitFalseExpr.js";
|
|
3
|
+
import { LitHexBytesExpr } from "./LitHexBytesExpr.js";
|
|
4
|
+
import { LitIntExpr } from "./LitIntExpr.js";
|
|
5
|
+
import { LitNamedObjExpr } from "./LitNamedObjExpr.js";
|
|
6
|
+
import { LitObjExpr } from "./LitObjExpr.js";
|
|
7
|
+
import { LitStrExpr } from "./LitStrExpr.js";
|
|
8
|
+
import { LitThisExpr } from "./LitThisExpr.js";
|
|
9
|
+
import { LitTrueExpr } from "./LitTrueExpr.js";
|
|
10
|
+
import { LitUndefExpr } from "./LitUndefExpr.js";
|
|
11
|
+
import { LitVoidExpr } from "./LitVoidExpr.js";
|
|
12
|
+
export type LitteralExpr = LitVoidExpr | LitUndefExpr | LitTrueExpr | LitFalseExpr | LitThisExpr | LitArrExpr | LitObjExpr | LitNamedObjExpr | LitStrExpr | LitIntExpr | LitHexBytesExpr;
|
|
13
|
+
export declare function isLitteralExpr(thing: any): thing is LitteralExpr;
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
import { LitArrExpr } from "./LitArrExpr.js";
|
|
2
|
+
import { LitFalseExpr } from "./LitFalseExpr.js";
|
|
3
|
+
import { LitHexBytesExpr } from "./LitHexBytesExpr.js";
|
|
4
|
+
import { LitIntExpr } from "./LitIntExpr.js";
|
|
5
|
+
import { LitNamedObjExpr } from "./LitNamedObjExpr.js";
|
|
6
|
+
import { LitObjExpr } from "./LitObjExpr.js";
|
|
7
|
+
import { LitStrExpr } from "./LitStrExpr.js";
|
|
8
|
+
import { LitThisExpr } from "./LitThisExpr.js";
|
|
9
|
+
import { LitTrueExpr } from "./LitTrueExpr.js";
|
|
10
|
+
import { LitUndefExpr } from "./LitUndefExpr.js";
|
|
11
|
+
import { LitVoidExpr } from "./LitVoidExpr.js";
|
|
12
|
+
export function isLitteralExpr(thing) {
|
|
13
|
+
return (thing instanceof LitVoidExpr
|
|
14
|
+
|| thing instanceof LitUndefExpr
|
|
15
|
+
|| thing instanceof LitTrueExpr
|
|
16
|
+
|| thing instanceof LitFalseExpr
|
|
17
|
+
|| thing instanceof LitThisExpr
|
|
18
|
+
|| thing instanceof LitArrExpr
|
|
19
|
+
|| thing instanceof LitObjExpr
|
|
20
|
+
|| thing instanceof LitNamedObjExpr
|
|
21
|
+
|| thing instanceof LitStrExpr
|
|
22
|
+
|| thing instanceof LitIntExpr
|
|
23
|
+
|| thing instanceof LitHexBytesExpr);
|
|
24
|
+
}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export {};
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
2
|
+
import { HasSourceRange } from "../../HasSourceRange.js";
|
|
3
|
+
import { PebbleExpr } from "../PebbleExpr.js";
|
|
4
|
+
export declare class NonNullExpr implements HasSourceRange {
|
|
5
|
+
operand: PebbleExpr;
|
|
6
|
+
readonly range: SourceRange;
|
|
7
|
+
constructor(operand: PebbleExpr, range: SourceRange);
|
|
8
|
+
}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
2
|
+
import { HasSourceRange } from "../../HasSourceRange.js";
|
|
3
|
+
import { PebbleExpr } from "../PebbleExpr.js";
|
|
4
|
+
import { IUnaryExpression } from "./IUnaryExpression.js";
|
|
5
|
+
export declare class UnaryExclamation implements HasSourceRange, IUnaryExpression {
|
|
6
|
+
operand: PebbleExpr;
|
|
7
|
+
readonly range: SourceRange;
|
|
8
|
+
constructor(operand: PebbleExpr, range: SourceRange);
|
|
9
|
+
}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
2
|
+
import { HasSourceRange } from "../../HasSourceRange.js";
|
|
3
|
+
import { PebbleExpr } from "../PebbleExpr.js";
|
|
4
|
+
import { IUnaryExpression } from "./IUnaryExpression.js";
|
|
5
|
+
export declare class UnaryMinus implements HasSourceRange, IUnaryExpression {
|
|
6
|
+
operand: PebbleExpr;
|
|
7
|
+
readonly range: SourceRange;
|
|
8
|
+
constructor(operand: PebbleExpr, range: SourceRange);
|
|
9
|
+
}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
2
|
+
import { HasSourceRange } from "../../HasSourceRange.js";
|
|
3
|
+
import { PebbleExpr } from "../PebbleExpr.js";
|
|
4
|
+
import { IUnaryExpression } from "./IUnaryExpression.js";
|
|
5
|
+
export declare class UnaryPlus implements HasSourceRange, IUnaryExpression {
|
|
6
|
+
operand: PebbleExpr;
|
|
7
|
+
readonly range: SourceRange;
|
|
8
|
+
constructor(operand: PebbleExpr, range: SourceRange);
|
|
9
|
+
}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import { Token } from "../../../../tokenizer/Token.js";
|
|
2
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
3
|
+
import { PebbleExpr } from "../PebbleExpr.js";
|
|
4
|
+
import { IncrStmt } from "../../statements/IncrStmt.js";
|
|
5
|
+
import { UnaryExclamation } from "./UnaryExclamation.js";
|
|
6
|
+
import { UnaryMinus } from "./UnaryMinus.js";
|
|
7
|
+
import { UnaryPlus } from "./UnaryPlus.js";
|
|
8
|
+
import { UnaryTilde } from "./UnaryTilde.js";
|
|
9
|
+
import { DecrStmt } from "../../statements/DecrStmt.js";
|
|
10
|
+
export type UnaryPrefixExpr = UnaryExclamation | UnaryPlus | UnaryMinus | UnaryTilde;
|
|
11
|
+
export declare function isUnaryPrefixExpr(thing: any): thing is UnaryPrefixExpr;
|
|
12
|
+
export type UnaryPrefixToken = Token.Exclamation | Token.Plus | Token.Minus | Token.Tilde | Token.Plus_Plus | Token.Minus_Minus;
|
|
13
|
+
export type UnaryPrefixTokenToExpr<T extends UnaryPrefixToken> = T extends Token.Exclamation ? UnaryExclamation : T extends Token.Plus ? UnaryPlus : T extends Token.Minus ? UnaryMinus : T extends Token.Tilde ? UnaryTilde : T extends Token.Plus_Plus ? IncrStmt : T extends Token.Minus_Minus ? DecrStmt : never;
|
|
14
|
+
export declare function makeUnaryPrefixExpr<T extends UnaryPrefixToken>(token: T, operand: PebbleExpr, range: SourceRange): UnaryPrefixTokenToExpr<T>;
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
import { Token } from "../../../../tokenizer/Token.js";
|
|
2
|
+
import { IncrStmt } from "../../statements/IncrStmt.js";
|
|
3
|
+
import { UnaryExclamation } from "./UnaryExclamation.js";
|
|
4
|
+
import { UnaryMinus } from "./UnaryMinus.js";
|
|
5
|
+
import { UnaryPlus } from "./UnaryPlus.js";
|
|
6
|
+
import { UnaryTilde } from "./UnaryTilde.js";
|
|
7
|
+
import { DecrStmt } from "../../statements/DecrStmt.js";
|
|
8
|
+
export function isUnaryPrefixExpr(thing) {
|
|
9
|
+
return (thing instanceof UnaryExclamation ||
|
|
10
|
+
thing instanceof UnaryPlus ||
|
|
11
|
+
thing instanceof UnaryMinus ||
|
|
12
|
+
thing instanceof UnaryTilde ||
|
|
13
|
+
thing instanceof IncrStmt ||
|
|
14
|
+
thing instanceof DecrStmt);
|
|
15
|
+
}
|
|
16
|
+
export function makeUnaryPrefixExpr(token, operand, range) {
|
|
17
|
+
switch (token) {
|
|
18
|
+
case Token.Exclamation: return new UnaryExclamation(operand, range);
|
|
19
|
+
case Token.Plus: return new UnaryPlus(operand, range);
|
|
20
|
+
case Token.Minus: return new UnaryMinus(operand, range);
|
|
21
|
+
case Token.Tilde: return new UnaryTilde(operand, range);
|
|
22
|
+
case Token.Plus_Plus: return new IncrStmt(operand, range);
|
|
23
|
+
case Token.Minus_Minus: return new DecrStmt(operand, range);
|
|
24
|
+
default:
|
|
25
|
+
throw new Error("Invalid token for unary prefix expression");
|
|
26
|
+
}
|
|
27
|
+
}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
import { SourceRange } from "../../../Source/SourceRange.js";
|
|
2
|
+
import { HasSourceRange } from "../../HasSourceRange.js";
|
|
3
|
+
import { PebbleExpr } from "../PebbleExpr.js";
|
|
4
|
+
import { IUnaryExpression } from "./IUnaryExpression.js";
|
|
5
|
+
export declare class UnaryTilde implements HasSourceRange, IUnaryExpression {
|
|
6
|
+
operand: PebbleExpr;
|
|
7
|
+
readonly range: SourceRange;
|
|
8
|
+
constructor(operand: PebbleExpr, range: SourceRange);
|
|
9
|
+
}
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
import { SourceRange } from "../../Source/SourceRange.js";
|
|
2
|
+
import { PebbleExpr } from "../expr/PebbleExpr.js";
|
|
3
|
+
import { HasSourceRange } from "../HasSourceRange.js";
|
|
4
|
+
export declare class AssertStmt implements HasSourceRange {
|
|
5
|
+
/** must be boolean or Optional */
|
|
6
|
+
readonly condition: PebbleExpr;
|
|
7
|
+
/** must be string */
|
|
8
|
+
readonly elseExpr: PebbleExpr | undefined;
|
|
9
|
+
readonly range: SourceRange;
|
|
10
|
+
constructor(
|
|
11
|
+
/** must be boolean or Optional */
|
|
12
|
+
condition: PebbleExpr,
|
|
13
|
+
/** must be string */
|
|
14
|
+
elseExpr: PebbleExpr | undefined, range: SourceRange);
|
|
15
|
+
}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
export class AssertStmt {
|
|
2
|
+
condition;
|
|
3
|
+
elseExpr;
|
|
4
|
+
range;
|
|
5
|
+
constructor(
|
|
6
|
+
/** must be boolean or Optional */
|
|
7
|
+
condition,
|
|
8
|
+
/** must be string */
|
|
9
|
+
elseExpr, range) {
|
|
10
|
+
this.condition = condition;
|
|
11
|
+
this.elseExpr = elseExpr;
|
|
12
|
+
this.range = range;
|
|
13
|
+
}
|
|
14
|
+
}
|
|
@@ -0,0 +1,105 @@
|
|
|
1
|
+
import { Token } from "../../../tokenizer/Token.js";
|
|
2
|
+
import { Identifier } from "../common/Identifier.js";
|
|
3
|
+
import { PebbleExpr } from "../expr/PebbleExpr.js";
|
|
4
|
+
import { SourceRange } from "../../Source/SourceRange.js";
|
|
5
|
+
import { HasSourceRange } from "../HasSourceRange.js";
|
|
6
|
+
import { DecrStmt } from "./DecrStmt.js";
|
|
7
|
+
import { IncrStmt } from "./IncrStmt.js";
|
|
8
|
+
export type ExplicitAssignmentStmt = SimpleAssignmentStmt | AddAssignmentStmt | SubAssignmentStmt | ExpAssignmentStmt | MultAssignmentStmt | DivAssignmentStmt | ModuloAssignmentStmt | ShiftLeftAssignmentStmt | ShiftRightAssignmentStmt | BitwiseAndAssignmentStmt | BitwiseXorAssignmentStmt | BitwiseOrAssignmentStmt | LogicalAndAssignmentStmt | LogicalOrAssignmentStmt;
|
|
9
|
+
export type ImplicitAssignmentStmt = IncrStmt | DecrStmt;
|
|
10
|
+
export type AssignmentStmt = ExplicitAssignmentStmt | ImplicitAssignmentStmt;
|
|
11
|
+
export type AssignmentStmtToken = Token.Equals | Token.Plus_Equals | Token.Minus_Equals | Token.Asterisk_Asterisk_Equals | Token.Asterisk_Equals | Token.Slash_Equals | Token.Percent_Equals | Token.Plus_Plus | Token.Minus_Minus | Token.LessThan_LessThan_Equals | Token.GreaterThan_GreaterThan_Equals | Token.GreaterThan_GreaterThan_GreaterThan_Equals | Token.Ampersand_Equals | Token.Caret_Equals | Token.Bar_Equals | Token.Ampersand_Ampersand_Equals | Token.Bar_Bar_Equals;
|
|
12
|
+
export type AssignmentTokenToStmt<T extends AssignmentStmtToken> = T extends Token.Equals ? SimpleAssignmentStmt : T extends Token.Plus_Equals ? AddAssignmentStmt : T extends Token.Minus_Equals ? SubAssignmentStmt : T extends Token.Asterisk_Asterisk_Equals ? ExpAssignmentStmt : T extends Token.Asterisk_Equals ? MultAssignmentStmt : T extends Token.Slash_Equals ? DivAssignmentStmt : T extends Token.Percent_Equals ? ModuloAssignmentStmt : T extends Token.Plus_Plus ? IncrStmt : T extends Token.Minus_Minus ? DecrStmt : T extends Token.LessThan_LessThan_Equals ? ShiftLeftAssignmentStmt : T extends Token.GreaterThan_GreaterThan_Equals ? ShiftRightAssignmentStmt : T extends Token.GreaterThan_GreaterThan_GreaterThan_Equals ? ShiftRightAssignmentStmt : T extends Token.Ampersand_Equals ? BitwiseAndAssignmentStmt : T extends Token.Caret_Equals ? BitwiseXorAssignmentStmt : T extends Token.Bar_Equals ? BitwiseOrAssignmentStmt : T extends Token.Ampersand_Ampersand_Equals ? LogicalAndAssignmentStmt : T extends Token.Bar_Bar_Equals ? LogicalOrAssignmentStmt : never;
|
|
13
|
+
export declare function isAssignmentToken(token: any): token is AssignmentStmtToken;
|
|
14
|
+
export declare function isAssignmentStmt(stmt: any): stmt is AssignmentStmt;
|
|
15
|
+
export declare function isImplicitAssignmentStmt(stmt: any): stmt is ImplicitAssignmentStmt;
|
|
16
|
+
export declare function isExplicitAssignmentStmt(stmt: any): stmt is ExpAssignmentStmt;
|
|
17
|
+
export declare function makeAssignmentStmt<T extends AssignmentStmtToken>(varIdentifier: Identifier, token: T, assignedExpr: PebbleExpr, range: SourceRange): AssignmentTokenToStmt<T>;
|
|
18
|
+
export interface IAssignmentStmt extends HasSourceRange {
|
|
19
|
+
readonly varIdentifier: Identifier;
|
|
20
|
+
readonly assignedExpr: PebbleExpr;
|
|
21
|
+
}
|
|
22
|
+
export declare class SimpleAssignmentStmt implements IAssignmentStmt {
|
|
23
|
+
readonly varIdentifier: Identifier;
|
|
24
|
+
readonly assignedExpr: PebbleExpr;
|
|
25
|
+
readonly range: SourceRange;
|
|
26
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
27
|
+
}
|
|
28
|
+
export declare class AddAssignmentStmt implements IAssignmentStmt {
|
|
29
|
+
readonly varIdentifier: Identifier;
|
|
30
|
+
readonly assignedExpr: PebbleExpr;
|
|
31
|
+
readonly range: SourceRange;
|
|
32
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
33
|
+
}
|
|
34
|
+
export declare class SubAssignmentStmt implements IAssignmentStmt {
|
|
35
|
+
readonly varIdentifier: Identifier;
|
|
36
|
+
readonly assignedExpr: PebbleExpr;
|
|
37
|
+
readonly range: SourceRange;
|
|
38
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
39
|
+
}
|
|
40
|
+
export declare class ExpAssignmentStmt implements IAssignmentStmt {
|
|
41
|
+
readonly varIdentifier: Identifier;
|
|
42
|
+
readonly assignedExpr: PebbleExpr;
|
|
43
|
+
readonly range: SourceRange;
|
|
44
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
45
|
+
}
|
|
46
|
+
export declare class MultAssignmentStmt implements IAssignmentStmt {
|
|
47
|
+
readonly varIdentifier: Identifier;
|
|
48
|
+
readonly assignedExpr: PebbleExpr;
|
|
49
|
+
readonly range: SourceRange;
|
|
50
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
51
|
+
}
|
|
52
|
+
export declare class DivAssignmentStmt implements IAssignmentStmt {
|
|
53
|
+
readonly varIdentifier: Identifier;
|
|
54
|
+
readonly assignedExpr: PebbleExpr;
|
|
55
|
+
readonly range: SourceRange;
|
|
56
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
57
|
+
}
|
|
58
|
+
export declare class ModuloAssignmentStmt implements IAssignmentStmt {
|
|
59
|
+
readonly varIdentifier: Identifier;
|
|
60
|
+
readonly assignedExpr: PebbleExpr;
|
|
61
|
+
readonly range: SourceRange;
|
|
62
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
63
|
+
}
|
|
64
|
+
export declare class ShiftLeftAssignmentStmt implements IAssignmentStmt {
|
|
65
|
+
readonly varIdentifier: Identifier;
|
|
66
|
+
readonly assignedExpr: PebbleExpr;
|
|
67
|
+
readonly range: SourceRange;
|
|
68
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
69
|
+
}
|
|
70
|
+
export declare class ShiftRightAssignmentStmt implements IAssignmentStmt {
|
|
71
|
+
readonly varIdentifier: Identifier;
|
|
72
|
+
readonly assignedExpr: PebbleExpr;
|
|
73
|
+
readonly range: SourceRange;
|
|
74
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
75
|
+
}
|
|
76
|
+
export declare class BitwiseAndAssignmentStmt implements IAssignmentStmt {
|
|
77
|
+
readonly varIdentifier: Identifier;
|
|
78
|
+
readonly assignedExpr: PebbleExpr;
|
|
79
|
+
readonly range: SourceRange;
|
|
80
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
81
|
+
}
|
|
82
|
+
export declare class BitwiseXorAssignmentStmt implements IAssignmentStmt {
|
|
83
|
+
readonly varIdentifier: Identifier;
|
|
84
|
+
readonly assignedExpr: PebbleExpr;
|
|
85
|
+
readonly range: SourceRange;
|
|
86
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
87
|
+
}
|
|
88
|
+
export declare class BitwiseOrAssignmentStmt implements IAssignmentStmt {
|
|
89
|
+
readonly varIdentifier: Identifier;
|
|
90
|
+
readonly assignedExpr: PebbleExpr;
|
|
91
|
+
readonly range: SourceRange;
|
|
92
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
93
|
+
}
|
|
94
|
+
export declare class LogicalAndAssignmentStmt implements IAssignmentStmt {
|
|
95
|
+
readonly varIdentifier: Identifier;
|
|
96
|
+
readonly assignedExpr: PebbleExpr;
|
|
97
|
+
readonly range: SourceRange;
|
|
98
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
99
|
+
}
|
|
100
|
+
export declare class LogicalOrAssignmentStmt implements IAssignmentStmt {
|
|
101
|
+
readonly varIdentifier: Identifier;
|
|
102
|
+
readonly assignedExpr: PebbleExpr;
|
|
103
|
+
readonly range: SourceRange;
|
|
104
|
+
constructor(varIdentifier: Identifier, assignedExpr: PebbleExpr, range: SourceRange);
|
|
105
|
+
}
|