Hierarchy For All Packages

Package Hierarchies:

• dev.civl.abc.analysis.dataflow.IF,
• dev.civl.abc.analysis.IF,
• dev.civl.abc.analysis.pointsTo.IF,
• dev.civl.abc.ast.conversion.IF,
• dev.civl.abc.ast.entity.IF,
• dev.civl.abc.ast.IF,
• dev.civl.abc.ast.node.IF,
• dev.civl.abc.ast.node.IF.acsl,
• dev.civl.abc.ast.node.IF.compound,
• dev.civl.abc.ast.node.IF.declaration,
• dev.civl.abc.ast.node.IF.expression,
• dev.civl.abc.ast.node.IF.label,
• dev.civl.abc.ast.node.IF.omp,
• dev.civl.abc.ast.node.IF.statement,
• dev.civl.abc.ast.node.IF.type,
• dev.civl.abc.ast.type.IF,
• dev.civl.abc.ast.value.IF,
• dev.civl.abc.config.IF,
• dev.civl.abc.err.IF,
• dev.civl.abc.front.IF,
• dev.civl.abc.program.IF,
• dev.civl.abc.token.IF,
• dev.civl.abc.transform.IF,
• dev.civl.abc.util.IF

Class Hierarchy

• java.lang.Object
  • dev.civl.abc.analysis.dataflow.IF.AbstractValue
  • dev.civl.abc.analysis.IF.Analysis
  • dev.civl.abc.util.IF.ANTLRUtils
  • dev.civl.abc.ast.IF.ASTs
  • dev.civl.abc.transform.IF.BaseTransformer (implements dev.civl.abc.transform.IF.Transformer)
  • dev.civl.abc.ast.entity.IF.CommonEntity (implements dev.civl.abc.ast.entity.IF.ProgramEntity)
  • dev.civl.abc.config.IF.Configurations
  • dev.civl.abc.ast.conversion.IF.Conversions
  • dev.civl.abc.ast.IF.DifferenceObject
  • dev.civl.abc.ast.entity.IF.Entities
  • dev.civl.abc.front.IF.Front
  • dev.civl.abc.token.IF.Macro.ReplacementUnit
    • dev.civl.abc.token.IF.FunctionMacro.FunctionReplacementUnit
  • dev.civl.abc.ast.node.IF.Nodes
  • dev.civl.abc.util.IF.Pair<S,T>
  • dev.civl.abc.program.IF.Programs
  • dev.civl.abc.analysis.pointsTo.IF.SimplePointsToAnalysis
  • dev.civl.abc.analysis.pointsTo.IF.SimplePointsToAnalysisIF
  • dev.civl.abc.util.IF.SingletonIterator<E> (implements java.util.Iterator<E>)
  • dev.civl.abc.token.IF.SourceFile (implements java.lang.Comparable<T>)
  • dev.civl.abc.ast.IF.StandardTypes
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • dev.civl.abc.err.IF.ABCException
        • dev.civl.abc.front.IF.ParseException
        • dev.civl.abc.front.IF.PP2CivlcTokenConversionException
        • dev.civl.abc.front.IF.PreprocessorException
          • dev.civl.abc.front.IF.PreprocessorExpressionException
        • dev.civl.abc.token.IF.SyntaxException
        • dev.civl.abc.token.IF.UnsourcedException
      • java.lang.RuntimeException
        • dev.civl.abc.err.IF.ABCRuntimeException
          • dev.civl.abc.err.IF.ABCUnsupportedException
          • dev.civl.abc.ast.IF.ASTException
          • dev.civl.abc.front.IF.PreprocessorRuntimeException
            • dev.civl.abc.front.IF.IllegalMacroArgumentException
          • dev.civl.abc.front.IF.RuntimeParseException
  • dev.civl.abc.util.IF.Timer
  • dev.civl.abc.token.IF.Tokens
  • dev.civl.abc.token.IF.TokenUtils
  • dev.civl.abc.transform.IF.Transform
  • dev.civl.abc.transform.IF.TransformRecord
  • dev.civl.abc.util.IF.Triple<R,S,T>
  • dev.civl.abc.ast.type.IF.Types
  • dev.civl.abc.ast.value.IF.Values

Interface Hierarchy

• dev.civl.abc.analysis.IF.Analyzer
• dev.civl.abc.util.IF.ANTLRUtils.LexerFactory
• dev.civl.abc.analysis.pointsTo.IF.AssignExprIF
  • dev.civl.abc.analysis.pointsTo.IF.AssignAuxExprIF
  • dev.civl.abc.analysis.pointsTo.IF.AssignFieldExprIF
  • dev.civl.abc.analysis.pointsTo.IF.AssignOffsetExprIF
  • dev.civl.abc.analysis.pointsTo.IF.AssignStoreExprIF
  • dev.civl.abc.analysis.pointsTo.IF.AssignSubscriptExprIF
