ENCLOSED
DependencyTypes
ENUM
ba AccessModifier
EOptionP
fpcf
EP
fpcf
EPK
fpcf
EQ
RelationalOperators NumericConstraints
EXCEPTIONS
ba
EXTENDS
DependencyTypes
EffectivelyFinalField
properties
ElementValue
AnnotationDefault_attributeReader ElementValuePairsReader br AnnotationsBinding ClassFileReader da
ElementValueManifest
ElementValuePairsReader AnnotationsBinding ClassFileReader
ElementValuePair
ElementValuePairsReader br AnnotationsBinding ClassFileReader da
ElementValuePairManifest
ElementValuePairsReader AnnotationsBinding ClassFileReader
ElementValuePairs
AnnotationAbstractions ElementValuePairsReader br
ElementValuePairsReader
reader
ElementValues
ElementValuePairsReader
Empty
opalj
EmptyConstArray
ConstArray
EmptyIntArraySet
immutable
EmptyTypesSet
collection
EmptyUpperTypeBound
domain
EnclosingMethod
br
EnclosingMethodAttribute
bi
EnclosingMethod_attribute
EnclosingMethod_attributeReader EnclosingMethod_attributeBinding ClassFileReader da
EnclosingMethod_attributeBinding
reader
EnclosingMethod_attributeReader
reader
End
ProgressEvents
EnsembleID
Specification
EnsembleSymbolToSpecificationElementFactory
Specification
EnsembleToSourceElementMatcher
Specification
Entity
fpcf
EntityDerivationFunction
analyses
EntryPoint
properties
EntryPointAnalysisDemo
analyses
EntryPointContainer
cg
EntryPointInformation
cg
EntryPointKey
cg
EntryPointsAnalysis
analyses
EnumValue
ElementValuePairsReader br AnnotationsBinding ClassFileReader da
EqualSets
collection
Equals
checking
Error
ObjectType log
EscapeAnalysis
analyses
EscapeAnalysisDemo
analyses
EscapeProperty
properties
EscapePropertyMetaInformation
properties
Exception
ObjectType
ExceptionHandler
ClassFileReader br
ExceptionHandlerElement
ba
ExceptionHandlerGenerator
ba
ExceptionHandlers
Code_attributeReader br
ExceptionInInitializerError
ObjectType
ExceptionIndexTable
Exceptions_attributeReader
ExceptionLogMessage
log
ExceptionTable
br da
ExceptionTableEntry
Code_attributeReader CodeAttributeBinding ClassFileReader da
ExceptionTableEntryManifest
Code_attributeReader CodeAttributeBinding ClassFileReader
ExceptionUsage
ai
ExceptionUsageAnalysisDomain
ai
ExceptionValue
ValuesDomain
ExceptionValues
ValuesDomain
Exceptions
br
ExceptionsAttribute
bi
ExceptionsFactory
ai
ExceptionsRaisedByCalledMethod
ai
ExceptionsRaisedByCalledMethods
ai
ExceptionsToXHTMLTableElements
Code
Exceptions_attribute
Exceptions_attributeReader Exceptions_attributeBinding ClassFileReader da
Exceptions_attributeBinding
reader
Exceptions_attributeManifest
Exceptions_attributeReader Exceptions_attributeBinding ClassFileReader
Exceptions_attributeReader
reader
ExecutionContextN
concurrent
ExitNode
cfg
ExplicitLocalVariableIndex
instructions
ExplicitlyNamedProperty
fpcf
Exports
Module_attributeReader br
ExportsEntry
Module_attributeReader Module_attributeBinding ClassFileReader da
ExportsEntryManifest
Module_attributeReader Module_attributeBinding ClassFileReader
ExportsTo
Module_attributeReader
ExportsToEntry
Module_attributeReader Module_attributeBinding ClassFileReader da
ExportsToEntryManifest
Module_attributeReader Module_attributeBinding ClassFileReader
Expr
tac
ExprStmt
tac
ExpressionResultLocation
instructions
ExtVTACallGraphAlgorithmConfiguration
cg
ExtVTACallGraphDomain
cg
Externalizable
ObjectType
Extractor
CHACallGraphAlgorithmConfiguration CallGraphAlgorithmConfiguration VTACallGraphAlgorithmConfiguration
e
ConcurrentResult EOptionP EP EPK ImmediateResult IntermediateResult Result SuspendedPC
edges
UnidirectionalGraph
elementType
ArrayType NEWARRAY
elementTypeAsJava
ArrayTypeInfo
elementTypeComputationalType
AALOAD AASTORE ArrayAccessInstruction BALOAD BASTORE CALOAD CASTORE DALOAD DASTORE FALOAD FASTORE IALOAD IASTORE LALOAD LASTORE SALOAD SASTORE
elementTypeIsBaseType
ArrayTypeInfo ObjectTypeInfo PrimitiveTypeInfo TypeInfo VoidTypeInfo
elementValuePairs
AnnotatedWith Annotation TypeAnnotation
element_name_index
ElementValuePair
element_value
AnnotationDefault_attribute ElementValuePair
element_value_pairs
AbstractAnnotation Annotation TypeAnnotation
empty
ComputedCallGraph CalledMethodsStore Specification TypesSet Chain ConstArray IntArraySet UIDSet ArrayMap IntArrayStack Locals Graph
enableSuppression
IncompatibleNumericConstraints
enclosingMethod
ClassFile
end
ProgressManagement
endPC
ExceptionHandler BasicBlock CatchNode
endPC_=
BasicBlock
end_pc
ExceptionTableEntry
enqueue
IntQueue
ensemble
Specification
ensembleExtentsToString
Specification
ensembleToString
Specification
ensembles
PropertyChecker Specification LocalOutgoingAnnotatedWithConstraint LocalOutgoingShouldExtendConstraint LocalOutgoingShouldImplementMethodConstraint
entities
PropertyStore
entitiesByProperty
AnalysisDemo
entityDerivationFunction
AllocationSitesKey FormalParametersKey
entitySelector
PropertyStore FieldMutabilityAnalysis JavaEEEntryPointsAnalysis
entries
ArrayMap
entryPoints
ComputedCallGraph JDKTaintAnalysis AIProject
enumType
EnumValue
equalParameters
MethodDescriptor
equals
ConcreteArrayValue InitializedArrayValue ClassValue AnIntegerValue IntegerRange AnIntegerValue BaseTypesBasedSet IntegerSet AnIntegerValue TheIntegerValue ALongValue LongSet TheLongValue ArrayValue MObjectValue MultipleReferenceValues NullValue SObjectValue StringBuilderValue StringValue BinaryString AllocationSite ClassFile ConstantDouble ConstantFloat MethodSignature VirtualClass VirtualField VirtualMethod FormalParameter MethodDeclarationContext TypesSet ALOAD BIPUSH DLOAD FLOAD ILOAD LLOAD UIDValue ConstArray EmptyIntArraySet IdentityPair IntArraySet1 IntArraySet2 IntArraySet3 IntArraySetN ArrayMap EP EPK IntermediateResult Node
equalsMethodSignature
ClassFileFactory
error
OPALLogger TAC
establishConstraint
ConstraintsBetweenIntegerValues
establishedConstraint
AITracer ConsoleEvaluationTracer ConsoleTracer MultiTracer XHTMLTracer
eval
UIDSetDemo
evalAdd
UIDSetDemo
evaluate
Comparator DefaultFeatureQuery DefaultGroupedFeaturesQuery FieldAccessStatistics
evaluateFeatureGroups
DefaultGroupedFeaturesQuery
evaluated
AIResult InterpretationFailedException
evaluatedInstructions
AIResult
evaluatedInstructionsToXHTML
XHTML
evaluationCompleted
CoreDomainFunctionality PerInstructionPostProcessing
every_element_should_be_annotated_with
SpecificationFactory
every_element_should_extend
SpecificationFactory
every_element_should_implement_method
SpecificationFactory
evps
AbstractAnnotation
ex1
tutorial
except
SourceElementsMatcher
exception
Throw
exceptionHandlerSuccessorsOf
RecordCFG
exceptionHandlers
Code TACode
exceptionHandlersFor
Code
exceptionLocations
CaughtException
exceptionTable
JVMMethod Code_attribute
exceptionType
ExceptionUsage CaughtException
exceptionTypes
EXCEPTIONS
exception_handlersAsXHTML
Code_attribute
exception_index_table
Exceptions_attribute
exception_table_index
TAOfCatch TATCatch
exceptions
Computation ComputationFailed ComputationWithSideEffectOnly ComputationWithSideEffectOrException ComputedValue ComputedValueOrException ThrowsException ExceptionTable
exceptionsSpan
Exceptions_attribute
execute
PropertyStore
executionContext
Tasks
exists
Code TypeHierarchyInformation Chain EmptyIntArraySet IntArraySet IntArraySet1 IntArraySet2 IntArraySet3 IntArraySetN UIDSet0 UIDSet1 UIDSet2 UIDTrieSetNodeLike Locals
existsSubclass
ClassHierarchy
explanation
NoExceptionsAreThrown
exportCSV
HermesCore
exportFlare
Hermes
exports
Exports Module Module_attribute
exportsTo
Exports
exports_index
ExportsEntry
exports_to
ExportsEntry
exports_to_index
ExportsToEntry
expr
Assignment ExprStmt ReturnValue
expressionResult
ARRAYLENGTH ATHROW ArrayLoadInstruction ArrayStoreInstruction CHECKCAST ControlTransferInstructionLike CreateNewArrayInstruction FieldReadAccess FieldWriteAccess IINC INSTANCEOF InstructionLike InvocationInstruction LoadConstantInstruction LoadLocalVariableInstruction NEW NOP NumericConversionInstruction ReturnInstruction StackBasedArithmeticInstruction StackManagementInstruction StoreLocalVariableInstruction SynchronizationInstruction WIDE
extend
Project
extension
AllClasses DefaultClassMatcher FieldMatcher MethodMatcher NoSourceElementsMatcher PackageMatcher SourceElementsMatcher
extensions
Feature
extract
CHACallGraphExtractor CallGraphExtractor VTACallGraphExtractor
extractSynthesizedClassFiles
ClassFileBinding