Package fabil.visit

Visitors for performing fabil type checking and translation.

See:
Description

Class Summary

AbortRetryChecker
AbortRetryCollector
ArrayInitializerTypeFixer
AssignNormalizer	Traverses the AST and normalizes assignment operations.
AtomicMethodRewriter	Removes atomic keyword from method flags and makes body an atomic block.
AtomicRewriter	Rewrites the atomic construct.
ClassReferencesCollector	Collects all types referenced by a class and outputs them to a file.
ClassSerializer
FabILTypeBuilder
InlineableWrapper	Traverses the AST and wraps/unwraps JavaInlineables as necessary.
LabelAssigner	Assigns object locations to all new expressions.
LocationAssigner	Assigns object locations to all new expressions.
Memoizer
PrincipalDelegator	Rewrites Principal constructor calls to add default delegations.
ProxyRewriter	Rewrites FabIL classes into classes that implement fabric.lang.Object.
ReadWriteChecker	This dataflow analysis checks whether or not a local variable (or more precisely what that variable points to) is guaranteed to have already been read from or written to at a point in a method.
ReadWriteChecker.DataFlowItem
ReadWriteChecker.State	The access state of a variable (resident, read, written).
RemoteCallRewriter
SignatureCleaner	Removes everything except Polyglot type information from classes.
StaticInitializerCollector	A pass that collects initializers for static fields and moves them into an atomic static initializer.
StoreGetterRewriter
ThreadRewriter	Rewrites threads, hooking them into the worker transaction manager.
UpdatedVariableFinder

Package fabil.visit Description

Visitors for performing fabil type checking and translation.