Main Page Packages Class Hierarchy Alphabetical List Compound List File List Compound Members

Bandera Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

A
- B
  - D
    - ImpD
  - E
    - ImpE
  - ImpB
    - ImpD
    - ImpE
- C
  - F
    - ImpF
  - G
    - ImpG
  - ImpC
    - ImpF
    - ImpG
- ImpA
  - ImpB
  - ImpC
Abstract
AbstractDom
- DomAnalysis
- PostdomAnalysis
AbstractEntry
- TypedSplayTreeMap::TypedEntry
Abstraction
- ArrayAbstraction
- ClassAbstraction
- IntegralAbstraction
  - ConcreteIntegralAbstraction
  - Point
  - Range01
  - Range02
  - Range03
  - Range04
  - Set0
  - Signs
- RealAbstraction
  - ConcreteRealAbstraction
  - Point
  - Signs
AbstractTableModel
- TreeTableModelAdapter
Access
AccessList
ActionListener
- AboutBox::IvjEventHandler
- AbstractionLibraryManager::IvjEventHandler
- AssertionBrowser::IvjEventHandler
- BUI::IvjEventHandler
- CallGraphDialog::IvjEventHandler
- ClasspathManager::IvjEventHandler
- CounterExample::IvjEventHandler
- CriterionViewer::IvjEventHandler
- Dependencies
- Dependencies::IvjEventHandler
- DSpinOption
- DSpinOption::IvjEventHandler
- ErrorTrail
- ErrorTrail
- IncludedManager::IvjEventHandler
- IROptions::IvjEventHandler
- JPFOption::IvjEventHandler
- PatternManager::IvjEventHandler
- PredicateBrowser::IvjEventHandler
- PropertyManager::IvjEventHandler
- QueryPanel
- SessionInfo::IvjEventHandler
- SessionManager::IvjEventHandler
- SpinOption
- SpinOption::IvjEventHandler
- ThreadCounterExample::IvjEventHandler
- TypeGUI::IvjEventHandler
actions
ActionVector
AllocationInstruction
- ANEWARRAY
- ANEWARRAY
- MULTIANEWARRAY
- MULTIANEWARRAY
- NEW
- NEW
- NEWARRAY
- NEWARRAY
Allocator
- NewArrayExpr
  - AbstractNewArrayExpr
    - GNewArrayExpr
    - JNewArrayExpr
  - GNewArrayExpr
  - JNewArrayExpr
- NewExpr
  - AbstractNewExpr
    - JNewExpr
  - JNewExpr
Analyze
AnnotationManager
ArrayIndexManager
- ArrayIndexManagerValueVariant
ArrayOffset
Arrays
ArrayVariant
ArrayVariantManager
ArrayWrapper
ASCII_UCodeESC_CharStream
Assertion
- LocationAssertion
- PostAssertion
- PreAssertion
AssertionSet
AssertionSliceInterestCollector
AtomicData
attribute_info
- Code_attribute
- ConstantValue_attribute
- Exception_attribute
- Generic_attribute
- LineNumberTable_attribute
- LocalVariableTable_attribute
- SourceFile_attribute
Attributes
Automaton
BackEdgeAnalysis
Bandera
BanderaUtil
BasicBlock
BASL2Java
BBQ
BBuffer
BDynamicHashCodePartition
BDynamicLocalHashPartition
BDynamicPCPartition
BDynamicPCsPartition
BirConstants
- Array
- BirBuilder
- BirPrinter
- BirState
- Bool
- Builder
- Collection
  - AbstractCollection
    - AbstractList
      - AbstractSequentialList
        
        LinkedList
        
        TypedLinkedList
        TypedLinkedList
        TypedLinkedList
        TypedLinkedList
        TypedLinkedList
        TypedLinkedList
        TypedLinkedList
        TypedLinkedList
      - ArrayList
        
        StmtList
      - VectorList
    - AbstractMap::ValueCollection
    - AbstractSet
      - AbstractMap::KeySet
      - ArraySet
      - HashSet
        
        eHashSet
        FASet
      - RefHashTable::EntrySet
      - RefHashTable::KeySet
      - VectorSet
    - RefHashTable::ValueCollection
    - SplayTreeMap::EntryCollection
    - TypedSplayTreeMap::EntryCollection
  - List
    - AbstractList
  - Set
    - AbstractSet
    - UnionFindSet
- DSpinTrans
- DSpinTypeName
- Enumerated
- Field
- JimpleStore
- JimpleStoreBuilder
- Lock
- LockAction
- LockLit
- LockTest
- Range
- Record
- Ref
  - ClassRef
  - ClassRef
  - ConcreteRef
    - ArrayRef
      - GArrayRef
      - JArrayRef
        
        GArrayRef
    - FieldRef
      - InstanceFieldRef
        
        AbstractInstanceFieldRef
        
        GInstanceFieldRef
        JInstanceFieldRef
        
        GInstanceFieldRef
        JInstanceFieldRef
      - StaticFieldRef
    - NextNextStmtRef
  - IdentityRef
    - CaughtExceptionRef
      - JCaughtExceptionRef
    - ParameterRef
    - ThisRef
  - ObjRef
  - ObjRef
- SmvTrans
- SmvTypeDecl
- SpinTrans
- StateVar
- ThreadAction
- ThreadLocTest
- ThreadTest
- TransExtractor
- TransSystem
BIRParser
BirThread
BirTrace
Body
- BafBody
- ClassFileBody
- StmtBody
  - GrimpBody
  - JimpleBody
BodyExpr
- BuildAndStoreBody
- BuildBody
- StoredBody
BodyRepresentation
- Baf
- ClassFile
- Jimple
- JimpleRepresentation
  - Grimp
BOFA
BoundedBuffer
BSet
- ArrayBSet
- FalseBSet
- TrueBSet
BSLObserver
BuchiSet
Build
BuildJimpleBodyOption
- BuildGrimpBodyOption
BuildPDG
ByteArray
ByteArrayInputStream
ByteCode
Cache
CallBack
- VInvokeCallBack
CallBackRegistry
CallSite
Canvas
- ImageCanvas
Case
Cast
- AAbstractFunction::AbstractDef_Cast
- AArrayInitializer::VariableInitializer_Cast
- ABlock::BlockedStmt_Cast
- AChoice::Rest_Cast
- AClassBody::ClassBodyDeclaration_Cast
- AClassDeclaration::Modifier_Cast
- AClassOption::FieldOption_Cast
- AClassOption::MethodOption_Cast
- AClassOrInterfaceTypeArrayCreationExp::Dim_Cast
- AClassOrInterfaceTypeArrayCreationExp::DimExp_Cast
- AClassOrInterfaceTypeExp::Dim_Cast
- AClassOrInterfaceTypeExp::DimExp_Cast
- ACompilationUnit::ImportDeclaration_Cast
- ACompilationUnit::TypeDeclaration_Cast
- AConstructorBody::BlockedStmt_Cast
- AConstructorDeclaration::Modifier_Cast
- AConstructorDeclarator::FormalParameter_Cast
- AEnumeratedTypespec::Rest_Cast
- AExpListForInit::Exp_Cast
- AExpressionPropositionDefinition::Comment_Cast
- AFieldDeclaration::Modifier_Cast
- AFieldDeclaration::VariableDeclarator_Cast
- AFinallyOneTryStmt::CatchClause_Cast
- AFormalParameter::Modifier_Cast
- AFormat::FormatWord_Cast
- AForStmt::ForUpdate_Cast
- AInitClassInterfaceArrayCreationExp::Dim_Cast
- AInitClassInterfaceExp::Dim_Cast
- AInitPrimitiveArrayCreationExp::Dim_Cast
- AInitPrimitiveExp::Dim_Cast
- AInterfaceBody::InterfaceMemberDeclaration_Cast
- AInterfaceDeclaration::Modifier_Cast
- AInterfaceDeclaration::Name_Cast
- AInterfaces::Name_Cast
- AInvokePropositionDefinition::Comment_Cast
- ALocalVariableDeclaration::Modifier_Cast
- ALocalVariableDeclaration::VariableDeclarator_Cast
- ALocation::Transformations_Cast
- ALocationAssertion::Comment_Cast
- ALocationPropositionDefinition::Comment_Cast
- AMethodDeclarator::Dim_Cast
- AMethodDeclarator::FormalParameter_Cast
- AMethodOption::LocalOption_Cast
- ANameArrayType::Dim_Cast
- ANameCastExp::Dim_Cast
- ANamedTypeExp::Dim_Cast
- ANameMethodInvocationExp::ArgumentList_Cast
- ANonemptyLiveset::Rest_Cast
- AOldCompilationUnit::ImportDeclaration_Cast
- AOldCompilationUnit::TypeDeclaration_Cast
- AOldFieldDeclaration::Modifier_Cast
- AOldInterfaceDeclaration::Modifier_Cast
- AOldLocalVariableDeclaration::Modifier_Cast
- AOldMethodDeclarator::Dim_Cast
- AOldNameCastExp::Dim_Cast
- AOldNamedTypePrimaryNoNewArray::Dim_Cast
- AOldPrimitiveTypeCastExp::Dim_Cast
- AOldPrimitiveTypePrimaryNoNewArray::Dim_Cast
- AOneSwitchStmt::SwitchBlockStmtGroup_Cast
- AOneSwitchStmt::SwitchLabel_Cast
- AOperator::Pattern_Cast
- AParamParamList::Dim_Cast
- AParamParams::Dim_Cast
- AParamsParamList::Dim_Cast
- AParamsParams::Dim_Cast
- APattern::Resource_Cast
- APostAssertion::Comment_Cast
- APreAssertion::Comment_Cast
- APredicates::Predicate_Cast
- APrimaryMethodInvocationExp::ArgumentList_Cast
- APrimitiveArrayType::Dim_Cast
- APrimitiveTypeArrayCreationExp::Dim_Cast
- APrimitiveTypeArrayCreationExp::DimExp_Cast
- APrimitiveTypeArrayExp::Dim_Cast
- APrimitiveTypeArrayExp::DimExp_Cast
- APrimitiveTypeCastExp::Dim_Cast
- APrimitiveTypePrimaryExp::Dim_Cast
- AProcess::Definitions_Cast
- AProcess::Globals_Cast
- AProcess::Threads_Cast
- APropertiesUnit::Def_Cast
- APropertiesUnit::Import_Cast
- AQualifiedClassInstanceCreationExp::ArgumentList_Cast
- AQualifiedConstructorInvocation::ArgumentList_Cast
- ARecordTypespec::Fields_Cast
- ARefTypespec::Rest_Cast
- AReturnPropositionDefinition::Comment_Cast
- ASession::Resource_Cast
- ASimpleClassInstanceCreationExp::ArgumentList_Cast
- AStrongCastExp::Dim_Cast
- AStrongNameCastExp::Dim_Cast
- AStrongPrimitiveCastExp::Dim_Cast
- ASuperConstructorInvocation::ArgumentList_Cast
- ASuperMethodInvocationExp::ArgumentList_Cast
- ASwitchBlockStmtGroup::BlockedStmt_Cast
- ASwitchBlockStmtGroup::SwitchLabel_Cast
- ASwitchStmt::SwitchBlockStmtGroup_Cast
- ASwitchStmt::SwitchLabel_Cast
- ATest::Pattern_Cast
- AThisConstructorInvocation::ArgumentList_Cast
- AThread::Locals_Cast
- AThread::Locations_Cast
- AThrows::Name_Cast
- ATl::Qtl_Cast
- ATl::Word_Cast
- ATransformation::Actions_Cast
- ATryFinallyStmt::CatchClause_Cast
- ATryOneTryStmt::CatchClause_Cast
- ATryStmt::CatchClause_Cast
- ATypedMethodHeader::Modifier_Cast
- AUnit::Assertion_Cast
- AUnit::ClassOption_Cast
- AUnit::Comment_Cast
- AUnit::Comment_Cast
- AUnit::OperatorTest_Cast
- AUnit::Pattern_Cast
- AUnit::PropositionDefinition_Cast
- AUnit::Session_Cast
- AVariableDeclaratorId::Dim_Cast
- AVoidMethodHeader::Modifier_Cast
- NoCast
- NoCast
- NoCast
- NoCast
- NoCast
- NoCast
- NoCast
- NoCast
- NodeCast
- NodeCast
- NodeCast
- NodeCast
- NodeCast
- NodeCast
- NodeCast
- NodeCast
- NodeCast
- NodeCast
CellEditor
- AbstractCellEditor
  - JTreeTable::TreeTableCellEditor
CFG
CFGSkel
ChaitinAllocator
ChangeListener
- ViewerTabbedPane
- ViewerTabbedPane::IvjEventHandler
CheckerFactory
CheckerOption
- DSpinOptions
- SmvOptions
- SpinOptions
ChooseExpander
ClassHierarchy
ClassInfo
ClassLoader
- AbstractionClassLoader
- FileClassLoader
- FileClassLoader
ClassLocator
ClassMethodPair
ClassObserver
ClassPath
ClassQueue
ClassStack
ClassToken
- ClassTokenArray
- ClassTokenManaged
- ClassTokenSimple
ClassVector
Cloneable
- Annotation
  - ClassDeclarationAnnotation
  - ConditionalAnnotation
    - IfStmtAnnotation
    - SwitchStmtAnnotation
  - ControlFlowAnnotation
    - DoWhileStmtAnnotation
    - ForStmtAnnotation
    - WhileStmtAnnotation
  - SequentialAnnotation
    - BlockStmtAnnotation
      - CatchAnnotation
      - ConstructorDeclarationAnnotation
      - InstanceInitializerAnnotation
      - MethodDeclarationAnnotation
      - StaticInitializerAnnotation
    - BreakStmtAnnotation
    - ConstructorInvocationStmtAnnotation
      - SuperConstructorInvocationStmtAnnotation
      - ThisConstructorInvocationStmtAnnotation
    - ContinueStmtAnnotation
    - EmptyStmtAnnotation
    - ExpStmtAnnotation
    - LabeledStmtAnnotation
    - LocalDeclarationStmtAnnotation
    - ReturnStmtAnnotation
    - ThrowStmtAnnotation
  - SpecializedAnnotation
    - FieldDeclarationAnnotation
    - SynchronizedStmtAnnotation
    - TryStmtAnnotation
      - TryFinallyStmtAnnotation
- Attribute
  - Code
  - Code
  - ConstantValue
  - ConstantValue
  - Deprecated
  - Deprecated
  - ExceptionTable
  - ExceptionTable
  - InnerClasses
  - InnerClasses
  - LineNumberTable
  - LineNumberTable
  - LocalVariableTable
  - LocalVariableTable
  - PMGClass
  - PMGClass
  - Signature
  - Signature
  - SourceFile
  - SourceFile
  - Synthetic
  - Synthetic
  - Unknown
  - Unknown