• dev.civl.abc.analysis.pointsTo.IF.AssignmentIF
• dev.civl.abc.analysis.pointsTo.IF.AssignOffsetIF
• dev.civl.abc.ast.IF.AST
• dev.civl.abc.front.IF.ASTBuilder
• dev.civl.abc.ast.IF.ASTFactory
• dev.civl.abc.ast.node.IF.ASTNode
  • dev.civl.abc.ast.node.IF.statement.BlockItemNode
    • dev.civl.abc.ast.node.IF.type.EnumerationTypeNode (also extends dev.civl.abc.ast.node.IF.declaration.DeclarationNode, dev.civl.abc.ast.node.IF.type.TypeNode)
    • dev.civl.abc.ast.node.IF.omp.OmpDeclarativeNode (also extends dev.civl.abc.ast.node.IF.omp.OmpNode)
    • dev.civl.abc.ast.node.IF.declaration.OrdinaryDeclarationNode (also extends dev.civl.abc.ast.node.IF.declaration.DeclarationNode)
      • dev.civl.abc.ast.node.IF.declaration.FunctionDeclarationNode
        • dev.civl.abc.ast.node.IF.declaration.AbstractFunctionDefinitionNode
        • dev.civl.abc.ast.node.IF.declaration.FunctionDefinitionNode
          • dev.civl.abc.ast.node.IF.acsl.PredicateNode (also extends dev.civl.abc.ast.node.IF.acsl.ContractNode)
      • dev.civl.abc.ast.node.IF.declaration.VariableDeclarationNode
    • dev.civl.abc.ast.node.IF.declaration.ScopeParameterizedDeclarationNode (also extends dev.civl.abc.ast.node.IF.declaration.DeclarationNode)
    • dev.civl.abc.ast.node.IF.statement.StatementNode
      • dev.civl.abc.ast.node.IF.statement.AtomicNode
      • dev.civl.abc.ast.node.IF.statement.ChooseStatementNode (also extends dev.civl.abc.ast.node.IF.SequenceNode<T>)
      • dev.civl.abc.ast.node.IF.statement.CivlForNode
      • dev.civl.abc.ast.node.IF.statement.CompoundStatementNode (also extends dev.civl.abc.ast.node.IF.SequenceNode<T>)
      • dev.civl.abc.ast.node.IF.statement.ExpressionStatementNode
      • dev.civl.abc.ast.node.IF.statement.IfNode
      • dev.civl.abc.ast.node.IF.statement.JumpNode
        • dev.civl.abc.ast.node.IF.statement.GotoNode
        • dev.civl.abc.ast.node.IF.statement.ReturnNode
      • dev.civl.abc.ast.node.IF.statement.LabeledStatementNode
      • dev.civl.abc.ast.node.IF.statement.LoopNode
        • dev.civl.abc.ast.node.IF.statement.ForLoopNode
      • dev.civl.abc.ast.node.IF.statement.NullStatementNode
      • dev.civl.abc.ast.node.IF.omp.OmpEndNode (also extends dev.civl.abc.ast.node.IF.omp.OmpNode)
      • dev.civl.abc.ast.node.IF.omp.OmpExecutableNode (also extends dev.civl.abc.ast.node.IF.omp.OmpNode)
        • dev.civl.abc.ast.node.IF.omp.OmpParallelNode
        • dev.civl.abc.ast.node.IF.omp.OmpSimdNode
        • dev.civl.abc.ast.node.IF.omp.OmpSyncNode
          • dev.civl.abc.ast.node.IF.omp.OmpAtomicNode
        • dev.civl.abc.ast.node.IF.omp.OmpWorksharingNode
          • dev.civl.abc.ast.node.IF.omp.OmpForNode
      • dev.civl.abc.ast.node.IF.PragmaNode
      • dev.civl.abc.ast.node.IF.statement.RunNode
      • dev.civl.abc.ast.node.IF.statement.SwitchNode
      • dev.civl.abc.ast.node.IF.statement.UpdateNode
      • dev.civl.abc.ast.node.IF.statement.WhenNode
      • dev.civl.abc.ast.node.IF.statement.WithNode
    • dev.civl.abc.ast.node.IF.StaticAssertionNode
    • dev.civl.abc.ast.node.IF.type.StructureOrUnionTypeNode (also extends dev.civl.abc.ast.node.IF.declaration.DeclarationNode, dev.civl.abc.ast.node.IF.type.TypeNode)
    • dev.civl.abc.ast.node.IF.declaration.TypedefDeclarationNode (also extends dev.civl.abc.ast.node.IF.declaration.DeclarationNode)
  • dev.civl.abc.ast.node.IF.acsl.ContractNode
    • dev.civl.abc.ast.node.IF.acsl.AllocationNode
    • dev.civl.abc.ast.node.IF.acsl.AssignsOrReadsNode
    • dev.civl.abc.ast.node.IF.acsl.AssumesNode
    • dev.civl.abc.ast.node.IF.acsl.BehaviorNode
    • dev.civl.abc.ast.node.IF.acsl.CompletenessNode
    • dev.civl.abc.ast.node.IF.acsl.DependsNode
    • dev.civl.abc.ast.node.IF.acsl.EnsuresNode
    • dev.civl.abc.ast.node.IF.acsl.GuardsNode
    • dev.civl.abc.ast.node.IF.acsl.InvariantNode
    • dev.civl.abc.ast.node.IF.acsl.MPICollectiveBlockNode
    • dev.civl.abc.ast.node.IF.acsl.PredicateNode (also extends dev.civl.abc.ast.node.IF.declaration.FunctionDefinitionNode)
    • dev.civl.abc.ast.node.IF.acsl.RequiresNode
    • dev.civl.abc.ast.node.IF.acsl.WaitsforNode
  • dev.civl.abc.ast.node.IF.declaration.DeclarationNode
    • dev.civl.abc.ast.node.IF.type.EnumerationTypeNode (also extends dev.civl.abc.ast.node.IF.statement.BlockItemNode, dev.civl.abc.ast.node.IF.type.TypeNode)
    • dev.civl.abc.ast.node.IF.declaration.EnumeratorDeclarationNode
    • dev.civl.abc.ast.node.IF.declaration.FieldDeclarationNode
    • dev.civl.abc.ast.node.IF.declaration.OrdinaryDeclarationNode (also extends dev.civl.abc.ast.node.IF.statement.BlockItemNode)
      • dev.civl.abc.ast.node.IF.declaration.FunctionDeclarationNode
        • dev.civl.abc.ast.node.IF.declaration.AbstractFunctionDefinitionNode
        • dev.civl.abc.ast.node.IF.declaration.FunctionDefinitionNode
          • dev.civl.abc.ast.node.IF.acsl.PredicateNode (also extends dev.civl.abc.ast.node.IF.acsl.ContractNode)
      • dev.civl.abc.ast.node.IF.declaration.VariableDeclarationNode
    • dev.civl.abc.ast.node.IF.label.OrdinaryLabelNode (also extends dev.civl.abc.ast.node.IF.label.LabelNode)
    • dev.civl.abc.ast.node.IF.declaration.ScopeParameterizedDeclarationNode (also extends dev.civl.abc.ast.node.IF.statement.BlockItemNode)
    • dev.civl.abc.ast.node.IF.type.StructureOrUnionTypeNode (also extends dev.civl.abc.ast.node.IF.statement.BlockItemNode, dev.civl.abc.ast.node.IF.type.TypeNode)
    • dev.civl.abc.ast.node.IF.declaration.TypedefDeclarationNode (also extends dev.civl.abc.ast.node.IF.statement.BlockItemNode)
  • dev.civl.abc.ast.node.IF.acsl.DependsEventNode
    • dev.civl.abc.ast.node.IF.acsl.AnyactNode
    • dev.civl.abc.ast.node.IF.acsl.CallEventNode
    • dev.civl.abc.ast.node.IF.acsl.CompositeEventNode
    • dev.civl.abc.ast.node.IF.acsl.MemoryEventNode
    • dev.civl.abc.ast.node.IF.acsl.NoactNode
  • dev.civl.abc.ast.node.IF.compound.DesignatorNode
    • dev.civl.abc.ast.node.IF.compound.ArrayDesignatorNode
    • dev.civl.abc.ast.node.IF.compound.FieldDesignatorNode
  • dev.civl.abc.ast.node.IF.statement.ForLoopInitializerNode
    • dev.civl.abc.ast.node.IF.statement.DeclarationListNode (also extends dev.civl.abc.ast.node.IF.SequenceNode<T>)
    • dev.civl.abc.ast.node.IF.expression.ExpressionNode (also extends dev.civl.abc.ast.node.IF.declaration.InitializerNode, dev.civl.abc.ast.node.IF.expression.SizeableNode)
      • dev.civl.abc.ast.node.IF.expression.AlignOfNode
      • dev.civl.abc.ast.node.IF.expression.ArrayLambdaNode
      • dev.civl.abc.ast.node.IF.expression.ArrowNode
      • dev.civl.abc.ast.node.IF.expression.CastNode
      • dev.civl.abc.ast.node.IF.expression.CompoundLiteralNode
      • dev.civl.abc.ast.node.IF.expression.ConstantNode
        • dev.civl.abc.ast.node.IF.expression.CharacterConstantNode
        • dev.civl.abc.ast.node.IF.expression.EnumerationConstantNode
        • dev.civl.abc.ast.node.IF.expression.FloatingConstantNode
        • dev.civl.abc.ast.node.IF.expression.HereOrRootNode
        • dev.civl.abc.ast.node.IF.expression.IntegerConstantNode
        • dev.civl.abc.ast.node.IF.acsl.MPIContractConstantNode
        • dev.civl.abc.ast.node.IF.expression.ProcnullNode
        • dev.civl.abc.ast.node.IF.expression.SelfNode
        • dev.civl.abc.ast.node.IF.expression.StatenullNode
      • dev.civl.abc.ast.node.IF.expression.DerivativeExpressionNode
      • dev.civl.abc.ast.node.IF.expression.DotNode
      • dev.civl.abc.ast.node.IF.acsl.ExtendedQuantifiedExpressionNode
      • dev.civl.abc.ast.node.IF.expression.FunctionCallNode
      • dev.civl.abc.ast.node.IF.expression.GenericSelectionNode
      • dev.civl.abc.ast.node.IF.expression.IdentifierExpressionNode
      • dev.civl.abc.ast.node.IF.expression.LambdaNode
      • dev.civl.abc.ast.node.IF.acsl.MPIContractExpressionNode
        • dev.civl.abc.ast.node.IF.acsl.MPIContractAbsentEventNode
        • dev.civl.abc.ast.node.IF.acsl.MPIContractAbsentNode
      • dev.civl.abc.ast.node.IF.acsl.NothingNode
      • dev.civl.abc.ast.node.IF.acsl.ObjectOrRegionOfNode
      • dev.civl.abc.ast.node.IF.expression.OperatorNode
      • dev.civl.abc.ast.node.IF.expression.QuantifiedExpressionNode
      • dev.civl.abc.ast.node.IF.expression.RegularRangeNode
      • dev.civl.abc.ast.node.IF.expression.RemoteOnExpressionNode
      • dev.civl.abc.ast.node.IF.expression.ResultNode
      • dev.civl.abc.ast.node.IF.expression.ScopeOfNode
      • dev.civl.abc.ast.node.IF.expression.SizeofNode
      • dev.civl.abc.ast.node.IF.expression.SpawnNode
      • dev.civl.abc.ast.node.IF.expression.StatementExpressionNode
      • dev.civl.abc.ast.node.IF.expression.StringLiteralNode
      • dev.civl.abc.ast.node.IF.expression.ValueAtNode
      • dev.civl.abc.ast.node.IF.expression.WildcardNode
  • dev.civl.abc.ast.node.IF.GenericAssociationNode
  • dev.civl.abc.ast.node.IF.IdentifierNode
  • dev.civl.abc.ast.node.IF.declaration.InitializerNode
    • dev.civl.abc.ast.node.IF.compound.CompoundInitializerNode (also extends dev.civl.abc.ast.node.IF.SequenceNode<T>)
    • dev.civl.abc.ast.node.IF.expression.ExpressionNode (also extends dev.civl.abc.ast.node.IF.statement.ForLoopInitializerNode, dev.civl.abc.ast.node.IF.expression.SizeableNode)
      • dev.civl.abc.ast.node.IF.expression.AlignOfNode
      • dev.civl.abc.ast.node.IF.expression.ArrayLambdaNode
      • dev.civl.abc.ast.node.IF.expression.ArrowNode
      • dev.civl.abc.ast.node.IF.expression.CastNode
      • dev.civl.abc.ast.node.IF.expression.CompoundLiteralNode
      • dev.civl.abc.ast.node.IF.expression.ConstantNode
        • dev.civl.abc.ast.node.IF.expression.CharacterConstantNode
        • dev.civl.abc.ast.node.IF.expression.EnumerationConstantNode
        • dev.civl.abc.ast.node.IF.expression.FloatingConstantNode
        • dev.civl.abc.ast.node.IF.expression.HereOrRootNode
        • dev.civl.abc.ast.node.IF.expression.IntegerConstantNode
        • dev.civl.abc.ast.node.IF.acsl.MPIContractConstantNode
        • dev.civl.abc.ast.node.IF.expression.ProcnullNode
        • dev.civl.abc.ast.node.IF.expression.SelfNode
        • dev.civl.abc.ast.node.IF.expression.StatenullNode
      • dev.civl.abc.ast.node.IF.expression.DerivativeExpressionNode
      • dev.civl.abc.ast.node.IF.expression.DotNode
      • dev.civl.abc.ast.node.IF.acsl.ExtendedQuantifiedExpressionNode
      • dev.civl.abc.ast.node.IF.expression.FunctionCallNode
      • dev.civl.abc.ast.node.IF.expression.GenericSelectionNode
      • dev.civl.abc.ast.node.IF.expression.IdentifierExpressionNode
      • dev.civl.abc.ast.node.IF.expression.LambdaNode
      • dev.civl.abc.ast.node.IF.acsl.MPIContractExpressionNode
        • dev.civl.abc.ast.node.IF.acsl.MPIContractAbsentEventNode
        • dev.civl.abc.ast.node.IF.acsl.MPIContractAbsentNode
      • dev.civl.abc.ast.node.IF.acsl.NothingNode
      • dev.civl.abc.ast.node.IF.acsl.ObjectOrRegionOfNode
      • dev.civl.abc.ast.node.IF.expression.OperatorNode
      • dev.civl.abc.ast.node.IF.expression.QuantifiedExpressionNode
      • dev.civl.abc.ast.node.IF.expression.RegularRangeNode
      • dev.civl.abc.ast.node.IF.expression.RemoteOnExpressionNode
      • dev.civl.abc.ast.node.IF.expression.ResultNode
      • dev.civl.abc.ast.node.IF.expression.ScopeOfNode
      • dev.civl.abc.ast.node.IF.expression.SizeofNode
      • dev.civl.abc.ast.node.IF.expression.SpawnNode
      • dev.civl.abc.ast.node.IF.expression.StatementExpressionNode
      • dev.civl.abc.ast.node.IF.expression.StringLiteralNode
      • dev.civl.abc.ast.node.IF.expression.ValueAtNode
      • dev.civl.abc.ast.node.IF.expression.WildcardNode
  • dev.civl.abc.ast.node.IF.label.LabelNode
    • dev.civl.abc.ast.node.IF.label.OrdinaryLabelNode (also extends dev.civl.abc.ast.node.IF.declaration.DeclarationNode)
    • dev.civl.abc.ast.node.IF.label.SwitchLabelNode
  • dev.civl.abc.ast.node.IF.omp.OmpNode
    • dev.civl.abc.ast.node.IF.omp.OmpDeclarativeNode (also extends dev.civl.abc.ast.node.IF.statement.BlockItemNode)
    • dev.civl.abc.ast.node.IF.omp.OmpEndNode (also extends dev.civl.abc.ast.node.IF.statement.StatementNode)
    • dev.civl.abc.ast.node.IF.omp.OmpExecutableNode (also extends dev.civl.abc.ast.node.IF.statement.StatementNode)
      • dev.civl.abc.ast.node.IF.omp.OmpParallelNode
      • dev.civl.abc.ast.node.IF.omp.OmpSimdNode
      • dev.civl.abc.ast.node.IF.omp.OmpSyncNode
        • dev.civl.abc.ast.node.IF.omp.OmpAtomicNode
      • dev.civl.abc.ast.node.IF.omp.OmpWorksharingNode
        • dev.civl.abc.ast.node.IF.omp.OmpForNode
  • dev.civl.abc.ast.node.IF.omp.OmpReductionNode
    • dev.civl.abc.ast.node.IF.omp.OmpFunctionReductionNode
    • dev.civl.abc.ast.node.IF.omp.OmpSymbolReductionNode
  • dev.civl.abc.ast.node.IF.PairNode<S,T>
  • dev.civl.abc.ast.node.IF.SequenceNode<T> (also extends java.lang.Iterable<T>)
    • dev.civl.abc.ast.node.IF.statement.ChooseStatementNode (also extends dev.civl.abc.ast.node.IF.statement.StatementNode)
    • dev.civl.abc.ast.node.IF.compound.CompoundInitializerNode (also extends dev.civl.abc.ast.node.IF.declaration.InitializerNode)
    • dev.civl.abc.ast.node.IF.statement.CompoundStatementNode (also extends dev.civl.abc.ast.node.IF.statement.StatementNode)
    • dev.civl.abc.ast.node.IF.statement.DeclarationListNode (also extends dev.civl.abc.ast.node.IF.statement.ForLoopInitializerNode)
    • dev.civl.abc.ast.node.IF.compound.DesignationNode
  • dev.civl.abc.ast.node.IF.expression.SizeableNode
    • dev.civl.abc.ast.node.IF.expression.ExpressionNode (also extends dev.civl.abc.ast.node.IF.statement.ForLoopInitializerNode, dev.civl.abc.ast.node.IF.declaration.InitializerNode)
      • dev.civl.abc.ast.node.IF.expression.AlignOfNode
      • dev.civl.abc.ast.node.IF.expression.ArrayLambdaNode
      • dev.civl.abc.ast.node.IF.expression.ArrowNode
      • dev.civl.abc.ast.node.IF.expression.CastNode
      • dev.civl.abc.ast.node.IF.expression.CompoundLiteralNode
      • dev.civl.abc.ast.node.IF.expression.ConstantNode
        • dev.civl.abc.ast.node.IF.expression.CharacterConstantNode
        • dev.civl.abc.ast.node.IF.expression.EnumerationConstantNode
        • dev.civl.abc.ast.node.IF.expression.FloatingConstantNode
        • dev.civl.abc.ast.node.IF.expression.HereOrRootNode
        • dev.civl.abc.ast.node.IF.expression.IntegerConstantNode
        • dev.civl.abc.ast.node.IF.acsl.MPIContractConstantNode
        • dev.civl.abc.ast.node.IF.expression.ProcnullNode
        • dev.civl.abc.ast.node.IF.expression.SelfNode
        • dev.civl.abc.ast.node.IF.expression.StatenullNode
      • dev.civl.abc.ast.node.IF.expression.DerivativeExpressionNode
      • dev.civl.abc.ast.node.IF.expression.DotNode
      • dev.civl.abc.ast.node.IF.acsl.ExtendedQuantifiedExpressionNode
      • dev.civl.abc.ast.node.IF.expression.FunctionCallNode
      • dev.civl.abc.ast.node.IF.expression.GenericSelectionNode
      • dev.civl.abc.ast.node.IF.expression.IdentifierExpressionNode
      • dev.civl.abc.ast.node.IF.expression.LambdaNode
      • dev.civl.abc.ast.node.IF.acsl.MPIContractExpressionNode
        • dev.civl.abc.ast.node.IF.acsl.MPIContractAbsentEventNode
        • dev.civl.abc.ast.node.IF.acsl.MPIContractAbsentNode
      • dev.civl.abc.ast.node.IF.acsl.NothingNode
      • dev.civl.abc.ast.node.IF.acsl.ObjectOrRegionOfNode
      • dev.civl.abc.ast.node.IF.expression.OperatorNode
      • dev.civl.abc.ast.node.IF.expression.QuantifiedExpressionNode
      • dev.civl.abc.ast.node.IF.expression.RegularRangeNode
      • dev.civl.abc.ast.node.IF.expression.RemoteOnExpressionNode
      • dev.civl.abc.ast.node.IF.expression.ResultNode
      • dev.civl.abc.ast.node.IF.expression.ScopeOfNode
      • dev.civl.abc.ast.node.IF.expression.SizeofNode
      • dev.civl.abc.ast.node.IF.expression.SpawnNode
      • dev.civl.abc.ast.node.IF.expression.StatementExpressionNode
      • dev.civl.abc.ast.node.IF.expression.StringLiteralNode
      • dev.civl.abc.ast.node.IF.expression.ValueAtNode
      • dev.civl.abc.ast.node.IF.expression.WildcardNode
    • dev.civl.abc.ast.node.IF.type.TypeNode
      • dev.civl.abc.ast.node.IF.type.ArrayTypeNode
      • dev.civl.abc.ast.node.IF.type.AtomicTypeNode
      • dev.civl.abc.ast.node.IF.type.BasicTypeNode
      • dev.civl.abc.ast.node.IF.type.DomainTypeNode
      • dev.civl.abc.ast.node.IF.type.EnumerationTypeNode (also extends dev.civl.abc.ast.node.IF.statement.BlockItemNode, dev.civl.abc.ast.node.IF.declaration.DeclarationNode)
      • dev.civl.abc.ast.node.IF.type.FunctionTypeNode
      • dev.civl.abc.ast.node.IF.type.LambdaTypeNode
      • dev.civl.abc.ast.node.IF.type.PointerTypeNode
      • dev.civl.abc.ast.node.IF.type.StructureOrUnionTypeNode (also extends dev.civl.abc.ast.node.IF.statement.BlockItemNode, dev.civl.abc.ast.node.IF.declaration.DeclarationNode)
      • dev.civl.abc.ast.node.IF.type.TypedefNameNode
      • dev.civl.abc.ast.node.IF.type.TypeofNode
