js-slang/dist/cse-machine/types.d.ts

Javascript-based implementations of Source, written in Typescript

import type es from 'estree';
import type { Environment, Node } from '../types';
import type Closure from './closure';
import type { Transformers } from './interpreter';
import type { SchemeControlItems } from './scheme-macros';
export declare enum InstrType {
    RESET = "Reset",
    WHILE = "While",
    FOR = "For",
    ASSIGNMENT = "Assignment",
    UNARY_OP = "UnaryOperation",
    BINARY_OP = "BinaryOperation",
    POP = "Pop",
    APPLICATION = "Application",
    BRANCH = "Branch",
    ENVIRONMENT = "Environment",
    ARRAY_LITERAL = "ArrayLiteral",
    ARRAY_ACCESS = "ArrayAccess",
    ARRAY_ASSIGNMENT = "ArrayAssignment",
    ARRAY_LENGTH = "ArrayLength",
    MARKER = "Marker",
    CONTINUE = "Continue",
    CONTINUE_MARKER = "ContinueMarker",
    BREAK = "Break",
    BREAK_MARKER = "BreakMarker",
    SPREAD = "Spread"
}
interface BaseInstr<T extends InstrType = InstrType, U extends Node = Node> {
    instrType: T;
    srcNode: U;
    isEnvDependent?: boolean;
}
export interface WhileInstr extends BaseInstr<InstrType.WHILE> {
    test: es.Expression;
    body: es.Statement;
}
export interface ForInstr extends BaseInstr<InstrType.FOR> {
    init: es.VariableDeclaration | es.Expression;
    test: es.Expression;
    update: es.Expression;
    body: es.Statement;
}
export interface DeclAssmtInstr extends BaseInstr<InstrType.ASSIGNMENT, es.VariableDeclaration> {
    symbol: string;
    constant: boolean;
    declaration: true;
}
export interface RegularAssmtInstr extends BaseInstr<InstrType.ASSIGNMENT, es.AssignmentExpression> {
    declaration: false;
    symbol: string;
}
export type AssmtInstr = DeclAssmtInstr | RegularAssmtInstr;
export interface UnOpInstr extends BaseInstr<InstrType.UNARY_OP, es.UnaryExpression> {
    symbol: es.UnaryOperator;
}
export interface BinOpInstr extends BaseInstr<InstrType.BINARY_OP> {
    symbol: es.BinaryOperator;
}
export interface AppInstr extends BaseInstr<InstrType.APPLICATION, es.CallExpression> {
    numOfArgs: number;
}
export interface BranchInstr extends BaseInstr<InstrType.BRANCH> {
    consequent: es.Expression | es.Statement;
    alternate: es.Expression | es.Statement | null | undefined;
}
export interface EnvInstr extends BaseInstr<InstrType.ENVIRONMENT> {
    env: Environment;
    transformers: Transformers;
}
export interface ArrLitInstr extends BaseInstr<InstrType.ARRAY_LITERAL> {
    arity: number;
}
export type Instr = AppInstr | ArrLitInstr | AssmtInstr | BaseInstr | BinOpInstr | BranchInstr | EnvInstr | ForInstr | UnOpInstr | WhileInstr;
export type InstrTypeToInstr<T extends InstrType> = Extract<Instr, {
    instrType: T;
}> extends never ? BaseInstr : Extract<Instr, {
    instrType: T;
}>;
export type ControlItem = (Node | Instr | SchemeControlItems) & {
    isEnvDependent?: boolean;
};
export type EnvArray = any[] & {
    readonly id: string;
    environment: Environment;
};
export type HeapObject = EnvArray | Closure;
export declare class CSEBreak {
}
export declare class CseError {
    readonly error: any;
    constructor(error: any);
}
export {};