A step to child i
of the current node, counting from zero.
Dependence record saying that the source attribute depends on
attribute
of a node with type type
that is the given step away.
A single step in the evaluation of an attribute.
Banner message that is printed before the REPL starts.
Banner message that is printed before the REPL starts.
Create the configuration for a particular run of the REPL.
Create the configuration for a particular run of the REPL. If supplied, use
emitter
instead of a standard output emitter.
The parser to use to convert user input lines into values.
The parser to use to convert user input lines into values.
A step to the previous node in a sequence.
A step to a node that doesn't fit into any of the other categories.
A step to the parent of the current node.
A step to the previous node in a sequence.
A step nowhere.
Support Kiama-specific profiling dimensions.
Support Kiama-specific profiling dimensions.
Driver for this REPL.
Driver for this REPL. First, use the argument list to create a
configuration for this execution. If the arguments parse ok, then
print the REPL banner. Read lines from the console and pass non-null ones
to processline
. If ignoreWhitespaceLines
is true, do not pass lines that
contain just whitespace, otherwise do. Continue until processline
returns false. Call prompt
each time input is about to be read.
The entry point for this REPL.
The entry point for this REPL.
Print the dependency graph for the attribute evaluation represented
by record
.
Print the dependency graph for the attribute evaluation represented
by record
. The output is in dot form.
Process a user input value.
Process a user input value. By default, just initialise the tree.
Process a user input line by parsing it to get a value of type T
,
then passing it to the process
method.
Process a user input line by parsing it to get a value of type T
,
then passing it to the process
method. Returns the configuration
unchanged.
Process interactively entered lines, one by one, until end of file.
Process interactively entered lines, one by one, until end of file.
Define the prompt (default: "> "
).
Define the prompt (default: "> "
).
(Changed in version 2.9.0) The p0
call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.
Take any actions that need to be done at the start of reporting.
Take any actions that need to be done at the start of reporting.
Summarise the single step between two nodes at which attributes have been evaluated.
Summarise the single step between two nodes at which attributes have been evaluated.
(Since version 2.10.0) lastNoSuccess was not thread-safe and will be removed in 2.11.0
(Since version 2.10.0) lastNoSuccess was not thread-safe and will be removed in 2.11.0
A REPL that parses its input lines into a value (such as an abstract syntax tree), then processes them.
C
is the type of the configuration.