- Attribute
- BirState
- BlockMap
- ClassGen
- CodeException
- CodeException
- CodeExceptionGen
- Constant
  - ChooseExpr
  - ConstantClass
  - ConstantClass
  - ConstantCP
    - ConstantFieldref
    - ConstantFieldref
    - ConstantInterfaceMethodref
    - ConstantInterfaceMethodref
    - ConstantMethodref
    - ConstantMethodref
  - ConstantCP
  - ConstantDouble
  - ConstantDouble
  - ConstantFloat
  - ConstantFloat
  - ConstantInteger
  - ConstantInteger
  - ConstantLong
  - ConstantLong
  - ConstantNameAndType
  - ConstantNameAndType
  - ConstantString
  - ConstantString
  - ConstantUtf8
  - ConstantUtf8
  - DoubleConstant
  - FloatConstant
  - IntConstant
  - LongConstant
  - NullConstant
  - StringConstant
- Constant
- ConstantPool
- ConstantPool
- FieldGenOrMethodGen
  - FieldGen
  - MethodGen
- FieldOrMethod
  - Field
  - Field
  - FieldInstruction
  - FieldInstruction
  - InvokeInstruction
  - InvokeInstruction
  - Method
  - Method
- FieldOrMethod
- InnerClass
- InnerClass
- Instruction
  - AALOAD
  - AASTORE
  - AbstractInstruction
    - AALOAD
    - AASTORE
    - ACONST_NULL
    - ALOAD
    - ANEWARRAY
    - ARETURN
    - ARRAYLENGTH
    - ASTORE
    - ATHROW
    - BALOAD
    - BASTORE
    - BIPUSH
    - CALOAD
    - CASTORE
    - CHECKCAST
    - D2F
    - D2I
    - D2L
    - DADD
    - DALOAD
    - DASTORE
    - DCMPG
    - DCMPL
    - DCONST
    - DDIV
    - DLOAD
    - DMUL
    - DNEG
    - DREM
    - DRETURN
    - DSTORE
    - DSUB
    - DUP
    - DUP2
    - DUP2_X1
    - DUP2_X2
    - DUP_X1
    - DUP_X2
    - F2D
    - F2I
    - F2L
    - FADD
    - FALOAD
    - FASTORE
    - FCMPG
    - FCMPL
    - FCONST
    - FDIV
    - FLOAD
    - FMUL
    - FNEG
    - FREM
    - FRETURN
    - FSTORE
    - FSUB
    - GETFIELD
    - GETSTATIC
    - GOTO
    - I2B
    - I2C
    - I2D
    - I2F
    - I2L
    - I2S
    - IADD
    - IALOAD
    - IAND
    - IASTORE
    - ICONST
    - IDIV
    - IF_ACMPEQ
    - IF_ACMPNE
    - IF_ICMPEQ
    - IF_ICMPGE
    - IF_ICMPGT
    - IF_ICMPLE
    - IF_ICMPLT
    - IF_ICMPNE
    - IFEQ
    - IFGE
    - IFGT
    - IFLE
    - IFLT
    - IFNE
    - IFNONNULL
    - IFNULL
    - IINC
    - ILOAD
    - IMUL
    - INEG
    - INSTANCEOF
    - INVOKEINTERFACE
    - INVOKESPECIAL
    - INVOKESTATIC
    - INVOKEVIRTUAL
    - IOR
    - IREM
    - IRETURN
    - ISHL
    - ISHR
    - ISTORE
    - ISUB
    - IUSHR
    - IXOR
    - JSR
    - JSR_W
    - L2D
    - L2F
    - L2I
    - LADD
    - LALOAD
    - LAND
    - LASTORE
    - LCMP
    - LCONST
    - LDC
      - LDC_W
      - LDC_W
    - LDC2_W
    - LDC_W
    - LDIV
    - LLOAD
    - LMUL
    - LNEG
    - LOR
    - LREM
    - LRETURN
    - LSHL
    - LSHR
    - LSTORE
    - LSUB
    - LUSHR
    - LXOR
    - MONITORENTER
    - MONITOREXIT
    - MULTIANEWARRAY
    - NEW
    - NEWARRAY
    - NOP
    - POP
    - POP2
    - PUTFIELD
    - PUTSTATIC
    - RET
    - RETURN
    - SALOAD
    - SASTORE
    - SIPUSH
    - SWAP
    - TABLESWITCH
  - ACONST_NULL
  - ACONST_NULL
  - ACONST_NULL
  - ALOAD
  - ANEWARRAY
  - ArithmeticInstruction
    - DADD
    - DADD
    - DDIV
    - DDIV
    - DMUL
    - DMUL
    - DNEG
    - DNEG
    - DREM
    - DREM
    - DSUB
    - DSUB
    - FADD
    - FADD
    - FDIV
    - FDIV
    - FMUL
    - FMUL
    - FNEG
    - FNEG
    - FREM
    - FREM
    - FSUB
    - FSUB
    - IADD
    - IADD
    - IAND
    - IAND
    - IDIV
    - IDIV
    - IMUL
    - IMUL
    - INEG
    - INEG
    - IOR
    - IOR
    - IREM
    - IREM
    - ISHL
    - ISHL
    - ISHR
    - ISHR
    - ISUB
    - ISUB
    - IUSHR
    - IUSHR
    - IXOR
    - IXOR
    - LADD
    - LADD
    - LAND
    - LAND
    - LDIV
    - LDIV
    - LMUL
    - LMUL
    - LNEG
    - LNEG
    - LOR
    - LOR
    - LREM
    - LREM
    - LSHL
    - LSHL
    - LSHR
    - LSHR
    - LSUB
    - LSUB
    - LUSHR
    - LUSHR
    - LXOR
    - LXOR
  - ArithmeticInstruction
  - ArrayInstruction
    - AALOAD
    - AALOAD
    - AASTORE
    - AASTORE
    - BALOAD
    - BALOAD
    - BASTORE
    - BASTORE
    - CALOAD
    - CALOAD
    - CASTORE
    - CASTORE
    - DALOAD
    - DALOAD
    - DASTORE
    - DASTORE
    - FALOAD
    - FALOAD
    - FASTORE
    - FASTORE
    - IALOAD
    - IALOAD
    - IASTORE
    - IASTORE
    - LALOAD
    - LALOAD
    - LASTORE
    - LASTORE
    - SALOAD
    - SALOAD
    - SASTORE
    - SASTORE
  - ArrayInstruction
  - ARRAYLENGTH
  - ARRAYLENGTH
  - ARRAYLENGTH
  - ASTORE
  - ATHROW
  - ATHROW
  - ATHROW
  - BALOAD
  - BASTORE
  - BIPUSH
  - BIPUSH
  - BIPUSH
  - BranchInstruction
    - GOTO
    - GOTO
    - GOTO_W
    - GOTO_W
    - IfInstruction
    - IfInstruction
    - JSR
    - JSR
    - JSR_W
    - JSR_W
    - Select
    - Select
  - BranchInstruction
  - CALOAD
  - CASTORE
  - CHECKCAST
  - ConversionInstruction
    - D2F
    - D2F
    - D2I
    - D2I
    - D2L
    - D2L
    - F2D
    - F2D
    - F2I
    - F2I
    - F2L
    - F2L
    - I2B
    - I2B
    - I2C
    - I2C
    - I2D
    - I2D
    - I2F
    - I2F
    - I2L
    - I2L
    - I2S
    - I2S
    - L2D
    - L2D
    - L2F
    - L2F
    - L2I
    - L2I
  - ConversionInstruction
  - CPInstruction
    - ANEWARRAY
    - ANEWARRAY
    - CHECKCAST
    - CHECKCAST
    - FieldOrMethod
    - FieldOrMethod
    - INSTANCEOF
    - INSTANCEOF
    - LDC
    - LDC
    - LDC2_W
    - LDC2_W
    - MULTIANEWARRAY
    - MULTIANEWARRAY
    - NEW
    - NEW
  - CPInstruction
  - D2F
  - D2I
  - D2L
  - DADD
  - DALOAD
  - DASTORE
  - DCMPG
  - DCMPG
  - DCMPG
  - DCMPL
  - DCMPL
  - DCMPL
  - DCONST
  - DCONST
  - DCONST
  - DDIV
  - DLOAD
  - DMUL
  - DNEG
  - DREM
  - DSTORE
  - DSUB
  - DUP
  - DUP2
  - DUP2_X1
  - DUP2_X2
  - DUP_X1
  - DUP_X2
  - F2D
  - F2I
  - F2L
  - FADD
  - FALOAD
  - FASTORE
  - FCMPG
  - FCMPG
  - FCMPG
  - FCMPL
  - FCMPL
  - FCMPL
  - FCONST
  - FCONST
  - FCONST
  - FDIV
  - FLOAD
  - FMUL
  - FNEG
  - FREM
  - FSTORE
  - FSUB
  - GETFIELD
  - GETSTATIC
  - GOTO
  - I2B
  - I2C
  - I2D
  - I2F
  - I2L
  - I2S
  - IADD
  - IALOAD
  - IAND
  - IASTORE
  - ICONST
  - ICONST
  - ICONST
  - IDIV
  - IfInstruction
  - IINC
  - IINC
  - IINC
  - ILOAD
  - IMPDEP1
  - IMPDEP1
  - IMPDEP2
  - IMPDEP2
  - IMUL
  - INEG
  - INSTANCEOF
  - Instruction_byte
    - Instruction_Bipush
  - Instruction_byteindex
    - Instruction_Ldc1
  - Instruction_bytevar
    - Instruction_Aload
    - Instruction_Astore
    - Instruction_Dload
    - Instruction_Dstore
    - Instruction_Fload
    - Instruction_Fstore
    - Instruction_Iinc
    - Instruction_Iload
    - Instruction_Istore
    - Instruction_Lload
    - Instruction_Lstore
    - Instruction_Ret
  - Instruction_int
    - Instruction_Sipush
  - Instruction_intbranch
    - Instruction_Goto
    - Instruction_If_acmpeq
    - Instruction_If_acmpne
    - Instruction_If_icmpeq
    - Instruction_If_icmpge
    - Instruction_If_icmpgt
    - Instruction_If_icmple
    - Instruction_If_icmplt
    - Instruction_If_icmpne
    - Instruction_Ifeq
    - Instruction_Ifge
    - Instruction_Ifgt
    - Instruction_Ifle
    - Instruction_Iflt
    - Instruction_Ifne
    - Instruction_Ifnonnull
    - Instruction_Ifnull
    - Instruction_Jsr
  - Instruction_intindex
    - Instruction_Anewarray
    - Instruction_Checkcast
    - Instruction_Getfield
    - Instruction_Getstatic
    - Instruction_Instanceof
    - Instruction_Invokeinterface
    - Instruction_Invokenonvirtual
    - Instruction_Invokestatic
    - Instruction_Invokevirtual
    - Instruction_Ldc2
    - Instruction_Ldc2w
    - Instruction_Multianewarray
    - Instruction_New
    - Instruction_Putfield
    - Instruction_Putstatic
  - Instruction_intvar
    - Instruction_Ret_w
  - Instruction_longbranch
    - Instruction_Goto_w
    - Instruction_Jsr_w
  - Instruction_Lookupswitch
  - Instruction_Newarray
  - Instruction_noargs
    - Instruction_Aaload
    - Instruction_Aastore
    - Instruction_Aconst_null
    - Instruction_Aload_0
    - Instruction_Aload_1
    - Instruction_Aload_2
    - Instruction_Aload_3
    - Instruction_Areturn
    - Instruction_Arraylength
    - Instruction_Astore_0
    - Instruction_Astore_1
    - Instruction_Astore_2
    - Instruction_Astore_3
    - Instruction_Athrow
    - Instruction_Baload
    - Instruction_Bastore
    - Instruction_Breakpoint
    - Instruction_Caload
    - Instruction_Castore
    - Instruction_D2f
    - Instruction_D2i
    - Instruction_D2l
    - Instruction_Dadd
    - Instruction_Daload
    - Instruction_Dastore
    - Instruction_Dcmpg
    - Instruction_Dcmpl
    - Instruction_Dconst_0
    - Instruction_Dconst_1
    - Instruction_Ddiv
    - Instruction_Dload_0
    - Instruction_Dload_1
    - Instruction_Dload_2
    - Instruction_Dload_3
    - Instruction_Dmul
    - Instruction_Dneg
    - Instruction_Drem
    - Instruction_Dreturn
    - Instruction_Dstore_0
    - Instruction_Dstore_1
    - Instruction_Dstore_2
    - Instruction_Dstore_3
    - Instruction_Dsub
    - Instruction_Dup
    - Instruction_Dup2
    - Instruction_Dup2_x1
    - Instruction_Dup2_x2
    - Instruction_Dup_x1
    - Instruction_Dup_x2
    - Instruction_F2d
    - Instruction_F2i
    - Instruction_F2l
    - Instruction_Fadd
    - Instruction_Faload
    - Instruction_Fastore
    - Instruction_Fcmpg
    - Instruction_Fcmpl
    - Instruction_Fconst_0
    - Instruction_Fconst_1
    - Instruction_Fconst_2
    - Instruction_Fdiv
    - Instruction_Fload_0
    - Instruction_Fload_1
    - Instruction_Fload_2
    - Instruction_Fload_3
    - Instruction_Fmul
    - Instruction_Fneg
    - Instruction_Frem
    - Instruction_Freturn
    - Instruction_Fstore_0
    - Instruction_Fstore_1
    - Instruction_Fstore_2
    - Instruction_Fstore_3
    - Instruction_Fsub
    - Instruction_I2d
    - Instruction_I2f
    - Instruction_I2l
    - Instruction_Iadd
    - Instruction_Iaload
    - Instruction_Iand
    - Instruction_Iastore
    - Instruction_Iconst_0
    - Instruction_Iconst_1
    - Instruction_Iconst_2
    - Instruction_Iconst_3
    - Instruction_Iconst_4
    - Instruction_Iconst_5
    - Instruction_Iconst_m1
    - Instruction_Idiv
    - Instruction_Iload_0
    - Instruction_Iload_1
    - Instruction_Iload_2
    - Instruction_Iload_3
    - Instruction_Imul
    - Instruction_Ineg
    - Instruction_Int2byte
    - Instruction_Int2char
    - Instruction_Int2short
    - Instruction_Ior
    - Instruction_Irem
    - Instruction_Ireturn
    - Instruction_Ishl
    - Instruction_Ishr
    - Instruction_Istore_0
    - Instruction_Istore_1
    - Instruction_Istore_2
    - Instruction_Istore_3
    - Instruction_Isub
    - Instruction_Iushr
    - Instruction_Ixor
    - Instruction_L2d
    - Instruction_L2f
    - Instruction_L2i
    - Instruction_Ladd
    - Instruction_Laload
    - Instruction_Land
    - Instruction_Lastore
    - Instruction_Lcmp
    - Instruction_Lconst_0
    - Instruction_Lconst_1
    - Instruction_Ldiv
    - Instruction_Lload_0
    - Instruction_Lload_1
    - Instruction_Lload_2
    - Instruction_Lload_3
    - Instruction_Lmul
    - Instruction_Lneg
    - Instruction_Lor
    - Instruction_Lrem
    - Instruction_Lreturn
    - Instruction_Lshl
    - Instruction_Lshr
    - Instruction_Lstore_0
    - Instruction_Lstore_1
    - Instruction_Lstore_2
    - Instruction_Lstore_3
    - Instruction_Lsub
    - Instruction_Lushr
    - Instruction_Lxor
    - Instruction_Monitorenter
    - Instruction_Monitorexit
    - Instruction_Nop
    - Instruction_Pop
    - Instruction_Pop2
    - Instruction_Return
    - Instruction_Saload
    - Instruction_Sastore
    - Instruction_Swap
    - Instruction_Unknown
    - Instruction_Wide
  - Instruction_Tableswitch
  - InvokeInstruction
  - IOR
  - IREM
  - ISHL
  - ISHR
  - ISTORE
  - ISUB
  - IUSHR
  - IXOR
  - JSR
  - JSR_W
  - L2D
  - L2F
  - L2I
  - LADD
  - LALOAD
  - LAND
  - LASTORE
  - LCMP
  - LCMP
  - LCMP
  - LCONST
  - LCONST
  - LCONST
  - LDC
  - LDC2_W
  - LDC_W
  - LDIV
  - LLOAD
  - LMUL
  - LNEG
  - LocalVariableInstruction
    - ALOAD
    - ALOAD
    - ASTORE
    - ASTORE
    - DLOAD
    - DLOAD
    - DSTORE
    - DSTORE
    - FLOAD
    - FLOAD
    - FSTORE
    - FSTORE
    - ILOAD
    - ILOAD
    - ISTORE
    - ISTORE
    - LLOAD
    - LLOAD
    - LSTORE
    - LSTORE
  - LocalVariableInstruction
  - LOOKUPSWITCH
  - LOR
  - LREM
  - LSHL
  - LSHR
  - LSTORE
  - LSUB
  - LUSHR
  - LXOR
  - MONITORENTER
  - MONITORENTER
  - MONITORENTER
  - MONITOREXIT
  - MONITOREXIT
  - MONITOREXIT
  - MULTIANEWARRAY
  - NEW
  - NEWARRAY
  - NEWARRAY
  - NEWARRAY
  - NOP
  - NOP
  - NOP
  - POP
  - POP2
  - PUTFIELD
  - PUTSTATIC
  - RET
  - RET
  - RET
  - ReturnInstruction
    - ARETURN
    - ARETURN
    - ARETURN
    - DRETURN
    - DRETURN
    - DRETURN
    - FRETURN
    - FRETURN
    - FRETURN
    - IRETURN
    - IRETURN
    - IRETURN
    - LRETURN
    - LRETURN
    - LRETURN
    - RETURN
    - RETURN
    - RETURN
  - ReturnInstruction
  - ReturnInstruction
  - SALOAD
  - SASTORE
  - SIPUSH
  - SIPUSH
  - SIPUSH
  - StackInstruction
    - DUP
    - DUP
    - DUP2
    - DUP2
    - DUP2_X1
    - DUP2_X1
    - DUP2_X2
    - DUP2_X2
    - DUP_X1
    - DUP_X1
    - DUP_X2
    - DUP_X2
    - POP
    - POP
    - POP2
    - POP2
    - SWAP
    - SWAP
  - StackInstruction
  - SWAP
  - TABLESWITCH
