js-slang/dist/errors/runtimeSourceError.d.ts

Javascript-based implementations of Source, written in Typescript

import type es from 'estree';
import type { Node } from '../types';
import { ErrorSeverity, ErrorType, type SourceError } from './base';
export declare class RuntimeSourceError implements SourceError {
    type: ErrorType;
    severity: ErrorSeverity;
    location: es.SourceLocation;
    constructor(node?: Node);
    explain(): string;
    elaborate(): string;
}