subtype cast as a placeholder (so it can exist before type resolution)
new variable name to hold the casted value
expressions to evaluate if casting to this subtype is possible
source file location from the locator mark
subtype cast as a placeholder (so it can exist before type resolution)
expressions to evaluate if casting to this subtype is possible
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
new variable name to hold the casted value
source 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
Abstract syntax tree for one
case
of acast-case
block.subtype cast as a placeholder (so it can exist before type resolution)
new variable name to hold the casted value
expressions to evaluate if casting to this subtype is possible
source file location from the locator mark