# Serialized Form

- ## Package accrue.analysis.ast

  - ### Class accrue.analysis.ast.AccrueCall_c extends polyglot.ast.Call_c implements Serializable

  - ### Class accrue.analysis.ast.AccrueCatch_c extends polyglot.ast.Catch_c implements Serializable

  - ### Class accrue.analysis.ast.AccrueConstructorCall_c extends polyglot.ast.ConstructorCall_c implements Serializable

  - ### Class accrue.analysis.ast.AccrueNew_c extends polyglot.ast.New_c implements Serializable

  - ### Class accrue.analysis.ast.AccrueTry_c extends polyglot.ast.Try_c implements Serializable

  - ### Class accrue.analysis.ast.Suppress_c extends polyglot.ast.Expr_c implements Serializable

    - ### Serialized Fields

      - #### suppressExs

            java.util.List<E> suppressExs

      - #### suppressExTypes

            java.util.List<E> suppressExTypes

      - #### expr

            polyglot.ast.Expr expr

- ## Package accrue.analysis.ext

  - ### Class accrue.analysis.ext.AccrueExt_c extends polyglot.ast.Ext_c implements Serializable

    - ### Serialized Fields

      - #### enclosingFinallyBlocks

            java.lang.Integer enclosingFinallyBlocks

      - #### additionalAnalysisResults

            java.util.Map<K,V> additionalAnalysisResults

        Map from analysis keys to analysis results.

  - ### Class accrue.analysis.ext.ExtArrayAccess extends ExtExpr implements Serializable

  - ### Class accrue.analysis.ext.ExtArrayAccessAssign extends ExtExpr implements Serializable

  - ### Class accrue.analysis.ext.ExtArrayInit extends ExtExpr implements Serializable

    - ### Serialized Fields

      - #### allocNodes

            java.util.Map<K,V> allocNodes

  - ### Class accrue.analysis.ext.ExtAssert extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtBinary extends ExtExpr implements Serializable

  - ### Class accrue.analysis.ext.ExtBlock extends ExtTerm implements Serializable

    - ### Serialized Fields

      - #### isFinallyBlock

            java.lang.Boolean isFinallyBlock

  - ### Class accrue.analysis.ext.ExtBranch extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtCall extends ExtExpr implements Serializable

    - ### Serialized Fields

      - #### callSiteNode

            CallSiteNode callSiteNode

      - #### throwTypes

            AnalysisContextMap<T> throwTypes

      - #### canTerminateNormally

            AnalysisContextMap<T> canTerminateNormally

  - ### Class accrue.analysis.ext.ExtCast extends ExtExpr implements Serializable

    - ### Serialized Fields

      - #### mayThrowClassCastException

            AnalysisContextMap<T> mayThrowClassCastException

  - ### Class accrue.analysis.ext.ExtCatch extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtCodeDecl extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtConditional extends ExtExpr implements Serializable

  - ### Class accrue.analysis.ext.ExtConstructorCall extends ExtTerm implements Serializable

    - ### Serialized Fields

      - #### callSiteNode

            CallSiteNode callSiteNode

      - #### throwTypes

            AnalysisContextMap<T> throwTypes

      - #### canTerminateNormally

            AnalysisContextMap<T> canTerminateNormally

  - ### Class accrue.analysis.ext.ExtConstructorDecl extends ExtProcedureDecl implements Serializable

  - ### Class accrue.analysis.ext.ExtDo extends ExtLoop implements Serializable

  - ### Class accrue.analysis.ext.ExtEmpty extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtEval extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtExpr extends ExtTerm implements Serializable

    - ### Serialized Fields

      - #### referenceVariables

            java.util.Map<K,V> referenceVariables

      - #### maybeNullResults

            AnalysisContextPeerMap<T> maybeNullResults

      - #### maybeNullResultsNoPeer

            AnalysisContextMap<T> maybeNullResultsNoPeer

      - #### nullResultsNoPeerValid

            boolean nullResultsNoPeerValid

  - ### Class accrue.analysis.ext.ExtField extends ExtExpr implements Serializable

  - ### Class accrue.analysis.ext.ExtFieldAssign extends ExtExpr implements Serializable

  - ### Class accrue.analysis.ext.ExtFieldDecl extends ExtTerm implements Serializable

    - ### Serialized Fields

      - #### thisNodes

            java.util.Map<K,V> thisNodes

  - ### Class accrue.analysis.ext.ExtFormal extends ExtTerm implements Serializable

    - ### Serialized Fields

      - #### referenceVariables

            java.util.Map<K,V> referenceVariables

      - #### isCatchFormal

            boolean isCatchFormal

  - ### Class accrue.analysis.ext.ExtIf extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtInitializer extends ExtCodeDecl implements Serializable

    - ### Serialized Fields

      - #### thisNodes

            java.util.Map<K,V> thisNodes

  - ### Class accrue.analysis.ext.ExtInstanceof extends ExtExpr implements Serializable

  - ### Class accrue.analysis.ext.ExtLabeled extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtLit extends ExtExpr implements Serializable

    - ### Serialized Fields

      - #### isUnitializedValue

            boolean isUnitializedValue

  - ### Class accrue.analysis.ext.ExtLocal extends ExtExpr implements Serializable

  - ### Class accrue.analysis.ext.ExtLocalAssign extends ExtExpr implements Serializable

  - ### Class accrue.analysis.ext.ExtLocalDecl extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtLoop extends ExtTerm implements Serializable

    - ### Serialized Fields

      - #### loopLabel

            java.lang.String loopLabel

  - ### Class accrue.analysis.ext.ExtMethodDecl extends ExtProcedureDecl implements Serializable

  - ### Class accrue.analysis.ext.ExtNew extends ExtExpr implements Serializable

    - ### Serialized Fields

      - #### allocNodes

            java.util.Map<K,V> allocNodes

      - #### callSiteNode

            CallSiteNode callSiteNode

      - #### throwTypes

            AnalysisContextMap<T> throwTypes

      - #### canTerminateNormally

            AnalysisContextMap<T> canTerminateNormally

  - ### Class accrue.analysis.ext.ExtNewArray extends ExtExpr implements Serializable

    - ### Serialized Fields

      - #### allocNodes

            java.util.Map<K,V> allocNodes

  - ### Class accrue.analysis.ext.ExtPrimitiveExpr extends ExtExpr implements Serializable

  - ### Class accrue.analysis.ext.ExtProcedureDecl extends ExtCodeDecl implements Serializable

    - ### Serialized Fields

      - #### thisNode

            ReferenceVariable thisNode

  - ### Class accrue.analysis.ext.ExtReturn extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtSpecial extends ExtExpr implements Serializable

  - ### Class accrue.analysis.ext.ExtSuppress extends ExtExpr implements Serializable

  - ### Class accrue.analysis.ext.ExtSwitch extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtSynchronized extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtTerm extends AccrueExt_c implements Serializable

  - ### Class accrue.analysis.ext.ExtThrow extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtTry extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtTypeNode extends ExtTerm implements Serializable

  - ### Class accrue.analysis.ext.ExtUnary extends ExtPrimitiveExpr implements Serializable

  - ### Class accrue.analysis.ext.ExtWhile extends ExtLoop implements Serializable

- ## Package accrue.analysis.pointer

  - ### Class accrue.analysis.pointer.PointsToEngine.PointsToTimeoutException extends polyglot.main.Main.TerminationException implements Serializable

- ## Package accrue.jl5.ext

  - ### Class accrue.jl5.ext.ExtEnumConstant extends ExtField implements Serializable

  - ### Class accrue.jl5.ext.ExtEnumConstantDecl extends ExtTerm implements Serializable

    - ### Serialized Fields

      - #### allocNodes

            java.util.Map<K,V> allocNodes

      - #### callSiteNode

            CallSiteNode callSiteNode

      - #### throwTypes

            AnalysisContextMap<T> throwTypes

      - #### canTerminateNormally

            AnalysisContextMap<T> canTerminateNormally