| Class | Description | 
|---|---|
| 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. | 
| ClassHashGenerator | 
 Hashes the sources and stores them as static "$classHash" fields in the
 generated interfaces. 
 | 
| ClassReferencesCollector | 
 Collects all types referenced by a class and outputs them to a file. 
 | 
| ClassSerializer | |
| FinalRepairRewriter | 
 Clears immutable flags from field declarations. 
 | 
| InlineableWrapper | 
 Traverses the AST and wraps/unwraps JavaInlineables as necessary. 
 | 
| JavaSkeletonCreator | 
 Outputs a java skeleton for bootstrapping. 
 | 
| LabelAssigner | 
 Assigns object locations to all  
new expressions. | 
| LocationAssigner | 
 Assigns object locations to all  
new expressions. | 
| Memoizer | 
 Adds code for memoizing the result of fabric.lang.security.PairLabel.hashCode(). 
 | 
| PrincipalDelegator | 
 Rewrites Principal constructor calls to add default delegations. 
 | 
| ProviderRewriter | 
 Rewrites  
ProviderLabel AST nodes into
 get$$updateLabel() calls on class object proxies. | 
| 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. 
 | 
| SignatureHashGenerator | 
 Ensures hashes in FabILParsedClassType_c instances are computed when
 compiling FabIL and Fabric signatures. 
 | 
| 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 |