I2B
instructions
I2C
instructions
I2D
instructions
I2F
instructions
I2L
instructions
I2S
instructions
IADD
instructions
IALOAD
instructions
IAND
instructions
IASTORE
instructions
ICONST_0
instructions
ICONST_1
instructions
ICONST_2
instructions
ICONST_3
instructions
ICONST_4
instructions
ICONST_5
instructions
ICONST_M1
instructions
IConstInstruction
instructions
IDIV
instructions
IDLFileOutputNameMatcher
Console
IF0Instruction
instructions
IF0InstructionLike
instructions
IFACMPInstruction
instructions
IFACMPInstructionLike
instructions
IFEQ
instructions BytecodeInstructionsCache
IFEQLike
instructions
IFGE
instructions BytecodeInstructionsCache
IFGELike
instructions
IFGT
instructions BytecodeInstructionsCache
IFGTLike
instructions
IFICMPInstruction
instructions
IFICMPInstructionLike
instructions
IFLE
instructions BytecodeInstructionsCache
IFLELike
instructions
IFLT
instructions BytecodeInstructionsCache
IFLTLike
instructions
IFNE
instructions BytecodeInstructionsCache
IFNELike
instructions
IFNONNULL
instructions BytecodeInstructionsCache
IFNONNULLLike
instructions
IFNULL
instructions BytecodeInstructionsCache
IFNULLLike
instructions
IFXNullInstruction
instructions
IFXNullInstructionLike
instructions
IF_ACMPEQ
instructions BytecodeInstructionsCache
IF_ACMPEQLike
instructions
IF_ACMPNE
instructions BytecodeInstructionsCache
IF_ACMPNELike
instructions
IF_ICMPEQ
instructions BytecodeInstructionsCache
IF_ICMPEQLike
instructions
IF_ICMPGE
instructions BytecodeInstructionsCache
IF_ICMPGELike
instructions
IF_ICMPGT
instructions BytecodeInstructionsCache
IF_ICMPGTLike
instructions
IF_ICMPLE
instructions BytecodeInstructionsCache
IF_ICMPLELike
instructions
IF_ICMPLT
instructions BytecodeInstructionsCache
IF_ICMPLTLike
instructions
IF_ICMPNE
instructions BytecodeInstructionsCache
IF_ICMPNELike
instructions
IINC
instructions
ILOAD
instructions BytecodeInstructionsCache
ILOAD_0
instructions
ILOAD_1
instructions
ILOAD_2
instructions
ILOAD_3
instructions
ILoadInstruction
instructions
IMPLEMENTS
DependencyTypes
IMUL
instructions
INCOMPLETE_INVOKEDYNAMIC
instructions
INEG
instructions
INNER_CLASS
AccessFlagsContexts DependencyTypes
INNER_CLASS_FLAGS
AccessFlagsContexts
INNER_CLASS_VISIBILITY_FLAGS
AccessFlagsContexts
INSTANCEOF
instructions BytecodeInstructionsCache
INSTANCE_MEMBER
DependencyTypes
INTERFACE
ba AccessModifier
INVOKEDYNAMIC
instructions
INVOKEINTERFACE
instructions
INVOKESPECIAL
instructions
INVOKESTATIC
instructions
INVOKEVIRTUAL
instructions
IOR
instructions
IREM
instructions
IRETURN
instructions
ISHL
instructions
ISHR
instructions
ISTORE
instructions BytecodeInstructionsCache
ISTORE_0
instructions
ISTORE_1
instructions
ISTORE_2
instructions
ISTORE_3
instructions
ISUB
instructions
IStoreInstruction
instructions
ITEM_Double
VerificationTypeInfoItem VerificationTypeInfo
ITEM_Float
VerificationTypeInfoItem VerificationTypeInfo
ITEM_Integer
VerificationTypeInfoItem VerificationTypeInfo
ITEM_Long
VerificationTypeInfoItem VerificationTypeInfo
ITEM_Null
VerificationTypeInfoItem VerificationTypeInfo
ITEM_Object
VerificationTypeInfoItem VerificationTypeInfo
ITEM_Top
VerificationTypeInfoItem VerificationTypeInfo
ITEM_UninitializedThis
VerificationTypeInfoItem VerificationTypeInfo
ITEM_Unitialized
VerificationTypeInfoItem VerificationTypeInfo
IUSHR
instructions
IXOR
instructions
Id
DomainId TaintAnalysisDomain
IdBasedVar
tac
IdentifyDeadVariables
AI
IdentifyResourcesAnalysis
base ex1
IdentityBasedCorrelationChangeDetection
ai
IdentityPair
immutable
If
tac
IfNullParameterAnalysis
l1
IgnoreSynchronization
domain
IllegalIndex
Instruction
IllegalMonitorStateException
ExceptionsFactory DefaultExceptionsFactory ObjectType
IllegalValue
ValuesDomain
ImmediateMultiResult
fpcf
ImmediateResult
fpcf
ImmutabilityAnalysisDemo
analyses
ImmutabilityAnalysisRunner
fpcf
ImmutableObject
properties
ImmutableType
properties
ImplicitLocalVariableIndex
instructions
ImplicitValue
instructions
ImpossibleRefinement
domain
Impure
properties
InMemoryClassLoader
util
IncompatibleNumericConstraints
constraints
IncompleteCollection
collection
IncompleteEmptyChain
Chain
InconsistentProjectException
analyses
InconsistentSynchronization
IssueKind
IncrementalResult
fpcf
IndexOutOfBoundsException
ObjectType
InfiniteLoopMethodsFeatureId
MethodsWithoutReturns
InfiniteRecursion
ai
InfiniteRecursions
ai
InfiniteRecursionsDomain
ai
Info
log
InheritableByNewSubtypesAnalysis
analyses
InheritableByNewTypes
properties
InitializedArrayValue
ReferenceValuesFactory TypeLevelReferenceValues ArrayValues DefaultArrayValuesBinding ReferenceValues
InitializedObjectValue
ReferenceValuesFactory TypeLevelReferenceValues ReferenceValues
InjectedClassesInformation
analyses
InjectedClassesInformationAnalysis
analyses
InjectedClassesInformationKey
analyses
InnerClass
br
InnerClassTable
br
InnerClasses
InnerClasses_attributeReader br
InnerClassesAttribute
bi
InnerClassesEntry
InnerClasses_attributeReader InnerClasses_attributeBinding ClassFileReader da
InnerClassesEntryManifest
InnerClasses_attributeReader InnerClasses_attributeBinding ClassFileReader
InnerClasses_attribute
InnerClasses_attributeReader InnerClasses_attributeBinding ClassFileReader da
InnerClasses_attributeBinding
reader
InnerClasses_attributeReader
reader
InstanceAPIMethod
util
InstanceFunctionCall
tac
InstanceMethodCall
tac
InstanceOf
TypeAnnotationTargetReader TypeAnnotationsBinding ClassFileReader tac
Instantiability
properties
InstantiabilityPropertyMetaInformation
properties
Instantiable
properties
InstantiableClasses
analyses
InstantiableClassesAnalysis
analyses
InstantiableClassesKey
analyses
Instruction
instructions
InstructionCountBoundedAI
ai
InstructionElement
ba
InstructionLike
instructions
InstructionLikeElement
ba
InstructionLocation
hermes issues
InstructionStatistics
viz
Instructions
CodeReader Code_attributeReader br BytecodeReaderAndBinding CachedBytecodeReaderAndBinding CodeBinding InstructionsDeserializer ClassFileReader
InstructionsContainer
br
InstructionsDeserializer
reader
IntArraySet
immutable
IntArraySet1
immutable
IntArraySet2
immutable
IntArraySet3
immutable
IntArraySetBuilder
immutable
IntArraySetN
immutable
IntArrayStack
mutable
IntConst
tac
IntLikeType
br
IntQueue
mutable
IntReturnValue
OperandVar
IntStatistics
util
IntStatisticsKey
analyses
IntToByte
TypeConversionFactory
IntToChar
TypeConversionFactory
IntToDouble
TypeConversionFactory
IntToFloat
TypeConversionFactory
IntToLong
TypeConversionFactory
IntToShort
TypeConversionFactory
IntTypeInfo
da
IntValue
ElementValuePairsReader br AnnotationsBinding ClassFileReader da
Integer
ObjectType
IntegerConstant0
IntegerValuesFactory
IntegerDivideInstruction
instructions
IntegerLikeValue
IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
IntegerRange
IntegerRangeValuesFactory DefaultIntegerRangeValues IntegerRangeValues IntegerSetValues
IntegerRangeValues
l1
IntegerRangeValuesFactory
ai
IntegerRemainderInstruction
instructions
IntegerSet
DefaultIntegerSetValues IntegerSetValues
IntegerSetValues
l1
IntegerType
br
IntegerValue
IntegerValuesFactory DefaultTypeLevelIntegerValues TypeLevelIntegerValues DefaultIntegerRangeValues DefaultIntegerSetValues DefaultIntegerValues DefaultPreciseIntegerValues PreciseIntegerValues
IntegerValueOrArithmeticException
IntegerValuesDomain
IntegerValues
l1
IntegerValuesDomain
ai
IntegerValuesFactory
ai
IntegerVariableInfo
VerificationTypeInfoReader br StackMapTable_attributeBinding ClassFileReader da
InterfaceForNewSubtypes
properties
Interfaces
da
IntermediateResult
fpcf
IntermediateUpdate
fpcf
InterpretMethod
ai
InterpretMethods
debug
InterpretMethodsAnalysis
debug
InterpretationFailedException
ai
InterruptableAI
ai
InvocationBugPickerAnalysisDomain
analyses
InvocationInstruction
instructions
Invoke
DataFlowProblem
InvokeInterfaceMethodHandle
br
InvokeSpecialMethodHandle
br
InvokeStaticMethodHandle
br
InvokeVirtualMethodHandle
br
Invokedynamic
tac
InvokedynamicPrinter
br
IsBooleanValue
ai
IsByteValue
ai
IsCharValue
ai
IsClientCallable
properties
IsDoubleValue
ai
IsEntryPoint
properties
IsFactoryMethod
properties
IsFloatValue
ai
IsInheritableByNewTypes
properties
IsIntegerValue
ai
IsLongValue
ai
IsNull
TypeLevelReferenceValues
IsNullValue
ai
IsPrecise
TypeLevelReferenceValues
IsPrimitiveValue
ai
IsReferenceValue
ai
IsReturned
UsageKind
IsShortValue
ai
IsThrown
UsageKind
Issue
issues
IssueCategory
issues
IssueDetails
issues
IssueDetailsWrites
issues
IssueKind
issues
IssueKindsPattern
Console
IssueLocation
issues
IssueLocationWrites
issues
IssueOrdering
issues
IssueRepresentations
issues
i
IntArraySet1
i1
IntArraySet2 IntArraySet3
i2
IntArraySet2 IntArraySet3
i2b
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
i2c
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
i2d
PrimitiveValuesConversionsDomain ValuesCoordinatingDomain TypeLevelPrimitiveValuesConversions ConcretePrimitiveValuesConversions
i2f
PrimitiveValuesConversionsDomain ValuesCoordinatingDomain TypeLevelPrimitiveValuesConversions ConcretePrimitiveValuesConversions
i2l
PrimitiveValuesConversionsDomain ValuesCoordinatingDomain TypeLevelPrimitiveValuesConversions ConcretePrimitiveValuesConversions
i2lBitMask
opalj
i2s
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
i3
IntArraySet3
iadd
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
iaload
ReferenceValuesDomain GeneralizedArrayHandling
iand
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
iastore
ReferenceValuesDomain GeneralizedArrayHandling
id
DomainId SingleOriginReferenceValue CalledTaintAnalysisDomain RootTaintAnalysisDomain CATCH ExceptionHandlerElement TRY TRYEND ArrayType BooleanType ByteType Category1ComputationalTypeCategory Category2ComputationalTypeCategory CharType ClassFile ComputationalTypeCategory DoubleType FloatType IntegerType LongType ObjectType ReferenceType ShortType Type SUID VoidType UID Code FinalUpdate IntermediateUpdate PropertyKey PropertyKind PropertyMetaInformation UpdateType Feature FeatureQuery ProjectConfiguration ProjectFeatures Error Info Level Warn IdBasedVar SimpleVar
identifier
FormalTypeParameter TypeVariableSignature MutableNode MutableNodeLike
identifierParser
SignatureParsers
identifierToString
MutableNode MutableNodeLike
idiv
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
ifKnown
ClassHierarchy
ifUnknown
Answer Unknown
iinc
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
immediateDominators
DominatorTree
immutable
collection
implementsInterface
DefaultClassMatcher
imul
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
includes
UIDSet
incomingDependencies
Specification
incrementCount
Counting
index
LocalVariable LocalVariableType LocalvarTableEntry TAOnTypeArgument BasicBlock CatchNode Register LocalVariableTableEntry LocalVariableTypeTableEntry LocalvarTableEntry ArrayLoad ArrayStore Switch
indexOf
Locals
indexOfNextInstruction
ATHROW ConstantLengthInstruction ExplicitLocalVariableIndex IINC InstructionLike LOOKUPSWITCHLike TABLESWITCHLike
indexOfReadLocal
ARRAYLENGTH ATHROW ArrayLoadInstruction ArrayStoreInstruction CHECKCAST ConditionalBranchInstructionLike CreateNewOneDimensionalArrayInstruction FieldAccess IINC INSTANCEOF InstructionLike InvocationInstruction LoadConstantInstruction LoadLocalVariableInstruction MULTIANEWARRAY NEW NOP NumericConversionInstruction RET ReturnInstruction StackBasedArithmeticInstruction StackManagementInstruction StoreLocalVariableInstruction SynchronizationInstruction UnconditionalBranchInstructionLike WIDE
indexOfWrittenLocal
ARRAYLENGTH ATHROW ArrayLoadInstruction ArrayStoreInstruction CHECKCAST ConditionalBranchInstructionLike CreateNewOneDimensionalArrayInstruction FieldAccess IINC INSTANCEOF InstructionLike InvocationInstruction LoadConstantInstruction LoadLocalVariableInstruction MULTIANEWARRAY NEW NOP NumericConversionInstruction RET ReturnInstruction StackBasedArithmeticInstruction StackManagementInstruction StoreLocalVariableInstruction SynchronizationInstruction UnconditionalBranchInstructionLike WIDE
ineg
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
info
UnknownAttribute Unknown_attribute OPALLogger
inheritability
AnalysisModeSpecific
inifiniteRecursions
InfiniteRecursions
initExtractor
CHACallGraphAlgorithmConfiguration
initProperties
CustomInitialization CurrentCode MonitorInstructionsTracker RecordCFG RecordDefUse RecordReturnedValues PropertyTracing
initial
LongRange DefiniteLongValue
initialLocals
AI AITracer ConsoleTracer MultiTracer XHTMLTracer
initialOperands
AI
initialPropertyValue
PropertyTracing SimpleBooleanPropertyTracing
initialize
HermesCore
initializeSourcesAndSinks
DataFlowProblem DataFlowProblemSpecification SourcesAndSinks
injectAnnotation
JavaEEEntryPointsAnalysis
injectedTypes
InjectedClassesInformation
innerClassAccessFlags
InnerClass
innerClassType
InnerClass
innerClasses
ClassFile InnerClassTable
innerName
InnerClass
inner_class_access_flags
InnerClassesEntry
inner_class_info_index
InnerClassesEntry
inner_name_index
InnerClassesEntry
insertBefore
util
insertBeforeIfNew
util
inspectMethod
TaintAnalysisDomain
instance
dataflow
instanceCall
ProjectLike
instanceMethods
ClassFile Project ProjectLike
instantiate
ProjectConfiguration
instruction
FlowEntity AnnotatedInstructionElement InstructionElement InstructionLikeElement CodeComprehension
instructionEvalution
AITracer ConsoleEvaluationTracer ConsoleTracer MultiTracer XHTMLTracer
instructionToInstructionElement
CodeElement
instructions
TheCodeStructure Code br Code
instructionsCount
Code
instructionsOption
Code InstructionsContainer JVMMethod
instructionsToXHTML
XHTML
intAreEqual
IntegerValuesDomain TypeLevelIntegerValues ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intAreNotEqual
IntegerValuesDomain
intEstablishAreEqual
IntegerValuesDomain ReifiedConstraints ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues PreciseIntegerValues
intEstablishAreNotEqual
IntegerValuesDomain ReifiedConstraints ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues
intEstablishIsLessThan
IntegerValuesDomain ReifiedConstraints ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues
intEstablishIsLessThanOrEqualTo
IntegerValuesDomain ReifiedConstraints ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues
intEstablishValue
IntegerValuesDomain ReifiedConstraints ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues PreciseIntegerValues
intIs0
IntegerValuesDomain
intIsGreaterThan
IntegerValuesDomain
intIsGreaterThan0
IntegerValuesDomain
intIsGreaterThanOrEqualTo
IntegerValuesDomain
intIsGreaterThanOrEqualTo0
IntegerValuesDomain
intIsLessThan
IntegerValuesDomain TypeLevelIntegerValues ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intIsLessThan0
IntegerValuesDomain
intIsLessThanOrEqualTo
IntegerValuesDomain TypeLevelIntegerValues ConstraintsBetweenIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intIsLessThanOrEqualTo0
IntegerValuesDomain
intIsNot0
IntegerValuesDomain
intIsSomeValueInRange
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intIsSomeValueNotInRange
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intToInteger
Graph
intValue
ConcreteIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intValueOption
ConcreteIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
intValues
IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
interfaceBound
FormalTypeParameter
interfaceBoundParser
SignatureParsers
interfaceCall
AnalysisContext AnalysisContext ProjectLike
interfaceTypes
ClassFile TypeHierarchyInformation
interfaces
ClassFile
interpret
InterpretMethodsAnalysis
interrupt
InterruptableAI
inverse
DependencyAnalysis NumericConstraints
invokeReflective
ReflectiveInvoker
invokedynamic
MethodCallsDomain ValuesCoordinatingDomain SimpleTypeLevelInvokeInstructions TypeLevelInvokeInstructions
invokeinterface
MethodCallsDomain MethodCallsDomainWithMethodLockup ValuesCoordinatingDomain SimpleTypeLevelInvokeInstructions TypeLevelInvokeInstructions PerformInvocations TaintAnalysisDomain
invokespecial
MethodCallsDomain MethodCallsDomainWithMethodLockup ValuesCoordinatingDomain SimpleTypeLevelInvokeInstructions TypeLevelInvokeInstructions StringValues PerformInvocations TaintAnalysisDomain
invokestatic
MethodCallsDomain MethodCallsDomainWithMethodLockup SpecialMethodsHandling ValuesCoordinatingDomain SimpleTypeLevelInvokeInstructions TypeLevelInvokeInstructions ClassValues PerformInvocations TaintAnalysisDomain
invokevirtual
MethodCallsDomain MethodCallsDomainWithMethodLockup ValuesCoordinatingDomain SimpleTypeLevelInvokeInstructions TypeLevelInvokeInstructions PerformInvocations TaintAnalysisDomain BasePerformInvocationBugPickerAnalysisDomain
io
opalj
ior
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
irem
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
ireturn
ReturnInstructionsDomain DefaultHandlingForReturnInstructions RecordCFG RecordReturnFromMethodInstructions RecordReturnedValuesInfrastructure ValuesCoordinatingDomain DefaultTypeLevelHandlingForReturnInstructions
is
EOptionP
isAbnormalReturnExitNode
BasicBlock CFGNode CatchNode ExitNode
isAbstract
ClassFile JVMMethod
isAccessed
FieldAccessInformation
isAnnotationDeclaration
ClassFile
isAnonymousInnerClass
ClassFile
isApplicationLike
AnalysisModes
isArrayType
ArrayType Type
isAssignable
ArrayValue ArrayValue
isAugmentedType
MicroPatterns
isBaseType
BaseType Type
isBasicBlock
BasicBlock CFGNode CatchNode ExitNode
isBooleanType
BooleanType Type
isBox
MicroPatterns
isBridge
JVMMethod
isByteType
ByteType Type
isCanopy
MicroPatterns
isCatchNode
BasicBlock CFGNode CatchNode ExitNode
isCharType
CharType Type
isClass
ClassFile SourceElement VirtualClass
isClassConst
ClassConst Expr
isClassDeclaration
ClassFile
isClassFileRepository
ClassFileReader
isClosedLibrary
FPCFAnalysis
isCobolLike
MicroPatterns
isCommonState
MicroPatterns
isComplete
CompleteCollection IncompleteCollection QualifiedCollection
isCompoundBox
MicroPatterns
isComputationalTypeReturnAddress
ComputationalType ComputationalTypeDouble ComputationalTypeFloat ComputationalTypeInt ComputationalTypeLong ComputationalTypeReference ComputationalTypeReturnAddress
isConditionallyImmutable
AtLeastConditionallyImmutableType ConditionallyImmutableType ImmutableType MutableType TypeImmutability UnknownTypeImmutability
isConstructor
JVMMethod
isCurrentJREAtLeastJava8
bi
isDataManager
MicroPatterns
isDeprecated
CommonSourceElementAttributes
isDerived
FPCFAnalysesManager
isDesignator
MicroPatterns
isDesktopApplication
AnalysisModes FPCFAnalysis
isDirectRegularPredecessorOf
RecordCFG
isDirectSuperclassTypeInformationComplete
ClassHierarchy
isDirectlyOverriddenBy
MethodDeclarationContext
isDoubleConst
DoubleConst Expr
isDoubleType
DoubleType Type
isEffectivelyFinal
ClassFile FieldMutability FinalField NonFinalField
isEffectivelyImmutable
ArrayValues
isEmpty
Result TypesSet :&: EmptyIntArraySet IntArraySet IntArraySet1 IntArraySet2 IntArraySet3 IntArraySetN Naught NonEmptyUIDSet UIDSet0 IntArrayStack IntQueue Locals
isEnabled
Query
isEntryPoint
EntryPointInformation
isEnumDeclaration
ClassFile
isExitNode
BasicBlock CFGNode CatchNode ExitNode
isExtender
MicroPatterns
isExtensible
PerformInvocationsWithBasicVirtualMethodCallResolution
isField
Field FieldTemplate SourceElement VirtualField
isFieldType
FieldType Type
isFinal
ClassFile ClassMember MethodParameter Property
isFloatConst
Expr FloatConst
isFloatType
FloatType Type
isFunctionObject
MicroPatterns
isFunctionPointer
MicroPatterns
isGetter
MicroPatterns
isGotoInstruction
GotoInstruction Instruction
isImmutable
MicroPatterns
isImplementor
MicroPatterns
isIncomplete
QualifiedCollection
isInheritable
AnalysisModeSpecific InheritableByNewTypes IsInheritableByNewTypes NotInheritableByNewTypes
isInitMethod
MicroPatterns
isInitializer
JVMMethod
isInjected
InjectedClassesInformation
isInnerClass
ClassFile
isInstanceMethod
INVOKEDYNAMIC INVOKEINTERFACE INVOKESPECIAL INVOKESTATIC INVOKEVIRTUAL InvocationInstruction
isIntConst
Expr IntConst
isIntLikeType
IntLikeType Type
isIntegerType
IntegerType Type
isInterface
ClassHierarchy InvokeSpecialMethodHandle InvokeStaticMethodHandle INVOKESPECIAL INVOKESTATIC Call NonVirtualFunctionCall NonVirtualMethodCall StaticFunctionCall StaticMethodCall VirtualFunctionCall VirtualMethodCall
isInterfaceCall
INVOKEINTERFACE INVOKESPECIAL INVOKESTATIC INVOKEVIRTUAL MethodInvocationInstruction
isInterfaceDeclaration
ClassFile
isInterfaceMethodRef
AsMethodref CONSTANT_InterfaceMethodref_info CONSTANT_Methodref_info
isInterfaceType
TypeDeclaration
isInterrupted
AI BaseAI BoundedInterruptableAI CountingAI InstructionCountBoundedAI InterruptableAI TimeBoundedAI PerformAI ProgressManagement PropertyStore FeatureQuery
isInvokeStaticMethodHandle
InvokeStaticMethodHandle MethodHandle
isIrrelevantInvoke
TaintAnalysisDomain
isIsomorphic
ARRAYLENGTH ATHROW ArithmeticInstruction ArrayAccessInstruction BIPUSH CHECKCAST CreateNewArrayInstruction ExplicitLocalVariableIndex FieldAccess GotoInstructionLike INSTANCEOF ImplicitLocalVariableIndex ImplicitValue InstructionLike InvocationInstruction JSRInstruction LDC LDC_W LOOKUPSWITCH LabeledJSR LabeledJSR_W LabeledLOOKUPSWITCH LabeledTABLESWITCH LoadDouble LoadFloat LoadFloat_W LoadLong NEW NOP NumericConversionInstruction RET ReturnInstruction SIPUSH SimpleConditionalBranchInstructionLike StackManagementInstruction SynchronizationInstruction TABLESWITCH WIDE
isJEE6WebApplication
AnalysisModes
isJEEApplication
FPCFAnalysis
isJava8LikeLambdaExpression
Java8LambdaExpressionsRewriting
isJoiner
MicroPatterns
isKnown
ClassHierarchy PropertyStore
isKnownToBeFinal
ClassHierarchy
isLibraryLike
AnalysisModes
isLibraryType
Project
isLongConst
Expr LongConst
isLongType
LongType Type
isMandated
MethodParameter
isMandatedParameter
JVMMethod
isMetaInformationUpdate
MetaInformationUpdate MetaInformationUpdateType NoUpdateType StructuralUpdateType Update UpdateType
isMethod
Method MethodTemplate SourceElement VirtualMethod
isModifiedByWide
Code
isModuleDeclaration
ClassFile
isMonitorInstructionUsed
MonitorInstructionsTracker
isMorePreciseThan
Value
isMutable
AtLeastConditionallyImmutableObject AtLeastConditionallyImmutableType ClassImmutability ConditionallyImmutableObject ConditionallyImmutableType ImmutableObject ImmutableType MutableObject MutableType TypeImmutability UnknownClassImmutability UnknownTypeImmutability
isNative
JVMMethod
isNativeAndVarargs
JVMMethod Method
isNewInvokeSpecial
ClassFileFactory
isNo
Answer No Unknown Yes
isNoOrUnknown
Answer
isNoUpdate
NoUpdate SomeUpdate Update
isNormalReturnExitNode
BasicBlock CFGNode CatchNode ExitNode
isNotAbstract
JVMMethod
isNotFinal
ClassMember
isNotInstantiable
InstantiableClasses
isNotNo
Answer No Unknown Yes
isNotStatic
ClassMember
isNotYes
Answer No Unknown Yes
isNull
IsReferenceValue NullValue ReferenceValues ArrayValue MObjectValue MultipleReferenceValues SObjectValue
isNullExpr
Expr NullExpr
isNumericType
NumericType Type
isObjectMethod
MicroPatterns
isObjectSerializationRelated
Method
isObjectType
ObjectType Type
isObjectVariableInfo
ObjectVariableInfo VerificationTypeInfo
isOpenLibrary
FPCFAnalysis
isOrdered
OrderedProperty
isOutline
MicroPatterns
isOverrider
MicroPatterns
isPackagePrivate
ClassMember
isPackageVisible
ClassFile
isPool
MicroPatterns
isPostfixOperator
UnaryArithmeticInstruction
isPotentiallySerializationRelated
CallGraphFactory
isPrecise
IsReferenceValue NullValue ReferenceValue ReferenceValues ArrayValue MultipleReferenceValues SObjectValue
isPrefixOperator
IINC NegateInstruction UnaryArithmeticInstruction
isPrimitiveTypeWrapper
ObjectType
isPrimitiveTypeWrapperOf
ObjectType
isPrimitiveValue
IsPrimitiveValue IsReferenceValue TypeInformation UnknownType
isPrivate
ClassMember
isProjectType
Project
isPropertyFinal
EOptionP EP EPK FinalEP
isProtected
ClassMember
isPseudoClass
MicroPatterns
isPublic
ClassFile ClassMember MethodDeclarationContext
isPureType
MicroPatterns
isRead
FieldAccessInformation
isRecord
MicroPatterns
isRecursiveCall
CalledTaintAnalysisDomain RootTaintAnalysisDomain TaintAnalysisDomain
isReferenceType
ReferenceType Type
isReferenceValue
IsPrimitiveValue IsReferenceValue TypeInformation UnknownType
isRefinable
EntryPoint
isRefineable
MethodReturnValue Property AllThrownExceptions ArgEscape AtLeastConditionallyImmutableObject AtLeastConditionallyImmutableType CallBySignature ClientCallable ConditionallyImmutableObject ConditionallyImmutableType ConditionallyPure ConditionallySideEffectFree DoesNotLeakSelfReference FieldMutability GlobalEscape ImmutableObject ImmutableType Impure InheritableByNewTypes Instantiable IsEntryPoint IsFactoryMethod LeaksSelfReference MayBeEntryPoint MaybeArgEscape MaybeInstantiable MaybeMethodEscape MaybeNoEscape MaybePure MethodComplexity MethodEscape MutableObject MutableType NoEntryPoint NoEscape NotFactoryMethod NotInstantiable ProjectAccessibility Pure SideEffectFree ThrownExceptionsAreUnknown UnknownClassImmutability UnknownTypeImmutability
isRegularPredecessorOf
RecordCFG
isRelevantValueReturned
TaintAnalysisDomain
isRestrictedCreation
MicroPatterns
isReturnInstruction
ReturnInstruction
isRuntimeVisible
AnnotationTable ParameterAnnotationTable RuntimeInvisibleAnnotationTable RuntimeInvisibleParameterAnnotationTable RuntimeInvisibleTypeAnnotationTable RuntimeVisibleAnnotationTable RuntimeVisibleParameterAnnotationTable RuntimeVisibleTypeAnnotationTable TypeAnnotationTable
isSampler
MicroPatterns
isScalaSymbolExpression
Java8LambdaExpressionsRewriting
isSet
AccessFlag
isSetter
MicroPatterns
isShiftInstruction
AddInstruction ArithmeticInstruction BitwiseInstruction ComparisonInstruction DivideInstruction IINC MultiplyInstruction NegateInstruction RemainderInstruction ShiftInstruction SubtractInstruction
isShortType
ShortType Type
isShutdown
PropertyStore
isSideEffectFree
ASTNode ArrayLength ArrayLoad ArrayStore Assignment BinaryExpr CaughtException Checkcast Compare Const DVar ExprStmt GetField GetStatic Goto IdBasedVar If InstanceOf Invokedynamic JSR MethodCall MonitorEnter MonitorExit New NewArray NonVirtualFunctionCall Nop Param PrefixExpr PrimitiveTypecastExpr PutField PutStatic Ret Return ReturnValue StaticFunctionCall Switch Throw UVar VirtualFunctionCall
isSignaturePolymorphic
ProjectLike
isSingletonList
:&: Chain Naught
isSingletonSet
EmptyIntArraySet IntArraySet IntArraySet1 IntArraySet2 IntArraySet3 IntArraySetN UIDSet UIDSet0 UIDSet1 UIDSet2 UIDTrieSetNodeLike
isSink
MicroPatterns
isSomeUpdate
NoUpdate SomeUpdate Update
isStartOfSubroutine
BasicBlock CFGNode CatchNode ExitNode
isStateMachine
MicroPatterns
isStateless
MicroPatterns
isStatic
ClassMember
isStaticInitializer
JVMMethod
isStrict
JVMMethod
isStringConst
Expr StringConst
isStructuralUpdate
StructuralUpdate Update
isSubClass
DefaultClassMatcher
isSubtyeOf
ObjectType
isSubtypeOf
ReferenceValuesDomain TheClassHierarchy ClassHierarchy
isSupertypeInformationComplete
ClassHierarchy
isSynchronized
JVMMethod
isSynthetic
ClassMember CommonSourceElementAttributes MethodParameter
isSyntheticParameter
JVMMethod
isTainted
NotTainted TaintInformation TaintedValue
isTaxonomy
MicroPatterns
isTrait
MicroPatterns
isTransient
JVMField
isTraversableAgain
Chain
isUnknown
Answer No Unknown Yes ClassHierarchy
isUnknownValue
KnownType TypeInformation UnknownType
isUnregistered
OPALLogger
isVMLevelValue
ai
isValidSuccessorOf
OrderedProperty AtLeastConditionallyImmutableObject AtLeastConditionallyImmutableType ConditionallyImmutableObject ConditionallyImmutableType EscapeProperty ImmutableObject ImmutableType MutableObject MutableType UnknownClassImmutability UnknownTypeImmutability
isValueExpression
ArrayExpr BinaryExpr CaughtException Compare Expr FieldRead FunctionCall InstanceOf Invokedynamic New PrefixExpr PrimitiveTypecastExpr ValueExpr
isValueSubtypeOf
IsReferenceValue ReferenceValuesDomain ArrayValue MObjectValue SObjectValue TypeLevelReferenceValues NullValue MultipleReferenceValues
isVar
ArrayExpr BinaryExpr CaughtException Compare Const Expr FieldRead FunctionCall InstanceOf Invokedynamic New Param PrefixExpr PrimitiveTypecastExpr Var
isVarargs
JVMMethod
isVirtual
SourceElement VirtualSourceElement
isVirtualCallTarget
JVMMethod
isVirtualMethodCall
MethodInvocationInstruction NonVirtualMethodInvocationInstruction VirtualMethodInvocationInstruction
isVirtualMethodDeclaration
JVMMethod
isVirtualMethodReference
ClassFileFactory
isVirtualType
ClassFile
isVoid
FieldTypeInfo TypeInfo VoidTypeInfo
isVoidType
Type VoidType
isVolatile
JVMField
isWiderThan
ByteType CharType DoubleType FloatType IntegerType LongType NumericType ShortType
isWritten
FieldAccessInformation
isYes
Answer No Unknown Yes
isYesOrNo
Answer No Unknown Yes
isYesOrUnknown
Answer
is_not_allowed_to
SpecificationFactory
is_only_allowed_to
SpecificationFactory
is_only_to_be_used_by
SpecificationFactory
ishl
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
ishr
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
issues
opalj
isub
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
iterate
Code
iterateTo
control
iterateUntil
control
iterator
EmptyIntArraySet IntArraySet IntArraySet1 IntArraySet2 IntArraySet3 IntArraySetN UIDSet0 UIDSet1 UIDSet2 UIDTrieSetNodeLike IntArrayStack Locals
iushr
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues
ixor
IntegerValuesDomain TypeLevelIntegerValues IntegerRangeValues IntegerSetValues IntegerValues PreciseIntegerValues