Class DFA<T>

DFA for ELR parsers. Stateless.

Type Parameters

Hierarchy

Index

Constructors

Properties

NTClosures allGrammarRules allInitialCandidates allStates cascadeQueryPrefix debug entryNTs entryState firstSets followSets logger reLex rollback

Methods

getAllStates getFirstSets getFollowSets log parse

Constructors

constructor

new DFA<T>(allGrammarRules: readonly GrammarRule<T>[], entryNTs: ReadonlySet<string>, entryState: State<T>, NTClosures: ReadonlyMap<string, GrammarRule<T>[]>, firstSets: ReadonlyMap<string, GrammarSet>, followSets: ReadonlyMap<string, GrammarSet>, allInitialCandidates: ReadonlyMap<string, Candidate<T>>, allStates: Map<string, State<T>>, cascadeQueryPrefix: undefined | string, rollback: boolean, reLex: boolean, debug: boolean, logger: Logger): DFA<T>
Type Parameters
- T
Parameters
- allGrammarRules: readonly GrammarRule<T>[]
- entryNTs: ReadonlySet<string>
- entryState: State<T>
- NTClosures: ReadonlyMap<string, GrammarRule<T>[]>
- firstSets: ReadonlyMap<string, GrammarSet>
  
  NT => Grammars
- followSets: ReadonlyMap<string, GrammarSet>
  
  Grammar => Grammars
- allInitialCandidates: ReadonlyMap<string, Candidate<T>>
  
  string representation of candidate => candidate
- allStates: Map<string, State<T>>
  
  string representation of state => state
- cascadeQueryPrefix: undefined | string
- rollback: boolean
- reLex: boolean
- debug: boolean
- logger: Logger
Returns DFA<T>
- Defined in src/parser/ELR/DFA/DFA.ts:12

Properties

`Protected` `Readonly` NTClosures

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

`Protected` `Readonly` allGrammarRules

allGrammarRules: readonly GrammarRule<T>[]

`Protected` `Readonly` allInitialCandidates

allInitialCandidates: ReadonlyMap<string, Candidate<T>>

string representation of candidate => candidate

`Protected` `Readonly` allStates

allStates: Map<string, State<T>>

string representation of state => state

`Private` `Readonly` cascadeQueryPrefix

cascadeQueryPrefix: undefined | string

debug

debug: boolean

`Protected` `Readonly` entryNTs

entryNTs: ReadonlySet<string>

`Private` `Readonly` entryState

entryState: State<T>

`Private` `Readonly` firstSets

firstSets: ReadonlyMap<string, GrammarSet>

NT => Grammars

`Protected` `Readonly` followSets

followSets: ReadonlyMap<string, GrammarSet>

Grammar => Grammars

logger

logger: Logger

`Readonly` reLex

reLex: boolean

`Readonly` rollback

rollback: boolean

Methods

getAllStates

getAllStates(): State<T>[]
Returns State<T>[]
- Defined in src/parser/ELR/DFA/DFA.ts:43

getFirstSets

getFirstSets(): ReadonlyMap<string, GrammarSet>
Returns ReadonlyMap<string, GrammarSet>
- Defined in src/parser/ELR/DFA/DFA.ts:36

getFollowSets

getFollowSets(): ReadonlyMap<string, GrammarSet>
Returns ReadonlyMap<string, GrammarSet>
- Defined in src/parser/ELR/DFA/DFA.ts:39

`Private` log

log(msg: string): void
Parameters
- msg: string
Returns void
- Defined in src/parser/ELR/DFA/DFA.ts:32

parse

parse(buffer: readonly ASTNode<T>[], lexer: ILexer, reLexStack: ReLexStack<State<T>, T>, rollbackStack: RollbackStack<T>, commitParser: (() => void), stopOnError?: boolean): {
lexer: ILexer;
output: ParserOutput<T>;
}
Try to yield an entry NT.
Parameters
- buffer: readonly ASTNode<T>[]
- lexer: ILexer
- reLexStack: ReLexStack<State<T>, T>
- rollbackStack: RollbackStack<T>
- commitParser: (() => void)
  - - (): void
    - Returns void
- stopOnError: boolean = false
Returns {
lexer: ILexer;
output: ParserOutput<T>;
}
- lexer: ILexer
- output: ParserOutput<T>
- Defined in src/parser/ELR/DFA/DFA.ts:50

Class DFA<T>

Type Parameters

T

Hierarchy

Index

Constructors

Properties

Methods

Constructors

constructor

Type Parameters

T

Parameters

allGrammarRules: readonly GrammarRule<T>[]

entryNTs: ReadonlySet<string>

entryState: State<T>

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

firstSets: ReadonlyMap<string, GrammarSet>

followSets: ReadonlyMap<string, GrammarSet>

allInitialCandidates: ReadonlyMap<string, Candidate<T>>

allStates: Map<string, State<T>>

cascadeQueryPrefix: undefined | string

rollback: boolean

reLex: boolean

debug: boolean

logger: Logger

Returns DFA<T>

Properties

Protected Readonly NTClosures

Protected Readonly allGrammarRules

Protected Readonly allInitialCandidates

Protected Readonly allStates

Private Readonly cascadeQueryPrefix

debug

Protected Readonly entryNTs

Private Readonly entryState

Private Readonly firstSets

Protected Readonly followSets

logger

Readonly reLex

Readonly rollback

Methods

getAllStates

Returns State<T>[]

getFirstSets

Returns ReadonlyMap<string, GrammarSet>

getFollowSets

Returns ReadonlyMap<string, GrammarSet>

Private log

Parameters

msg: string

Returns void

parse

Parameters

buffer: readonly ASTNode<T>[]

lexer: ILexer

reLexStack: ReLexStack<State<T>, T>

rollbackStack: RollbackStack<T>

commitParser: (() => void)

Returns void

stopOnError: boolean = false

Returns { lexer: ILexer; output: ParserOutput<T>; }

lexer: ILexer

output: ParserOutput<T>

Settings

Member Visibility

Theme

`Protected` `Readonly` NTClosures

`Protected` `Readonly` allGrammarRules

`Protected` `Readonly` allInitialCandidates

`Protected` `Readonly` allStates

`Private` `Readonly` cascadeQueryPrefix

`Protected` `Readonly` entryNTs

`Private` `Readonly` entryState

`Private` `Readonly` firstSets

`Protected` `Readonly` followSets

`Readonly` reLex

`Readonly` rollback

`Private` log

Returns {
lexer: ILexer;
output: ParserOutput<T>;
}