/ RDP.js
Docs
Playground
API
GitHub
@configuredthings/rdp.js - v0.7.0
← Docs
Preparing search index...
ObservableRDParser
ParseEvent
Type Alias ParseEvent
ParseEvent
:
|
{
kind
:
"enter"
;
position
:
number
;
production
:
string
}
|
{
kind
:
"exit"
;
matched
:
boolean
;
position
:
number
;
production
:
string
}
|
{
kind
:
"error"
;
message
:
string
;
position
:
number
}
A single event emitted during a parse trace.
enter
— the parser entered a production method
exit
— the parser returned from a production method
error
— the parser threw a parse error
Settings
Member Visibility
Protected
Private
Inherited
External
Theme
OS
Light
Dark
← Docs
@configuredthings/rdp.js - v0.7.0
Loading...
A single event emitted during a parse trace.
enter— the parser entered a production methodexit— the parser returned from a production methoderror— the parser threw a parse error