All Classes
AbstractAnalysis
AbstractAnalysis.Worklist
AbstractCFGVisualizer
AbstractCFGVisualizer.VisualizeWhere
AbstractMostlySingleton
AbstractMostlySingleton.State
AbstractNodeVisitor
AbstractValue
Analysis
Analysis.BeforeOrAfter
Analysis.Direction
AnalysisResult
ArrayAccess
ArrayAccessNode
ArrayCreation
ArrayCreationNode
ArrayTypeNode
AssertionErrorNode
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
ConditionalJump
ConditionalNotNode
ConditionalOrNode
ConditionalTransferResult
Constant
Constant.Type
ConstantPropagationPlayground
ConstantPropagationStore
ConstantPropagationTransfer
ControlFlowGraph
DOTCFGVisualizer
DoubleLiteralNode
EqualToNode
ExceptionBlock
ExceptionBlockImpl
ExplicitThisNode
ExtendedNode
ExtendedNode.ExtendedNodeType
FieldAccess
FieldAccessNode
FloatingDivisionNode
FloatingRemainderNode
FloatLiteralNode
FormalParameter
ForwardAnalysis
ForwardAnalysisImpl
ForwardTransferFunction
FunctionalInterfaceNode
GreaterThanNode
GreaterThanOrEqualNode
IdentityMostlySingleton
ImplicitThisNode
InstanceOfNode
IntegerDivisionNode
IntegerLiteralNode
IntegerRemainderNode
JavaExpression
JavaExpressionConverter
JavaExpressionScanner
JavaExpressionVisitor
Label
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
PurityChecker
PurityChecker.PurityCheckerHelper
PurityChecker.PurityResult
PurityUtils
RegularBlock
RegularBlockImpl
RegularTransferResult
ReturnNode
ShortLiteralNode
SignedRightShiftNode
SingleSuccessorBlock
SingleSuccessorBlockImpl
SpecialBlock
SpecialBlock.SpecialBlockType
SpecialBlockImpl
Store
Store.FlowRule
Store.Kind
StringCFGVisualizer
StringConcatenateAssignmentNode
StringConcatenateNode
StringConversionNode
StringLiteralNode
SuperNode
SwitchExpressionNode
SynchronizedNode
TernaryExpressionNode
ThisNode
ThisReference
ThrowNode
TransferFunction
TransferInput
TransferResult
TypeCastNode
UnaryOperation
UnaryOperationNode
UnderlyingAST
UnderlyingAST.CFGLambda
UnderlyingAST.CFGMethod
UnderlyingAST.CFGStatement
UnderlyingAST.Kind
Unknown
UnsignedRightShiftNode
ValueLiteral
ValueLiteralNode
VariableDeclarationNode
ViewpointAdaptJavaExpression
WideningConversionNode