js-slang/dist/tracer/nodes/Expression/Literal.js

Javascript-based implementations of Source, written in Typescript

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.StepperLiteral = void 0;
class StepperLiteral {
    constructor(value, raw, leadingComments, trailingComments, loc, range) {
        this.type = 'Literal';
        this.value = value;
        this.raw = raw;
        this.leadingComments = leadingComments;
        this.trailingComments = trailingComments;
        this.loc = loc;
        this.range = range;
    }
    static create(literal) {
        return new StepperLiteral(literal.value, literal.raw, literal.leadingComments, literal.trailingComments, literal.loc, literal.range);
    }
    isContractible() {
        return false;
    }
    isOneStepPossible() {
        return false;
    }
    contract() {
        throw new Error('Method not implemented.');
    }
    oneStep() {
        throw new Error('Method not implemented.');
    }
    substitute(_id, _value) {
        return this;
    }
    freeNames() {
        return [];
    }
    allNames() {
        return [];
    }
    rename(_before, _after) {
        return new StepperLiteral(this.value, this.raw, this.leadingComments, this.trailingComments, this.loc, this.range);
    }
}
exports.StepperLiteral = StepperLiteral;
//# sourceMappingURL=Literal.js.map