• dev.civl.abc.ast.node.IF.AttributeKey
• dev.civl.abc.front.IF.CivlcTokenConstant
• dev.civl.abc.token.IF.CivlcTokenSequence
• dev.civl.abc.transform.IF.Combiner
• dev.civl.abc.config.IF.Configuration
• dev.civl.abc.ast.conversion.IF.Conversion
  • dev.civl.abc.ast.conversion.IF.ArithmeticConversion
  • dev.civl.abc.ast.conversion.IF.ArrayConversion
  • dev.civl.abc.ast.conversion.IF.CompatiblePointerConversion
  • dev.civl.abc.ast.conversion.IF.CompatibleStructureOrUnionConversion
  • dev.civl.abc.ast.conversion.IF.FunctionConversion
  • dev.civl.abc.ast.conversion.IF.Integer2PointerConversion
  • dev.civl.abc.ast.conversion.IF.LvalueConversion
  • dev.civl.abc.ast.conversion.IF.MemConversion
  • dev.civl.abc.ast.conversion.IF.NullPointerConversion
  • dev.civl.abc.ast.conversion.IF.Pointer2IntegerConversion
  • dev.civl.abc.ast.conversion.IF.PointerBoolConversion
  • dev.civl.abc.ast.conversion.IF.RegularRangeToDomainConversion
  • dev.civl.abc.ast.conversion.IF.VoidPointerConversion
