js-slang/dist/parser/source/rules/noEval.d.ts

Javascript-based implementations of Source, written in Typescript

import * as es from 'estree';
import { ErrorSeverity, ErrorType, Rule, SourceError } from '../../../types';
export declare class NoEval implements SourceError {
    node: es.Identifier;
    type: ErrorType;
    severity: ErrorSeverity;
    constructor(node: es.Identifier);
    get location(): es.SourceLocation;
    explain(): string;
    elaborate(): string;
}
declare const noEval: Rule<es.Identifier>;
export default noEval;