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.