• dev.civl.abc.ast.conversion.IF.ConversionFactory
• dev.civl.abc.ast.entity.IF.Entity
  • dev.civl.abc.ast.entity.IF.BehaviorEntity
  • dev.civl.abc.ast.type.IF.Field
  • dev.civl.abc.ast.entity.IF.ProgramEntity
    • dev.civl.abc.ast.entity.IF.Label
    • dev.civl.abc.ast.entity.IF.OrdinaryEntity
      • dev.civl.abc.ast.type.IF.Enumerator
      • dev.civl.abc.ast.entity.IF.Function
      • dev.civl.abc.ast.entity.IF.Typedef
      • dev.civl.abc.ast.entity.IF.Variable
    • dev.civl.abc.ast.entity.IF.TaggedEntity
      • dev.civl.abc.ast.type.IF.EnumerationType (also extends dev.civl.abc.ast.type.IF.IntegerType)
      • dev.civl.abc.ast.type.IF.StructureOrUnionType (also extends dev.civl.abc.ast.type.IF.UnqualifiedObjectType)
• dev.civl.abc.ast.entity.IF.EntityFactory
• dev.civl.abc.analysis.dataflow.IF.Environment
• dev.civl.abc.analysis.dataflow.IF.Evaluation<E>
• dev.civl.abc.token.IF.ExecutionCharacter
• dev.civl.abc.token.IF.FileIndexer
• dev.civl.abc.analysis.pointsTo.IF.FlowInsensePointsToAnalyzer
• dev.civl.abc.token.IF.Formation
  • dev.civl.abc.token.IF.Concatenation
  • dev.civl.abc.token.IF.Inclusion
  • dev.civl.abc.token.IF.MacroExpansion
  • dev.civl.abc.token.IF.Stringification
  • dev.civl.abc.token.IF.TransformFormation
