This event logs the filename of a copied grammar file that was saved for debugging purposes. This event only occurs when GrammarDumpDirectory is set.
In addition to the Tokens used for every event, this event has the following tokens:
|
Token |
Meaning |
|---|---|
|
FILE |
Numeric index to the dumped file, which is stored in the directory created by GrammarDumpDirectory. |
|
URI |
Shows the URI used to fetch the grammar file. This is the URI specified when loading or activating the grammar. |
