pool name
array, map, and record indexes to extract from the pool
souce file location from the locator mark
Walk over tree applying a partial function, returning a list of results in its domain.
Check equality for all fields except pos
.
Compute hash code for all fields except pos
.
Convert this abstract syntax tree into a Jackson node
array, map, and record indexes to extract from the pool
pool name
souce file location from the locator mark
Walk over tree applying a partial function, returning a transformed copy of the tree.
Serialize this abstract syntax tree as a JSON string.
Serialize this abstract syntax tree as a JSON string.
if true
, include locator marks at the beginning of each JSON object
JSON string
Calls toJson(false)
.
Calls toJson(false)
.
Walk over tree applying a Task while checking for semantic errors.
Walk over tree applying a Task while checking for semantic errors.
This is how Java is generated from an abstract syntax tree: the Task in that case is JVMCompiler.
generic task to perform on this abstract syntax tree node's context
used to look up symbols, cells, and pools
used to look up functions
implementation options
version of the PFA language in which to interpret this PFA
(information about this abstract syntax tree node after type-checking, result of the generic task)
Walk with a blank symbolTable
, a blank functionTable
, and empty engineOptions
Walk with a blank symbolTable
, a blank functionTable
, and empty engineOptions
Dereference a path
, checking all types along the way.
Dereference a path
, checking all types along the way.
data type of the base expression or cell/pool
generic task to perform on each expression in the path
used to look up symbols, cells, and pools
used to look up functions
implementation options
version of the PFA language in which to interpret this PFA
(type of dereferenced object, functions called, path indexes)
Abstract syntax tree for a
pool
reference or extraction.pool name
array, map, and record indexes to extract from the pool
souce file location from the locator mark