- Instruction
- Instruction
- JavaClass
- JavaClass
- LineNumber
- LineNumber
- LocalVariable
- LocalVariable
- LocalVariableGen
- LockLit
- Monitor
- Node
  - PAbstractDef
    - AAnyAbstractDef
    - AExpAbstractDef
  - PAbstractFunction
    - AAbstractFunction
  - PAbstractMethodDeclaration
    - AAbstractMethodDeclaration
  - PAction
    - AAllocationAction
    - AAssertactionAction
    - AAssignmentAction
    - AChoiceAction
    - ALockupdateAction
    - APrintactionAction
    - AThreadupdateAction
  - PAddExp
    - AMinusAddExp
    - AMinusAddExp
    - AMultAddExp
    - AMultAddExp
    - APlusAddExp
    - APlusAddExp
  - PAddExp
  - PAdditiveExp
    - AMinusAdditiveExp
    - AMultiplicativeExpAdditiveExp
    - APlusAdditiveExp
  - PAllocation
    - AAllocation
  - PAndExp
    - AAndAndExp
    - AAndAndExp
    - AAndAndExp
    - AAndExpAndExp
    - AEqualityExpAndExp
    - AInclusiveOrAndExp
    - AInclusiveOrAndExp
    - AUnaryAndExp
  - PAndExp
  - PAndExp
  - PAndExp
  - PAnyId
    - AAnyAnyId
    - AIdAnyId
  - PArgs
    - AArgsArgs
    - AIdArgs
  - PArgumentList
    - AArgumentListArgumentList
    - AExpArgumentList
  - PArrayAccess
    - ANameArrayAccess
    - AOldPrimaryNoNewArrayArrayAccess
    - APrimaryNoNewArrayArrayAccess
    - AStrongExpArrayAccess
    - AStrongNameArrayAccess
  - PArrayAccess
  - PArrayCreationExp
    - AClassOrInterfaceTypeArrayCreationExp
    - AInitClassInterfaceArrayCreationExp
    - AInitPrimitiveArrayCreationExp
    - APrimitiveTypeArrayCreationExp
  - PArrayInitializer
    - AArrayInitializer
    - AOldArrayInitializer
  - PArraylength
    - AArraylength
  - PArrayType
    - ANameArrayType
    - APrimitiveArrayType
  - PAssert
    - AAssert
  - PAssertaction
    - AAssertaction
  - PAssertion
    - ALocationAssertion
    - APostAssertion
    - APreAssertion
  - PAssignment
    - AAssignment
    - AAssignment
  - PAssignment
  - PAssignmentExp
    - AAssignmentAssignmentExp
    - AConditionalExpAssignmentExp
  - PAssignmentOperator
    - AAssignAssignmentOperator
    - ABitAndAssignAssignmentOperator
    - ABitOrAssignAssignmentOperator
    - ABitXorAssignAssignmentOperator
    - ADivAssignAssignmentOperator
    - AMinusAssignAssignmentOperator
    - AModAssignAssignmentOperator
    - APlusAssignAssignmentOperator
    - AShiftLeftAssignAssignmentOperator
    - ASignedShiftRightAssignAssignmentOperator
    - AStarAssignAssignmentOperator
    - AUnsignedShiftRightAssignAssignmentOperator
  - PBinaryOperator
    - AAndBinaryOperator
    - ABitAndBinaryOperator
    - ABitOrBinaryOperator
    - ABitXorBinaryOperator
    - ADivBinaryOperator
    - AEqBinaryOperator
    - AGtBinaryOperator
    - AGteqBinaryOperator
    - ALtBinaryOperator
    - ALteqBinaryOperator
    - AMinusBinaryOperator
    - AModBinaryOperator
    - ANeqBinaryOperator
    - AOrBinaryOperator
    - APlusBinaryOperator
    - AShiftLeftBinaryOperator
    - ASignedShiftRightBinaryOperator
    - AStarBinaryOperator
    - AUnsignedShiftRightBinaryOperator
  - PBinOp
    - AAndBinOp
    - AAndBinOp
    - ABitAndBinOp
    - ABitOrBinOp
    - ABitXorBinOp
    - AEqualBinOp
    - AGreaterBinOp
    - AGreaterEqualBinOp
    - AImplyBinOp
    - ALessBinOp
    - ALessEqualBinOp
    - AMinusBinOp
    - ANotEqualBinOp
    - AOrBinOp
    - AOrBinOp
    - APlusBinOp
    - AShiftLeftBinOp
    - ASignedShiftRightBinOp
    - AStrongDivBinOp
    - AStrongModBinOp
    - ATimesBinOp
    - AUnsignedShiftRightBinOp
  - PBinOp
  - PBitAndExp
    - AAndBitAndExp
    - AAndBitAndExp
    - AEqBitAndExp
    - AEqBitAndExp
  - PBitAndExp
  - PBlock
    - ABlock
  - PBlockedStmt
    - AClassDeclarationBlockedStmt
    - ALocalVariableDeclarationInBlockedStmt
    - ALocalVariableDeclarationStmtBlockedStmt
    - AStmtBlockedStmt
  - PBool
    - AFalseBool
    - ATrueBool
  - PBooleanLiteral
    - AFalseBooleanLiteral
    - ATrueBooleanLiteral
  - PCastExp
    - AOldExpCastExp
    - AOldNameCastExp
    - AOldPrimitiveTypeCastExp
    - AStrongExpCastExp
    - AStrongNameCastExp
    - AStrongPrimitiveCastExp
  - PCastExp
  - PCatchClause
    - ACatchClause
  - PChoice
    - AChoice
  - PChoicetail
    - AChoicetail
  - PClassBody
    - AClassBody
  - PClassBodyDeclaration
    - ABlockClassBodyDeclaration
    - AClassClassBodyDeclaration
    - AClassMemberDeclarationClassBodyDeclaration
    - AConstructorClassBodyDeclaration
    - AFieldClassBodyDeclaration
    - AInterfaceClassBodyDeclaration
    - AMethodClassBodyDeclaration
    - AOldStaticInitializerClassBodyDeclaration
    - AStaticInitializerClassBodyDeclaration
  - PClassDeclaration
    - AClassDeclaration
  - PClassInstanceCreationExp
    - AOldQualifiedClassInstanceCreationExp
    - AOldSimpleClassInstanceCreationExp
  - PClassMemberDeclaration
    - AClassDeclarationClassMemberDeclaration
    - AFieldDeclarationClassMemberDeclaration
    - AInterfaceDeclarationClassMemberDeclaration
    - AMethodDeclarationClassMemberDeclaration
  - PClassOption
    - AClassOption
  - PClassOrInterfaceType
    - AClassOrInterfaceType
  - PClassType
    - AClassType
  - PClassTypeList
    - AClassTypeClassTypeList
    - AClassTypeListClassTypeList
  - PCollection
    - ACollection
  - PColonExp
    - AColonExp
  - PComment
    - AEndOfLineComment
    - AEndOfLineComment
  - PComment
  - PCompilationUnit
    - AAssertionCompilationUnit
    - ACompilationUnit
    - AOldCompilationUnit
  - PConditionalAndExp
    - AConditionalAndExpConditionalAndExp
    - AInclusiveOrExpConditionalAndExp
  - PConditionalExp
    - AConditionalOrExpConditionalExp
    - AOrConditionalExp
    - AOrConditionalExp
    - AQuestionConditionalExp
    - AQuestionConditionalExp
    - AQuestionConditionalExp
  - PConditionalExp
  - PConditionalExp
  - PConditionalOrExp
    - AConditionalAndExpConditionalOrExp
    - AConditionalOrExpConditionalOrExp
  - PConst
    - AIdConst
    - AIntConst
  - PConstantDeclaration
    - AConstantDeclaration
  - PConstantExp
    - AConstantExp
  - PConstructorBody
    - AConstructorBody
  - PConstructorDeclaration
    - AConstructorDeclaration
  - PConstructorDeclarator
    - AConstructorDeclarator
    - AOldConstructorDeclarator
  - PConstructorInvocation
    - AOldQualifiedConstructorInvocation
    - AOldSuperConstructorInvocation
    - AOldThisConstructorInvocation
    - AQualifiedConstructorInvocation
    - ASuperConstructorInvocation
    - AThisConstructorInvocation
  - PCpl
    - ACpl
  - PDef
    - AAssertDef
    - ATlDef
  - PDefaultToken
    - ADefaultToken
  - PDefinition
    - AConstantDefinition
    - ATypedefDefinition
  - PDim
    - ADim
  - PDimExp
    - ADimExp
  - PEnumconst
    - ANameEnumconst
    - ANamevalueEnumconst
  - PEnumdeftail
    - AEnumdeftail
  - PEqExp
    - AEqEqExp
    - AEqEqExp
    - ANeqEqExp
    - ANeqEqExp
    - ARelEqExp
    - ARelEqExp
  - PEqExp
  - PEqualityExp
    - AEqEqualityExp
    - ANeqEqualityExp
    - ARelationalExpEqualityExp
  - PExclusiveOrExp
    - AAndExclusiveOrExp
    - AAndExclusiveOrExp
    - AAndExpExclusiveOrExp
    - AExclusiveOrExpExclusiveOrExp
    - AXorExclusiveOrExp
    - AXorExclusiveOrExp
  - PExclusiveOrExp
  - PExclusiveOrExp
  - PExp
    - AArrayAccessExp
    - AAssignmentExp
    - ABinaryExp
    - ABinaryExp
    - ABinaryExp
    - ABitComplementExp
    - AClassOrInterfaceTypeExp
    - AComplementExp
    - AComplementExp
    - AConditionalExp
    - AExp
    - AExpCastExp
    - AFieldAccessExp
    - AImplicationExp
    - AInitClassInterfaceExp
    - AInitPrimitiveExp
    - AInstanceofExp
    - AInstanceofExp
    - ALiteralExp
    - ALiteralExp
    - ANameCastExp
    - ANamedTypeExp
    - ANameExp
    - ANameExp
    - ANameMethodInvocationExp
    - ANavigationExp
    - ANegativeExp
    - AOldExp
    - AParenExp
    - AParenExp
    - AParExp
    - APostDecrementExp
    - APostIncrementExp
    - APredicateExp
    - APrimaryMethodInvocationExp
    - APrimitiveTypeArrayExp
    - APrimitiveTypeCastExp
    - APrimitiveTypePrimaryExp
    - AQualifiedClassInstanceCreationExp
    - AQualifiedThisExp
    - AQuestionExp
    - AQuestionExp
    - AReturnValueExp
    - ASimpleClassInstanceCreationExp
    - AStrongCastExp
    - ASuperMethodInvocationExp
    - AThisExp
    - AThisExp
    - AUnaryExp
    - AVoidExp
  - PExp
  - PExp
  - PExp
  - PExpr
    - AExpr
  - PExpr0
    - AArraylengthExpr0
    - AArrayselectExpr0
    - AFieldselectExpr0
    - AInstanceofExpr0
    - ALocktestExpr0
    - AParenexprExpr0
    - ARemoterefExpr0
    - AThreadtestExpr0
    - AValueExpr0
  - PExpr1
    - AExpr0Expr1
    - AMinusExpr1
    - ANotExpr1
    - APlusExpr1
  - PExpr2
    - ADivExpr2
    - AExpr1Expr2
    - AModExpr2
    - AMultExpr2
  - PExpr3
    - AExpr2Expr3
    - AMinusExpr3
    - APlusExpr3
  - PExpr4
    - AExpr3Expr4
    - AGeExpr4
    - AGtExpr4
    - ALeExpr4
    - ALtExpr4
  - PExpr5
    - AEqExpr5
    - AExpr4Expr5
    - ANoteqExpr5
  - PExpr6
    - AAndExpr6
    - AExpr5Expr6
  - PExpr7
    - AExpr6Expr7
    - AOrExpr7
  - PExpStmt
    - AOriginalExpStmt
  - PExtendsInterfaces
    - AExtendsExtendsInterfaces
    - AExtendsInterfacesExtendsInterfaces
  - PField
    - AField
  - PFieldAccess
    - AOldPrimaryFieldAccess
    - APrimaryFieldAccess
    - AStrongObjectFieldAccess
    - ASuperFieldAccess
  - PFieldAccess
  - PFieldDeclaration
    - AFieldDeclaration
    - AOldFieldDeclaration
  - PFieldOption
    - AFieldOption
  - PFinally
    - AFinally
  - PFloatingPointType
    - ADoubleFloatingPointType
    - AFloatFloatingPointType
  - PForInit
    - AExpListForInit
    - ALocalVariableDeclarationForInit
    - AStmtExpListForInit
  - PFormalParameter
    - AFormalParameter
  - PFormalParameterList
    - AFormalParameterFormalParameterList
    - AFormalParameterListFormalParameterList
  - PFormat
    - AFormat
  - PFormatWord
    - ACommaFormatWord
    - ADotFormatWord
    - AHoleFormatWord
    - AIdFormatWord
    - ANumberFormatWord
  - PForStmtNoShortIf
    - AForStmtNoShortIf
  - PForUpdate
    - AForUpdate
  - PGlobal
    - ACollectionGlobal
    - AVariableGlobal
  - PIdList
    - AIdIdList
    - AIdsIdList
  - PIds
    - AIdIds
    - AIdIds
    - AIdsIds
    - AIdsIds
  - PIds
  - PIdSet
    - AIdSet
  - PIfThenElseStmt
    - AIfThenElseStmt
  - PIfThenElseStmtNoShortIf
    - AIfThenElseStmtNoShortIf
  - PIfThenStmt
    - AIfThenStmt
  - PImplicationExp
    - AImplyImplicationExp
    - AOrImplicationExp
  - PImport
    - AAssertionImport
    - APredicateImport
    - ATypeImport
  - PImportDeclaration
    - ASingleTypeImportDeclaration
    - ASingleTypeImportDeclarationImportDeclaration
    - ATypeImportOnDemandDeclarationImportDeclaration
    - ATypeOnDemandImportDeclaration
  - PImportName
    - AOnDemandImportName
    - ASpecificImportName
  - PImportNames
    - ANameImportNames
    - ANamesImportNames
  - PInclusiveOrExp
    - AExclusiveOrExpInclusiveOrExp
    - AInclusiveOrExpInclusiveOrExp
    - AOrInclusiveOrExp
    - AOrInclusiveOrExp
    - AXorInclusiveOrExp
    - AXorInclusiveOrExp
  - PInclusiveOrExp
  - PInclusiveOrExp
  - PInitializer
    - AInitializer
  - PIntegerLiteral
    - ADecimalIntegerLiteral
    - AHexIntegerLiteral
    - AOctalIntegerLiteral
  - PIntegralType
    - AByteIntegralType
    - ACharIntegralType
    - AIntIntegralType
    - ALongIntegralType
    - AShortIntegralType
  - PInterfaceBody
    - AInterfaceBody
  - PInterfaceDeclaration
    - AInterfaceDeclaration
    - AOldInterfaceDeclaration
  - PInterfaceMemberDeclaration
    - AAbstractMethodDeclarationInterfaceMemberDeclaration
    - AClassDeclarationInterfaceMemberDeclaration
    - AConstantDeclarationInterfaceMemberDeclaration
    - AInterfaceDeclarationInterfaceMemberDeclaration
    - AOldAbstractMethodDeclarationInterfaceMemberDeclaration
    - AOldConstantDeclarationInterfaceMemberDeclaration
  - PInterfaces
    - AInterfaces
    - AOldInterfaces
  - PInterfaceType
    - AInterfaceType
  - PInterfaceTypeList
    - AInterfaceTypeInterfaceTypeList
    - AInterfaceTypeListInterfaceTypeList
  - PLabeledStmt
    - ALabeledStmt
  - PLabeledStmtNoShortIf
    - ALabeledStmtNoShortIf
  - PLeftHandSide
    - AArrayAccessLeftHandSide
    - AFieldAccessLeftHandSide
    - ANameLeftHandSide
  - PLhs
    - AArraylengthLhs
    - AArrayselectLhs
    - AFieldselectLhs
    - AValueLhs
  - PLiteral
    - ABooleanLiteralLiteral
    - ACharacterLiteralLiteral
    - ACharLiteral
    - ADecIntLiteral
    - ADecIntLiteral
    - ADecLongLiteral
    - ADecLongLiteral
    - ADoubleLiteral
    - ADoubleLiteral
    - AFalseLiteral
    - AFloatingPointLiteralLiteral
    - AFloatLiteral
    - AFloatLiteral
    - AHexIntLiteral
    - AHexIntLiteral
    - AHexLongLiteral
    - AHexLongLiteral
    - AIntegerLiteralLiteral
    - ANullLiteral
    - ANullLiteralLiteral
    - AOctIntLiteral
    - AOctIntLiteral
    - AOctLongLiteral
    - AOctLongLiteral
    - AStringLiteral
    - AStringLiteralLiteral
    - ATrueLiteral
  - PLiteral
  - PLiteral
  - PLiveset
    - AEmptyLiveset
    - ANonemptyLiveset
  - PLivevar
    - ALivevar
  - PLocalOption
    - ALocalOption
  - PLocalVariableDeclaration
    - ALocalVariableDeclaration
    - AOldLocalVariableDeclaration
  - PLocalVariableDeclarationStmt
    - ALocalVariableDeclarationStmt
  - PLocation
    - ALocation
  - PLockOp
    - ALockLockOp
    - ANotifyallLockOp
    - ANotifyLockOp
    - AUnlockLockOp
    - AUnwaitLockOp
    - AWaitLockOp
  - PLocktest
    - ALocktest
  - PLocktestop
    - AHaslockLocktestop
    - ALockavailableLocktestop
    - AWasnotifiedLocktestop
  - PLockupdate
    - ALockupdate
  - PMethodBody
    - ABlockMethodBody
    - AEmptyMethodBody
  - PMethodDeclaration
    - AMethodDeclaration
  - PMethodDeclarator
    - AMethodDeclarator
    - AOldMethodDeclarator
  - PMethodHeader
    - ATypedMethodHeader
    - AVoidMethodHeader
  - PMethodInvocation
    - ANameMethodInvocation
    - APrimaryMethodInvocation
    - ASuperMethodInvocation
  - PMethodOption
    - AMethodOption
  - PModifier
    - AAbstractModifier
    - AFinalModifier
    - ANativeModifier
    - APrivateModifier
    - AProtectedModifier
    - APublicModifier
    - AStaticModifier
    - ASynchronizedModifier
    - ATransientModifier
    - AVolatileModifier
  - PMultExp
    - ADivMultExp
    - AModMultExp
    - AStrongDivMultExp
    - AStrongModMultExp
    - ATimesMultExp
    - ATimesMultExp
    - AUnaryExpMultExp
    - AUnaryExpMultExp
  - PMultExp
  - PMultiplicativeExp
    - ADivMultiplicativeExp
    - AModMultiplicativeExp
    - AStarMultiplicativeExp
    - AUnaryExpMultiplicativeExp
  - PName
    - AQualifiedName
    - AQualifiedName
    - AQualifiedName
    - AQualifiedName
    - AQualifiedName
    - AQualifiedNameName
    - ASimpleName
    - ASimpleName
    - ASimpleName
    - ASimpleName
    - ASimpleName
    - ASimpleNameName
  - PName
  - PName
  - PName
  - PName
  - PNames
    - ANameNames
    - ANamesNames
  - PNavigation
    - AStrongArrayNavigation
    - AStrongObjectNavigation
  - PNullLiteral
    - ANullLiteral
  - PNumericType
    - AFloatingPointTypeNumericType
    - AIntegralTypeNumericType
  - POne2oneSet
    - AOne2oneSet
  - POneBreakStmt
    - AOneBreakStmt
  - POneContinueStmt
    - AOneContinueStmt
  - POneDoStmt
    - AOneDoStmt
  - POneForStmt
    - AOneForStmt
  - POneQualifiedName
    - AOneQualifiedName
  - POneReturnStmt
    - AOneReturnStmt
  - POneSimpleName
    - AOneSimpleName
  - POneSingleTypeImportDeclaration
    - AOneSingleTypeImportDeclaration
  - POneSwitchStmt
    - AOneSwitchStmt
  - POneSynchronizedStmt
    - AOneSynchronizedStmt
  - POneThrowStmt
    - AOneThrowStmt
  - POneTryStmt
    - AFinallyOneTryStmt
    - ATryOneTryStmt
  - POneTypeImportOnDemandDeclaration
    - AOneTypeImportOnDemandDeclaration
  - POneWhileStmt
    - AOneWhileStmt
  - POp
    - ADivOp
    - AMinusOp
    - AModOp
    - APlusOp
    - ATimesOp
  - POperator
    - AOperator
  - POperatorTest
    - AOperatorOperatorTest
    - ATestOperatorTest
  - POrExp
    - AAndOrExp
    - AAndOrExp
    - AAndOrExp
    - AOrOrExp
    - AOrOrExp
    - AOrOrExp
  - POrExp
  - POrExp
  - PPackageDeclaration
    - APackageDeclaration
  - PParamList
    - AParamParamList
    - AParamsParamList
  - PParams
    - AInstanceParams
    - AParamParams
    - AParamsParams
    - AStaticParams
  - PParams
  - PPattern
    - AAnyPattern
    - APattern
    - APatternPattern
  - PPattern
  - PPostDecrementExpr
    - APostDecrementExpr
  - PPostfixExp
    - ANamePostfixExp
    - ANamePostfixExp
    - APostDecrementExpPostfixExp
    - APostIncrementExpPostfixExp
    - APrimaryPostfixExp
    - APrimaryPostfixExp
  - PPostfixExp
  - PPostIncrementExpr
    - APostIncrementExpr
  - PPreDecrementExp
    - APreDecrementExp
  - PPredicate
    - APredicate
  - PPredicates
    - APredicates
  - PPreIncrementExp
    - APreIncrementExp
  - PPrimary
    - AArrayCreationExpPrimary
    - APrimaryNoNewArrayPrimary
  - PPrimaryExp
    - AArrayAccessPrimaryExp
    - AFieldAccessPrimaryExp
    - AIdPrimaryExp
    - ALiteralPrimaryExp
    - ALiteralPrimaryExp
    - AParenPrimaryExp
    - AParenPrimaryExp
    - AParenPrimaryExp
    - APredicatePrimaryExp
    - AReturnValuePrimaryExp
    - AThisPrimaryExp
  - PPrimaryExp
  - PPrimaryExp
  - PPrimaryNoNewArray
    - AArrayAccessPrimaryNoNewArray
    - AClassInstanceCreationExpPrimaryNoNewArray
    - AFieldAccessPrimaryNoNewArray
    - ALiteralPrimaryNoNewArray
    - ALParPrimaryNoNewArray
    - AMethodInvocationPrimaryNoNewArray
    - AOldNamedTypePrimaryNoNewArray
    - AOldPrimitiveTypePrimaryNoNewArray
    - AQualifiedThisPrimaryNoNewArray
    - AThisPrimaryNoNewArray
    - AVoidPrimaryNoNewArray
  - PPrimaryTypeExp
    - ANamePrimaryTypeExp
    - AParenPrimaryTypeExp
  - PPrimitiveType
    - ABooleanPrimitiveType
    - ABooleanPrimitiveType
    - ABytePrimitiveType
    - ABytePrimitiveType
    - ACharPrimitiveType
    - ACharPrimitiveType
    - ADoublePrimitiveType
    - ADoublePrimitiveType
    - AFloatPrimitiveType
    - AFloatPrimitiveType
    - AIntPrimitiveType
    - AIntPrimitiveType
    - ALongPrimitiveType
    - ALongPrimitiveType
    - ANumericTypePrimitiveType
    - AShortPrimitiveType
    - AShortPrimitiveType
  - PPrimitiveType
  - PPrintaction
    - APrintaction
  - PPrintarg
    - AStringPrintarg
    - AVarPrintarg
  - PPrintargs
    - AMorePrintargs
    - AOnePrintargs
  - PProcess
    - AProcess
  - PProgram
    - AProgram
  - PPropositionDefinition
    - AExpressionPropositionDefinition
    - AInvokePropositionDefinition
    - ALocationPropositionDefinition
    - AReturnPropositionDefinition
  - PQtl
    - AQtl
  - PQtlBinding
    - AExactQtlBinding
    - AInstanceQtlBinding
  - PReferenceType
    - AArrayReferenceType
    - AClassOrInterfaceTypeReferenceType
    - ANameReferenceType
  - PReftail
    - AReftail
  - PRelationalExp
    - AGteqRelationalExp
    - AGtRelationalExp
    - AInstanceofRelationalExp
    - ALteqRelationalExp
    - ALtRelationalExp
    - AShiftExpRelationalExp
  - PRelExp
    - AGreaterEqualRelExp
    - AGreaterEqualRelExp
    - AGreaterRelExp
    - AGreaterRelExp
    - AInstanceofRelExp
    - ALessEqualRelExp
    - ALessEqualRelExp
    - ALessRelExp
    - ALessRelExp
    - AShiftRelExp
    - AShiftRelExp
  - PRelExp
  - PResource
    - AParamResource
    - AStringResource
    - AStringResource
  - PResource
  - PSemicolonStmt
    - ASemicolonStmt
  - PSession
    - ASession
  - PShiftExp
    - AAddExpShiftExp
    - AAddExpShiftExp
    - AAdditiveExpShiftExp
    - ALeftShiftExp
    - ALeftShiftExp
    - AShiftLeftShiftExp
    - ASignedRightShiftExp
    - ASignedRightShiftExp
    - ASignedShiftRightShiftExp
    - AUnsignedRightShiftExp
    - AUnsignedRightShiftExp
    - AUnsignedShiftRightShiftExp
  - PShiftExp
  - PShiftExp
  - PStaticInitializer
    - AStaticInitializer
  - PStmt
    - ABlockStmt
    - ABreakStmt
    - AContinueStmt
    - ADoStmt
    - AEmptyStmt
    - AExpStmt
    - AForStmt
    - AForStmtStmt
    - AIfStmt
    - AIfThenElseStmtStmt
    - AIfThenStmtStmt
    - ALabeledStmtStmt
    - ALabelStmt
    - AReturnStmt
    - AStmtWithoutTrailingSubstmtStmt
    - ASwitchStmt
    - ASynchronizedStmt
    - AThrowStmt
    - ATryFinallyStmt
    - ATryStmt
    - AWhileStmt
    - AWhileStmtStmt
  - PStmtExp
    - AAssignmentStmtExp
    - AClassInstanceCreationExpStmtExp
    - AMethodInvocationStmtExp
    - APostDecrementExpStmtExp
    - APostIncrementExpStmtExp
    - APreDecrementExpStmtExp
    - APreIncrementExpStmtExp
  - PStmtExpList
    - AStmtExpListStmtExpList
    - AStmtExpStmtExpList
  - PStmtNoShortIf
    - AForStmtNoShortIfStmtNoShortIf
    - AIfThenElseStmtNoShortIfStmtNoShortIf
    - ALabeledStmtNoShortIfStmtNoShortIf
    - AStmtWithoutTrailingSubstmtStmtNoShortIf
    - AWhileStmtNoShortIfStmtNoShortIf
  - PStmtWithoutTrailingSubstmt
    - ABlockStmtWithoutTrailingSubstmt
    - ABreakStmtStmtWithoutTrailingSubstmt
    - AContinueStmtStmtWithoutTrailingSubstmt
    - ADoStmtStmtWithoutTrailingSubstmt
    - AEmptyStmtStmtWithoutTrailingSubstmt
    - AExpStmtStmtWithoutTrailingSubstmt
    - AReturnStmtStmtWithoutTrailingSubstmt
    - ASwitchStmtStmtWithoutTrailingSubstmt
    - ASynchronizedStmtStmtWithoutTrailingSubstmt
    - AThrowStmtStmtWithoutTrailingSubstmt
    - ATryStmtStmtWithoutTrailingSubstmt
  - PStrings
    - AStringsStrings
    - AStringsStrings
    - AStringStrings
    - AStringStrings
  - PStrings
  - PSuper
    - AOldSuper
    - ASuper
  - PSwitchBlockStmtGroup
    - ASwitchBlockStmtGroup
  - PSwitchLabel
    - ACaseSwitchLabel
    - ADefaultSwitchLabel
    - AOldCaseSwitchLabel
  - PTest
    - ATest
  - PThread
    - AThread
  - PThreadop
    - AExitThreadop
    - AJoinThreadop
    - AStartThreadop
  - PThreadtest
    - AAtlocationThreadtest
    - ATerminatedThreadtest
  - PThreadupdate
    - AThreadupdate
  - PThrows
    - AOldThrows
    - AThrows
  - PTl
    - ATl
  - PTokenSet
    - ATokenSet
  - PTokenTokenSet
    - ATokenSetTokenTokenSet
    - ATokenTokenTokenSet
  - PTOp
    - AEqualTOp
    - AGreaterEqualTOp
    - AGreaterTOp
    - ALessEqualTOp
    - ALessTOp
    - ANotEqualTOp
  - PTransformation
    - ATransformation
  - PType
    - ADefinedType
    - AIntegralType
    - APrimitiveType
    - ARealType
    - AReferenceType
    - ATypespecType
  - PType
  - PType
  - PTypeDeclaration
    - AClassTypeDeclaration
    - AEmptyTypeDeclaration
    - AInterfaceTypeDeclaration
  - PTypeExp
    - AOpTypeExp
    - APrimaryTypeExp
  - PTypeOp
    - AFilterTypeOp
    - AUnionTypeOp
  - PTypespec
    - AArrayTypespec
    - ABooleanTypespec
    - AEnumeratedTypespec
    - ALockTypespec
    - ARangeTypespec
    - ARecordTypespec
    - ARefTypespec
  - PUnaryExp
    - AComplementUnaryExp
    - AMinusUnaryExp
    - AMinusUnaryExp
    - AMinusUnaryExp
    - ANotPlusMinusUnaryExp
    - APlusUnaryExp
    - APlusUnaryExp
    - APlusUnaryExp
    - APreDecrementExpUnaryExp
    - APreIncrementExpUnaryExp
    - APrimaryUnaryExp
    - AUnaryNotPlusMinusUnaryExp
    - AUnaryNotPlusMinusUnaryExp
  - PUnaryExp
  - PUnaryExp
  - PUnaryExp
  - PUnaryExpNotPlusMinus
    - ABitComplementUnaryExpNotPlusMinus
    - ACastExpUnaryExpNotPlusMinus
    - AComplementUnaryExpNotPlusMinus
    - APostfixExpUnaryExpNotPlusMinus
  - PUnaryNotPlusMinusExp
    - ABitComplementUnaryNotPlusMinusExp
    - ABitComplementUnaryNotPlusMinusExp
    - ACastUnaryNotPlusMinusExp
    - AComplementUnaryNotPlusMinusExp
    - AComplementUnaryNotPlusMinusExp
    - APostfixUnaryNotPlusMinusExp
    - APrimaryUnaryNotPlusMinusExp
  - PUnaryNotPlusMinusExp
  - PUnaryOperator
    - ABitComplementUnaryOperator
    - AComplementUnaryOperator
    - ADecrementUnaryOperator
    - AIncrementUnaryOperator
    - AMinusUnaryOperator
    - APlusUnaryOperator
  - PUnit
    - AFormatUnit
    - APropertiesUnit
    - AUnit
    - AUnit
    - AUnit
    - AUnit
    - AUnit
    - AUnit
  - PUnit
  - PUnit
  - PUnit
  - PUnit
  - PUnit
  - PUnit
  - PValue
    - ABoolValue
    - AIdValue
    - AIntegerValue
    - ANullValue
    - ARefValue
  - PVariable
    - AVariable
  - PVariableDeclarator
    - AAssignedVariableDeclarator
    - AIdVariableDeclarator
  - PVariableDeclaratorId
    - AVariableDeclaratorId
  - PVariableDeclarators
    - AVariableDeclaratorsVariableDeclarators
    - AVariableDeclaratorVariableDeclarators
  - PVariableInitializer
    - AArrayVariableInitializer
    - AExpVariableInitializer
  - PVariableInitializers
    - AVariableInitializersVariableInitializers
    - AVariableInitializerVariableInitializers
  - PWhileStmtNoShortIf
    - AWhileStmtNoShortIf
  - PWord
    - ACommaWord
    - ADotWord
    - AExpWord
    - AIdWord
    - ANumberWord
  - SimpleNode
    - ASTArguments
    - ASTBinOpExpr
      - ASTAndExpr
      - ASTBitAndExpr
      - ASTBitOrExpr
      - ASTBitXorExpr
      - ASTOrExpr
    - ASTCastExpr
    - ASTCastLookahead
    - ASTCompilationUnit
    - ASTCondExpr
    - ASTDottedExpr
    - ASTDotThisExpr
    - ASTInstanceOfExpr
    - ASTLiteral
    - ASTMultiBinOpExpr
      - ASTAddSubExpr
      - ASTEqExpr
      - ASTMulDivExpr
      - ASTShiftExpr
    - ASTName
    - ASTParenExpr
    - ASTPrimaryExpr
    - ASTPrimaryPrefix
    - ASTPrimarySuffix
    - ASTPrimitiveType
    - ASTRelationalExpr
    - ASTSingleExpr
      - ASTArrayExpr
      - ASTDotClassExpr
      - ASTType
      - ASTUnaryExpr
      - ASTUnaryMathExpr
    - ASTSuperExpr
    - ASTThisExpr
  - Start
  - Start
  - Start
  - Start
  - Start
  - Start
  - Start
  - Start
  - Start
  - Token
    - EOF
    - EOF
    - EOF
    - EOF
    - EOF
    - EOF
    - EOF
    - EOF
    - EOF
    - EOF
    - TAbstract
    - TAbstract
    - TAbstraction
    - TAbtract
    - TAnd
    - TAnd
    - TAnd
    - TAnd
    - TAnd
    - TAny
    - TArray
    - TAssert
    - TAssertion
    - TAssertions
    - TAssign
    - TAssign
    - TAt
    - TBar
    - TBegin
    - TBitAnd
    - TBitAnd
    - TBitAnd
    - TBitAndAssign
    - TBitComplement
    - TBitComplement
    - TBitComplement
    - TBitOr
    - TBitOr
    - TBitOr
    - TBitOrAssign
    - TBitXor
    - TBitXor
    - TBitXor
    - TBitXorAssign
    - TBoolean
    - TBoolean
    - TBoolean
    - TBreak
    - TByte
    - TByte
    - TCase
    - TCatch
    - TChar
    - TChar
    - TCharacterLiteral
    - TCharLiteral
    - TChoose
    - TClass
    - TCls
    - TCollection
    - TColon
    - TColon
    - TColon
    - TColon
    - TColon
    - TColon
    - TComma
    - TComma
    - TComma
    - TComma
    - TComma
    - TComma
    - TComma
    - TComment
    - TComplement
    - TConst
    - TContinue
    - TDecimalIntegerLiteral
    - TDecIntLiteral
    - TDecIntLiteral
    - TDecLongLiteral
    - TDecLongLiteral
    - TDefault
    - TDefault
    - TDim
    - TDim
    - TDiv
    - TDiv
    - TDiv
    - TDivAssign
    - TDo
    - TDo
    - TDocumentationComment
    - TDocumentationComment
    - TDocumentationComment
    - TDocumentationComment
    - TDocumentationComment
    - TDocumentationComment
    - TDot
    - TDot
    - TDot
    - TDot
    - TDot
    - TDot
    - TDot
    - TDotdot
    - TDouble
    - TDouble
    - TDoubleLiteral
    - TDoubleLiteral
    - TDoubleQuote
    - TElse
    - TEnable
    - TEnd
    - TEnd
    - TEndOfLineComment
    - TEndOfLineComment
    - TEndOfLineComment
    - TEndOfLineComment
    - TEndOfLineComment
    - TEndOfLineComment
    - TEnum
    - TEq
    - TEq
    - TEq
    - TEqual
    - TEqual
    - TEqual
    - TEqual
    - TEquals
    - TErroneousEscape
    - TEvenBackslash
    - TExit
    - TExpression
    - TExtends
    - TExtends
    - TFalse
    - TFalse
    - TFalse
    - TFinal
    - TFinally
    - TFloat
    - TFloat
    - TFloatingPointLiteral
    - TFloatLiteral
    - TFloatLiteral
    - TFor
    - TForall
    - TGe
    - TGoto
    - TGoto
    - TGreater
    - TGreater
    - TGreater
    - TGreaterEqual
    - TGreaterEqual
    - TGt
    - TGt
    - TGteq
    - THaslock
    - THexIntegerLiteral
    - THexIntLiteral
    - THexIntLiteral
    - THexLongLiteral
    - THexLongLiteral
    - TId
    - TId
    - TId
    - TId
    - TId
    - TId
    - TId
    - TId
    - TId
    - TIf
    - TImplements
    - TImply
    - TImport
    - TImport
    - TInstance
    - TInstanceof
    - TInstanceof
    - TInstanceof
    - TInt
    - TInt
    - TInt
    - TIntegral
    - TInterface
    - TInvisible
    - TInvoke
    - TJoin
    - TLbrace
    - TLBrace
    - TLBrace
    - TLBrace
    - TLBrace
    - TLBrace
    - TLBrace
    - TLBrace
    - TLbrack
    - TLBracket
    - TLBracket
    - TLBracket
    - TLBracket
    - TLe
    - TLength
    - TLess
    - TLess
    - TLess
    - TLessEqual
    - TLessEqual
    - TLessEqual
    - TLive
    - TLoc
    - TLocation
    - TLocation
    - TLock
    - TLockavailable
    - TLong
    - TLong
    - TLPar
    - TLParen
    - TLParen
    - TLParen
    - TLParen
    - TLparen
    - TLt
    - TLt
    - TLteq
    - TMain
    - TMinus
    - TMinus
    - TMinus
    - TMinus
    - TMinus
    - TMinusAssign
    - TMinusMinus
    - TMod
    - TMod
    - TMod
    - TModAssign
    - TMult
    - TNative
    - TNeq
    - TNew
    - TNew
    - TNot
    - TNot
    - TNot
    - TNot
    - TNoteq
    - TNotEqual
    - TNotEqual
    - TNotify
    - TNotifyall
    - TNull
    - TNull
    - TNull
    - TNumber
    - TOctalIntegerLiteral
    - TOctIntLiteral
    - TOctIntLiteral
    - TOctLongLiteral
    - TOctLongLiteral
    - TOf
    - TOne2one
    - TOperator
    - TOr
    - TOr
    - TOr
    - TOr
    - TOr
    - TPackage
    - TPattern
    - TPlus
    - TPlus
    - TPlus
    - TPlus
    - TPlus
    - TPlus
    - TPlus
    - TPlusAssign
    - TPlusPlus
    - TPost
    - TPre
    - TPredicate
    - TPredicates
    - TPrintln
    - TPrivate
    - TProcess
    - TProtected
    - TPublic
    - TQuestion
    - TQuestion
    - TQuestion
    - TRange
    - TRawInputCharacter
    - TRbrace
    - TRBrace
    - TRBrace
    - TRBrace
    - TRBrace
    - TRBrace
    - TRBrace
    - TRBrace
    - TRbrack
    - TRBracket
    - TRBracket
    - TRBracket
    - TRBracket
    - TReal
    - TRecord
    - TReentrant
    - TRef
    - TReturn
    - TReturn
    - TRetVal
    - TRightarrow
    - TRPar
    - TRparen
    - TRParen
    - TRParen
    - TRParen
    - TRParen
    - TSemicolon
    - TSemicolon
    - TSemicolon
    - TSemicolon
    - TSemicolon
    - TSemicolon
    - TSemicolon
    - TSession
    - TShiftLeft
    - TShiftLeft
    - TShiftLeft
    - TShiftLeftAssign
    - TShort
    - TShort
    - TSignedShiftRight
    - TSignedShiftRight
    - TSignedShiftRight
    - TSignedShiftRightAssign
    - TStar
    - TStar
    - TStar
    - TStarAssign
    - TStart
    - TStatic
    - TString
    - TStringLiteral
    - TStringLiteral
    - TStringLiteral
    - TStringLiteral
    - TStrongDiv
    - TStrongMod
    - TSub
    - TSuper
    - TSwitch
    - TSynchronized
    - TTest
    - TThis
    - TThis
    - TThread
    - TThreadterminated
    - TThrow
    - TThrows
    - TTimes
    - TTokens
    - TTraditionalComment
    - TTraditionalComment
    - TTraditionalComment
    - TTraditionalComment
    - TTraditionalComment
    - TTraditionalComment
    - TTransient
    - TTrue
    - TTrue
    - TTrue
    - TTry
    - TUnicodeEscape
    - TUnlock
    - TUnsignedShiftRight
    - TUnsignedShiftRight
    - TUnsignedShiftRight
    - TUnsignedShiftRightAssign
    - TUnwait
    - TVoid
    - TVolatile
    - TWait
    - TWasnotified
    - TWeakDiv
    - TWeakMod
    - TWhen
    - TWhile
    - TWhiteSpace
    - TWhiteSpace
    - TWhiteSpace
    - TWhiteSpace
    - TWhiteSpace
    - TWhiteSpace
    - TWhiteSpace
    - TWhiteSpace
    - TWhitespace
  - Token
  - Token
  - Token
  - Token
  - Token
  - Token
  - Token
  - Token
  - Token
  - XPAbstractDef
    - X1PAbstractDef
    - X2PAbstractDef
  - XPAction
    - X1PAction
    - X2PAction
  - XPAssertion
    - X1PAssertion
    - X2PAssertion
  - XPBlockedStmt
    - X1PBlockedStmt
    - X2PBlockedStmt
  - XPCatchClause
    - X1PCatchClause
    - X2PCatchClause
  - XPChoicetail
    - X1PChoicetail
    - X2PChoicetail
  - XPClassBodyDeclaration
    - X1PClassBodyDeclaration
    - X2PClassBodyDeclaration
  - XPClassOption
    - X1PClassOption
    - X2PClassOption
  - XPComment
    - X1PComment
    - X1PComment
    - X2PComment
    - X2PComment
  - XPComment
  - XPDef
    - X1PDef
    - X2PDef
  - XPDefinition
    - X1PDefinition
    - X2PDefinition
  - XPDim
    - X1PDim
    - X2PDim
  - XPDimExp
    - X1PDimExp
    - X2PDimExp
  - XPEnumdeftail
    - X1PEnumdeftail
    - X2PEnumdeftail
  - XPExp
    - X1PExp
    - X2PExp
  - XPField
    - X1PField
    - X2PField
  - XPFieldOption
    - X1PFieldOption
    - X2PFieldOption
  - XPFormalParameter
    - X1PFormalParameter
    - X2PFormalParameter
  - XPFormatWord
    - X1PFormatWord
    - X2PFormatWord
  - XPGlobal
    - X1PGlobal
    - X2PGlobal
  - XPImport
    - X1PImport
    - X2PImport
  - XPImportDeclaration
    - X1PImportDeclaration
    - X2PImportDeclaration
  - XPInterfaceMemberDeclaration
    - X1PInterfaceMemberDeclaration
    - X2PInterfaceMemberDeclaration
  - XPLivevar
    - X1PLivevar
    - X2PLivevar
  - XPLocalOption
    - X1PLocalOption
    - X2PLocalOption
  - XPLocation
    - X1PLocation
    - X2PLocation
  - XPMethodOption
    - X1PMethodOption
    - X2PMethodOption
  - XPModifier
    - X1PModifier
    - X2PModifier
  - XPName
    - X1PName
    - X2PName
  - XPOperatorTest
    - X1POperatorTest
    - X2POperatorTest
  - XPPattern
    - X1PPattern
    - X1PPattern
    - X2PPattern
    - X2PPattern
  - XPPattern
  - XPPredicate
    - X1PPredicate
    - X2PPredicate
  - XPPropositionDefinition
    - X1PPropositionDefinition
    - X2PPropositionDefinition
  - XPQtl
    - X1PQtl
    - X2PQtl
  - XPReftail
    - X1PReftail
    - X2PReftail
  - XPResource
    - X1PResource
    - X1PResource
    - X2PResource
    - X2PResource
  - XPResource
  - XPSession
    - X1PSession
    - X2PSession
  - XPSwitchBlockStmtGroup
    - X1PSwitchBlockStmtGroup
    - X2PSwitchBlockStmtGroup
  - XPSwitchLabel
    - X1PSwitchLabel
    - X2PSwitchLabel
  - XPThread
    - X1PThread
    - X2PThread
  - XPTransformation
    - X1PTransformation
    - X2PTransformation
  - XPTypeDeclaration
    - X1PTypeDeclaration
    - X2PTypeDeclaration
  - XPVariable
    - X1PVariable
    - X2PVariable
  - XPVariableDeclarator
    - X1PVariableDeclarator
    - X2PVariableDeclarator
  - XPVariableInitializer
    - X1PVariableInitializer
    - X2PVariableInitializer
  - XPWord
    - X1PWord
    - X2PWord
  - XTDim
    - X1TDim
    - X1TDim
    - X2TDim
    - X2TDim
  - XTDim
