Non-terminal symbol Pragma
Description
|
This node stands for a pragma statement which allows the user to set
up some interactive conveniences dynamically using a few built-in
extra-language commands of the form #pragma; where pragma is an identifier. Currently
defined pragmas are:
| pragma
| effect |
|---|
|
| exit |
exit AQL |
| mute |
toggle on/off intermediate displays such as
'value : type', etc... |
| tree |
toggle on/off graphical display of syntax tree |
| include |
start reading from the file (name specified as a quoted string) |
| time |
toggle on/off execution timing |
| gc |
force immediate garbage collection |
| syntax |
toggle on/off parser tracing |
| typing |
toggle on/off typecheck tracing |
| trace |
toggle on/off runtime tracing |
| kbd |
toggle on/off compiled code display |
| fields |
toggle on/off class fields' code display |
| defined |
list all the currently defined symbols |
| symbols |
list all the known (built-in and defined) symbols |
| types |
list all the registered (declared or not) types |
| help |
list this information |
|
Defining rules for nonterminal symbol
Pragma:
Occurrences of symbol
Pragma
in body of other rules:
Copyright © 2012 by Hassan Aït-Kaci; All Rights Reserved.