• dev.civl.abc.analysis.pointsTo.IF.InsensitiveFlowFactory
• dev.civl.abc.analysis.pointsTo.IF.InvocationGraphNode
• dev.civl.abc.analysis.pointsTo.IF.InvocationGraphNodeFactory
• java.lang.Iterable<T>
  • dev.civl.abc.analysis.pointsTo.IF.InsensitiveFlow
  • dev.civl.abc.ast.node.IF.SequenceNode<T> (also extends dev.civl.abc.ast.node.IF.ASTNode)
    • dev.civl.abc.ast.node.IF.statement.ChooseStatementNode (also extends dev.civl.abc.ast.node.IF.statement.StatementNode)
    • dev.civl.abc.ast.node.IF.compound.CompoundInitializerNode (also extends dev.civl.abc.ast.node.IF.declaration.InitializerNode)
    • dev.civl.abc.ast.node.IF.statement.CompoundStatementNode (also extends dev.civl.abc.ast.node.IF.statement.StatementNode)
    • dev.civl.abc.ast.node.IF.statement.DeclarationListNode (also extends dev.civl.abc.ast.node.IF.statement.ForLoopInitializerNode)
    • dev.civl.abc.ast.node.IF.compound.DesignationNode
• dev.civl.abc.ast.node.IF.compound.LiteralObject
  • dev.civl.abc.ast.node.IF.compound.CompoundLiteralObject
  • dev.civl.abc.ast.node.IF.compound.ScalarLiteralObject
