All Classes
AbstractAnalysis
AbstractAnalysis.Worklist
AbstractCFGVisualizer
AbstractCFGVisualizer.VisualizeWhere
AbstractMostlySingleton
AbstractMostlySingleton.State
AbstractNodeVisitor
AbstractValue
Analysis
Analysis.Direction
AnalysisResult
ArrayAccess
ArrayAccessNode
ArrayCreation
ArrayCreationNode
ArrayTypeNode
AssertionErrorNode
AssignmentContext
AssignmentContext.AssignmentLhsContext
AssignmentContext.LambdaReturnContext
AssignmentContext.MethodParameterContext
AssignmentContext.MethodReturnContext
AssignmentNode
BackwardAnalysis
BackwardAnalysisImpl
BackwardTransferFunction
BinaryOperation
BinaryOperationNode
BitwiseAndNode
BitwiseComplementNode
BitwiseOrNode
BitwiseXorNode
Block
Block.BlockType
BlockImpl
BooleanLiteralNode
CaseNode
CFGBuilder
CFGProcessor
CFGProcessor.CFGProcessResult
CFGTranslationPhaseOne
CFGTranslationPhaseThree
CFGTranslationPhaseThree.PredecessorHolder
CFGTranslationPhaseTwo
CFGVisualizeLauncher
CFGVisualizer
CharacterLiteralNode
ClassDeclarationNode
ClassName
ClassNameNode
ConditionalAndNode
ConditionalBlock
ConditionalBlockImpl
ConditionalNotNode
ConditionalOrNode
ConditionalTransferResult
Constant
Constant.Type
ConstantPropagationPlayground
ConstantPropagationStore
ConstantPropagationTransfer
ControlFlowGraph
Deterministic
DOTCFGVisualizer
DoubleLiteralNode
EqualToNode
ExceptionBlock
ExceptionBlockImpl
ExplicitThisLiteralNode
FieldAccess
FieldAccessNode
FloatingDivisionNode
FloatingRemainderNode
FloatLiteralNode
FlowExpressions
ForwardAnalysis
ForwardAnalysisImpl
ForwardTransferFunction
FunctionalInterfaceNode
GreaterThanNode
GreaterThanOrEqualNode
IdentityMostlySingleton
ImplicitThisLiteralNode
InstanceOfNode
IntegerDivisionNode
IntegerLiteralNode
IntegerRemainderNode
LambdaResultExpressionNode
LeftShiftNode
LessThanNode
LessThanOrEqualNode
LiveVariablePlayground
LiveVarStore
LiveVarTransfer
LiveVarValue
LocalVariable
LocalVariableNode
LongLiteralNode
MarkerNode
MethodAccessNode
MethodCall
MethodInvocationNode
MostlySingleton
NarrowingConversionNode
Node
NodeUtils
NodeVisitor
NotEqualNode
NullChkNode
NullLiteralNode
NumericalAdditionNode
NumericalMinusNode
NumericalMultiplicationNode
NumericalPlusNode
NumericalSubtractionNode
ObjectCreationNode
PackageNameNode
ParameterizedTypeNode
PhaseOneResult
PrimitiveTypeNode
Pure
Pure.Kind
PurityChecker
PurityChecker.PurityCheckerHelper
PurityChecker.PurityResult
PurityUtils
Receiver
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
ThisReference
ThrowNode
TransferFunction
TransferInput
TransferResult
TypeCastNode
UnaryOperationNode
UnderlyingAST
UnderlyingAST.CFGLambda
UnderlyingAST.CFGMethod
UnderlyingAST.CFGStatement
UnderlyingAST.Kind
Unknown
UnsignedRightShiftNode
ValueLiteral
ValueLiteralNode
VariableDeclarationNode
WideningConversionNode