- Node
- Node
- Node
- Node
- Node
- Node
- Node
- Node
- Node
- NonScheduler
- PoolObject
  - Fields
  - Lock
  - ObjectInfo
  - StackFrame
  - ThreadData
  - Unit
    - Stmt
      - AbstractStmt
        
        AbstractDefinitionStmt
        
        JAssignStmt
        
        GAssignStmt
        
        JIdentityStmt
        
        GIdentityStmt
        
        FutureStmt
        JBreakpointStmt
        JEnterMonitorStmt
        
        GEnterMonitorStmt
        
        JExitMonitorStmt
        
        GExitMonitorStmt
        
        JGotoStmt
        JIfStmt
        
        GIfStmt
        
        JInvokeStmt
        
        GInvokeStmt
        
        JLookupSwitchStmt
        
        GLookupSwitchStmt
        
        JNopStmt
        JRetStmt
        
        GRetStmt
        
        JReturnStmt
        
        GReturnStmt
        
        JReturnVoidStmt
        JTableSwitchStmt
        
        GTableSwitchStmt
        
        JThrowStmt
        
        GThrowStmt
      - BreakpointStmt
        
        JBreakpointStmt
      - DefinitionStmt
        
        AbstractDefinitionStmt
        AssignStmt
        
        GAssignStmt
        JAssignStmt
        
        IdentityStmt
        
        GIdentityStmt
        JIdentityStmt
      - EnterMonitorStmt
        
        GEnterMonitorStmt
        JEnterMonitorStmt
      - ExitMonitorStmt
        
        GExitMonitorStmt
        JExitMonitorStmt
      - GotoStmt
        
        JGotoStmt
      - IfStmt
        
        GIfStmt
        JIfStmt
      - InvokeStmt
        
        GInvokeStmt
        JInvokeStmt
      - LookupSwitchStmt
        
        GLookupSwitchStmt
        JLookupSwitchStmt
      - NopStmt
        
        JNopStmt
      - RetStmt
        
        GRetStmt
        JRetStmt
      - ReturnStmt
        
        GReturnStmt
        JReturnStmt
      - ReturnVoidStmt
        
        JReturnVoidStmt
      - TableSwitchStmt
        
        GTableSwitchStmt
        JTableSwitchStmt
      - ThrowStmt
        
        GThrowStmt
        JThrowStmt
