greybel-interpreter 4.5.13 → 4.6.0

package/dist/{byte-compiler → bytecode-generator}/instruction.d.ts

@@ -47,18 +47,19 @@ export declare enum OpCode {
     GOTO_A = 41,
     GOTO_A_IF_FALSE = 42,
     GOTO_A_IF_FALSE_AND_PUSH = 43,
-    GOTO_A_IF_TRUE_AND_PUSH = 44,
-    PUSH_ITERATOR = 45,
-    POP_ITERATOR = 46,
-    NEXT = 47,
-    BITWISE_OR = 48,
-    BITWISE_AND = 49,
-    BITWISE_LEFT_SHIFT = 50,
-    BITWISE_RIGHT_SHIFT = 51,
-    BITWISE_UNSIGNED_RIGHT_SHIFT = 52,
-    BREAKPOINT = 53,
-    BREAKPOINT_ENABLE = 54,
-    IMPORT = 55
+    GOTO_A_IF_TRUE = 44,
+    GOTO_A_IF_TRUE_AND_PUSH = 45,
+    PUSH_ITERATOR = 46,
+    POP_ITERATOR = 47,
+    NEXT = 48,
+    BITWISE_OR = 49,
+    BITWISE_AND = 50,
+    BITWISE_LEFT_SHIFT = 51,
+    BITWISE_RIGHT_SHIFT = 52,
+    BITWISE_UNSIGNED_RIGHT_SHIFT = 53,
+    BREAKPOINT = 54,
+    BREAKPOINT_ENABLE = 55,
+    IMPORT = 56
 }
 export interface FunctionDefinitionInstructionArgument {
     name: CustomString;
@@ -74,6 +75,7 @@ export interface BaseInstruction {
     op: OpCode;
     source: SourceLocation;
     ip?: number;
+    command?: boolean;
 }
 export interface GetVariableInstruction extends BaseInstruction {
     op: OpCode.GET_VARIABLE;
@@ -97,11 +99,7 @@ export interface ConstructListInstruction extends BaseInstruction {
     length: number;
 }
 export interface CallInstruction extends BaseInstruction {
-    op: OpCode.CALL;
-    length: number;
-}
-export interface CallWithContextInstruction extends BaseInstruction {
-    op: OpCode.CALL_WITH_CONTEXT | OpCode.CALL_SUPER_PROPERTY;
+    op: OpCode.CALL | OpCode.CALL_WITH_CONTEXT | OpCode.CALL_SUPER_PROPERTY;
     length: number;
 }
 export interface FunctionDefinitionInstruction extends BaseInstruction {
@@ -111,7 +109,7 @@ export interface FunctionDefinitionInstruction extends BaseInstruction {
     ignoreOuter: boolean;
 }
 export interface GotoAInstruction extends BaseInstruction {
-    op: OpCode.GOTO_A | OpCode.GOTO_A_IF_FALSE | OpCode.GOTO_A_IF_FALSE_AND_PUSH | OpCode.GOTO_A_IF_TRUE_AND_PUSH;
+    op: OpCode.GOTO_A | OpCode.GOTO_A_IF_FALSE | OpCode.GOTO_A_IF_FALSE_AND_PUSH | OpCode.GOTO_A_IF_TRUE | OpCode.GOTO_A_IF_TRUE_AND_PUSH;
     goto: Instruction;
 }
 export interface NextInstruction extends BaseInstruction {
@@ -129,4 +127,4 @@ export interface ImportInstruction extends BaseInstruction {
     op: OpCode.IMPORT;
     path: string;
 }
-export type Instruction = BaseInstruction | GetVariableInstruction | PushInstruction | ConstructMapInstruction | ConstructListInstruction | FunctionDefinitionInstruction | GotoAInstruction | GetPropertyInstruction | CallInstruction | CallWithContextInstruction | NextInstruction | CallInternalInstruction | ImportInstruction;
+export type Instruction = BaseInstruction | GetVariableInstruction | PushInstruction | ConstructMapInstruction | ConstructListInstruction | FunctionDefinitionInstruction | GotoAInstruction | GetPropertyInstruction | CallInstruction | NextInstruction | CallInternalInstruction | ImportInstruction;

package/dist/{byte-compiler → bytecode-generator}/instruction.js

@@ -47,16 +47,17 @@ var OpCode;
     OpCode[OpCode["GOTO_A"] = 41] = "GOTO_A";
     OpCode[OpCode["GOTO_A_IF_FALSE"] = 42] = "GOTO_A_IF_FALSE";
     OpCode[OpCode["GOTO_A_IF_FALSE_AND_PUSH"] = 43] = "GOTO_A_IF_FALSE_AND_PUSH";
-    OpCode[OpCode["GOTO_A_IF_TRUE_AND_PUSH"] = 44] = "GOTO_A_IF_TRUE_AND_PUSH";
-    OpCode[OpCode["PUSH_ITERATOR"] = 45] = "PUSH_ITERATOR";
-    OpCode[OpCode["POP_ITERATOR"] = 46] = "POP_ITERATOR";
-    OpCode[OpCode["NEXT"] = 47] = "NEXT";
-    OpCode[OpCode["BITWISE_OR"] = 48] = "BITWISE_OR";
-    OpCode[OpCode["BITWISE_AND"] = 49] = "BITWISE_AND";
-    OpCode[OpCode["BITWISE_LEFT_SHIFT"] = 50] = "BITWISE_LEFT_SHIFT";
-    OpCode[OpCode["BITWISE_RIGHT_SHIFT"] = 51] = "BITWISE_RIGHT_SHIFT";
-    OpCode[OpCode["BITWISE_UNSIGNED_RIGHT_SHIFT"] = 52] = "BITWISE_UNSIGNED_RIGHT_SHIFT";
-    OpCode[OpCode["BREAKPOINT"] = 53] = "BREAKPOINT";
-    OpCode[OpCode["BREAKPOINT_ENABLE"] = 54] = "BREAKPOINT_ENABLE";
-    OpCode[OpCode["IMPORT"] = 55] = "IMPORT";
+    OpCode[OpCode["GOTO_A_IF_TRUE"] = 44] = "GOTO_A_IF_TRUE";
+    OpCode[OpCode["GOTO_A_IF_TRUE_AND_PUSH"] = 45] = "GOTO_A_IF_TRUE_AND_PUSH";
+    OpCode[OpCode["PUSH_ITERATOR"] = 46] = "PUSH_ITERATOR";
+    OpCode[OpCode["POP_ITERATOR"] = 47] = "POP_ITERATOR";
+    OpCode[OpCode["NEXT"] = 48] = "NEXT";
+    OpCode[OpCode["BITWISE_OR"] = 49] = "BITWISE_OR";
+    OpCode[OpCode["BITWISE_AND"] = 50] = "BITWISE_AND";
+    OpCode[OpCode["BITWISE_LEFT_SHIFT"] = 51] = "BITWISE_LEFT_SHIFT";
+    OpCode[OpCode["BITWISE_RIGHT_SHIFT"] = 52] = "BITWISE_RIGHT_SHIFT";
+    OpCode[OpCode["BITWISE_UNSIGNED_RIGHT_SHIFT"] = 53] = "BITWISE_UNSIGNED_RIGHT_SHIFT";
+    OpCode[OpCode["BREAKPOINT"] = 54] = "BREAKPOINT";
+    OpCode[OpCode["BREAKPOINT_ENABLE"] = 55] = "BREAKPOINT_ENABLE";
+    OpCode[OpCode["IMPORT"] = 56] = "IMPORT";
 })(OpCode = exports.OpCode || (exports.OpCode = {}));

package/dist/bytecode-generator/line.d.ts

@@ -0,0 +1,9 @@
+export interface LineContext {
+    includeOuter?: boolean;
+}
+export interface LineCallableContext extends LineContext {
+    isReference?: boolean;
+}
+export interface LineIdentifierContext extends LineCallableContext {
+    isDescending?: boolean;
+}

package/dist/bytecode-generator/line.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/dist/bytecode-generator/models.d.ts

@@ -0,0 +1,42 @@
+import { ASTFeatureEnvarExpression, ASTFeatureImportExpression, ASTFeatureIncludeExpression } from 'greybel-core';
+import { ASTAssignmentStatement, ASTBase, ASTCallExpression, ASTEvaluationExpression, ASTForGenericStatement, ASTFunctionStatement, ASTIdentifier, ASTIfStatement, ASTIndexExpression, ASTListConstructorExpression, ASTLiteral, ASTMapConstructorExpression, ASTMemberExpression, ASTReturnStatement, ASTSliceExpression, ASTUnaryExpression, ASTWhileStatement } from 'miniscript-core';
+import { LineCallableContext, LineContext, LineIdentifierContext } from './line';
+export interface ParseCodeFunction {
+    (code: string): ASTBase;
+}
+export interface IBytecodeStatementGenerator {
+    process(node: ASTBase): Promise<void>;
+    processMemberExpression(node: ASTMemberExpression, context?: LineCallableContext): Promise<void>;
+    processIndexExpression(node: ASTIndexExpression, context?: LineCallableContext): Promise<void>;
+    processIdentifier(node: ASTIdentifier, context?: LineIdentifierContext): Promise<void>;
+    processAssignmentStatement(node: ASTAssignmentStatement): Promise<void>;
+    processEvaluationExpression(node: ASTEvaluationExpression): Promise<void>;
+    processReturn(node: ASTReturnStatement): Promise<void>;
+    processBreak(node: ASTBase): Promise<void>;
+    processContinue(node: ASTBase): Promise<void>;
+    processMapConstructorExpression(node: ASTMapConstructorExpression): Promise<void>;
+    processListConstructorExpression(node: ASTListConstructorExpression): Promise<void>;
+    processWhileStatement(node: ASTWhileStatement): Promise<void>;
+    processUnaryExpression(node: ASTUnaryExpression): Promise<void>;
+    processCallExpression(node: ASTCallExpression): Promise<void>;
+    processIfStatement(node: ASTIfStatement): Promise<void>;
+    processForGenericStatement(node: ASTForGenericStatement): Promise<void>;
+    processImportExpression(node: ASTFeatureImportExpression): Promise<void>;
+    processIncludeExpression(node: ASTFeatureIncludeExpression): Promise<void>;
+    processDebuggerExpression(node: ASTBase): Promise<void>;
+}
+export interface IBytecodeExpressionGenerator {
+    process(node: ASTBase, context?: LineContext): Promise<void>;
+    processMemberExpression(node: ASTMemberExpression, context?: LineCallableContext): Promise<void>;
+    processIndexExpression(node: ASTIndexExpression): Promise<void>;
+    processSliceExpression(node: ASTSliceExpression): Promise<void>;
+    processIdentifier(node: ASTIdentifier, context?: LineIdentifierContext): Promise<void>;
+    processLiteral(node: ASTLiteral): Promise<void>;
+    processEvaluationExpression(node: ASTEvaluationExpression): Promise<void>;
+    processMapConstructorExpression(node: ASTMapConstructorExpression): Promise<void>;
+    processListConstructorExpression(node: ASTListConstructorExpression): Promise<void>;
+    processFunctionDeclaration(node: ASTFunctionStatement, context?: LineContext): Promise<void>;
+    processUnaryExpression(node: ASTUnaryExpression): Promise<void>;
+    processCallExpression(node: ASTCallExpression): Promise<void>;
+    processEnvarExpression(node: ASTFeatureEnvarExpression): Promise<void>;
+}

package/dist/bytecode-generator/models.js

@@ -0,0 +1,2 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });

