All Classes
AbstractCFGVisualizer
AbstractMostlySingleton
AbstractMostlySingleton.State
AbstractNodeVisitor
AbstractValue
Analysis
Analysis.Worklist
AnalysisResult
ArrayAccessNode
ArrayCreationNode
ArrayTypeNode
AssertionErrorNode
AssignmentContext
AssignmentContext.AssignmentLhsContext
AssignmentContext.LambdaReturnContext
AssignmentContext.MethodParameterContext
AssignmentContext.MethodReturnContext
AssignmentNode
BinaryOperationNode
BitwiseAndNode
BitwiseComplementNode
BitwiseOrNode
BitwiseXorNode
Block
Block.BlockType
BlockImpl
BooleanLiteralNode
CaseNode
CFGBuilder
CFGBuilder.CFGTranslationPhaseOne
CFGBuilder.CFGTranslationPhaseThree
CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder
CFGBuilder.CFGTranslationPhaseTwo
CFGBuilder.ConditionalJump
CFGBuilder.ExtendedNode
CFGBuilder.ExtendedNode.ExtendedNodeType
CFGBuilder.Label
CFGBuilder.NodeHolder
CFGBuilder.NodeWithExceptionsHolder
CFGBuilder.PhaseOneResult
CFGBuilder.TryCatchFrame
CFGBuilder.TryFinallyFrame
CFGBuilder.TryFinallyScopeCell
CFGBuilder.TryFinallyScopeMap
CFGBuilder.TryFrame
CFGBuilder.TryStack
CFGBuilder.Tuple
CFGBuilder.UnconditionalJump
CFGProcessor
CFGProcessor.CFGProcessResult
CFGVisualizeLauncher
CFGVisualizer
CharacterLiteralNode
ClassDeclarationNode
ClassNameNode
ConditionalAndNode
ConditionalBlock
ConditionalBlockImpl
ConditionalNotNode
ConditionalOrNode
ConditionalTransferResult
Constant
Constant.Type
ConstantPropagationPlayground
ConstantPropagationStore
ConstantPropagationTransfer
ControlFlowGraph
Deterministic
DOTCFGVisualizer
DoubleLiteralNode
EqualToNode
ExceptionBlock
ExceptionBlockImpl
ExplicitThisLiteralNode
FieldAccessNode
FloatingDivisionNode
FloatingRemainderNode
FloatLiteralNode
FlowExpressions
FlowExpressions.ArrayAccess
FlowExpressions.ArrayCreation
FlowExpressions.ClassName
FlowExpressions.FieldAccess
FlowExpressions.LocalVariable
FlowExpressions.MethodCall
FlowExpressions.Receiver
FlowExpressions.ThisReference
FlowExpressions.Unknown
FlowExpressions.ValueLiteral
FunctionalInterfaceNode
GreaterThanNode
GreaterThanOrEqualNode
IdentityMostlySingleton
ImplicitThisLiteralNode
InstanceOfNode
IntegerDivisionNode
IntegerLiteralNode
IntegerRemainderNode
LambdaResultExpressionNode
LeftShiftNode
LessThanNode
LessThanOrEqualNode
LocalVariableNode
LongLiteralNode
MarkerNode
MethodAccessNode
MethodInvocationNode
MostlySingleton
NarrowingConversionNode
Node
NodeUtils
NodeVisitor
NotEqualNode
NullChkNode
NullLiteralNode
NumericalAdditionNode
NumericalMinusNode
NumericalMultiplicationNode
NumericalPlusNode
NumericalSubtractionNode
ObjectCreationNode
PackageNameNode
ParameterizedTypeNode
PrimitiveTypeNode
Pure
Pure.Kind
PurityChecker
PurityChecker.PurityCheckerHelper
PurityChecker.PurityResult
PurityUtils
RegularBlock
RegularBlockImpl
RegularTransferResult
ReturnNode
ShortLiteralNode
SideEffectFree
SignedRightShiftNode
SingleSuccessorBlock
SingleSuccessorBlockImpl
SpecialBlock
SpecialBlock.SpecialBlockType
SpecialBlockImpl
Store
Store.FlowRule
Store.Kind
StringCFGVisualizer
StringConcatenateAssignmentNode
StringConcatenateNode
StringConversionNode
StringLiteralNode
SuperNode
SynchronizedNode
TerminatesExecution
TernaryExpressionNode
ThisLiteralNode
ThrowNode
TransferFunction
TransferInput
TransferResult
TypeCastNode
UnaryOperationNode
UnderlyingAST
UnderlyingAST.CFGLambda
UnderlyingAST.CFGMethod
UnderlyingAST.CFGStatement
UnderlyingAST.Kind
UnsignedRightShiftNode
ValueLiteralNode
VariableDeclarationNode
WideningConversionNode