Index

IllegalStateException
IllegalSymbolException
Movement
RemoveExtraInfoVisitor

A Visitor that removes additional information from nodes.

RewriteReturnsEditor

Rewrites all returns in a block to specifications of the named value.

TuringMachineCreator

Creates the components of the type system Turing machine.

comExampleHelloworldModuleDescriptor
comExampleHelloworldPackageDescriptor
completeCompilationUnit

A compilation unit node containing every AST node that can be a child of a regular compilation unit (that is, all nodes…

createTuringMachine()

Creates the type system Turing machine.

hasEarlyReturns()

Determines if a body contains an early return.

helloWorldCompilationUnit
left
none
right
useTuringMachine()

Creates a driver for the type system turing machine.