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

Javascript-based implementations of Source, written in Typescript

import type { Node } from '../types';
import { ErrorSeverity, ErrorType } from './base';
import { RuntimeSourceError } from './runtimeSourceError';
export declare class TimeoutError extends RuntimeSourceError {
}
export declare class PotentialInfiniteLoopError extends TimeoutError {
    private maxExecTime;
    type: ErrorType;
    severity: ErrorSeverity;
    constructor(node: Node, maxExecTime: number);
    explain(): string;
    elaborate(): string;
}
export declare class PotentialInfiniteRecursionError extends TimeoutError {
    private calls;
    private maxExecTime;
    type: ErrorType;
    severity: ErrorSeverity;
    constructor(node: Node, calls: [string, any[]][], maxExecTime: number);
    explain(): string;
    elaborate(): string;
}