- RandomOrderScheduler
- RefHashTable
- Reflection
  - BanderaReflection
  - EduKsuCisBanderaAbstractionAbstractionReflection
  - JavaIoObjectStreamClassReflection
  - JavaIoPrintStreamReflection
  - JavaIoPrintStreamReflection
  - JavaLangCharacterReflection
  - JavaLangCharacterReflection
  - JavaLangClassReflection
  - JavaLangClassReflection
  - JavaLangDoubleReflection
  - JavaLangIntegerReflection
  - JavaLangLongReflection
  - JavaLangMathReflection
  - JavaLangObjectReflection
  - JavaLangObjectReflection
  - JavaLangReflectArrayReflection
  - JavaLangSystemReflection
  - JavaLangSystemReflection
  - JavaLangThreadReflection
  - JavaLangThreadReflection
  - JavaLangThrowableReflection
  - JavaLangThrowableReflection
  - VerifyReflection
  - VerifyReflection
- Reflection
- Scheduler
  - DefaultScheduler
  - InteractiveScheduler
  - NonScheduler
  - PathScheduler
  - POScheduler
  - RandomOrderScheduler
  - RandomScheduler
- Scheduler
- SubExpr
  - And
  - And
  - At
  - Evaluate
  - Evaluate
  - Exist
  - GSubExpr
  - Initialized
  - JSubExpr
  - Not
  - Not
  - Or
  - Or
  - Select
  - True
  - True