package/dist/bytecode-generator/module.d.ts

@@ -0,0 +1,25 @@
+import { ASTBase } from 'miniscript-core';
+import { Stack } from '../utils/stack';
+import { Instruction, SourceLocation } from './instruction';
+export interface BytecodeGeneratorContext {
+    code: Instruction[];
+    jumpPoints: [Instruction, Instruction][];
+}
+export declare class Module {
+    private _target;
+    private _context;
+    constructor(target: string);
+    get target(): string;
+    get context(): Stack<BytecodeGeneratorContext>;
+    isGlobalScope(): boolean;
+    pushContext(): void;
+    popContext(): BytecodeGeneratorContext;
+    getCurrentIp(): number;
+    getCode(): Instruction[];
+    pushCode(item: Instruction): void;
+    getJumpPoint(): [Instruction, Instruction];
+    pushJumppoint(start: Instruction, end: Instruction): void;
+    popJumppoint(): [Instruction, Instruction];
+    getSourceLocation(node: ASTBase, name?: string): SourceLocation;
+    getInternalLocation(): SourceLocation;
+}

package/dist/bytecode-generator/module.js

@@ -0,0 +1,72 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Module = void 0;
+const stack_1 = require("../utils/stack");
+class Module {
+    constructor(target) {
+        this._target = target;
+        this._context = new stack_1.Stack({
+            code: [],
+            jumpPoints: []
+        });
+    }
+    get target() {
+        return this._target;
+    }
+    get context() {
+        return this._context;
+    }
+    isGlobalScope() {
+        return this._context.length === 1;
+    }
+    pushContext() {
+        this._context.push({
+            code: [],
+            jumpPoints: []
+        });
+    }
+    popContext() {
+        return this._context.pop();
+    }
+    getCurrentIp() {
+        return this._context.peek().code.length - 1;
+    }
+    getCode() {
+        return this._context.peek().code;
+    }
+    pushCode(item) {
+        item.ip = this.getCurrentIp() + 1;
+        this._context.peek().code.push(item);
+    }
+    getJumpPoint() {
+        const jumpPoints = this._context.peek().jumpPoints;
+        if (jumpPoints.length === 0) {
+            return null;
+        }
+        return jumpPoints[jumpPoints.length - 1];
+    }
+    pushJumppoint(start, end) {
+        this._context.peek().jumpPoints.push([start, end]);
+    }
+    popJumppoint() {
+        return this._context.peek().jumpPoints.pop();
+    }
+    getSourceLocation(node, name) {
+        const target = this.target;
+        return {
+            name: name !== null && name !== void 0 ? name : node.type,
+            path: target,
+            start: node.start,
+            end: node.end
+        };
+    }
+    getInternalLocation() {
+        return {
+            name: 'internal',
+            path: 'internal',
+            start: { line: 0, character: 0 },
+            end: { line: 0, character: 0 }
+        };
+    }
+}
+exports.Module = Module;

