Class State<T>

State for ELR parsers.

Type Parameters

Hierarchy

State

Index

Constructors

constructor

new State<T>(candidates: Candidate<T>[]): State<T>
Type Parameters
- T
Parameters
- candidates: Candidate<T>[]
Returns State<T>
- Defined in src/parser/ELR/DFA/state.ts:23

Properties

`Readonly` candidates

candidates: readonly Candidate<T>[]

`Protected` nextMap

nextMap: Map<string, null | State<T>>

ast node str => state. This will be calculated during DFA.calculateAllStates.

Methods

contains

contains(gr: Readonly<GrammarRule<T>>, digested: number): boolean
Parameters
- gr: Readonly<GrammarRule<T>>
- digested: number
Returns boolean
- Defined in src/parser/ELR/DFA/state.ts:86

getNext

getNext(next: Readonly<ASTNode<any>>, NTClosures: ReadonlyMap<string, GrammarRule<T>[]>, allStates: Map<string, State<T>>, allInitialCandidates: ReadonlyMap<string, Candidate<T>>): {
changed: boolean;
state: null | State<T>;
}
Parameters
- next: Readonly<ASTNode<any>>
- NTClosures: ReadonlyMap<string, GrammarRule<T>[]>
- allStates: Map<string, State<T>>
- allInitialCandidates: ReadonlyMap<string, Candidate<T>>
Returns {
changed: boolean;
state: null | State<T>;
}
- changed: boolean
- state: null | State<T>
- Defined in src/parser/ELR/DFA/state.ts:28

toString

toString(): string
Get the string representation of this state. The result is sorted by candidate string, so that the same state will have the same string representation.

Returns string
- Defined in src/parser/ELR/DFA/state.ts:94

tryLex

tryLex(lexer: ILexer, followSets: ReadonlyMap<string, GrammarSet>): {
lexer: ILexer;
node: ASTNode<T>;
}[]
Try to use lexer to yield an ASTNode with type and/or content needed by a candidate. Return all the possible results.
Parameters
- lexer: ILexer
- followSets: ReadonlyMap<string, GrammarSet>
Returns {
lexer: ILexer;
node: ASTNode<T>;
}[]
- Defined in src/parser/ELR/DFA/state.ts:103

tryReduce

tryReduce(buffer: readonly ASTNode<T>[], entryNTs: ReadonlySet<string>, followSets: ReadonlyMap<string, GrammarSet>, lexer: ILexer, cascadeQueryPrefix: undefined | string, logger: Logger): {
    commit?: boolean;
    context?: ParserContext<T>;
    res: ParserOutput<T>;
    rollback?: Callback<T>;
}
Traverse all candidates to try to reduce.
Parameters
- buffer: readonly ASTNode<T>[]
- entryNTs: ReadonlySet<string>
- followSets: ReadonlyMap<string, GrammarSet>
- lexer: ILexer
- cascadeQueryPrefix: undefined | string
- logger: Logger
Returns {
    commit?: boolean;
    context?: ParserContext<T>;
    res: ParserOutput<T>;
    rollback?: Callback<T>;
}
- Optional commit?: boolean
- Optional context?: ParserContext<T>
- res: ParserOutput<T>
- Optional rollback?: Callback<T>
- Defined in src/parser/ELR/DFA/state.ts:116

Class State<T>

Type Parameters

T

Hierarchy

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

T

Parameters

candidates: Candidate<T>[]

Returns State<T>

Properties

Readonly candidates

Protected nextMap

Methods

contains

Parameters

gr: Readonly<GrammarRule<T>>

digested: number

Returns boolean

getNext

Parameters

next: Readonly<ASTNode<any>>

NTClosures: ReadonlyMap<string, GrammarRule<T>[]>

allStates: Map<string, State<T>>

allInitialCandidates: ReadonlyMap<string, Candidate<T>>

Returns { changed: boolean; state: null | State<T>; }

changed: boolean

state: null | State<T>

toString

Returns string

tryLex

Parameters

lexer: ILexer

followSets: ReadonlyMap<string, GrammarSet>

Returns { lexer: ILexer; node: ASTNode<T>; }[]

tryReduce

Parameters

buffer: readonly ASTNode<T>[]

entryNTs: ReadonlySet<string>

followSets: ReadonlyMap<string, GrammarSet>

lexer: ILexer

cascadeQueryPrefix: undefined | string

logger: Logger

Returns { commit?: boolean; context?: ParserContext<T>; res: ParserOutput<T>; rollback?: Callback<T>; }

Optional commit?: boolean

Optional context?: ParserContext<T>

res: ParserOutput<T>

Optional rollback?: Callback<T>

Settings

Member Visibility

Theme

`Readonly` candidates

`Protected` nextMap

Returns {
changed: boolean;
state: null | State<T>;
}

Returns {
lexer: ILexer;
node: ASTNode<T>;
}[]

Returns {
commit?: boolean;
context?: ParserContext<T>;
res: ParserOutput<T>;
rollback?: Callback<T>;
}

`Optional` commit?: boolean

`Optional` context?: ParserContext<T>

`Optional` rollback?: Callback<T>