- SubExpr
- SystemState
- ThreadInfo
CodeConstraint
CodeIndexManager
- CodeIndexManagerAlloc
CoercionManager
Collections
Comma
Comparable
- AssertionProperty
- Category
- Category
- ColorPair
- ConstructorDeclarationAnnotation
- ExpressionPredicate
- FieldDeclarationAnnotation
- Formula
- HashPool::PoolEntry
- InvokePredicate
- ITypeNeighbor
- LocationAssertion
- LocationPredicate
- MethodDeclarationAnnotation
- Name
- Node
- PostAssertion
- PreAssertion
- ReturnPredicate
- Session
- State
  - SystemState
- TemporalLogicProperty
Comparator
- Analysis::classComparator
- Cache::EntryComparator
- Cache::EntryComparator
CompilationManager
CompoundInstruction
- PUSH
- PUSH
- SWITCH
- SWITCH
Configuration
Connector
ConstantAndCopyPropagator
Constants
- AccessFlags
  - ClassGen
  - ClassGen
  - FieldGen
  - FieldGenOrMethodGen
  - FieldOrMethod
  - FieldOrMethod
  - JavaClass
  - JavaClass
  - MethodGen
- Attribute
- AttributeHTML
- AttributeHTML
- Class2HTML
- Class2HTML
- ClassGen
- ClassParser
- CodeException
- CodeException
- CodeExceptionGen
- CodeHTML
- CodeHTML
- Constant
- ConstantHTML
- ConstantHTML
- ConstantPool
- ConstantPoolGen
- CPInstruction
- FieldGen
- FieldOrMethod
- FindPattern
- InnerClass
- Instruction
- InstructionList
- JavaClass
- LocalVariable
- LocalVariable
- LocalVariableGen
- MethodGen
- MethodHTML
- MethodHTML
- Reflection
- Reflection
- ReturnInstruction
- StackFrame
- StackFrame
- Type
  - Array
  - ArrayType
  - BaseType
    - BooleanType
    - ByteType
    - CharType
    - DoubleType
    - FloatType
    - IntType
    - LongType
    - RefType
    - ShortType
  - BasicType
  - BasicType
  - Bool
  - Collection
  - Double2ndHalfType
  - Enumerated
  - ErroneousType
  - Field
  - Lock
  - Long2ndHalfType
  - NullType
  - PrimitiveType
    - BooleanType
    - NumericType
      - FloatingPointType
        
        DoubleType
        FloatType
      - IntegralType
        
        ByteType
        CharType
        IntType
        LongType
        ShortType
    - VoidType
  - Range
  - Record
  - Ref
  - ReferenceType
    - ArrayType
    - ArrayType
    - ArrayType
    - ClassOrInterfaceType
    - NullType
    - ObjectType
    - ObjectType
  - ReferenceType
  - ReferenceType
  - StmtAddressType
  - UnknownType
  - UnusuableType
  - VoidType
- Types
- Types
- Utility
Constraint
- CoerceConstraint
- EqualConstraint
ControlBox
Copyright
Core
Counter
cp_info
- CONSTANT_Class_info
- CONSTANT_Double_info
- CONSTANT_Fieldref_info
- CONSTANT_Float_info
- CONSTANT_Integer_info
- CONSTANT_InterfaceMethodref_info
- CONSTANT_Long_info
- CONSTANT_Methodref_info
- CONSTANT_NameAndType_info
- CONSTANT_String_info
- CONSTANT_Utf8_info
DataBox
DataInputStream
- ByteSequence
- ByteSequence
DeadCodeElimination
DeadCodeEliminator
Deadlock
DeadlockRelatedCriterion
Debug
Declass
Decompiler
DecompilerDriver
DecompilerField
DecompilerGotoMapper
DecompilerInfo
DecompilerPrinter
DecompilerUtil
DefaultMutableTreeNode
- LockNode
- TransferableTreeNode
DefaultTreeModel
- AbstractTreeTableModel
  - TypeTree
DefaultTreeSelectionModel
- JTreeTable::ListToTreeSelectionModelWrapper
DefaultValues
Definition
- Constant
- Type
Degeneralize
degenSynchronousProduct
Demo
Depend
DependInfo
DESCR
- CallDescr
- InitDescr
- ReadDescr
- Unit
- WriteDescr
Dictionary
- RefHashTable
DocTriple
DragGestureListener
- DraggableList
  - DraggableVariablesList
- DraggableTree
  - DraggableHierTree
  - DraggableMethodTree
DragSourceListener
- DraggableList
- DraggableTree::MyDragSourceListener
DropTargetListener
- DroppableList
DynamicBinaryPartition
DynamicHashCode0Partition
DynamicHashCodePartition
DynamicLocalHashPartition
DynamicMap
DynamicMapEntry
DynamicMapIndex
DynamicPC0Partition
DynamicPCPartition
DynamicPCs0Partition
DynamicPCsPartition
Edge
UnionFindSet::Element
Engine
Entry
- HashMap::HashEntry
Enumeration
- RefHashTable::Enumerator
- Utf8_Enumeration
EqualLocals
- SimpleEqualLocals
Error
- TokenMgrError
ErrorTrailInterface
- ErrorTrail
- ErrorTrail
Exception
- AnnotationException
- AssertionException
  - AssertionNotDeclaredException
  - AssertionSetNotDeclaredException
  - BadAssertionDefinitionException
  - DuplicateAssertionException
  - TypeException
- CompilerException
  - AlreadyDeclaredException
  - AmbiguousFieldException
  - AmbiguousMethodException
  - AmbiguousTypeException
  - AnalysisException
  - ClassCircularityException
  - ClassOrInterfaceTypeNotAccessibleException
  - ClassOrInterfaceTypeNotFoundException
  - ExpressionException
  - InvalidModifiersException
  - InvalidNameException
  - MeaninglessNameException
  - NoSuchConstructorException
  - NoSuchMethodException
  - NotDeclaredException
  - NotThrowableException
  - PackageNotFoundException
  - TypeException
- LexerException
- LexerException
- LexerException
- LexerException
- LexerException
- LexerException
- LexerException
- LexerException
- LexerException
- LexerException
- LexerException
- ParseErrorException
- ParseException
- ParserException
- ParserException
- ParserException
- ParserException
- ParserException
- ParserException
- ParserException
- ParserException
- ParserException
- PatternException
  - MappingException
- PredicateException
  - BadLabelException
  - BadPredicateDefinitionException
  - DuplicatePredicateException
  - PredicateNotDeclaredException
  - PredicateSetNotDeclaredException
  - TypeException
  - WeedException
- SpecificationException
- TargetLostException
- TargetLostException
exception_table_entry
ExceptionConstants
- ExceptionThrower
ExceptionHandler
Analysis::ExprStmtMethodTriple
FA
FastAllocator
FastColorer
FGAction
- FGActionArrayRef
- FGActionArrayStore
- FGActionInvoke
FGNode
- FGNodeArray
- FGNodeAST
- FGNodeField
- FGNodeLocal
- FGNodeParameter
- FGNodeThis
FGWork
- FGWorkSendVals
field_info
FieldInfo
FieldObserver
FilenameFilter
- CustomFileFilter
FilenameLinePair
- DecompilerPair
FlowAnalysis
- BackwardFlowAnalysis
  - SimpleLiveLocalsAnalysis
  - SparseLiveLocalsAnalysis
- ForwardFlowAnalysis
  - CopiesFlowAnalysis
  - LocalDefsFlowAnalysis
  - SimpleEqualLocalsAnalysis
  - SparseLocalDefsFlowAnalysis
FlowSet
- ArraySparseSet
- BoundedFlowSet
  - ArrayPackedSet