• dev.civl.abc.token.IF.Macro
  • dev.civl.abc.token.IF.FunctionMacro
  • dev.civl.abc.token.IF.ObjectMacro
• dev.civl.abc.ast.node.IF.NodeFactory
• dev.civl.abc.ast.node.IF.NodePredicate
• dev.civl.abc.front.IF.Parser
• dev.civl.abc.front.IF.ParseTree
• dev.civl.abc.analysis.pointsTo.IF.PointsToGraph
• dev.civl.abc.front.IF.PP2CivlcTokenConverter
• dev.civl.abc.front.IF.Preprocessor
• dev.civl.abc.program.IF.Program
• dev.civl.abc.program.IF.ProgramFactory
• dev.civl.abc.ast.entity.IF.Scope
• dev.civl.abc.token.IF.Source
• dev.civl.abc.token.IF.StringLiteral
• dev.civl.abc.util.IF.StringPredicate
• org.antlr.runtime.Token
  • dev.civl.abc.token.IF.CivlcToken
    • dev.civl.abc.token.IF.CharacterToken
    • dev.civl.abc.token.IF.StringToken
• dev.civl.abc.token.IF.TokenFactory
• org.antlr.runtime.TokenSource
  • dev.civl.abc.token.IF.CivlcTokenSource
• dev.civl.abc.transform.IF.Transformer
  • dev.civl.abc.transform.IF.NameTransformer
