UNPKG

js-slang

Version:

Javascript-based implementations of Source, written in Typescript

11 lines (10 loc) 805 B
import * as es from 'estree'; import { NativeStorage } from '../types'; declare const globalIdNames: readonly ["native", "callIfFuncAndRightArgs", "boolOrErr", "wrap", "unaryOp", "binaryOp", "throwIfTimeout", "setProp", "getProp", "builtins"]; export type NativeIds = Record<(typeof globalIdNames)[number], es.Identifier>; export declare function getNativeIds(program: es.Program, usedIdentifiers: Set<string>): NativeIds; export declare function getUniqueId(usedIdentifiers: Set<string>, uniqueId?: string): string; export declare function getIdentifiersInNativeStorage(nativeStorage: NativeStorage): Set<string>; export declare function getIdentifiersInProgram(program: es.Program): Set<string>; export declare function getFunctionDeclarationNamesInProgram(program: es.Program): Set<string>; export {};