FlowUniverse
FocusListener
- DSpinOption
- DSpinOption::IvjEventHandler
- PropertyManager::IvjEventHandler
- SessionManager::IvjEventHandler
- SpinOption
- SpinOption::IvjEventHandler
Frame
- ErrorTrail
- ErrorTrail
GDynamicHashCode0Partition
GDynamicHashCodePartition
GDynamicLocalHash0Partition
GDynamicLocalHashPartition
GDynamicPC0Partition
GDynamicPCPartition
GDynamicPCs0Partition
GDynamicPCsPartition
Generate
GenerateReflection
GenericSet
Graph
GrimpTransformations
GroupIntPair
HashData
HashPool
Heap
HierarchyQuery
hms
HTMLReportGenerator
IconLibrary
IdentifyRunnableClasses
IDS
iHeuristic
IITree
IITreeNode
iKernelState
- KernelState
iMethodState
- MethodState
- MethodState
Index
- ArrayIndexManagerValueVariant::ArrayIndexValueVariant
- CodeIndexManagerAlloc::CodeIndexAlloc
- ValueIndexManagerAlloc::ValueIndexAlloc
Cache::Index
IndexedInstruction
- CPInstruction
- IINC
- LocalVariableInstruction
- RET
IndexMaps
Info
InfoAnalysis
Inline
InstanceIndexManager
- InstanceIndexManagerPoint
InstanceVariant
InstanceVariantManager
InstructionConstants
- InstructionFactory
- InstructionFactory
- PUSH
- PUSH
InstructionListObserver
InstructionTargeter
- BranchInstruction
- BranchInstruction
- CodeExceptionGen
- CodeExceptionGen
- LocalVariableGen
- LocalVariableGen
InterClassAnalysis
FastColorer::InterferenceGraph
FastAllocator::InterferenceGraph
ChaitinAllocator::InterferenceGraph
InterferStmt
IntPair
IntSet
InvokeResolver
iProperty
iReporter
- Reporter
iScheduler
- Scheduler
- Scheduler
iSearch
- LTL
- MC
- MC
- Simulation
- Simulation
iState
- State
- State
iStateStack
- StateStack
iStore
- Store
- Store
iSystemState
- SystemState
- SystemState
ItemListener
- Dependencies
- Dependencies::IvjEventHandler
Iterator
- AbstractMap::KeyIterator
- AbstractMap::ValueIterator
- ArrayList::ArrayIterator
- ArraySet::ArrayIterator
- ListIterator
  - AbstractList::AbstractListIterator
  - LinkedList::LinkedListIterator
  - TypedLinkedList::TypedLinkedListIterator
  - TypedLinkedList::TypedLinkedListIterator
  - TypedLinkedList::TypedLinkedListIterator
  - TypedLinkedList::TypedLinkedListIterator
  - TypedLinkedList::TypedLinkedListIterator
  - TypedLinkedList::TypedLinkedListIterator
  - TypedLinkedList::TypedLinkedListIterator
  - TypedLinkedList::TypedLinkedListIterator
- RefHashTable::Enumerator
- SplayTreeMap::EntryIterator
- TypedSplayTreeMap::EntryIterator
- VectorSet::VectorIterator
iThreadInfo
- ThreadInfo
- ThreadInfo
iTrailInfo
- TrailInfo
- TrailInfo
iType
iValue
- BoolValue
- BoolValue
- ByteValue
- CharValue
- DoubleValue
- DoubleValue
- FloatValue
- FloatValue
- IntValue
- IntValue
- LongValue
- LongValue
- ObjectValue
  - ArrayValue
  - ArrayValue
- ObjectValue
- ShortValue
- ShortValue
iVirtualMachine
- VirtualMachine
- VirtualMachine
JasminClass
JDialog
- AboutBox
- AbstractionLibraryManager
- CallGraphDialog
- ClasspathManager
- DSpinOption
- IncludedManager
- IROptions
- JPFOption
- SessionInfo
- SpinOption
JFileChooser
- FileChooser
JFrame
- AssertionBrowser
- BUI
- CounterExample
- Dependencies
- DependencyValueViewer
- PatternManager
- PredicateBrowser
- PropertyManager
- SessionManager
- ThreadCounterExample
- TypeGUI
JimpleTrace
JJTPredicateParserState
JList
- DraggableList
- DroppableList
JPanel
- BUISessionPane
- CodeBrowserPane
- CriterionViewer
- JimpleViewer
- QueryPanel
JPFVM
JTabbedPane
- ViewerTabbedPane
JTable
- JTreeTable
JTree
- DraggableTree
- JTreeTable::TreeTableCellRenderer
JumpElimination
KeyListener
- ErrorTrail
- ErrorTrail
- PropertyManager::IvjEventHandler
- SessionManager::IvjEventHandler
Kind
kMG
KSUOptimizing
Label
Labels
Left
Lexer
- UnicodeLexer
line_number_table_entry
LineColumn
LineNumberGen
LinkNode
Cache::Listener
ListSelectionListener
- ClasspathManager::IvjEventHandler
- CriterionViewer::IvjEventHandler
- IncludedManager::IvjEventHandler
- JTreeTable::ListToTreeSelectionModelWrapper::ListSelectionHandler
- PropertyManager::IvjEventHandler
- SessionManager::IvjEventHandler
LiveLocals
- SimpleLiveLocals
- SparseLiveLocals
LoadClass
- ANEWARRAY
- ANEWARRAY
- CHECKCAST
- CHECKCAST
- FieldOrMethod
- FieldOrMethod
- INSTANCEOF
- INSTANCEOF
- MULTIANEWARRAY
- MULTIANEWARRAY
- NEW
- NEW
LoadInstruction
- ALOAD
- DLOAD
- FLOAD
- ILOAD
- LLOAD
local_variable_table_entry
LocalCopies
- SimpleLocalCopies
LocalCopy
LocalDefs
- SimpleLocalDefs
- SparseLocalDefs
LocalMethod
LocalSplitter
SparseLocalDefs::LocalStmtPair
LocalStmtPair
LocalUses
- SimpleLocalUses
Location
LocationNode
LocationNodeInCriterionViewer
- StatementNodeInCriterionViewer
LockAccess
LockAccessList
LockAnalysis
LockMap
LockNodeInfo
LockOrder
LockPool
LockSet
- LockStatus
LockTree
LocVector
Logger
lr_parser
- parser
- parser
LTL2Buchi
Main
MainReadWriteLock
Manager
Map
- AbstractMap
  - AbstractStmt::AllMapTo
  - HashMap
    - BlockMap
  - SplayTreeMap
    - TypedSplayTreeMap
- RefHashTable
Maximum
method_info
MethodCallAnalysis
MethodIndexManager
- MethodIndexManagerPoint
MethodInfo
MethodObserver
MethodVariant
MethodVariantManager
Modifier
MonitorPair
MouseListener
- BUISessionPane::IvjEventHandler
- CodeBrowserPane
- CriterionViewer::IvjEventHandler
- DependencyValueViewer
- DependencyValueViewer::IvjEventHandler
- PropertyManager::IvjEventHandler
- QueryPanel
Named
- Field
- Method
- Package
- Type
- Variable
NamedAndTyped
- FieldGenOrMethodGen
- LocalVariableGen
NameGenerator
NestedMonitorDeadlock
NewBuild
NNFTransformer
CFGSkel::node
LinkedList::Node
Observable
Observer
Options
- JPFOptions
  - JVMOptions
  - JVMOptions
- JPFOptions
OptionsSaverLoader
OutFlow
Pair
- ColorPair
- ITypeNeighbor
ParameterNode
Parser
- JJCParser
Partition
- BinaryPartition
- BinarySplitPartition
- DynamicPartition
  - DynamicLocalHash0Partition
  - GDynamicSplitPartition
- HashCodePartition
- LocalHashPartition
- PCPartition
- PCPartition
- PCsPartition
Path
- JVMPath
- JVMPath
Pattern
Percent
PipeInt
Pool
PostProcess
PostProcessOnAnnotation
Precedence
- AbstractGrimpBinopExpr
- GArrayRef
- GCastExpr
- GInstanceFieldRef
- GInterfaceInvokeExpr
- GNewArrayExpr
- GNewInvokeExpr
- GSpecialInvokeExpr
- GVirtualInvokeExpr
Predicate
- ExpressionPredicate
- MethodPredicate
  - InvokePredicate
  - LocationPredicate
  - ReturnPredicate
- PredicateImpl
PredicateCompiler
PredicateExtractor
PredicateFactory
PredicateParserConstants
- PredicateParser
- PredicateParserTokenManager
PredicateParserTreeConstants
- PredicateParser
PredicateParserVisitor
- PredicateProcessor
PredicateSet
PredicateSliceInterestCollector
Preferences
PreProcess
PrintBuild
PrintJimpleBodyOption
- PrintGrimpBodyOption
PrintStream
- BanderaLog
Property
PVS
QuantifiedVariable
QuantifierClassPair
QueryConfig
RaceWindow
Reachability
Reader
- UnicodePreprocessor
ReadWriteLock
- WriterPreferenceReadWriteLock
ReadyDependStmt
Reducer
Reference
- ElementInfo
ReferenceWrapper
Reformatter
Report
- BSLReport
- SLABSReport
ReportManager
Repository
RESULT
Rewriter
Right
rStatus
RulesClass
Runnable
- Exec
- JPF
- Keyboard
- Keyboard
- Reporter
- StreamForwarder
Runner
RuntimeException
- AlreadyDeclaredException
- AlreadyManagedException
- AlreadyThrowsException
- AmbiguousFieldException
- AmbiguousMethodException
- ArrayIndexOutOfBoundsException
- ClassFileNotFoundException
- ClassGenException
- ClassGenException
- ConcurrentModificationException
- CorruptClassFileException
- DoesNotThrowException
- DuplicateNameException
- EmptyListException
- EmptyQueueException
- EmptyStackException
- EndOfListException
- IllegalTypeMergeException
- IncorrectDeclarerException
- IncorrectManagerException
- InternalErrorException
- InternalErrorException
- JPFErrorException
- NativeMethodException
- NativeMethodException
- NoSuchClassException
- NoSuchElementException
- NoSuchException
- NoSuchFieldException
- NoSuchInterfaceException
- NoSuchLocalException
- NoSuchMethodException
- NoSuperClassException
- NotDeclaredException
- NotManagedException
- ParserInternalError
- SlicerException
  - BaseValueNonLocalException
  - CantProcessException
  - ClassNotFoundException
  - ClassUnFoundException
  - ConstantLockException
  - ControlNodesEmptyException
  - CorrespondingMonitorNotFoundException
  - CriterionMapException
  - DomOrPostdomNotUniqueException
  - ElementTypeException
  - EmptySpecFileException
  - ExitMonitorNotFoundException
  - ExitNodeSetNullException
  - FieldTypeException
  - LockDefNotFoundException
  - MethodNotFoundException
  - MonitorStmtInstanceException
  - NoCallerException
  - NoExitNodeException
  - NoInitStmtException
  - NonExpresionLockException
  - NonIdParaAssignmentException
  - NonInvokeExprException
  - NonLocalBaseSpecialInvokeException
  - NoParaFieldFoundException
  - StatementTypeException
  - ValueTypeException
- StaticMethodException
- UncaughtException
- UndefinedEntryException
SafeBlock
SafeBlocks
Scanner
- Yylex
- Yylex
SCC
SCCReduction
Sch
ScrollPane
- ImagePanel
Serializable
- ErrorTrail
- ErrorTrail
- Instruction
- Instruction
- InstructionHandle
  - BranchHandle
  - BranchHandle
- InstructionHandle
- InstructionList
- InstructionList
- JVMPath
- JVMPathEntry
- RefHashTable
- ReplyInfo
- ReplyInfo
- ResultInfo
- SliceInterest
  - SlicePoint
    - SliceStatement
  - SliceVariable
    - SliceField
    - SliceLocal
    - TransferableSliceVariable
- Status
Sessions
SetUtil
SFSReduction
Signaller
- ReaderLock
- ReaderLock
- ReaderLock
- WriterLock
- WriterLock
- WriterLock
Simplify
SliceCriterion
SliceInterestEnv
Slicer
SliceTraceNode
SlicingMethod
SM
SM2DG
SM2Dot
SmvExpr
- SmvBinaryExpr
- SmvCase
- SmvCaseExpr
- SmvLit
- SmvNaryExpr
- SmvNextExpr
- SmvUnaryExpr
- SmvVar
SmvList
SootClass
SootClassManager
SootField
SootMethod
Source
SpecificationAbstractor
Stack
- StateStack
StackConsumer
- AASTORE
- ArithmeticInstruction
- BASTORE
- CASTORE
- CHECKCAST
- ConversionInstruction
- DASTORE
- DCMPG
- DCMPL
- FASTORE
- FCMPG
- FCMPL
- GETFIELD
- IASTORE
- IfInstruction
- INSTANCEOF
- InvokeInstruction
- LASTORE
- MONITORENTER
- MONITOREXIT
- PopInstruction
  - ASTORE
  - DSTORE
  - FSTORE
  - ISTORE
  - LSTORE
  - POP
  - POP2
  - PUTSTATIC
- ReturnInstruction
- SASTORE
- SWAP
StackProducer
- AALOAD
- ANEWARRAY
- ArithmeticInstruction
- ARRAYLENGTH
- BALOAD
- CALOAD
- CHECKCAST
- ConversionInstruction
- DALOAD
- DCMPG
- DCMPL
- FALOAD
- FCMPG
- FCMPL
- GETFIELD
- IALOAD
- INSTANCEOF
- InvokeInstruction
- LALOAD
- NEW
- NEWARRAY
- PushInstruction
  - ACONST_NULL
  - ACONST_NULL
  - ALOAD
  - ALOAD
  - ConstantPushInstruction
    - BIPUSH
    - BIPUSH
    - DCONST
    - DCONST
    - FCONST
    - FCONST
    - ICONST
    - ICONST
    - LCONST
    - LCONST
    - SIPUSH
    - SIPUSH
  - ConstantPushInstruction
  - DLOAD
  - DLOAD
  - DUP
  - DUP
  - DUP2
  - DUP2
  - FLOAD
  - FLOAD
  - GETSTATIC
  - GETSTATIC
  - ILOAD
  - ILOAD
  - LDC
  - LDC
  - LDC2_W
  - LDC2_W
  - LLOAD
  - LLOAD
- SALOAD
- Select
- SWAP
Statements
- Annotation
StateVarVector
StaticFieldManager
StaticMap
Statistics
STATUS
Step
StmtGraph
- BriefStmtGraph
- CompleteStmtGraph
Analysis::StmtMethodPair
StmtTreeNode
StmtValueBoxPair
Storable
- Area
  - DynamicArea
  - StaticArea
- ElementInfo
- KernelState
- SystemState
- ThreadInfo
- ThreadList
StoreInstruction
- ASTORE
- DSTORE
- FSTORE
- ISTORE
- LSTORE
StringUtil
Subject
SuperSetReduction
Switch
- Analysis
  - AnalysisAdapter
    - ASTFixer
    - DepthFirstAdapter
      - AbstractionGenerator
      - AbstractionPrinter
      - AssertionBuilder
      - AssertionExtractor
      - AssertionProcessor
      - BirBuilder
      - BooleanExpression
      - Checker
        
        DSpinTrans
        SmvTrans
        SpinTrans
      - ClassOrInterfaceAnalysis
      - ClassOrInterfaceMembersAnalysis
      - CompilationUnitAnalysis
      - Compiler
      - DocProcessor
      - Expression
      - JIJCCodeGenerator
      - JPFLTLCompiler
      - LineExtractor
      - OptionsSaverLoader::Walker
      - Parameters
      - PatternSaverLoader
      - PredicateProcessor
      - PushComplement
      - SessionsSaverLoader
      - Simplifier
      - Simplifier
      - SpecificationSaverLoader
      - SynchronizedMethodTransformer
      - Translation
      - TrivialExpression
      - TypeChecker
      - TypeChecker
    - DepthFirstAdapter
    - DepthFirstAdapter
    - DepthFirstAdapter
    - DepthFirstAdapter
    - DepthFirstAdapter
    - DepthFirstAdapter
    - DepthFirstAdapter
    - DepthFirstAdapter
    - ReversedDepthFirstAdapter
    - ReversedDepthFirstAdapter
    - ReversedDepthFirstAdapter
    - ReversedDepthFirstAdapter
    - ReversedDepthFirstAdapter
    - ReversedDepthFirstAdapter
    - ReversedDepthFirstAdapter
    - ReversedDepthFirstAdapter
    - ReversedDepthFirstAdapter
    - TokenIndex
    - TokenIndex
    - TokenIndex
    - TokenIndex
    - TokenIndex
    - TokenIndex
    - TokenIndex
    - TokenIndex
    - TokenIndex
    - UnicodePreprocessor::ProcessToken
  - AnalysisAdapter
  - AnalysisAdapter
  - AnalysisAdapter
  - AnalysisAdapter
  - AnalysisAdapter
  - AnalysisAdapter
  - AnalysisAdapter
  - AnalysisAdapter
  - AnalysisAdapter
