pool type as a placeholeder (so it can exist before type resolution)
initial pool state (embedded or external)
if true
, this pool shares data with all others in the same SharedState
if true
, this pool rolls back its value when it encounters an exception
value of pool's source
field
source file location from the locator mark
pool type as a placeholeder (so it can exist before type resolution)
Pool type after type resolution
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
.
initial pool state (embedded or external)
Convert this abstract syntax tree into a Jackson node
source file location from the locator mark
Walk over tree applying a partial function, returning a transformed copy of the tree.
if true
, this pool rolls back its value when it encounters an exception
if true
, this pool shares data with all others in the same SharedState
value of pool's source
field
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
Abstract syntax tree for a
pool
definition.pool type as a placeholeder (so it can exist before type resolution)
initial pool state (embedded or external)
if
true
, this pool shares data with all others in the same SharedStateif
true
, this pool rolls back its value when it encounters an exceptionvalue of pool's
source
fieldsource file location from the locator mark