js-slang
Version:
Javascript-based implementations of Source, written in Typescript
7 lines (6 loc) • 501 B
TypeScript
import * as es from 'estree';
import { Context, NodeWithInferredType } from '../types';
import { NativeIds } from '../utils/uniqueIds';
export declare function validateAndAnnotate(program: es.Program, context: Context): NodeWithInferredType<es.Program>;
export declare function checkProgramForUndefinedVariables(program: es.Program, context: Context): void;
export declare function checkForUndefinedVariables(program: es.Program, context: Context, globalIds: NativeIds, skipUndefined: boolean): void;