package/dist/bytecode-generator/statement.d.ts

@@ -0,0 +1,31 @@
+import { ASTFeatureImportExpression, ASTFeatureIncludeExpression } from 'greybel-core';
+import { ASTAssignmentStatement, ASTBase, ASTCallExpression, ASTEvaluationExpression, ASTForGenericStatement, ASTIdentifier, ASTIfStatement, ASTIndexExpression, ASTListConstructorExpression, ASTMapConstructorExpression, ASTMemberExpression, ASTReturnStatement, ASTUnaryExpression, ASTWhileStatement } from 'miniscript-core';
+import { Context } from './context';
+import { LineCallableContext, LineIdentifierContext } from './line';
+import { IBytecodeStatementGenerator, ParseCodeFunction } from './models';
+export declare class BytecodeStatementGenerator implements IBytecodeStatementGenerator {
+    private context;
+    private exprGenerator;
+    private parseCode;
+    constructor(context: Context, parseCodeFunction: ParseCodeFunction);
+    process(node: ASTBase): Promise<void>;
+    processMemberExpression(node: ASTMemberExpression, context?: LineCallableContext): Promise<void>;
+    processIndexExpression(node: ASTIndexExpression, context?: LineCallableContext): Promise<void>;
+    processIdentifier(node: ASTIdentifier, context?: LineIdentifierContext): Promise<void>;
+    processAssignmentStatement(node: ASTAssignmentStatement): Promise<void>;
+    processEvaluationExpression(node: ASTEvaluationExpression): Promise<void>;
+    processReturn(node: ASTReturnStatement): Promise<void>;
+    processBreak(node: ASTBase): Promise<void>;
+    processContinue(node: ASTBase): Promise<void>;
+    processMapConstructorExpression(node: ASTMapConstructorExpression): Promise<void>;
+    processListConstructorExpression(node: ASTListConstructorExpression): Promise<void>;
+    processWhileStatement(node: ASTWhileStatement): Promise<void>;
+    processUnaryExpression(node: ASTUnaryExpression): Promise<void>;
+    processCallExpression(node: ASTCallExpression): Promise<void>;
+    processIfStatement(node: ASTIfStatement): Promise<void>;
+    processForGenericStatement(node: ASTForGenericStatement): Promise<void>;
+    protected createImport(node: ASTFeatureImportExpression, path: string, code: string): Promise<void>;
+    processImportExpression(node: ASTFeatureImportExpression): Promise<void>;
+    processIncludeExpression(node: ASTFeatureIncludeExpression): Promise<void>;
+    processDebuggerExpression(node: ASTBase): Promise<void>;
+}