frameStack.d.ts (696B)
1 import { LocationRange } from "peggy"; 2 export declare const topFrameName = "<top>"; 3 export declare class Frame { 4 name: string; 5 location?: LocationRange | undefined; 6 isFrame(): number; 7 constructor(name: string, location?: LocationRange | undefined); 8 toString(): string; 9 } 10 export declare class FrameStack { 11 frame: Frame; 12 parent?: FrameStack | undefined; 13 constructor(frame: Frame, parent?: FrameStack | undefined); 14 static make(): FrameStack; 15 extend(name: string, location?: LocationRange): FrameStack; 16 toString(): string; 17 toFrameArray(): Frame[]; 18 getTopFrame(): Frame | undefined; 19 isEmpty(): boolean; 20 } 21 //# sourceMappingURL=frameStack.d.ts.map