• dev.civl.abc.ast.type.IF.Type
  • dev.civl.abc.ast.type.IF.FunctionType
  • dev.civl.abc.ast.type.IF.ObjectType
    • dev.civl.abc.ast.type.IF.QualifiedObjectType
    • dev.civl.abc.ast.type.IF.UnqualifiedObjectType
      • dev.civl.abc.ast.type.IF.ArithmeticType
        • dev.civl.abc.ast.type.IF.IntegerType
          • dev.civl.abc.ast.type.IF.EnumerationType (also extends dev.civl.abc.ast.entity.IF.TaggedEntity)
          • dev.civl.abc.ast.type.IF.SignedOrUnsignedIntegerType
            • dev.civl.abc.ast.type.IF.SignedIntegerType
              • dev.civl.abc.ast.type.IF.StandardSignedIntegerType (also extends dev.civl.abc.ast.type.IF.StandardBasicType)
            • dev.civl.abc.ast.type.IF.UnsignedIntegerType
              • dev.civl.abc.ast.type.IF.StandardUnsignedIntegerType
        • dev.civl.abc.ast.type.IF.StandardBasicType
          • dev.civl.abc.ast.type.IF.FloatingType
          • dev.civl.abc.ast.type.IF.StandardSignedIntegerType (also extends dev.civl.abc.ast.type.IF.SignedIntegerType)
      • dev.civl.abc.ast.type.IF.ArrayType
      • dev.civl.abc.ast.type.IF.AtomicType
      • dev.civl.abc.ast.type.IF.DomainType
      • dev.civl.abc.ast.type.IF.LambdaType
      • dev.civl.abc.ast.type.IF.MemType (also extends dev.civl.abc.ast.type.IF.SetType)
      • dev.civl.abc.ast.type.IF.PointerType
      • dev.civl.abc.ast.type.IF.StructureOrUnionType (also extends dev.civl.abc.ast.entity.IF.TaggedEntity)
  • dev.civl.abc.ast.type.IF.SetType
    • dev.civl.abc.ast.type.IF.MemType (also extends dev.civl.abc.ast.type.IF.UnqualifiedObjectType)
• dev.civl.abc.ast.type.IF.TypeFactory
• dev.civl.abc.ast.value.IF.Value
  • dev.civl.abc.ast.value.IF.AddressValue
    • dev.civl.abc.ast.value.IF.ArrayElementReference
    • dev.civl.abc.ast.value.IF.FunctionReference
    • dev.civl.abc.ast.value.IF.MemberReference
    • dev.civl.abc.ast.value.IF.VariableReference
  • dev.civl.abc.ast.value.IF.CastValue
  • dev.civl.abc.ast.value.IF.CharacterValue
  • dev.civl.abc.ast.value.IF.ComplexValue
  • dev.civl.abc.ast.value.IF.CompoundValue
    • dev.civl.abc.ast.value.IF.ArrayValue
    • dev.civl.abc.ast.value.IF.StructureValue
    • dev.civl.abc.ast.value.IF.UnionValue
  • dev.civl.abc.ast.value.IF.IntegerValue
  • dev.civl.abc.ast.value.IF.OperatorValue
  • dev.civl.abc.ast.value.IF.RealFloatingValue
  • dev.civl.abc.ast.value.IF.StringValue
  • dev.civl.abc.ast.value.IF.TypeValue