- Analysis
- Analysis
- Analysis
- Analysis
- Analysis
- Analysis
- Analysis
- Analysis
- Analysis
- AnnotationSwitch
  - DecompilerSwitch
- ConstantSwitch
  - AbstractConstantSwitch
  - BanderaConstantSwitch
    - AbstractBanderaConstantSwitch
    - BanderaValueSwitch
      - AbstractBanderaValueSwitch
        
        DecompilerValueSwitch
        ExprExtractor
        FGExpr
        ObservableExtractor
        PredicateAbstractor
        PredicateInterpreter
        PredicateTransformer
        PredicateTypeChecker
        PredicateUpdate
        QuantifiedVariableFixer
        RenameExpression
      - IRNodes
        
        LeftAssignExprSwitch
        SLABS
        TypeInference
  - JimpleValueSwitch
    - AbstractJimpleValueSwitch
      - AbstractBanderaValueSwitch
      - Analysis::RefValueSwitch
      - DecompilerChanger
      - IRNodes
      - JimpleValueCloner
      - TempExpr
    - BanderaValueSwitch
- ExprSwitch
  - AbstractExprSwitch
    - BirPrinter
    - BirState
    - DSpinTrans
    - Duplicator
      - BindingSubstituter
    - SmvTrans
    - SpinTrans
    - VisibleExtractor
  - AbstractExprSwitch
  - BanderaExprSwitch
    - AbstractBanderaExprSwitch
    - BanderaValueSwitch
    - PAExprSwitch
  - GrimpExprSwitch
  - JimpleValueSwitch
- ExprSwitch
- JimpleLiteralSwitch
  - JimpleLiteralPrinter
- RefSwitch
  - AbstractRefSwitch
  - JimpleValueSwitch
- StmtSwitch
  - AbstractionChooseFixer
  - AbstractStmtSwitch
    - AbstractBanderaStmtSwitch
      - TransExtractor
    - FGStmt
    - RenameStatement
    - TempStmt
    - TypeResolver::ConstraintCollector
  - BanderaStmtSwitch
    - AbstractBanderaStmtSwitch
    - IRNodes
  - DecompilerStmtSwitch
  - InlinerChooseFixer
  - JimpleStmtCloner
- TypeSwitch
  - AbstractTypeSwitch
    - BirTypeInit
    - BirTypePrint
    - DSpinTypeInit
    - DSpinTypeName
    - JimpleStoreBuilder
    - SmvTypeDecl
    - SpinTypeInit
    - SpinTypeName
  - BanderaTypeSwitch
    - TypeExtractor
  - ClassHierarchy::ConstructorChooser
  - ClassHierarchy::ToInt
- TypeSwitch
Switchable
- Action
  - AbstractAction
    - AssertAction
    - AssignAction
    - LockAction
    - PrintAction
    - ThreadAction
- Annotation
- ArrayRef
- DoubleConstant
- Expr
  - AbstractBinopExpr
    - AbstractFloatBinopExpr
      - AbstractGrimpFloatBinopExpr
        
        GAddExpr
        GDivExpr
        GMulExpr
        GRemExpr
        GSubExpr
      - AbstractJimpleFloatBinopExpr
        
        JAddExpr
        JDivExpr
        JMulExpr
        JRemExpr
        JSubExpr
    - AbstractGrimpBinopExpr
    - AbstractIntBinopExpr
      - AbstractGrimpIntBinopExpr
        
        GCmpExpr
        GCmpgExpr
        GCmplExpr
        GEqExpr
        GGeExpr
        GGtExpr
        GLeExpr
        GLtExpr
        GNeExpr
      - AbstractJimpleIntBinopExpr
        
        JCmpExpr
        JCmpgExpr
        JCmplExpr
        JEqExpr
        JGeExpr
        JGtExpr
        JLeExpr
        JLtExpr
        JNeExpr
    - AbstractIntLongBinopExpr
      - AbstractGrimpIntLongBinopExpr
        
        GAndExpr
        GOrExpr
        GShlExpr
        GShrExpr
        GUshrExpr
        GXorExpr
      - AbstractJimpleIntLongBinopExpr
        
        JAndExpr
        JOrExpr
        JShlExpr
        JShrExpr
        JUshrExpr
        JXorExpr
    - AbstractJimpleBinopExpr
  - AddExpr
    - GAddExpr
    - JAddExpr
  - AndExpr
    - GAndExpr
    - JAndExpr
  - ArrayExpr
  - BinaryExpr
    - AddExpr
    - AndExpr
    - DivExpr
      - GDivExpr
      - JDivExpr
    - EqExpr
      - GEqExpr
      - JEqExpr
    - LeExpr
      - GLeExpr
      - JLeExpr
    - LtExpr
      - GLtExpr
      - JLtExpr
    - MulExpr
      - GMulExpr
      - JMulExpr
    - NeExpr
      - GNeExpr
      - JNeExpr
    - OrExpr
      - GOrExpr
      - JOrExpr
    - RemExpr
      - GRemExpr
      - JRemExpr
    - SubExpr
  - BinopExpr
    - AddExpr
    - AndExpr
    - CmpExpr
      - GCmpExpr
      - JCmpExpr
    - CmpgExpr
      - GCmpgExpr
      - JCmpgExpr
    - CmplExpr
      - GCmplExpr
      - JCmplExpr
    - ConditionExpr
      - EqExpr
      - GeExpr
        
        GGeExpr
        JGeExpr
      - GtExpr
        
        GGtExpr
        JGtExpr
      - InExpr
      - LeExpr
      - LtExpr
      - NeExpr
    - DivExpr
    - LogicalAndExpr
    - LogicalOrExpr
    - MulExpr
    - OrExpr
    - RemExpr
    - ShlExpr
      - GShlExpr
      - JShlExpr
    - ShrExpr
      - GShrExpr
      - JShrExpr
    - SubExpr
    - UshrExpr
      - GUshrExpr
      - JUshrExpr
    - XorExpr
      - GXorExpr
      - JXorExpr
  - CastExpr
    - AbstractCastExpr
      - GCastExpr
      - JCastExpr
    - GCastExpr
    - JCastExpr
  - ChooseExpr
  - ChooseExpr
  - DerefExpr
  - DivExpr
  - EqExpr
  - HookExpr
  - InstanceOfExpr
    - AbstractInstanceOfExpr
      - GInstanceOfExpr
      - JInstanceOfExpr
    - GInstanceOfExpr
    - JInstanceOfExpr
  - InstanceOfExpr
  - InvokeExpr
    - AbstractInvokeExpr
      - AbstractNonStaticInvokeExpr
        
        AbstractInterfaceInvokeExpr
        
        GInterfaceInvokeExpr
        JInterfaceInvokeExpr
        
        AbstractSpecialInvokeExpr
        
        GSpecialInvokeExpr
        JSpecialInvokeExpr
        
        AbstractVirtualInvokeExpr
        
        GVirtualInvokeExpr
        JVirtualInvokeExpr
      - AbstractStaticInvokeExpr
        
        GNewInvokeExpr
        GStaticInvokeExpr
        JStaticInvokeExpr
    - NonStaticInvokeExpr
      - AbstractNonStaticInvokeExpr
      - InterfaceInvokeExpr
        
        AbstractInterfaceInvokeExpr
        GInterfaceInvokeExpr
        JInterfaceInvokeExpr
      - SpecialInvokeExpr
        
        AbstractSpecialInvokeExpr
        GSpecialInvokeExpr
        JSpecialInvokeExpr
      - VirtualInvokeExpr
        
        AbstractVirtualInvokeExpr
        GVirtualInvokeExpr
        JVirtualInvokeExpr
    - StaticInvokeExpr
      - AbstractStaticInvokeExpr
      - GStaticInvokeExpr
      - JStaticInvokeExpr
      - NewInvokeExpr
        
        GNewInvokeExpr
  - LeExpr
  - LengthExpr
    - AbstractLengthExpr
      - GLengthExpr
      - JLengthExpr
    - GLengthExpr
    - JLengthExpr
  - Literal
    - BoolLit
    - ConstExpr
      - Constant
      - IntLit
    - LockLit
    - NullExpr
    - RefLit
  - LocalExpr
  - LocationTestExpr
  - LockTest
  - LogicalNotExpr
  - LtExpr
  - MulExpr
  - NeExpr
  - NewArrayExpr
  - NewArrayExpr
  - NewExpr
  - NewExpr
  - NewMultiArrayExpr
    - AbstractNewMultiArrayExpr
      - GNewMultiArrayExpr
      - JNewMultiArrayExpr
    - GNewMultiArrayExpr
    - JNewMultiArrayExpr
  - NotExpr
  - OrExpr
  - RecordExpr
  - RefExpr
  - RemExpr
  - StateVar
  - SubExpr
  - ThreadLocTest
  - ThreadTest
  - UnopExpr
    - AbstractUnopExpr
      - AbstractLengthExpr
      - AbstractNegExpr
        
        GNegExpr
        JNegExpr
    - ComplementExpr
    - LengthExpr
    - NegExpr
      - AbstractNegExpr
      - GNegExpr
      - JNegExpr
- FloatConstant
- IntConstant
- JimpleLiteral
  - BooleanLiteral
  - IntegerLiteral
  - LockLiteral
  - ObjectLiteral
    - ArrayLiteral
    - ClassLiteral
  - ReferenceLiteral
- LongConstant
- Node
- Node
- Node
- Node
- Node
- Node
- Node
- Node
- Node
- Node
- NullConstant
- ParameterRef
- StringConstant
- Type
- Unit
- Value
  - Constant
  - Expr
  - Local
  - Ref
sym
Symbol
SymbolTable
Sync
- ReaderLock
- WriterLock
SynchronousProduct
SynchroStmt
TableCellEditor
- JTreeTable::TreeTableCellEditor
TableCellRenderer
- JTreeTable::TreeTableCellRenderer
TemporaryLocalsReduction
Test
TestDom
Thread
- Driver
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut1
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- InOut2
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- Listener
- MrRoboto
- Process1
- Process1
- Process1
- Process1
- Process1
- Process1
- Process1
- Process1
- Process1
- Process1
- Process1
- Process2
- Process2
- Process2
- Process2
- Process2
- Process2
- Process2
- Process2
- Process2
- Process2
- Process2
- ReaderThread
- ReaderThread
- ReaderThread
- rStatus::StatusServer
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage1
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage2
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- Stage3
- SubjectThread
- SubjectThread
- SubjectThread
- SubjectThread
- Thread1
- Thread1
- Thread1
- Thread1
- Thread1
- Thread1
- Thread1
- Thread2
- Thread2
- Thread2
- Thread2
- Thread2
- Thread2
- Thread2
- ThreadInfo
- WriterThread
- WriterThread
- WriterThread
ThreadVector
Timer
ToBriefString
- AbstractBinopExpr
- AndExpr
- ArrayRef
- CastExpr
- CaughtExceptionRef
- CmpExpr
- CmpgExpr
- CmplExpr
- DivExpr
- DoubleConstant
- Expr
- FieldRef
- FloatConstant
- InstanceOfExpr
- IntConstant
- Local
- LogicalAndExpr
- LogicalOrExpr
- LongConstant
- NewArrayExpr
- NewExpr
- NewMultiArrayExpr
- NextNextStmtRef
- NullConstant
- ParameterRef
- RefType
- StaticFieldRef
- StaticInvokeExpr
- StringConstant
- ThisRef
- UnopExpr
TokenLineColumnNumberExtractor
TraceManager
- BIRCTraceManager
- JPFTraceManager
Transferable
- TransferableSliceVariable
- TransferableTreeNode
Transformation
Transformations
Transition
TransitionResult
Translator
TransSequence
TransVector
Trap
- GTrap
- JTrap
  - GTrap
Tree
TreeModel
- TreeTableModel
  - AbstractTreeTableModel
  - TypeTree
TreeNode
- AbstractTreeNode
  - FieldTreeNode
  - MethodTreeNode
  - TypeTreeNode
    - ClassTreeNode
    - FieldTreeNode
    - LocalTreeNode
    - MethodTreeNode
- CaseNode
- ExprNode
- TrapNode
- TypeTreeNodeInterface
TreeSelectionListener
- AssertionBrowser::IvjEventHandler
- BUISessionPane::IvjEventHandler
- CodeBrowserPane
- CounterExample::IvjEventHandler
- DependencyValueViewer
- DependencyValueViewer::IvjEventHandler
- PatternManager::IvjEventHandler
- PredicateBrowser::IvjEventHandler
- QueryPanel
- ThreadCounterExample::IvjEventHandler
Typed
- Field
- Method
- Type
- Variable
TypeDependencyGraph
TypedInstruction
- ACONST_NULL
- ArithmeticInstruction
- ArrayInstruction
- ConstantPushInstruction
- ConversionInstruction
- CPInstruction
- DCMPG
- DCMPL
- DCONST
- FCMPG
- FCMPL
- FCONST
- FieldInstruction
- ICONST
- InvokeInstruction
- LCONST
- LDC
- LDC2_W
- LocalVariableInstruction
- ReturnInstruction
ClassHierarchy::TypeNode
TypeResolver
TypeStructure
- ArrayTypeStructure
- BaseTypeStructure
- ObjectTypeStructure
TypeTable
TypeVariable
TypeResolver::TypeVariable
UnconditionalBranch
- ATHROW
- ATHROW
- GOTO
- GOTO
- GOTO_W
- GOTO_W
UnitBox
- StmtBox
UnitPool
Util
ValueBox
- AbstractValueBox
  - ConditionExprBox
  - ExprBox
    - ObjExprBox
  - GRValueBox
  - IdentityRefBox
  - ImmediateBox
  - InvokeExprBox
  - LocalBox
  - RValueBox
  - VariableBox
ValueIndexManager
- ValueIndexManagerAlloc
- ValueIndexManagerPoint
ValueNode
ValueObject
- BaseType
- Constant
- Type
- TypeArray
- TypeStack
ValueVariant
ValueVariantManager
VariableLengthInstruction
- GOTO
- GOTO
- JSR
- JSR
- PUSH
- PUSH
- Select
- Select
VarTreeNode
- FieldTreeNode
- LocalTreeNode
Vector
Verify
virtual_parse_stack
Visitor
- DefaultVisitor
- DefaultVisitor
- DefaultVisitor
- EmptyVisitor
- EmptyVisitor
- EmptyVisitor
Watcher
WindowListener
- ClasspathManager::IvjEventHandler
- Dependencies
- Dependencies::IvjEventHandler
- DependencyValueViewer
- DependencyValueViewer::IvjEventHandler
- ErrorTrail
- ErrorTrail
- IncludedManager::IvjEventHandler
WorkList
Wrapper
Writer

Generated at Thu Feb 7 07:00:48 2002 for Bandera by