• dev.civl.abc.ast.value.IF.ValueFactory

Enum Class Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
    • dev.civl.abc.analysis.pointsTo.IF.AssignExprIF.AssignExprKind
    • dev.civl.abc.analysis.pointsTo.IF.AssignmentIF.AssignmentKind
    • dev.civl.abc.ast.node.IF.ASTNode.NodeKind
    • dev.civl.abc.ast.node.IF.statement.BlockItemNode.BlockItemKind
    • dev.civl.abc.token.IF.CivlcToken.TokenVocabulary
    • dev.civl.abc.ast.node.IF.acsl.CompositeEventNode.EventOperator
    • dev.civl.abc.config.IF.Configuration.Architecture
    • dev.civl.abc.config.IF.Configurations.Language
    • dev.civl.abc.ast.node.IF.expression.ConstantNode.ConstantKind
    • dev.civl.abc.ast.node.IF.acsl.ContractNode.ContractKind
    • dev.civl.abc.ast.conversion.IF.Conversion.ConversionKind
    • dev.civl.abc.ast.node.IF.acsl.DependsEventNode.DependsEventNodeKind
    • dev.civl.abc.ast.IF.DifferenceObject.DiffKind
    • dev.civl.abc.ast.entity.IF.Entity.EntityKind
    • dev.civl.abc.token.IF.ExecutionCharacter.CharacterKind
    • dev.civl.abc.ast.node.IF.expression.ExpressionNode.ExpressionKind
    • dev.civl.abc.ast.node.IF.acsl.ExtendedQuantifiedExpressionNode.ExtendedQuantifier
    • dev.civl.abc.ast.type.IF.FloatingType.FloatKind
    • dev.civl.abc.analysis.pointsTo.IF.InvocationGraphNode.IGNodeKind
    • dev.civl.abc.ast.node.IF.statement.JumpNode.JumpKind
    • dev.civl.abc.ast.node.IF.statement.LoopNode.LoopKind
    • dev.civl.abc.ast.node.IF.acsl.MemoryEventNode.MemoryEventNodeKind
    • dev.civl.abc.ast.node.IF.acsl.MPICollectiveBlockNode.MPICommunicatorMode
    • dev.civl.abc.ast.node.IF.acsl.MPIContractAbsentEventNode.MPIAbsentEventKind
    • dev.civl.abc.ast.node.IF.acsl.MPIContractConstantNode.MPIConstantKind
    • dev.civl.abc.ast.node.IF.acsl.MPIContractExpressionNode.MPIContractExpressionKind
    • dev.civl.abc.ast.node.IF.omp.OmpAtomicNode.OmpAtomicClause
    • dev.civl.abc.ast.node.IF.omp.OmpDeclarativeNode.OmpDeclarativeNodeKind
    • dev.civl.abc.ast.node.IF.omp.OmpEndNode.OmpEndType
    • dev.civl.abc.ast.node.IF.omp.OmpExecutableNode.OmpExecutableKind
    • dev.civl.abc.ast.node.IF.omp.OmpForNode.OmpScheduleKind
    • dev.civl.abc.ast.node.IF.omp.OmpNode.OmpNodeKind
    • dev.civl.abc.ast.node.IF.omp.OmpReductionNode.OmpReductionNodeKind
    • dev.civl.abc.ast.node.IF.omp.OmpReductionNode.OmpReductionOperator
    • dev.civl.abc.ast.node.IF.omp.OmpSyncNode.OmpSyncNodeKind
    • dev.civl.abc.ast.node.IF.omp.OmpWorksharingNode.OmpWorksharingNodeKind
    • dev.civl.abc.ast.node.IF.expression.OperatorNode.Operator
    • dev.civl.abc.ast.node.IF.declaration.OrdinaryDeclarationNode.OrdinaryDeclarationKind
    • dev.civl.abc.ast.entity.IF.ProgramEntity.LinkageKind
    • dev.civl.abc.ast.node.IF.expression.QuantifiedExpressionNode.Quantifier
    • dev.civl.abc.ast.entity.IF.Scope.ScopeKind
    • dev.civl.abc.ast.type.IF.StandardBasicType.BasicTypeKind
    • dev.civl.abc.ast.type.IF.StandardSignedIntegerType.SignedIntKind
    • dev.civl.abc.ast.type.IF.StandardUnsignedIntegerType.UnsignedIntKind
    • dev.civl.abc.ast.node.IF.statement.StatementNode.StatementKind
    • dev.civl.abc.token.IF.StringLiteral.StringKind
    • dev.civl.abc.ast.type.IF.Type.TypeKind
    • dev.civl.abc.ast.node.IF.type.TypeNode.TypeNodeKind
    • dev.civl.abc.ast.value.IF.TypeValue.TypeValueKind
    • dev.civl.abc.ast.value.IF.ValueFactory.Answer
    • dev.civl.abc.ast.entity.IF.Variable.StorageDurationKind