OpenGrok

META-INF/
META-INF/MANIFEST.MF
org/
org/checkerframework/
org/checkerframework/dataflow/
org/checkerframework/dataflow/cfg/
org/checkerframework/dataflow/cfg/CFGBuilder$CFGTranslationPhaseOne$1.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
 org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne$1 extends java.lang.Object implements org.checkerframework.dataflow.cfg.CFGBuilder$TreeInfo  {
	final boolean val$numeric
	final boolean val$boxed
	final boolean val$bool
	final javax.lang.model.type.TypeMirror val$unboxedType
	final org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne this$0
	void  (org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne, boolean, boolean, boolean, javax.lang.model.type.TypeMirror) 
		org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne this$0
	public boolean isNumeric () 
	public boolean isBoxed () 
	public boolean isBoolean () 
	public javax.lang.model.type.TypeMirror unboxedType () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$ConditionalJump.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$ConditionalJump extends org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode {
	protected org.checkerframework.dataflow.cfg.CFGBuilder$Label trueSucc
	protected org.checkerframework.dataflow.cfg.CFGBuilder$Label falseSucc
	protected org.checkerframework.dataflow.analysis.Store$FlowRule trueFlowRule
	protected org.checkerframework.dataflow.analysis.Store$FlowRule falseFlowRule
	static final boolean $assertionsDisabled
	public void  (org.checkerframework.dataflow.cfg.CFGBuilder$Label, org.checkerframework.dataflow.cfg.CFGBuilder$Label) 
		org.checkerframework.dataflow.cfg.CFGBuilder$Label trueSucc
		org.checkerframework.dataflow.cfg.CFGBuilder$Label falseSucc
	public org.checkerframework.dataflow.cfg.CFGBuilder$Label getThenLabel () 
	public org.checkerframework.dataflow.cfg.CFGBuilder$Label getElseLabel () 
	public org.checkerframework.dataflow.analysis.Store$FlowRule getTrueFlowRule () 
	public org.checkerframework.dataflow.analysis.Store$FlowRule getFalseFlowRule () 
	public void setTrueFlowRule (org.checkerframework.dataflow.analysis.Store$FlowRule) 
		org.checkerframework.dataflow.analysis.Store$FlowRule rule
	public void setFalseFlowRule (org.checkerframework.dataflow.analysis.Store$FlowRule) 
		org.checkerframework.dataflow.analysis.Store$FlowRule rule
	public java.lang.String toString () 
	static void  () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$TryFinallyScopeMap.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeMap extends java.util.HashMap {
	private final java.util.Map accessedNames
	protected void  () 
	public org.checkerframework.dataflow.cfg.CFGBuilder$Label get (java.lang.Object) 
		org.checkerframework.dataflow.cfg.CFGBuilder$Label l
		Object key
	public boolean containsKey (java.lang.Object) 
		Object key
	public java.util.Map getAccessedNames () 
	public volatile java.lang.Object get (java.lang.Object) 
}

org/checkerframework/dataflow/cfg/DOTCFGVisualizer.class
DOTCFGVisualizer.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.DOTCFGVisualizer extends java.lang.Object implements org.checkerframework.dataflow.cfg.CFGVisualizer  {
	protected String outdir
	protected boolean verbose
	protected String checkerName
	protected StringBuilder sbDigraph
	protected StringBuilder sbStore
	protected StringBuilder sbBlock
	protected java.util.Map generated
	static final boolean $assertionsDisabled
	public void  () 
	public void init (java.util.Map) 
		Object verb
		java.util.Map args
	public java.util.Map visualize (org.checkerframework.dataflow.cfg.ControlFlowGraph, org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis) 
		java.io.FileWriter fstream
		java.io.BufferedWriter out
		java.io.IOException e
		org.checkerframework.dataflow.cfg.ControlFlowGraph cfg
		org.checkerframework.dataflow.cfg.block.Block entry
		org.checkerframework.dataflow.analysis.Analysis analysis
		String dotgraph
		String dotfilename
		java.util.Map res
	protected java.lang.String generateDotGraph (org.checkerframework.dataflow.cfg.ControlFlowGraph, org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis) 
		org.checkerframework.dataflow.cfg.block.ConditionalBlock ccur
		org.checkerframework.dataflow.cfg.block.Block thenSuccessor
		org.checkerframework.dataflow.cfg.block.Block elseSuccessor
		org.checkerframework.dataflow.cfg.block.Block b
		org.checkerframework.dataflow.cfg.block.Block b
		java.util.Set blocks
		javax.lang.model.type.TypeMirror cause
		String exception
		java.util.Map$Entry e
		org.checkerframework.dataflow.cfg.block.ExceptionBlock ecur
		org.checkerframework.dataflow.cfg.ControlFlowGraph cfg
		org.checkerframework.dataflow.cfg.block.Block entry
		org.checkerframework.dataflow.analysis.Analysis analysis
		java.util.Set visited
		org.checkerframework.dataflow.cfg.block.Block cur
		java.util.Queue worklist
	protected void generateDotNodes (java.util.Set, org.checkerframework.dataflow.cfg.ControlFlowGraph, org.checkerframework.dataflow.analysis.Analysis) 
		org.checkerframework.dataflow.cfg.block.Block v
		java.util.Set visited
		org.checkerframework.dataflow.cfg.ControlFlowGraph cfg
		org.checkerframework.dataflow.analysis.Analysis analysis
		java.util.IdentityHashMap processOrder
	protected java.lang.String dotOutputFileName (org.checkerframework.dataflow.cfg.UnderlyingAST) 
		org.checkerframework.dataflow.cfg.UnderlyingAST$CFGStatement cfgs
		String clsname
		org.checkerframework.dataflow.cfg.UnderlyingAST$CFGMethod cfgm
		String clsname
		String methname
		org.checkerframework.dataflow.cfg.UnderlyingAST ast
		StringBuilder srcloc
		StringBuilder outfile
		String out
	protected java.util.IdentityHashMap getProcessOrder (org.checkerframework.dataflow.cfg.ControlFlowGraph) 
		org.checkerframework.dataflow.cfg.block.Block b
		org.checkerframework.dataflow.cfg.ControlFlowGraph cfg
		java.util.IdentityHashMap depthFirstOrder
		int count
	public void visualizeBlock (org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis) 
		org.checkerframework.dataflow.cfg.node.Node t
		org.checkerframework.dataflow.cfg.block.Block bb
		org.checkerframework.dataflow.analysis.Analysis analysis
		java.util.List contents
		boolean notFirst
		boolean centered
	public void visualizeSpecialBlock (org.checkerframework.dataflow.cfg.block.SpecialBlock) 
		org.checkerframework.dataflow.cfg.block.SpecialBlock sbb
	public void visualizeBlockTransferInput (org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis) 
		org.checkerframework.dataflow.analysis.Store regularStore
		org.checkerframework.dataflow.analysis.Store elseStore
		org.checkerframework.dataflow.cfg.node.Node lastNode
		java.util.List blockContents
		org.checkerframework.dataflow.cfg.node.Node lastNode
		org.checkerframework.dataflow.cfg.node.Node lastNode
		org.checkerframework.dataflow.cfg.block.Block bb
		org.checkerframework.dataflow.analysis.Analysis analysis
		org.checkerframework.dataflow.analysis.TransferInput input
		org.checkerframework.dataflow.analysis.Store thenStore
	public void visualizeBlockNode (org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.analysis.Analysis) 
		org.checkerframework.dataflow.analysis.AbstractValue value
		org.checkerframework.dataflow.cfg.node.Node t
		org.checkerframework.dataflow.analysis.Analysis analysis
	protected java.lang.String prepareNodeType (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node t
		String name
	protected java.lang.String prepareString (java.lang.String) 
		String s
	protected void addDotEdge (long, long, java.lang.String) 
		long sId
		long eId
		String labelContent
	public void visualizeStore (org.checkerframework.dataflow.analysis.Store) 
		org.checkerframework.dataflow.analysis.Store store
	public void visualizeStoreThisVal (org.checkerframework.dataflow.analysis.AbstractValue) 
		org.checkerframework.dataflow.analysis.AbstractValue value
	public void visualizeStoreLocalVar (org.checkerframework.dataflow.analysis.FlowExpressions$LocalVariable, org.checkerframework.dataflow.analysis.AbstractValue) 
		org.checkerframework.dataflow.analysis.FlowExpressions$LocalVariable localVar
		org.checkerframework.dataflow.analysis.AbstractValue value
	public void visualizeStoreFieldVals (org.checkerframework.dataflow.analysis.FlowExpressions$FieldAccess, org.checkerframework.dataflow.analysis.AbstractValue) 
		org.checkerframework.dataflow.analysis.FlowExpressions$FieldAccess fieldAccess
		org.checkerframework.dataflow.analysis.AbstractValue value
	public void visualizeStoreArrayVal (org.checkerframework.dataflow.analysis.FlowExpressions$ArrayAccess, org.checkerframework.dataflow.analysis.AbstractValue) 
		org.checkerframework.dataflow.analysis.FlowExpressions$ArrayAccess arrayValue
		org.checkerframework.dataflow.analysis.AbstractValue value
	public void visualizeStoreMethodVals (org.checkerframework.dataflow.analysis.FlowExpressions$MethodCall, org.checkerframework.dataflow.analysis.AbstractValue) 
		org.checkerframework.dataflow.analysis.FlowExpressions$MethodCall methodCall
		org.checkerframework.dataflow.analysis.AbstractValue value
	public void visualizeStoreClassVals (org.checkerframework.dataflow.analysis.FlowExpressions$ClassName, org.checkerframework.dataflow.analysis.AbstractValue) 
		org.checkerframework.dataflow.analysis.FlowExpressions$ClassName className
		org.checkerframework.dataflow.analysis.AbstractValue value
	public void visualizeStoreKeyVal (java.lang.String, java.lang.Object) 
		String keyName
		Object value
	protected java.lang.String escapeDoubleQuotes (java.lang.String) 
		String str
	protected java.lang.String toStringEscapeDoubleQuotes (java.lang.Object) 
		Object obj
	public void visualizeStoreHeader (java.lang.String) 
		String classCanonicalName
	public void visualizeStoreFooter () 
	public void shutdown () 
		java.util.Map$Entry kv
		java.io.FileWriter fstream
		java.io.BufferedWriter out
		java.io.IOException e
	static void  () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$CFGTranslationPhaseOne.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne extends com.sun.source.util.TreePathScanner {
	protected final javax.annotation.processing.ProcessingEnvironment env
	protected final javax.lang.model.util.Elements elements
	protected final javax.lang.model.util.Types types
	protected final com.sun.source.util.Trees trees
	protected final org.checkerframework.javacutil.trees.TreeBuilder treeBuilder
	protected final org.checkerframework.javacutil.AnnotationProvider annotationProvider
	protected final boolean assumeAssertionsDisabled
	protected final boolean assumeAssertionsEnabled
	protected final org.checkerframework.dataflow.cfg.CFGBuilder$Label regularExitLabel
	protected final org.checkerframework.dataflow.cfg.CFGBuilder$Label exceptionalExitLabel
	protected org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell returnTargetL
	protected org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell breakTargetL
	protected java.util.Map breakLabels
	protected org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell continueTargetL
	protected java.util.Map continueLabels
	private org.checkerframework.dataflow.cfg.CFGBuilder$TryStack tryStack
	protected final java.util.IdentityHashMap treeLookupMap
	protected final java.util.IdentityHashMap convertedTreeLookupMap
	protected final java.util.IdentityHashMap unaryAssignNodeLookupMap
	protected final java.util.ArrayList nodeList
	protected final java.util.Map bindings
	protected final java.util.Set leaders
	private final java.util.List returnNodes
	protected final java.util.List declaredClasses
	protected final java.util.List declaredLambdas
	protected long uid
	protected com.sun.source.tree.VariableTree ea
	private final java.util.Map parenMapping
	static final boolean $assertionsDisabled
	public void  (org.checkerframework.javacutil.trees.TreeBuilder, org.checkerframework.javacutil.AnnotationProvider, boolean, boolean, javax.annotation.processing.ProcessingEnvironment) 
		org.checkerframework.javacutil.trees.TreeBuilder treeBuilder
		org.checkerframework.javacutil.AnnotationProvider annotationProvider
		boolean assumeAssertionsEnabled
		boolean assumeAssertionsDisabled
		javax.annotation.processing.ProcessingEnvironment env
	public org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult process (com.sun.source.util.TreePath, org.checkerframework.dataflow.cfg.UnderlyingAST) 
		org.checkerframework.dataflow.cfg.node.Node resultNode
		com.sun.source.tree.LambdaExpressionTree lambdaTree
		com.sun.source.util.TreePath bodyPath
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		org.checkerframework.dataflow.cfg.node.Node finalNode
	public org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult process (com.sun.source.tree.CompilationUnitTree, org.checkerframework.dataflow.cfg.UnderlyingAST) 
		com.sun.source.tree.CompilationUnitTree root
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		com.sun.source.util.TreePath bodyPath
	public void handleArtificialTree (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree tree
	protected void addToLookupMap (org.checkerframework.dataflow.cfg.node.Node) 
		java.util.Set exp
		org.checkerframework.dataflow.cfg.node.Node node
		com.sun.source.tree.Tree tree
		java.util.Set existing
		com.sun.source.tree.Tree enclosingParens
	protected void addToConvertedLookupMap (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node node
		com.sun.source.tree.Tree tree
	protected void addToConvertedLookupMap (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node node
		java.util.Set existing
	protected void addToUnaryAssignLookupMap (com.sun.source.tree.UnaryTree, org.checkerframework.dataflow.cfg.node.AssignmentNode) 
		com.sun.source.tree.UnaryTree tree
		org.checkerframework.dataflow.cfg.node.AssignmentNode unaryAssignNode
	protected org.checkerframework.dataflow.cfg.node.Node extendWithNode (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node node
	protected org.checkerframework.dataflow.cfg.CFGBuilder$NodeWithExceptionsHolder extendWithNodeWithException (org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror) 
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.type.TypeMirror cause
	protected org.checkerframework.dataflow.cfg.CFGBuilder$NodeWithExceptionsHolder extendWithNodeWithExceptions (org.checkerframework.dataflow.cfg.node.Node, java.util.Set) 
		javax.lang.model.type.TypeMirror cause
		org.checkerframework.dataflow.cfg.node.Node node
		java.util.Set causes
		java.util.Map exceptions
		org.checkerframework.dataflow.cfg.CFGBuilder$NodeWithExceptionsHolder exNode
	protected org.checkerframework.dataflow.cfg.node.Node insertNodeAfter (org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.node.Node pred
	protected org.checkerframework.dataflow.cfg.CFGBuilder$NodeWithExceptionsHolder insertNodeWithExceptionsAfter (org.checkerframework.dataflow.cfg.node.Node, java.util.Set, org.checkerframework.dataflow.cfg.node.Node) 
		javax.lang.model.type.TypeMirror cause
		org.checkerframework.dataflow.cfg.node.Node node
		java.util.Set causes
		org.checkerframework.dataflow.cfg.node.Node pred
		java.util.Map exceptions
		org.checkerframework.dataflow.cfg.CFGBuilder$NodeWithExceptionsHolder exNode
	protected void extendWithExtendedNode (org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode) 
		org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode n
	protected void insertExtendedNodeAfter (org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode, org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode inList
		int i
		java.util.Map$Entry e
		Integer l
		java.util.Set oldLeaders
		org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode n
		org.checkerframework.dataflow.cfg.node.Node pred
		int index
	protected void addLabelForNextNode (org.checkerframework.dataflow.cfg.CFGBuilder$Label) 
		org.checkerframework.dataflow.cfg.CFGBuilder$Label l
	protected java.lang.String uniqueName (java.lang.String) 
		String prefix
	protected org.checkerframework.dataflow.cfg.node.Node box (org.checkerframework.dataflow.cfg.node.Node) 
		javax.lang.model.type.PrimitiveType primitive
		javax.lang.model.type.TypeMirror boxedType
		javax.lang.model.element.TypeElement boxedElement
		com.sun.source.tree.IdentifierTree classTree
		org.checkerframework.dataflow.cfg.node.ClassNameNode className
		com.sun.source.tree.MemberSelectTree valueOfSelect
		org.checkerframework.dataflow.cfg.node.MethodAccessNode valueOfAccess
		com.sun.source.tree.MethodInvocationTree valueOfCall
		org.checkerframework.dataflow.cfg.node.Node boxed
		javax.lang.model.element.TypeElement throwableElement
		org.checkerframework.dataflow.cfg.node.Node node
	protected org.checkerframework.dataflow.cfg.node.Node unbox (org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.MemberSelectTree primValueSelect
		org.checkerframework.dataflow.cfg.node.MethodAccessNode primValueAccess
		javax.lang.model.element.TypeElement npeElement
		com.sun.source.tree.MethodInvocationTree primValueCall
		org.checkerframework.dataflow.cfg.node.Node unboxed
		javax.lang.model.element.TypeElement throwableElement
		org.checkerframework.dataflow.cfg.node.Node node
	private org.checkerframework.dataflow.cfg.CFGBuilder$TreeInfo getTreeInfo (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree tree
		javax.lang.model.type.TypeMirror type
		boolean boxed
		javax.lang.model.type.TypeMirror unboxedType
		boolean bool
		boolean numeric
	private org.checkerframework.dataflow.cfg.node.Node unboxAsNeeded (org.checkerframework.dataflow.cfg.node.Node, boolean) 
		org.checkerframework.dataflow.cfg.node.Node node
		boolean boxed
	protected org.checkerframework.dataflow.cfg.node.Node stringConversion (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node converted
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.element.TypeElement stringElement
	protected org.checkerframework.dataflow.cfg.node.Node unaryNumericPromotion (org.checkerframework.dataflow.cfg.node.Node) 
		javax.lang.model.type.TypeMirror intType
		org.checkerframework.dataflow.cfg.node.Node widened
		org.checkerframework.dataflow.cfg.node.Node node
	protected boolean isNumericOrBoxed (javax.lang.model.type.TypeMirror) 
		javax.lang.model.type.TypeMirror type
	protected javax.lang.model.type.TypeMirror binaryPromotedType (javax.lang.model.type.TypeMirror, javax.lang.model.type.TypeMirror) 
		javax.lang.model.type.TypeMirror left
		javax.lang.model.type.TypeMirror right
		javax.lang.model.type.TypeKind promotedTypeKind
	protected org.checkerframework.dataflow.cfg.node.Node binaryNumericPromotion (org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror) 
		org.checkerframework.dataflow.cfg.node.Node widened
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.type.TypeMirror exprType
	protected org.checkerframework.dataflow.cfg.node.Node widen (org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror) 
		org.checkerframework.dataflow.cfg.node.Node widened
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.type.TypeMirror destType
	protected org.checkerframework.dataflow.cfg.node.Node narrow (org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror) 
		org.checkerframework.dataflow.cfg.node.Node narrowed
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.type.TypeMirror destType
	protected org.checkerframework.dataflow.cfg.node.Node narrowAndBox (org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror) 
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.type.TypeMirror destType
	protected boolean conversionRequiresNarrowing (javax.lang.model.type.TypeMirror, org.checkerframework.dataflow.cfg.node.Node) 
		javax.lang.model.type.TypeMirror varType
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.type.TypeMirror unboxedVarType
		javax.lang.model.type.TypeKind unboxedVarKind
		boolean isLeftNarrowableTo
		boolean isRightConstant
	protected org.checkerframework.dataflow.cfg.node.Node commonConvert (org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror, boolean) 
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.type.TypeMirror varType
		boolean contextAllowsNarrowing
		javax.lang.model.type.TypeMirror nodeType
		boolean isSameType
		boolean isRightNumeric
		boolean isRightPrimitive
		boolean isRightBoxed
		boolean isRightReference
		boolean isLeftNumeric
		boolean isLeftPrimitive
		boolean isLeftReference
		boolean isSubtype
	protected org.checkerframework.dataflow.cfg.node.Node assignConvert (org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror) 
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.type.TypeMirror varType
	protected org.checkerframework.dataflow.cfg.node.Node methodInvocationConvert (org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror) 
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.type.TypeMirror formalType
	protected java.util.List convertCallArguments (javax.lang.model.element.ExecutableElement, java.util.List) 
		org.checkerframework.dataflow.cfg.node.Node actualVal
		int i
		org.checkerframework.dataflow.cfg.node.Node actualVal
		int i
		org.checkerframework.dataflow.cfg.node.Node actualVal
		int i
		java.util.List inits
		javax.lang.model.type.TypeMirror elemType
		com.sun.source.tree.NewArrayTree wrappedVarargs
		org.checkerframework.dataflow.cfg.node.Node lastArgument
		int lastArgIndex
		javax.lang.model.type.TypeMirror lastParamType
		java.util.List dimensions
		java.util.List initializers
		org.checkerframework.dataflow.cfg.node.Node actualVal
		int i
		javax.lang.model.element.ExecutableElement method
		java.util.List actualExprs
		java.util.List formals
		java.util.ArrayList convertedNodes
		int numFormals
		int numActuals
	protected org.checkerframework.dataflow.cfg.node.Node conditionalExprPromotion (org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror) 
		javax.lang.model.type.TypeKind destKind
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.type.TypeMirror destType
		javax.lang.model.type.TypeMirror nodeType
		boolean isBoxedPrimitive
		javax.lang.model.type.TypeMirror unboxedNodeType
		javax.lang.model.type.TypeMirror unboxedDestType
	protected javax.lang.model.element.Name getLabel (com.sun.source.util.TreePath) 
		com.sun.source.tree.Tree parent
		com.sun.source.util.TreePath path
	public org.checkerframework.dataflow.cfg.node.Node visitAnnotatedType (com.sun.source.tree.AnnotatedTypeTree, java.lang.Void) 
		com.sun.source.tree.AnnotatedTypeTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitAnnotation (com.sun.source.tree.AnnotationTree, java.lang.Void) 
		com.sun.source.tree.AnnotationTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.MethodInvocationNode visitMethodInvocation (com.sun.source.tree.MethodInvocationTree, java.lang.Void) 
		javax.lang.model.element.TypeElement npeElement
		com.sun.source.tree.MethodInvocationTree tree
		Void p
		javax.lang.model.element.ExecutableElement method
		com.sun.source.tree.ExpressionTree methodSelect
		java.util.List actualExprs
		org.checkerframework.dataflow.cfg.node.Node receiver
		org.checkerframework.dataflow.cfg.node.MethodAccessNode target
		javax.lang.model.element.ExecutableElement element
		java.util.List arguments
		org.checkerframework.dataflow.cfg.node.MethodInvocationNode node
		java.util.Set thrownSet
		java.util.List thrownTypes
		javax.lang.model.element.TypeElement throwableElement
		org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode extendedNode
		javax.lang.model.element.Element methodElement
		boolean terminatesExecution
	public org.checkerframework.dataflow.cfg.node.Node visitAssert (com.sun.source.tree.AssertTree, java.lang.Void) 
		com.sun.source.tree.AssertTree tree
		Void p
		com.sun.source.tree.VariableTree ea
		org.checkerframework.dataflow.cfg.CFGBuilder$Label assertionEnabled
		org.checkerframework.dataflow.cfg.CFGBuilder$Label assertionDisabled
	protected boolean assumeAssertionsEnabledFor (com.sun.source.tree.AssertTree) 
		com.sun.source.tree.AssertTree tree
	protected com.sun.source.tree.VariableTree getAssertionsEnabledVariable () 
		String name
		javax.lang.model.element.Element owner
		com.sun.source.tree.ExpressionTree initializer
	private javax.lang.model.element.Element findOwner () 
		com.sun.source.tree.ClassTree enclosingClass
		com.sun.source.tree.MethodTree enclosingMethod
	protected void translateAssertWithAssertionsEnabled (com.sun.source.tree.AssertTree) 
		com.sun.source.tree.AssertTree tree
		org.checkerframework.dataflow.cfg.CFGBuilder$Label assertEnd
		org.checkerframework.dataflow.cfg.CFGBuilder$Label elseEntry
		org.checkerframework.dataflow.cfg.node.Node condition
		org.checkerframework.dataflow.cfg.CFGBuilder$ConditionalJump cjump
		org.checkerframework.dataflow.cfg.node.Node detail
		javax.lang.model.element.TypeElement assertException
		org.checkerframework.dataflow.cfg.node.AssertionErrorNode assertNode
		org.checkerframework.dataflow.cfg.CFGBuilder$NodeWithExceptionsHolder exNode
	public org.checkerframework.dataflow.cfg.node.Node visitAssignment (com.sun.source.tree.AssignmentTree, java.lang.Void) 
		javax.lang.model.element.TypeElement npeElement
		org.checkerframework.dataflow.cfg.node.Node receiver
		org.checkerframework.dataflow.cfg.node.Node expression
		org.checkerframework.dataflow.cfg.node.FieldAccessNode target
		javax.lang.model.element.Element element
		org.checkerframework.dataflow.cfg.node.AssignmentNode assignmentNode
		org.checkerframework.dataflow.cfg.node.Node target
		com.sun.source.tree.AssignmentTree tree
		Void p
		org.checkerframework.dataflow.cfg.node.AssignmentNode assignmentNode
		com.sun.source.tree.ExpressionTree variable
		javax.lang.model.type.TypeMirror varType
	protected org.checkerframework.dataflow.cfg.node.AssignmentNode translateAssignment (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node, com.sun.source.tree.ExpressionTree) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node target
		com.sun.source.tree.ExpressionTree rhs
		org.checkerframework.dataflow.cfg.node.Node expression
	protected org.checkerframework.dataflow.cfg.node.AssignmentNode translateAssignment (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node target
		org.checkerframework.dataflow.cfg.node.Node expression
		org.checkerframework.dataflow.cfg.node.AssignmentNode assignmentNode
	private org.checkerframework.dataflow.cfg.node.Node getReceiver (com.sun.source.tree.ExpressionTree, com.sun.source.tree.ClassTree) 
		com.sun.source.tree.MemberSelectTree mtree
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.element.Element ele
		javax.lang.model.element.TypeElement declaringClass
		javax.lang.model.type.TypeMirror type
		com.sun.source.tree.ExpressionTree tree
		com.sun.source.tree.ClassTree classTree
	protected com.sun.source.tree.Tree$Kind withoutAssignment (com.sun.source.tree.Tree$Kind) 
		com.sun.source.tree.Tree$Kind kind
	public org.checkerframework.dataflow.cfg.node.Node visitCompoundAssignment (com.sun.source.tree.CompoundAssignmentTree, java.lang.Void) 
		org.checkerframework.dataflow.cfg.node.Node operNode
		javax.lang.model.element.TypeElement throwableElement
		org.checkerframework.dataflow.cfg.node.Node operNode
		org.checkerframework.dataflow.cfg.node.Node operNode
		javax.lang.model.element.TypeElement throwableElement
		org.checkerframework.dataflow.cfg.node.Node operNode
		org.checkerframework.dataflow.cfg.node.Node targetLHS
		org.checkerframework.dataflow.cfg.node.Node value
		javax.lang.model.type.TypeMirror exprType
		javax.lang.model.type.TypeMirror leftType
		javax.lang.model.type.TypeMirror rightType
		javax.lang.model.type.TypeMirror promotedType
		org.checkerframework.dataflow.cfg.node.Node targetRHS
		com.sun.source.tree.BinaryTree operTree
		org.checkerframework.dataflow.cfg.node.Node operNode
		com.sun.source.tree.TypeCastTree castTree
		org.checkerframework.dataflow.cfg.node.TypeCastNode castNode
		org.checkerframework.dataflow.cfg.node.AssignmentNode assignNode
		org.checkerframework.dataflow.cfg.node.Node targetRHS
		org.checkerframework.dataflow.cfg.node.Node r
		org.checkerframework.dataflow.cfg.node.Node operNode
		javax.lang.model.type.TypeMirror promotedType
		org.checkerframework.dataflow.cfg.node.Node targetRHS
		com.sun.source.tree.BinaryTree operTree
		org.checkerframework.dataflow.cfg.node.Node operNode
		com.sun.source.tree.TypeCastTree castTree
		org.checkerframework.dataflow.cfg.node.TypeCastNode castNode
		org.checkerframework.dataflow.cfg.node.AssignmentNode assignNode
		org.checkerframework.dataflow.cfg.node.Node targetLHS
		org.checkerframework.dataflow.cfg.node.Node value
		javax.lang.model.type.TypeMirror leftType
		javax.lang.model.type.TypeMirror rightType
		org.checkerframework.dataflow.cfg.node.Node operNode
		org.checkerframework.dataflow.cfg.node.Node operNode
		org.checkerframework.dataflow.cfg.node.Node targetLHS
		org.checkerframework.dataflow.cfg.node.Node value
		javax.lang.model.type.TypeMirror leftType
		org.checkerframework.dataflow.cfg.node.Node targetRHS
		com.sun.source.tree.BinaryTree operTree
		org.checkerframework.dataflow.cfg.node.Node operNode
		com.sun.source.tree.TypeCastTree castTree
		org.checkerframework.dataflow.cfg.node.TypeCastNode castNode
		org.checkerframework.dataflow.cfg.node.AssignmentNode assignNode
		javax.lang.model.type.TypeMirror promotedType
		org.checkerframework.dataflow.cfg.node.Node operNode
		org.checkerframework.dataflow.cfg.node.Node operNode
		org.checkerframework.dataflow.cfg.node.Node targetLHS
		org.checkerframework.dataflow.cfg.node.Node value
		javax.lang.model.type.TypeMirror leftType
		javax.lang.model.type.TypeMirror rightType
		org.checkerframework.dataflow.cfg.node.Node targetRHS
		com.sun.source.tree.BinaryTree operTree
		org.checkerframework.dataflow.cfg.node.Node operNode
		com.sun.source.tree.TypeCastTree castTree
		org.checkerframework.dataflow.cfg.node.TypeCastNode castNode
		org.checkerframework.dataflow.cfg.node.AssignmentNode assignNode
		com.sun.source.tree.CompoundAssignmentTree tree
		Void p
		com.sun.source.tree.Tree$Kind kind
	public org.checkerframework.dataflow.cfg.node.Node visitBinary (com.sun.source.tree.BinaryTree, java.lang.Void) 
		javax.lang.model.element.TypeElement throwableElement
		javax.lang.model.element.TypeElement throwableElement
		javax.lang.model.type.TypeMirror exprType
		javax.lang.model.type.TypeMirror leftType
		javax.lang.model.type.TypeMirror rightType
		javax.lang.model.type.TypeMirror promotedType
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
		javax.lang.model.type.TypeMirror promotedType
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
		javax.lang.model.type.TypeMirror leftType
		javax.lang.model.type.TypeMirror rightType
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.type.TypeMirror leftType
		javax.lang.model.type.TypeMirror rightType
		javax.lang.model.type.TypeMirror promotedType
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.type.TypeMirror promotedType
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.CFGBuilder$TreeInfo leftInfo
		org.checkerframework.dataflow.cfg.CFGBuilder$TreeInfo rightInfo
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
		javax.lang.model.type.TypeMirror promotedType
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.type.TypeMirror leftType
		javax.lang.model.type.TypeMirror rightType
		boolean isBooleanOp
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.CFGBuilder$ConditionalJump cjump
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.CFGBuilder$Label rightStartL
		org.checkerframework.dataflow.cfg.CFGBuilder$Label shortCircuitL
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.CFGBuilder$ConditionalJump cjump
		org.checkerframework.dataflow.cfg.node.Node right
		org.checkerframework.dataflow.cfg.node.Node node
		com.sun.source.tree.BinaryTree tree
		Void p
		org.checkerframework.dataflow.cfg.node.Node r
		com.sun.source.tree.Tree leftTree
		com.sun.source.tree.Tree rightTree
		com.sun.source.tree.Tree$Kind kind
	public org.checkerframework.dataflow.cfg.node.Node visitBlock (com.sun.source.tree.BlockTree, java.lang.Void) 
		com.sun.source.tree.StatementTree n
		com.sun.source.tree.BlockTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitBreak (com.sun.source.tree.BreakTree, java.lang.Void) 
		com.sun.source.tree.BreakTree tree
		Void p
		javax.lang.model.element.Name label
	public org.checkerframework.dataflow.cfg.node.Node visitSwitch (com.sun.source.tree.SwitchTree, java.lang.Void) 
		com.sun.source.tree.SwitchTree tree
		Void p
		org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne$SwitchBuilder builder
	public org.checkerframework.dataflow.cfg.node.Node visitCase (com.sun.source.tree.CaseTree, java.lang.Void) 
		com.sun.source.tree.CaseTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitCatch (com.sun.source.tree.CatchTree, java.lang.Void) 
		com.sun.source.tree.CatchTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitClass (com.sun.source.tree.ClassTree, java.lang.Void) 
		com.sun.source.tree.ClassTree tree
		Void p
		org.checkerframework.dataflow.cfg.node.Node classbody
	public org.checkerframework.dataflow.cfg.node.Node visitConditionalExpression (com.sun.source.tree.ConditionalExpressionTree, java.lang.Void) 
		com.sun.source.tree.ConditionalExpressionTree tree
		Void p
		javax.lang.model.type.TypeMirror exprType
		org.checkerframework.dataflow.cfg.CFGBuilder$Label trueStart
		org.checkerframework.dataflow.cfg.CFGBuilder$Label falseStart
		org.checkerframework.dataflow.cfg.CFGBuilder$Label merge
		org.checkerframework.dataflow.cfg.node.Node condition
		org.checkerframework.dataflow.cfg.CFGBuilder$ConditionalJump cjump
		org.checkerframework.dataflow.cfg.node.Node trueExpr
		org.checkerframework.dataflow.cfg.node.Node falseExpr
		org.checkerframework.dataflow.cfg.node.Node node
	public org.checkerframework.dataflow.cfg.node.Node visitContinue (com.sun.source.tree.ContinueTree, java.lang.Void) 
		com.sun.source.tree.ContinueTree tree
		Void p
		javax.lang.model.element.Name label
	public org.checkerframework.dataflow.cfg.node.Node visitDoWhileLoop (com.sun.source.tree.DoWhileLoopTree, java.lang.Void) 
		org.checkerframework.dataflow.cfg.CFGBuilder$Label conditionStart
		org.checkerframework.dataflow.cfg.CFGBuilder$ConditionalJump cjump
		com.sun.source.tree.DoWhileLoopTree tree
		Void p
		javax.lang.model.element.Name parentLabel
		org.checkerframework.dataflow.cfg.CFGBuilder$Label loopEntry
		org.checkerframework.dataflow.cfg.CFGBuilder$Label loopExit
		org.checkerframework.dataflow.cfg.CFGBuilder$Label conditionStart
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell oldBreakTargetL
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell oldContinueTargetL
	public org.checkerframework.dataflow.cfg.node.Node visitErroneous (com.sun.source.tree.ErroneousTree, java.lang.Void) 
		com.sun.source.tree.ErroneousTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitExpressionStatement (com.sun.source.tree.ExpressionStatementTree, java.lang.Void) 
		com.sun.source.tree.ExpressionStatementTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitEnhancedForLoop (com.sun.source.tree.EnhancedForLoopTree, java.lang.Void) 
		org.checkerframework.dataflow.cfg.CFGBuilder$Label updateStart
		javax.lang.model.type.DeclaredType declaredExprType
		com.sun.source.tree.MemberSelectTree iteratorSelect
		com.sun.source.tree.MethodInvocationTree iteratorCall
		com.sun.source.tree.VariableTree iteratorVariable
		org.checkerframework.dataflow.cfg.node.VariableDeclarationNode iteratorVariableDecl
		org.checkerframework.dataflow.cfg.node.Node expressionNode
		org.checkerframework.dataflow.cfg.node.MethodAccessNode iteratorAccessNode
		org.checkerframework.dataflow.cfg.node.MethodInvocationNode iteratorCallNode
		com.sun.source.tree.IdentifierTree iteratorUse1
		org.checkerframework.dataflow.cfg.node.LocalVariableNode iteratorReceiverNode
		com.sun.source.tree.MemberSelectTree hasNextSelect
		org.checkerframework.dataflow.cfg.node.MethodAccessNode hasNextAccessNode
		com.sun.source.tree.MethodInvocationTree hasNextCall
		org.checkerframework.dataflow.cfg.node.MethodInvocationNode hasNextCallNode
		com.sun.source.tree.IdentifierTree iteratorUse2
		org.checkerframework.dataflow.cfg.node.LocalVariableNode iteratorReceiverNode2
		com.sun.source.tree.MemberSelectTree nextSelect
		org.checkerframework.dataflow.cfg.node.MethodAccessNode nextAccessNode
		com.sun.source.tree.MethodInvocationTree nextCall
		org.checkerframework.dataflow.cfg.node.MethodInvocationNode nextCallNode
		com.sun.source.tree.VariableTree arrayVariable
		org.checkerframework.dataflow.cfg.node.VariableDeclarationNode arrayVariableNode
		org.checkerframework.dataflow.cfg.node.Node expressionNode
		javax.lang.model.type.TypeMirror intType
		com.sun.source.tree.LiteralTree zero
		com.sun.source.tree.VariableTree indexVariable
		org.checkerframework.dataflow.cfg.node.VariableDeclarationNode indexVariableNode
		org.checkerframework.dataflow.cfg.node.IntegerLiteralNode zeroNode
		com.sun.source.tree.IdentifierTree indexUse1
		org.checkerframework.dataflow.cfg.node.LocalVariableNode indexNode1
		com.sun.source.tree.IdentifierTree arrayUse1
		org.checkerframework.dataflow.cfg.node.LocalVariableNode arrayNode1
		com.sun.source.tree.MemberSelectTree lengthSelect
		org.checkerframework.dataflow.cfg.node.FieldAccessNode lengthAccessNode
		com.sun.source.tree.BinaryTree lessThan
		org.checkerframework.dataflow.cfg.node.LessThanNode lessThanNode
		com.sun.source.tree.IdentifierTree arrayUse2
		org.checkerframework.dataflow.cfg.node.LocalVariableNode arrayNode2
		com.sun.source.tree.IdentifierTree indexUse2
		org.checkerframework.dataflow.cfg.node.LocalVariableNode indexNode2
		com.sun.source.tree.ArrayAccessTree arrayAccess
		org.checkerframework.dataflow.cfg.node.ArrayAccessNode arrayAccessNode
		javax.lang.model.element.Element npeElement
		com.sun.source.tree.IdentifierTree indexUse3
		org.checkerframework.dataflow.cfg.node.LocalVariableNode indexNode3
		com.sun.source.tree.LiteralTree oneTree
		org.checkerframework.dataflow.cfg.node.Node one
		com.sun.source.tree.BinaryTree addOneTree
		org.checkerframework.dataflow.cfg.node.Node addOneNode
		com.sun.source.tree.AssignmentTree assignTree
		org.checkerframework.dataflow.cfg.node.Node assignNode
		com.sun.source.tree.EnhancedForLoopTree tree
		Void p
		javax.lang.model.element.Name parentLabel
		org.checkerframework.dataflow.cfg.CFGBuilder$Label conditionStart
		org.checkerframework.dataflow.cfg.CFGBuilder$Label loopEntry
		org.checkerframework.dataflow.cfg.CFGBuilder$Label loopExit
		org.checkerframework.dataflow.cfg.CFGBuilder$Label updateStart
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell oldBreakTargetL
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell oldContinueTargetL
		javax.lang.model.element.TypeElement iterableElement
		javax.lang.model.type.TypeMirror iterableType
		com.sun.source.tree.VariableTree variable
		javax.lang.model.element.VariableElement variableElement
		com.sun.source.tree.ExpressionTree expression
		com.sun.source.tree.StatementTree statement
		javax.lang.model.type.TypeMirror exprType
	protected com.sun.source.tree.VariableTree createEnhancedForLoopIteratorVariable (com.sun.source.tree.MethodInvocationTree, javax.lang.model.element.VariableElement) 
		com.sun.source.tree.MethodInvocationTree iteratorCall
		javax.lang.model.element.VariableElement variableElement
		javax.lang.model.type.TypeMirror iteratorType
		com.sun.source.tree.VariableTree iteratorVariable
	protected com.sun.source.tree.VariableTree createEnhancedForLoopArrayVariable (com.sun.source.tree.ExpressionTree, javax.lang.model.element.VariableElement) 
		com.sun.source.tree.ExpressionTree expression
		javax.lang.model.element.VariableElement variableElement
		javax.lang.model.type.TypeMirror arrayType
		com.sun.source.tree.VariableTree arrayVariable
	public org.checkerframework.dataflow.cfg.node.Node visitForLoop (com.sun.source.tree.ForLoopTree, java.lang.Void) 
		org.checkerframework.dataflow.cfg.CFGBuilder$Label updateStart
		com.sun.source.tree.StatementTree init
		org.checkerframework.dataflow.cfg.CFGBuilder$ConditionalJump cjump
		com.sun.source.tree.ExpressionStatementTree update
		com.sun.source.tree.ForLoopTree tree
		Void p
		javax.lang.model.element.Name parentLabel
		org.checkerframework.dataflow.cfg.CFGBuilder$Label conditionStart
		org.checkerframework.dataflow.cfg.CFGBuilder$Label loopEntry
		org.checkerframework.dataflow.cfg.CFGBuilder$Label loopExit
		org.checkerframework.dataflow.cfg.CFGBuilder$Label updateStart
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell oldBreakTargetL
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell oldContinueTargetL
	public org.checkerframework.dataflow.cfg.node.Node visitIdentifier (com.sun.source.tree.IdentifierTree, java.lang.Void) 
		org.checkerframework.dataflow.cfg.node.Node receiver
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.element.Element element
		com.sun.source.tree.IdentifierTree tree
		Void p
		org.checkerframework.dataflow.cfg.node.Node node
	public org.checkerframework.dataflow.cfg.node.Node visitIf (com.sun.source.tree.IfTree, java.lang.Void) 
		com.sun.source.tree.IfTree tree
		Void p
		org.checkerframework.dataflow.cfg.CFGBuilder$Label thenEntry
		org.checkerframework.dataflow.cfg.CFGBuilder$Label elseEntry
		org.checkerframework.dataflow.cfg.CFGBuilder$Label endIf
		org.checkerframework.dataflow.cfg.CFGBuilder$ConditionalJump cjump
		com.sun.source.tree.StatementTree thenStatement
		com.sun.source.tree.StatementTree elseStatement
	public org.checkerframework.dataflow.cfg.node.Node visitImport (com.sun.source.tree.ImportTree, java.lang.Void) 
		com.sun.source.tree.ImportTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitArrayAccess (com.sun.source.tree.ArrayAccessTree, java.lang.Void) 
		com.sun.source.tree.ArrayAccessTree tree
		Void p
		org.checkerframework.dataflow.cfg.node.Node array
		org.checkerframework.dataflow.cfg.node.Node index
		org.checkerframework.dataflow.cfg.node.Node arrayAccess
		javax.lang.model.element.Element aioobeElement
		javax.lang.model.element.Element npeElement
	public org.checkerframework.dataflow.cfg.node.Node visitLabeledStatement (com.sun.source.tree.LabeledStatementTree, java.lang.Void) 
		com.sun.source.tree.LabeledStatementTree tree
		Void p
		javax.lang.model.element.Name labelName
		org.checkerframework.dataflow.cfg.CFGBuilder$Label breakL
		org.checkerframework.dataflow.cfg.CFGBuilder$Label continueL
	public org.checkerframework.dataflow.cfg.node.Node visitLiteral (com.sun.source.tree.LiteralTree, java.lang.Void) 
		com.sun.source.tree.LiteralTree tree
		Void p
		org.checkerframework.dataflow.cfg.node.Node r
		org.checkerframework.dataflow.cfg.node.Node result
	public org.checkerframework.dataflow.cfg.node.Node visitMethod (com.sun.source.tree.MethodTree, java.lang.Void) 
		com.sun.source.tree.MethodTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitModifiers (com.sun.source.tree.ModifiersTree, java.lang.Void) 
		com.sun.source.tree.ModifiersTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitNewArray (com.sun.source.tree.NewArrayTree, java.lang.Void) 
		com.sun.source.tree.ExpressionTree dim
		com.sun.source.tree.ExpressionTree init
		com.sun.source.tree.NewArrayTree tree
		Void p
		javax.lang.model.type.ArrayType type
		javax.lang.model.type.TypeMirror elemType
		java.util.List dimensions
		java.util.List initializers
		java.util.List dimensionNodes
		java.util.List initializerNodes
		org.checkerframework.dataflow.cfg.node.Node node
	public org.checkerframework.dataflow.cfg.node.Node visitNewClass (com.sun.source.tree.NewClassTree, java.lang.Void) 
		com.sun.source.tree.NewClassTree tree
		Void p
		com.sun.source.tree.Tree enclosingExpr
		javax.lang.model.element.ExecutableElement constructor
		java.util.List actualExprs
		java.util.List arguments
		org.checkerframework.dataflow.cfg.node.Node constructorNode
		org.checkerframework.dataflow.cfg.node.ClassDeclarationNode classbody
		org.checkerframework.dataflow.cfg.node.Node node
		java.util.Set thrownSet
		java.util.List thrownTypes
		javax.lang.model.element.TypeElement throwableElement
	public org.checkerframework.dataflow.cfg.node.Node visitParenthesized (com.sun.source.tree.ParenthesizedTree, java.lang.Void) 
		com.sun.source.tree.ParenthesizedTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitReturn (com.sun.source.tree.ReturnTree, java.lang.Void) 
		com.sun.source.tree.LambdaExpressionTree lambdaTree
		com.sun.source.util.TreePath lambdaTreePath
		com.sun.tools.javac.util.Context ctx
		javax.lang.model.element.Element overriddenElement
		org.checkerframework.dataflow.cfg.node.Node node
		com.sun.source.tree.Tree enclosing
		com.sun.source.tree.ReturnTree tree
		Void p
		com.sun.source.tree.ExpressionTree ret
		org.checkerframework.dataflow.cfg.node.ReturnNode result
	public org.checkerframework.dataflow.cfg.node.Node visitMemberSelect (com.sun.source.tree.MemberSelectTree, java.lang.Void) 
		org.checkerframework.dataflow.cfg.node.Node result
		javax.lang.model.element.Element element
		javax.lang.model.element.TypeElement npeElement
		com.sun.source.tree.MemberSelectTree tree
		Void p
		org.checkerframework.dataflow.cfg.node.Node expr
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.element.Element element
	public org.checkerframework.dataflow.cfg.node.Node visitEmptyStatement (com.sun.source.tree.EmptyStatementTree, java.lang.Void) 
		com.sun.source.tree.EmptyStatementTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitSynchronized (com.sun.source.tree.SynchronizedTree, java.lang.Void) 
		com.sun.source.tree.SynchronizedTree tree
		Void p
		org.checkerframework.dataflow.cfg.node.Node synchronizedExpr
		org.checkerframework.dataflow.cfg.node.SynchronizedNode synchronizedStartNode
		org.checkerframework.dataflow.cfg.node.SynchronizedNode synchronizedEndNode
	public org.checkerframework.dataflow.cfg.node.Node visitThrow (com.sun.source.tree.ThrowTree, java.lang.Void) 
		com.sun.source.tree.ThrowTree tree
		Void p
		org.checkerframework.dataflow.cfg.node.Node expression
		javax.lang.model.type.TypeMirror exception
		org.checkerframework.dataflow.cfg.node.ThrowNode throwsNode
		org.checkerframework.dataflow.cfg.CFGBuilder$NodeWithExceptionsHolder exNode
	public org.checkerframework.dataflow.cfg.node.Node visitCompilationUnit (com.sun.source.tree.CompilationUnitTree, java.lang.Void) 
		com.sun.source.tree.CompilationUnitTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitTry (com.sun.source.tree.TryTree, java.lang.Void) 
		com.sun.source.tree.Tree resource
		javax.lang.model.type.TypeMirror type
		com.sun.source.tree.CatchTree c
		com.sun.source.tree.CatchTree c
		javax.lang.model.type.TypeMirror throwableType
		org.checkerframework.dataflow.cfg.CFGBuilder$NodeWithExceptionsHolder throwing
		java.util.Map$Entry access
		java.util.Map$Entry access
		java.util.Map accessedBreakLabels
		java.util.Map accessedContinueLabels
		com.sun.source.tree.TryTree tree
		Void p
		java.util.List catches
		com.sun.source.tree.BlockTree finallyBlock
		java.util.List resources
		java.util.List catchLabels
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell oldReturnTargetL
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell oldBreakTargetL
		java.util.Map oldBreakLabels
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell oldContinueTargetL
		java.util.Map oldContinueLabels
		org.checkerframework.dataflow.cfg.CFGBuilder$Label finallyLabel
		org.checkerframework.dataflow.cfg.CFGBuilder$Label exceptionalFinallyLabel
		org.checkerframework.dataflow.cfg.CFGBuilder$Label doneLabel
		int catchIndex
	private boolean hasExceptionalPath (org.checkerframework.dataflow.cfg.CFGBuilder$Label) 
		java.util.Set labels
		org.checkerframework.dataflow.cfg.CFGBuilder$NodeWithExceptionsHolder exceptionalNode
		org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode node
		org.checkerframework.dataflow.cfg.CFGBuilder$Label target
	public org.checkerframework.dataflow.cfg.node.Node visitParameterizedType (com.sun.source.tree.ParameterizedTypeTree, java.lang.Void) 
		com.sun.source.tree.ParameterizedTypeTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitUnionType (com.sun.source.tree.UnionTypeTree, java.lang.Void) 
		com.sun.source.tree.UnionTypeTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitArrayType (com.sun.source.tree.ArrayTypeTree, java.lang.Void) 
		com.sun.source.tree.ArrayTypeTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitTypeCast (com.sun.source.tree.TypeCastTree, java.lang.Void) 
		com.sun.source.tree.TypeCastTree tree
		Void p
		org.checkerframework.dataflow.cfg.node.Node operand
		javax.lang.model.type.TypeMirror type
		org.checkerframework.dataflow.cfg.node.Node node
		javax.lang.model.element.TypeElement cceElement
	public org.checkerframework.dataflow.cfg.node.Node visitPrimitiveType (com.sun.source.tree.PrimitiveTypeTree, java.lang.Void) 
		com.sun.source.tree.PrimitiveTypeTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitTypeParameter (com.sun.source.tree.TypeParameterTree, java.lang.Void) 
		com.sun.source.tree.TypeParameterTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitInstanceOf (com.sun.source.tree.InstanceOfTree, java.lang.Void) 
		com.sun.source.tree.InstanceOfTree tree
		Void p
		org.checkerframework.dataflow.cfg.node.Node operand
		javax.lang.model.type.TypeMirror refType
		org.checkerframework.dataflow.cfg.node.InstanceOfNode node
	public org.checkerframework.dataflow.cfg.node.Node visitUnary (com.sun.source.tree.UnaryTree, java.lang.Void) 
		org.checkerframework.dataflow.cfg.node.Node expr
		org.checkerframework.dataflow.cfg.node.Node expr
		javax.lang.model.type.TypeMirror exprType
		com.sun.source.tree.VariableTree tempVarDecl
		org.checkerframework.dataflow.cfg.node.VariableDeclarationNode tempVarDeclNode
		com.sun.source.tree.Tree tempVar
		org.checkerframework.dataflow.cfg.node.Node tempVarNode
		org.checkerframework.dataflow.cfg.node.AssignmentNode tempAssignNode
		com.sun.source.tree.Tree resultExpr
		com.sun.source.tree.ExpressionTree exprTree
		org.checkerframework.dataflow.cfg.node.Node expr
		boolean isIncrement
		boolean isPostfix
		org.checkerframework.dataflow.cfg.node.AssignmentNode unaryAssign
		org.checkerframework.dataflow.cfg.node.Node expr
		com.sun.source.tree.UnaryTree tree
		Void p
		org.checkerframework.dataflow.cfg.node.Node result
		com.sun.source.tree.Tree$Kind kind
	private org.checkerframework.dataflow.cfg.node.AssignmentNode createIncrementOrDecrementAssign (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node, boolean) 
		org.checkerframework.dataflow.cfg.node.Node operNode
		com.sun.source.tree.Tree target
		org.checkerframework.dataflow.cfg.node.Node expr
		boolean isIncrement
		com.sun.source.tree.ExpressionTree exprTree
		javax.lang.model.type.TypeMirror exprType
		javax.lang.model.type.TypeMirror oneType
		javax.lang.model.type.TypeMirror promotedType
		com.sun.source.tree.LiteralTree oneTree
		org.checkerframework.dataflow.cfg.node.Node exprRHS
		org.checkerframework.dataflow.cfg.node.Node one
		com.sun.source.tree.BinaryTree operTree
		org.checkerframework.dataflow.cfg.node.Node operNode
		org.checkerframework.dataflow.cfg.node.Node narrowed
		org.checkerframework.dataflow.cfg.node.AssignmentNode assignNode
	public org.checkerframework.dataflow.cfg.node.Node visitVariable (com.sun.source.tree.VariableTree, java.lang.Void) 
		com.sun.source.tree.ExpressionTree initializer
		org.checkerframework.dataflow.cfg.node.VariableDeclarationNode decl
		com.sun.source.tree.ExpressionTree initializer
		com.sun.source.tree.VariableTree tree
		Void p
		boolean isField
		org.checkerframework.dataflow.cfg.node.Node node
		com.sun.source.tree.ClassTree enclosingClass
		javax.lang.model.element.TypeElement classElem
		org.checkerframework.dataflow.cfg.node.Node receiver
	public org.checkerframework.dataflow.cfg.node.Node visitWhileLoop (com.sun.source.tree.WhileLoopTree, java.lang.Void) 
		org.checkerframework.dataflow.cfg.CFGBuilder$Label conditionStart
		org.checkerframework.dataflow.cfg.CFGBuilder$ConditionalJump cjump
		com.sun.source.tree.WhileLoopTree tree
		Void p
		javax.lang.model.element.Name parentLabel
		org.checkerframework.dataflow.cfg.CFGBuilder$Label loopEntry
		org.checkerframework.dataflow.cfg.CFGBuilder$Label loopExit
		org.checkerframework.dataflow.cfg.CFGBuilder$Label conditionStart
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell oldBreakTargetL
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell oldContinueTargetL
	public org.checkerframework.dataflow.cfg.node.Node visitLambdaExpression (com.sun.source.tree.LambdaExpressionTree, java.lang.Void) 
		com.sun.source.tree.LambdaExpressionTree tree
		Void p
		org.checkerframework.dataflow.cfg.node.Node node
	public org.checkerframework.dataflow.cfg.node.Node visitMemberReference (com.sun.source.tree.MemberReferenceTree, java.lang.Void) 
		com.sun.source.tree.MemberReferenceTree tree
		Void p
		com.sun.source.tree.Tree enclosingExpr
		org.checkerframework.dataflow.cfg.node.Node node
	public org.checkerframework.dataflow.cfg.node.Node visitWildcard (com.sun.source.tree.WildcardTree, java.lang.Void) 
		com.sun.source.tree.WildcardTree tree
		Void p
	public org.checkerframework.dataflow.cfg.node.Node visitOther (com.sun.source.tree.Tree, java.lang.Void) 
		com.sun.source.tree.Tree tree
		Void p
	public volatile java.lang.Object visitErroneous (com.sun.source.tree.ErroneousTree, java.lang.Object) 
	public volatile java.lang.Object visitOther (com.sun.source.tree.Tree, java.lang.Object) 
	public volatile java.lang.Object visitAnnotatedType (com.sun.source.tree.AnnotatedTypeTree, java.lang.Object) 
	public volatile java.lang.Object visitAnnotation (com.sun.source.tree.AnnotationTree, java.lang.Object) 
	public volatile java.lang.Object visitModifiers (com.sun.source.tree.ModifiersTree, java.lang.Object) 
	public volatile java.lang.Object visitWildcard (com.sun.source.tree.WildcardTree, java.lang.Object) 
	public volatile java.lang.Object visitTypeParameter (com.sun.source.tree.TypeParameterTree, java.lang.Object) 
	public volatile java.lang.Object visitUnionType (com.sun.source.tree.UnionTypeTree, java.lang.Object) 
	public volatile java.lang.Object visitParameterizedType (com.sun.source.tree.ParameterizedTypeTree, java.lang.Object) 
	public volatile java.lang.Object visitArrayType (com.sun.source.tree.ArrayTypeTree, java.lang.Object) 
	public volatile java.lang.Object visitPrimitiveType (com.sun.source.tree.PrimitiveTypeTree, java.lang.Object) 
	public volatile java.lang.Object visitLiteral (com.sun.source.tree.LiteralTree, java.lang.Object) 
	public volatile java.lang.Object visitIdentifier (com.sun.source.tree.IdentifierTree, java.lang.Object) 
	public volatile java.lang.Object visitMemberReference (com.sun.source.tree.MemberReferenceTree, java.lang.Object) 
	public volatile java.lang.Object visitMemberSelect (com.sun.source.tree.MemberSelectTree, java.lang.Object) 
	public volatile java.lang.Object visitArrayAccess (com.sun.source.tree.ArrayAccessTree, java.lang.Object) 
	public volatile java.lang.Object visitInstanceOf (com.sun.source.tree.InstanceOfTree, java.lang.Object) 
	public volatile java.lang.Object visitTypeCast (com.sun.source.tree.TypeCastTree, java.lang.Object) 
	public volatile java.lang.Object visitBinary (com.sun.source.tree.BinaryTree, java.lang.Object) 
	public volatile java.lang.Object visitUnary (com.sun.source.tree.UnaryTree, java.lang.Object) 
	public volatile java.lang.Object visitCompoundAssignment (com.sun.source.tree.CompoundAssignmentTree, java.lang.Object) 
	public volatile java.lang.Object visitAssignment (com.sun.source.tree.AssignmentTree, java.lang.Object) 
	public volatile java.lang.Object visitParenthesized (com.sun.source.tree.ParenthesizedTree, java.lang.Object) 
	public volatile java.lang.Object visitLambdaExpression (com.sun.source.tree.LambdaExpressionTree, java.lang.Object) 
	public volatile java.lang.Object visitNewArray (com.sun.source.tree.NewArrayTree, java.lang.Object) 
	public volatile java.lang.Object visitNewClass (com.sun.source.tree.NewClassTree, java.lang.Object) 
	public volatile java.lang.Object visitMethodInvocation (com.sun.source.tree.MethodInvocationTree, java.lang.Object) 
	public volatile java.lang.Object visitAssert (com.sun.source.tree.AssertTree, java.lang.Object) 
	public volatile java.lang.Object visitThrow (com.sun.source.tree.ThrowTree, java.lang.Object) 
	public volatile java.lang.Object visitReturn (com.sun.source.tree.ReturnTree, java.lang.Object) 
	public volatile java.lang.Object visitContinue (com.sun.source.tree.ContinueTree, java.lang.Object) 
	public volatile java.lang.Object visitBreak (com.sun.source.tree.BreakTree, java.lang.Object) 
	public volatile java.lang.Object visitExpressionStatement (com.sun.source.tree.ExpressionStatementTree, java.lang.Object) 
	public volatile java.lang.Object visitIf (com.sun.source.tree.IfTree, java.lang.Object) 
	public volatile java.lang.Object visitConditionalExpression (com.sun.source.tree.ConditionalExpressionTree, java.lang.Object) 
	public volatile java.lang.Object visitCatch (com.sun.source.tree.CatchTree, java.lang.Object) 
	public volatile java.lang.Object visitTry (com.sun.source.tree.TryTree, java.lang.Object) 
	public volatile java.lang.Object visitSynchronized (com.sun.source.tree.SynchronizedTree, java.lang.Object) 
	public volatile java.lang.Object visitCase (com.sun.source.tree.CaseTree, java.lang.Object) 
	public volatile java.lang.Object visitSwitch (com.sun.source.tree.SwitchTree, java.lang.Object) 
	public volatile java.lang.Object visitLabeledStatement (com.sun.source.tree.LabeledStatementTree, java.lang.Object) 
	public volatile java.lang.Object visitEnhancedForLoop (com.sun.source.tree.EnhancedForLoopTree, java.lang.Object) 
	public volatile java.lang.Object visitForLoop (com.sun.source.tree.ForLoopTree, java.lang.Object) 
	public volatile java.lang.Object visitWhileLoop (com.sun.source.tree.WhileLoopTree, java.lang.Object) 
	public volatile java.lang.Object visitDoWhileLoop (com.sun.source.tree.DoWhileLoopTree, java.lang.Object) 
	public volatile java.lang.Object visitBlock (com.sun.source.tree.BlockTree, java.lang.Object) 
	public volatile java.lang.Object visitEmptyStatement (com.sun.source.tree.EmptyStatementTree, java.lang.Object) 
	public volatile java.lang.Object visitVariable (com.sun.source.tree.VariableTree, java.lang.Object) 
	public volatile java.lang.Object visitMethod (com.sun.source.tree.MethodTree, java.lang.Object) 
	public volatile java.lang.Object visitClass (com.sun.source.tree.ClassTree, java.lang.Object) 
	public volatile java.lang.Object visitImport (com.sun.source.tree.ImportTree, java.lang.Object) 
	public volatile java.lang.Object visitCompilationUnit (com.sun.source.tree.CompilationUnitTree, java.lang.Object) 
	static javax.lang.model.element.Element access$1300 (org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne) 
		org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne x0
	static void  () 
}

org/checkerframework/dataflow/cfg/UnderlyingAST.class
UnderlyingAST.java
package org.checkerframework.dataflow.cfg
public abstract org.checkerframework.dataflow.cfg.UnderlyingAST extends java.lang.Object {
	protected final org.checkerframework.dataflow.cfg.UnderlyingAST$Kind kind
	public void  (org.checkerframework.dataflow.cfg.UnderlyingAST$Kind) 
		org.checkerframework.dataflow.cfg.UnderlyingAST$Kind kind
	public abstract com.sun.source.tree.Tree getCode () 
	public org.checkerframework.dataflow.cfg.UnderlyingAST$Kind getKind () 
}

org/checkerframework/dataflow/cfg/UnderlyingAST$CFGStatement.class
UnderlyingAST.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.UnderlyingAST$CFGStatement extends org.checkerframework.dataflow.cfg.UnderlyingAST {
	protected final com.sun.source.tree.Tree code
	protected final com.sun.source.tree.ClassTree classTree
	public void  (com.sun.source.tree.Tree, com.sun.source.tree.ClassTree) 
		com.sun.source.tree.Tree code
		com.sun.source.tree.ClassTree classTree
	public com.sun.source.tree.Tree getCode () 
	public com.sun.source.tree.ClassTree getClassTree () 
	public java.lang.String toString () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$CFGTranslationPhaseTwo$1.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
final org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseTwo$1 extends org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl {
	final org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl val$cb
	void  (org.checkerframework.dataflow.cfg.block.Block$BlockType, org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl) 
		org.checkerframework.dataflow.cfg.block.Block$BlockType type
	public void setSuccessor (org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.BlockImpl successor
}

org/checkerframework/dataflow/cfg/CFGBuilder$ExtendedNode$ExtendedNodeType.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public final org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode$ExtendedNodeType extends java.lang.Enum {
	public static final org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode$ExtendedNodeType NODE
	public static final org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode$ExtendedNodeType EXCEPTION_NODE
	public static final org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode$ExtendedNodeType UNCONDITIONAL_JUMP
	public static final org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode$ExtendedNodeType CONDITIONAL_JUMP
	private static final org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode$ExtendedNodeType[] $VALUES
	public static org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode$ExtendedNodeType[] values () 
	public static org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode$ExtendedNodeType valueOf (java.lang.String) 
		String name
	private void  (java.lang.String, int) 
	static void  () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$NodeWithExceptionsHolder.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$NodeWithExceptionsHolder extends org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode {
	protected org.checkerframework.dataflow.cfg.node.Node node
	protected java.util.Map exceptions
	public void  (org.checkerframework.dataflow.cfg.node.Node, java.util.Map) 
		org.checkerframework.dataflow.cfg.node.Node node
		java.util.Map exceptions
	public java.util.Map getExceptions () 
	public org.checkerframework.dataflow.cfg.node.Node getNode () 
	public java.lang.String toString () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$CFGTranslationPhaseThree$2.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
final org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$2 extends java.lang.Object implements org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$PredecessorHolder  {
	final org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl val$c
	final org.checkerframework.dataflow.cfg.block.BlockImpl val$cur
	final org.checkerframework.dataflow.cfg.block.BlockImpl val$pred
	void  (org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl, org.checkerframework.dataflow.cfg.block.BlockImpl, org.checkerframework.dataflow.cfg.block.BlockImpl) 
	public void setSuccessor (org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.BlockImpl b
	public org.checkerframework.dataflow.cfg.block.BlockImpl getBlock () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$TryFinallyScopeCell.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell extends java.lang.Object {
	private org.checkerframework.dataflow.cfg.CFGBuilder$Label label
	private boolean accessed
	static final boolean $assertionsDisabled
	protected void  () 
	protected void  (org.checkerframework.dataflow.cfg.CFGBuilder$Label) 
		org.checkerframework.dataflow.cfg.CFGBuilder$Label label
	public org.checkerframework.dataflow.cfg.CFGBuilder$Label accessLabel () 
	public org.checkerframework.dataflow.cfg.CFGBuilder$Label peekLabel () 
	public boolean wasAccessed () 
	static void  () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$CFGTranslationPhaseThree$3.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
final org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$3 extends java.lang.Object implements org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$PredecessorHolder  {
	final org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl val$e
	final java.util.Map$Entry val$entry
	final org.checkerframework.dataflow.cfg.block.BlockImpl val$cur
	final org.checkerframework.dataflow.cfg.block.BlockImpl val$pred
	void  (org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl, java.util.Map$Entry, org.checkerframework.dataflow.cfg.block.BlockImpl, org.checkerframework.dataflow.cfg.block.BlockImpl) 
	public void setSuccessor (org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.BlockImpl b
	public org.checkerframework.dataflow.cfg.block.BlockImpl getBlock () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$Label.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$Label extends java.lang.Object {
	private static int uid
	protected final String name
	public void  (java.lang.String) 
		String name
	public void  () 
	public java.lang.String toString () 
	private static java.lang.String uniqueName () 
	static void  () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$Tuple.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$Tuple extends java.lang.Object {
	public final Object a
	public final Object b
	public final Object c
	public void  (java.lang.Object, java.lang.Object) 
		Object a
		Object b
	public void  (java.lang.Object, java.lang.Object, java.lang.Object) 
		Object a
		Object b
		Object c
	public java.lang.String toString () 
}

org/checkerframework/dataflow/cfg/block/
org/checkerframework/dataflow/cfg/block/SpecialBlockImpl.class
SpecialBlockImpl.java
package org.checkerframework.dataflow.cfg.block
public org.checkerframework.dataflow.cfg.block.SpecialBlockImpl extends org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl implements org.checkerframework.dataflow.cfg.block.SpecialBlock  {
	protected final org.checkerframework.dataflow.cfg.block.SpecialBlock$SpecialBlockType specialType
	public void  (org.checkerframework.dataflow.cfg.block.SpecialBlock$SpecialBlockType) 
		org.checkerframework.dataflow.cfg.block.SpecialBlock$SpecialBlockType type
	public org.checkerframework.dataflow.cfg.block.SpecialBlock$SpecialBlockType getSpecialType () 
	public java.lang.String toString () 
}

org/checkerframework/dataflow/cfg/block/SingleSuccessorBlock.class
SingleSuccessorBlock.java
package org.checkerframework.dataflow.cfg.block
public abstract org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock extends java.lang.Object implements org.checkerframework.dataflow.cfg.block.Block  {
	public abstract org.checkerframework.dataflow.cfg.block.Block getSuccessor () 
	public abstract org.checkerframework.dataflow.analysis.Store$FlowRule getFlowRule () 
	public abstract void setFlowRule (org.checkerframework.dataflow.analysis.Store$FlowRule) 
}

org/checkerframework/dataflow/cfg/block/SpecialBlock.class
SpecialBlock.java
package org.checkerframework.dataflow.cfg.block
public abstract org.checkerframework.dataflow.cfg.block.SpecialBlock extends java.lang.Object implements org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock  {
	public abstract org.checkerframework.dataflow.cfg.block.SpecialBlock$SpecialBlockType getSpecialType () 
}

org/checkerframework/dataflow/cfg/block/ConditionalBlockImpl.class
ConditionalBlockImpl.java
package org.checkerframework.dataflow.cfg.block
public org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl extends org.checkerframework.dataflow.cfg.block.BlockImpl implements org.checkerframework.dataflow.cfg.block.ConditionalBlock  {
	protected org.checkerframework.dataflow.cfg.block.BlockImpl thenSuccessor
	protected org.checkerframework.dataflow.cfg.block.BlockImpl elseSuccessor
	protected org.checkerframework.dataflow.analysis.Store$FlowRule thenFlowRule
	protected org.checkerframework.dataflow.analysis.Store$FlowRule elseFlowRule
	public void  () 
	public void setThenSuccessor (org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.BlockImpl b
	public void setElseSuccessor (org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.BlockImpl b
	public org.checkerframework.dataflow.cfg.block.Block getThenSuccessor () 
	public org.checkerframework.dataflow.cfg.block.Block getElseSuccessor () 
	public org.checkerframework.dataflow.analysis.Store$FlowRule getThenFlowRule () 
	public org.checkerframework.dataflow.analysis.Store$FlowRule getElseFlowRule () 
	public void setThenFlowRule (org.checkerframework.dataflow.analysis.Store$FlowRule) 
		org.checkerframework.dataflow.analysis.Store$FlowRule rule
	public void setElseFlowRule (org.checkerframework.dataflow.analysis.Store$FlowRule) 
		org.checkerframework.dataflow.analysis.Store$FlowRule rule
	public java.lang.String toString () 
}

org/checkerframework/dataflow/cfg/block/SingleSuccessorBlockImpl.class
SingleSuccessorBlockImpl.java
package org.checkerframework.dataflow.cfg.block
public abstract org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl extends org.checkerframework.dataflow.cfg.block.BlockImpl implements org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock  {
	protected org.checkerframework.dataflow.cfg.block.BlockImpl successor
	protected org.checkerframework.dataflow.analysis.Store$FlowRule flowRule
	public void  (org.checkerframework.dataflow.cfg.block.Block$BlockType) 
		org.checkerframework.dataflow.cfg.block.Block$BlockType type
	public org.checkerframework.dataflow.cfg.block.Block getSuccessor () 
	public void setSuccessor (org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.BlockImpl successor
	public org.checkerframework.dataflow.analysis.Store$FlowRule getFlowRule () 
	public void setFlowRule (org.checkerframework.dataflow.analysis.Store$FlowRule) 
		org.checkerframework.dataflow.analysis.Store$FlowRule rule
}

org/checkerframework/dataflow/cfg/block/ExceptionBlock.class
ExceptionBlock.java
package org.checkerframework.dataflow.cfg.block
public abstract org.checkerframework.dataflow.cfg.block.ExceptionBlock extends java.lang.Object implements org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock  {
	public abstract org.checkerframework.dataflow.cfg.node.Node getNode () 
	public abstract java.util.Map getExceptionalSuccessors () 
}

org/checkerframework/dataflow/cfg/block/ExceptionBlockImpl.class
ExceptionBlockImpl.java
package org.checkerframework.dataflow.cfg.block
public org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl extends org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl implements org.checkerframework.dataflow.cfg.block.ExceptionBlock  {
	protected final java.util.Map exceptionalSuccessors
	protected org.checkerframework.dataflow.cfg.node.Node node
	public void  () 
	public void setNode (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node c
	public org.checkerframework.dataflow.cfg.node.Node getNode () 
	public void addExceptionalSuccessor (org.checkerframework.dataflow.cfg.block.BlockImpl, javax.lang.model.type.TypeMirror) 
		org.checkerframework.dataflow.cfg.block.BlockImpl b
		javax.lang.model.type.TypeMirror cause
		java.util.Set blocks
	public java.util.Map getExceptionalSuccessors () 
	public java.lang.String toString () 
}

org/checkerframework/dataflow/cfg/block/BlockImpl.class
BlockImpl.java
package org.checkerframework.dataflow.cfg.block
public abstract org.checkerframework.dataflow.cfg.block.BlockImpl extends java.lang.Object implements org.checkerframework.dataflow.cfg.block.Block  {
	protected final long id
	protected static long lastId
	protected final org.checkerframework.dataflow.cfg.block.Block$BlockType type
	protected final java.util.Set predecessors
	private static long uniqueID () 
	public void  (org.checkerframework.dataflow.cfg.block.Block$BlockType) 
		org.checkerframework.dataflow.cfg.block.Block$BlockType type
	public long getId () 
	public org.checkerframework.dataflow.cfg.block.Block$BlockType getType () 
	public java.util.Set getPredecessors () 
	public void addPredecessor (org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.BlockImpl pred
	public void removePredecessor (org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.BlockImpl pred
	static void  () 
}

org/checkerframework/dataflow/cfg/block/Block.class
Block.java
package org.checkerframework.dataflow.cfg.block
public abstract org.checkerframework.dataflow.cfg.block.Block extends java.lang.Object {
	public abstract org.checkerframework.dataflow.cfg.block.Block$BlockType getType () 
	public abstract long getId () 
}

org/checkerframework/dataflow/cfg/block/Block$BlockType.class
Block.java
package org.checkerframework.dataflow.cfg.block
public final org.checkerframework.dataflow.cfg.block.Block$BlockType extends java.lang.Enum {
	public static final org.checkerframework.dataflow.cfg.block.Block$BlockType REGULAR_BLOCK
	public static final org.checkerframework.dataflow.cfg.block.Block$BlockType CONDITIONAL_BLOCK
	public static final org.checkerframework.dataflow.cfg.block.Block$BlockType SPECIAL_BLOCK
	public static final org.checkerframework.dataflow.cfg.block.Block$BlockType EXCEPTION_BLOCK
	private static final org.checkerframework.dataflow.cfg.block.Block$BlockType[] $VALUES
	public static org.checkerframework.dataflow.cfg.block.Block$BlockType[] values () 
	public static org.checkerframework.dataflow.cfg.block.Block$BlockType valueOf (java.lang.String) 
		String name
	private void  (java.lang.String, int) 
	static void  () 
}

org/checkerframework/dataflow/cfg/block/ConditionalBlock.class
ConditionalBlock.java
package org.checkerframework.dataflow.cfg.block
public abstract org.checkerframework.dataflow.cfg.block.ConditionalBlock extends java.lang.Object implements org.checkerframework.dataflow.cfg.block.Block  {
	public abstract org.checkerframework.dataflow.cfg.block.Block getThenSuccessor () 
	public abstract org.checkerframework.dataflow.cfg.block.Block getElseSuccessor () 
	public abstract org.checkerframework.dataflow.analysis.Store$FlowRule getThenFlowRule () 
	public abstract org.checkerframework.dataflow.analysis.Store$FlowRule getElseFlowRule () 
	public abstract void setThenFlowRule (org.checkerframework.dataflow.analysis.Store$FlowRule) 
	public abstract void setElseFlowRule (org.checkerframework.dataflow.analysis.Store$FlowRule) 
}

org/checkerframework/dataflow/cfg/block/RegularBlock.class
RegularBlock.java
package org.checkerframework.dataflow.cfg.block
public abstract org.checkerframework.dataflow.cfg.block.RegularBlock extends java.lang.Object implements org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock  {
	public abstract java.util.List getContents () 
	public abstract org.checkerframework.dataflow.cfg.block.Block getRegularSuccessor () 
	public abstract boolean isEmpty () 
}

org/checkerframework/dataflow/cfg/block/RegularBlockImpl.class
RegularBlockImpl.java
package org.checkerframework.dataflow.cfg.block
public org.checkerframework.dataflow.cfg.block.RegularBlockImpl extends org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl implements org.checkerframework.dataflow.cfg.block.RegularBlock  {
	protected final java.util.List contents
	public void  () 
	public void addNode (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node t
	public void addNodes (java.util.List) 
		org.checkerframework.dataflow.cfg.node.Node t
		java.util.List ts
	public java.util.List getContents () 
	public org.checkerframework.dataflow.cfg.block.BlockImpl getRegularSuccessor () 
	public java.lang.String toString () 
	public boolean isEmpty () 
	public volatile org.checkerframework.dataflow.cfg.block.Block getRegularSuccessor () 
}

org/checkerframework/dataflow/cfg/block/SpecialBlock$SpecialBlockType.class
SpecialBlock.java
package org.checkerframework.dataflow.cfg.block
public final org.checkerframework.dataflow.cfg.block.SpecialBlock$SpecialBlockType extends java.lang.Enum {
	public static final org.checkerframework.dataflow.cfg.block.SpecialBlock$SpecialBlockType ENTRY
	public static final org.checkerframework.dataflow.cfg.block.SpecialBlock$SpecialBlockType EXIT
	public static final org.checkerframework.dataflow.cfg.block.SpecialBlock$SpecialBlockType EXCEPTIONAL_EXIT
	private static final org.checkerframework.dataflow.cfg.block.SpecialBlock$SpecialBlockType[] $VALUES
	public static org.checkerframework.dataflow.cfg.block.SpecialBlock$SpecialBlockType[] values () 
	public static org.checkerframework.dataflow.cfg.block.SpecialBlock$SpecialBlockType valueOf (java.lang.String) 
		String name
	private void  (java.lang.String, int) 
	static void  () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$CFGTranslationPhaseThree.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree extends java.lang.Object {
	static final boolean $assertionsDisabled
	protected void  () 
	public static org.checkerframework.dataflow.cfg.ControlFlowGraph process (org.checkerframework.dataflow.cfg.ControlFlowGraph) 
		org.checkerframework.dataflow.cfg.block.BlockImpl pred
		org.checkerframework.dataflow.cfg.block.BlockImpl cur
		org.checkerframework.dataflow.cfg.block.Block c
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl e
		org.checkerframework.dataflow.cfg.block.BlockImpl block
		org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$PredecessorHolder p
		java.util.Set empty
		java.util.Set predecessors
		org.checkerframework.dataflow.cfg.block.BlockImpl succ
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl b
		org.checkerframework.dataflow.cfg.block.Block cur
		org.checkerframework.dataflow.cfg.block.BlockImpl pred
		org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$PredecessorHolder predecessorHolder
		org.checkerframework.dataflow.cfg.block.BlockImpl succ
		org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl cb
		org.checkerframework.dataflow.cfg.block.BlockImpl cur
		org.checkerframework.dataflow.cfg.block.Block c
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl rs
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl b
		org.checkerframework.dataflow.cfg.block.Block succ
		org.checkerframework.dataflow.cfg.block.Block cur
		org.checkerframework.dataflow.cfg.ControlFlowGraph cfg
		java.util.Set worklist
		java.util.Set dontVisit
	protected static org.checkerframework.dataflow.cfg.block.BlockImpl computeNeighborhoodOfEmptyBlock (org.checkerframework.dataflow.cfg.block.RegularBlockImpl, java.util.Set, java.util.Set) 
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl cur
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl start
		java.util.Set empty
		java.util.Set predecessors
		org.checkerframework.dataflow.cfg.block.BlockImpl succ
	protected static void computeNeighborhoodOfEmptyBlockBackwards (org.checkerframework.dataflow.cfg.block.RegularBlockImpl, java.util.Set, java.util.Set) 
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl r
		org.checkerframework.dataflow.cfg.block.BlockImpl pred
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl start
		java.util.Set empty
		java.util.Set predecessors
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl cur
	protected static org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$PredecessorHolder getPredecessorHolder (org.checkerframework.dataflow.cfg.block.BlockImpl, org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl s
		org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl c
		java.util.Map$Entry entry
		java.util.Set entrySet
		org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl e
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl r
		org.checkerframework.dataflow.cfg.block.BlockImpl pred
		org.checkerframework.dataflow.cfg.block.BlockImpl cur
	protected static org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$PredecessorHolder singleSuccessorHolder (org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl, org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl s
		org.checkerframework.dataflow.cfg.block.BlockImpl old
	static void  () 
}

org/checkerframework/dataflow/cfg/UnderlyingAST$Kind.class
UnderlyingAST.java
package org.checkerframework.dataflow.cfg
public final org.checkerframework.dataflow.cfg.UnderlyingAST$Kind extends java.lang.Enum {
	public static final org.checkerframework.dataflow.cfg.UnderlyingAST$Kind METHOD
	public static final org.checkerframework.dataflow.cfg.UnderlyingAST$Kind LAMBDA
	public static final org.checkerframework.dataflow.cfg.UnderlyingAST$Kind ARBITRARY_CODE
	private static final org.checkerframework.dataflow.cfg.UnderlyingAST$Kind[] $VALUES
	public static org.checkerframework.dataflow.cfg.UnderlyingAST$Kind[] values () 
	public static org.checkerframework.dataflow.cfg.UnderlyingAST$Kind valueOf (java.lang.String) 
		String name
	private void  (java.lang.String, int) 
	static void  () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$CFGTranslationPhaseTwo$2.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
final org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseTwo$2 extends org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl {
	final org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl val$cb
	void  (org.checkerframework.dataflow.cfg.block.Block$BlockType, org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl) 
		org.checkerframework.dataflow.cfg.block.Block$BlockType type
	public void setSuccessor (org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.BlockImpl successor
}

org/checkerframework/dataflow/cfg/node/
org/checkerframework/dataflow/cfg/node/EqualToNode.class
EqualToNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.EqualToNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.EqualToNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/NumericalAdditionNode.class
NumericalAdditionNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.NumericalAdditionNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.NumericalAdditionNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/ObjectCreationNode.class
ObjectCreationNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ObjectCreationNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.NewClassTree tree
	protected final org.checkerframework.dataflow.cfg.node.Node constructor
	protected final java.util.List arguments
	protected final org.checkerframework.dataflow.cfg.node.ClassDeclarationNode classbody
	public void  (com.sun.source.tree.NewClassTree, org.checkerframework.dataflow.cfg.node.Node, java.util.List, org.checkerframework.dataflow.cfg.node.ClassDeclarationNode) 
		com.sun.source.tree.NewClassTree tree
		org.checkerframework.dataflow.cfg.node.Node constructor
		java.util.List arguments
		org.checkerframework.dataflow.cfg.node.ClassDeclarationNode classbody
	public org.checkerframework.dataflow.cfg.node.Node getConstructor () 
	public java.util.List getArguments () 
	public org.checkerframework.dataflow.cfg.node.Node getArgument (int) 
		int i
	public org.checkerframework.dataflow.cfg.node.Node getClassBody () 
	public com.sun.source.tree.NewClassTree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
		org.checkerframework.dataflow.cfg.node.Node arg
		StringBuilder sb
		boolean needComma
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.ObjectCreationNode other
	public int hashCode () 
		org.checkerframework.dataflow.cfg.node.Node arg
		int hash
	public java.util.Collection getOperands () 
		java.util.ArrayList list
	public volatile com.sun.source.tree.Tree getTree () 
}

org/checkerframework/dataflow/cfg/node/BitwiseComplementNode.class
BitwiseComplementNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.BitwiseComplementNode extends org.checkerframework.dataflow.cfg.node.UnaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.UnaryTree, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.UnaryTree tree
		org.checkerframework.dataflow.cfg.node.Node operand
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.BitwiseComplementNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/LocalVariableNode.class
LocalVariableNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.LocalVariableNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final org.checkerframework.dataflow.cfg.node.Node receiver
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree t
	public void  (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.Tree t
		org.checkerframework.dataflow.cfg.node.Node receiver
	public javax.lang.model.element.Element getElement () 
		javax.lang.model.element.Element el
		javax.lang.model.element.Element el
	public org.checkerframework.dataflow.cfg.node.Node getReceiver () 
	public java.lang.String getName () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.LocalVariableNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/ConditionalNotNode.class
ConditionalNotNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ConditionalNotNode extends org.checkerframework.dataflow.cfg.node.UnaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.UnaryTree, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.UnaryTree tree
		org.checkerframework.dataflow.cfg.node.Node operand
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.ConditionalNotNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/ThisLiteralNode.class
ThisLiteralNode.java
package org.checkerframework.dataflow.cfg.node
public abstract org.checkerframework.dataflow.cfg.node.ThisLiteralNode extends org.checkerframework.dataflow.cfg.node.Node {
	public void  (javax.lang.model.type.TypeMirror) 
		javax.lang.model.type.TypeMirror type
	public java.lang.String getName () 
	public boolean equals (java.lang.Object) 
		Object obj
	public int hashCode () 
	public java.util.Collection getOperands () 
}

org/checkerframework/dataflow/cfg/node/UnsignedRightShiftNode.class
UnsignedRightShiftNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/LessThanOrEqualNode.class
LessThanOrEqualNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/BitwiseOrNode.class
BitwiseOrNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.BitwiseOrNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.BitwiseOrNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/MethodInvocationNode.class
MethodInvocationNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.MethodInvocationNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.MethodInvocationTree tree
	protected final org.checkerframework.dataflow.cfg.node.MethodAccessNode target
	protected final java.util.List arguments
	protected final com.sun.source.util.TreePath treePath
	public void  (com.sun.source.tree.MethodInvocationTree, org.checkerframework.dataflow.cfg.node.MethodAccessNode, java.util.List, com.sun.source.util.TreePath) 
		org.checkerframework.dataflow.cfg.node.AssignmentContext ctx
		org.checkerframework.dataflow.cfg.node.Node arg
		com.sun.source.tree.MethodInvocationTree tree
		org.checkerframework.dataflow.cfg.node.MethodAccessNode target
		java.util.List arguments
		com.sun.source.util.TreePath treePath
		int i
	public void  (org.checkerframework.dataflow.cfg.node.MethodAccessNode, java.util.List, com.sun.source.util.TreePath) 
		org.checkerframework.dataflow.cfg.node.MethodAccessNode target
		java.util.List arguments
		com.sun.source.util.TreePath treePath
	public org.checkerframework.dataflow.cfg.node.MethodAccessNode getTarget () 
	public java.util.List getArguments () 
	public org.checkerframework.dataflow.cfg.node.Node getArgument (int) 
		int i
	public com.sun.source.util.TreePath getTreePath () 
	public com.sun.source.tree.MethodInvocationTree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
		org.checkerframework.dataflow.cfg.node.Node arg
		StringBuilder sb
		boolean needComma
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.MethodInvocationNode other
	public int hashCode () 
		org.checkerframework.dataflow.cfg.node.Node arg
		int hash
	public java.util.Collection getOperands () 
		java.util.List list
	public volatile com.sun.source.tree.Tree getTree () 
}

org/checkerframework/dataflow/cfg/node/LeftShiftNode.class
LeftShiftNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.LeftShiftNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.LeftShiftNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/CaseNode.class
CaseNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.CaseNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.CaseTree tree
	protected final org.checkerframework.dataflow.cfg.node.Node switchExpr
	protected final org.checkerframework.dataflow.cfg.node.Node caseExpr
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.CaseTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.util.Types) 
		com.sun.source.tree.CaseTree tree
		org.checkerframework.dataflow.cfg.node.Node switchExpr
		org.checkerframework.dataflow.cfg.node.Node caseExpr
		javax.lang.model.util.Types types
	public org.checkerframework.dataflow.cfg.node.Node getSwitchOperand () 
	public org.checkerframework.dataflow.cfg.node.Node getCaseOperand () 
	public com.sun.source.tree.CaseTree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.CaseNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.ArrayList list
	public volatile com.sun.source.tree.Tree getTree () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/StringConcatenateAssignmentNode.class
StringConcatenateAssignmentNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final org.checkerframework.dataflow.cfg.node.Node left
	protected final org.checkerframework.dataflow.cfg.node.Node right
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public org.checkerframework.dataflow.cfg.node.Node getLeftOperand () 
	public org.checkerframework.dataflow.cfg.node.Node getRightOperand () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.util.Collection getOperands () 
		java.util.ArrayList list
	static void  () 
}

org/checkerframework/dataflow/cfg/node/WideningConversionNode.class
WideningConversionNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.WideningConversionNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final org.checkerframework.dataflow.cfg.node.Node operand
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node operand
		javax.lang.model.type.TypeMirror type
	public org.checkerframework.dataflow.cfg.node.Node getOperand () 
	public javax.lang.model.type.TypeMirror getType () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.WideningConversionNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/ArrayTypeNode.class
ArrayTypeNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ArrayTypeNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.ArrayTypeTree tree
	public void  (com.sun.source.tree.ArrayTypeTree) 
		com.sun.source.tree.ArrayTypeTree tree
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.ArrayTypeNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
}

org/checkerframework/dataflow/cfg/node/GreaterThanNode.class
GreaterThanNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.GreaterThanNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.GreaterThanNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/ConditionalAndNode.class
ConditionalAndNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ConditionalAndNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.ConditionalAndNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/FunctionalInterfaceNode.class
FunctionalInterfaceNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	public void  (com.sun.source.tree.MemberReferenceTree) 
		com.sun.source.tree.MemberReferenceTree tree
	public void  (com.sun.source.tree.LambdaExpressionTree) 
		com.sun.source.tree.LambdaExpressionTree tree
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object o
		org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode that
	public int hashCode () 
	public java.util.Collection getOperands () 
}

org/checkerframework/dataflow/cfg/node/NumericalMultiplicationNode.class
NumericalMultiplicationNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/AssignmentContext$MethodParameterContext.class
AssignmentContext.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.AssignmentContext$MethodParameterContext extends org.checkerframework.dataflow.cfg.node.AssignmentContext {
	protected final javax.lang.model.element.ExecutableElement method
	protected final int paramNum
	public void  (javax.lang.model.element.ExecutableElement, int) 
		javax.lang.model.element.ExecutableElement method
		int paramNum
	public javax.lang.model.element.Element getElementForType () 
	public com.sun.source.tree.Tree getContextTree () 
}

org/checkerframework/dataflow/cfg/node/PrimitiveTypeNode.class
PrimitiveTypeNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.PrimitiveTypeTree tree
	public void  (com.sun.source.tree.PrimitiveTypeTree) 
		com.sun.source.tree.PrimitiveTypeTree tree
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
}

org/checkerframework/dataflow/cfg/node/AssignmentContext$LambdaReturnContext.class
AssignmentContext.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.AssignmentContext$LambdaReturnContext extends org.checkerframework.dataflow.cfg.node.AssignmentContext {
	protected final javax.lang.model.element.ExecutableElement method
	public void  (javax.lang.model.element.ExecutableElement) 
		javax.lang.model.element.ExecutableElement method
	public javax.lang.model.element.Element getElementForType () 
	public com.sun.source.tree.Tree getContextTree () 
}

org/checkerframework/dataflow/cfg/node/FloatingRemainderNode.class
FloatingRemainderNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.FloatingRemainderNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.FloatingRemainderNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/FloatLiteralNode.class
FloatLiteralNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.FloatLiteralNode extends org.checkerframework.dataflow.cfg.node.ValueLiteralNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.LiteralTree) 
		com.sun.source.tree.LiteralTree t
	public java.lang.Float getValue () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public boolean equals (java.lang.Object) 
		Object obj
	public java.util.Collection getOperands () 
	public volatile java.lang.Object getValue () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/AssertionErrorNode.class
AssertionErrorNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.AssertionErrorNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final org.checkerframework.dataflow.cfg.node.Node condition
	protected final org.checkerframework.dataflow.cfg.node.Node detail
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node condition
		org.checkerframework.dataflow.cfg.node.Node detail
		javax.lang.model.type.TypeMirror type
	public org.checkerframework.dataflow.cfg.node.Node getCondition () 
	public org.checkerframework.dataflow.cfg.node.Node getDetail () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.AssertionErrorNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.ArrayList list
	static void  () 
}

org/checkerframework/dataflow/cfg/node/LongLiteralNode.class
LongLiteralNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.LongLiteralNode extends org.checkerframework.dataflow.cfg.node.ValueLiteralNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.LiteralTree) 
		com.sun.source.tree.LiteralTree t
	public java.lang.Long getValue () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public boolean equals (java.lang.Object) 
		Object obj
	public java.util.Collection getOperands () 
	public volatile java.lang.Object getValue () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/NullChkNode.class
NullChkNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.NullChkNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final org.checkerframework.dataflow.cfg.node.Node operand
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node operand
	public org.checkerframework.dataflow.cfg.node.Node getOperand () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.NumericalPlusNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/ConditionalOrNode.class
ConditionalOrNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ConditionalOrNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.ConditionalOrNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/ThrowNode.class
ThrowNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ThrowNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.ThrowTree tree
	protected final org.checkerframework.dataflow.cfg.node.Node expression
	public void  (com.sun.source.tree.ThrowTree, org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.util.Types) 
		com.sun.source.tree.ThrowTree tree
		org.checkerframework.dataflow.cfg.node.Node expression
		javax.lang.model.util.Types types
	public org.checkerframework.dataflow.cfg.node.Node getExpression () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.ThrowNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
}

org/checkerframework/dataflow/cfg/node/FloatingDivisionNode.class
FloatingDivisionNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.FloatingDivisionNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.FloatingDivisionNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/StringConcatenateNode.class
StringConcatenateNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.StringConcatenateNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.StringConcatenateNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/MarkerNode.class
MarkerNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.MarkerNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final String message
	public void  (com.sun.source.tree.Tree, java.lang.String, javax.lang.model.util.Types) 
		com.sun.source.tree.Tree tree
		String message
		javax.lang.model.util.Types types
	public java.lang.String getMessage () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
		StringBuilder sb
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.MarkerNode other
	public int hashCode () 
		int hash
	public java.util.Collection getOperands () 
}

org/checkerframework/dataflow/cfg/node/ShortLiteralNode.class
ShortLiteralNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ShortLiteralNode extends org.checkerframework.dataflow.cfg.node.ValueLiteralNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.LiteralTree) 
		com.sun.source.tree.LiteralTree t
	public java.lang.Short getValue () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public boolean equals (java.lang.Object) 
		Object obj
	public java.util.Collection getOperands () 
	public volatile java.lang.Object getValue () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/VariableDeclarationNode.class
VariableDeclarationNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.VariableDeclarationNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.VariableTree tree
	protected final String name
	public void  (com.sun.source.tree.VariableTree) 
		com.sun.source.tree.VariableTree t
	public java.lang.String getName () 
	public com.sun.source.tree.VariableTree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.VariableDeclarationNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	public volatile com.sun.source.tree.Tree getTree () 
}

org/checkerframework/dataflow/cfg/node/AssignmentContext$MethodReturnContext.class
AssignmentContext.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.AssignmentContext$MethodReturnContext extends org.checkerframework.dataflow.cfg.node.AssignmentContext {
	protected final javax.lang.model.element.ExecutableElement method
	protected final com.sun.source.tree.Tree ret
	public void  (com.sun.source.tree.MethodTree) 
		com.sun.source.tree.MethodTree method
	public javax.lang.model.element.Element getElementForType () 
	public com.sun.source.tree.Tree getContextTree () 
}

org/checkerframework/dataflow/cfg/node/SignedRightShiftNode.class
SignedRightShiftNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.SignedRightShiftNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.SignedRightShiftNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/AssignmentContext.class
AssignmentContext.java
package org.checkerframework.dataflow.cfg.node
public abstract org.checkerframework.dataflow.cfg.node.AssignmentContext extends java.lang.Object {
	public void  () 
	public abstract javax.lang.model.element.Element getElementForType () 
	public abstract com.sun.source.tree.Tree getContextTree () 
}

org/checkerframework/dataflow/cfg/node/AssignmentNode.class
AssignmentNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.AssignmentNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final org.checkerframework.dataflow.cfg.node.Node lhs
	protected final org.checkerframework.dataflow.cfg.node.Node rhs
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node target
		org.checkerframework.dataflow.cfg.node.Node expression
	public org.checkerframework.dataflow.cfg.node.Node getTarget () 
	public org.checkerframework.dataflow.cfg.node.Node getExpression () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.AssignmentNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.ArrayList list
	static void  () 
}

org/checkerframework/dataflow/cfg/node/BitwiseAndNode.class
BitwiseAndNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.BitwiseAndNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.BitwiseAndNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/SuperNode.class
SuperNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.SuperNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree t
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String getName () 
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
	public int hashCode () 
	public java.util.Collection getOperands () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/ImplicitThisLiteralNode.class
ImplicitThisLiteralNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ImplicitThisLiteralNode extends org.checkerframework.dataflow.cfg.node.ThisLiteralNode {
	public void  (javax.lang.model.type.TypeMirror) 
		javax.lang.model.type.TypeMirror type
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
}

org/checkerframework/dataflow/cfg/node/AbstractNodeVisitor.class
AbstractNodeVisitor.java
package org.checkerframework.dataflow.cfg.node
public abstract org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor extends java.lang.Object implements org.checkerframework.dataflow.cfg.node.NodeVisitor  {
	public void  () 
	public abstract java.lang.Object visitNode (org.checkerframework.dataflow.cfg.node.Node, java.lang.Object) 
	public java.lang.Object visitValueLiteral (org.checkerframework.dataflow.cfg.node.ValueLiteralNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ValueLiteralNode n
		Object p
	public java.lang.Object visitShortLiteral (org.checkerframework.dataflow.cfg.node.ShortLiteralNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ShortLiteralNode n
		Object p
	public java.lang.Object visitIntegerLiteral (org.checkerframework.dataflow.cfg.node.IntegerLiteralNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.IntegerLiteralNode n
		Object p
	public java.lang.Object visitLongLiteral (org.checkerframework.dataflow.cfg.node.LongLiteralNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.LongLiteralNode n
		Object p
	public java.lang.Object visitFloatLiteral (org.checkerframework.dataflow.cfg.node.FloatLiteralNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.FloatLiteralNode n
		Object p
	public java.lang.Object visitDoubleLiteral (org.checkerframework.dataflow.cfg.node.DoubleLiteralNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.DoubleLiteralNode n
		Object p
	public java.lang.Object visitBooleanLiteral (org.checkerframework.dataflow.cfg.node.BooleanLiteralNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.BooleanLiteralNode n
		Object p
	public java.lang.Object visitCharacterLiteral (org.checkerframework.dataflow.cfg.node.CharacterLiteralNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.CharacterLiteralNode n
		Object p
	public java.lang.Object visitStringLiteral (org.checkerframework.dataflow.cfg.node.StringLiteralNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.StringLiteralNode n
		Object p
	public java.lang.Object visitNullLiteral (org.checkerframework.dataflow.cfg.node.NullLiteralNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NullLiteralNode n
		Object p
	public java.lang.Object visitNumericalMinus (org.checkerframework.dataflow.cfg.node.NumericalMinusNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NumericalMinusNode n
		Object p
	public java.lang.Object visitNumericalPlus (org.checkerframework.dataflow.cfg.node.NumericalPlusNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NumericalPlusNode n
		Object p
	public java.lang.Object visitBitwiseComplement (org.checkerframework.dataflow.cfg.node.BitwiseComplementNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.BitwiseComplementNode n
		Object p
	public java.lang.Object visitNullChk (org.checkerframework.dataflow.cfg.node.NullChkNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NullChkNode n
		Object p
	public java.lang.Object visitStringConcatenate (org.checkerframework.dataflow.cfg.node.StringConcatenateNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.StringConcatenateNode n
		Object p
	public java.lang.Object visitNumericalAddition (org.checkerframework.dataflow.cfg.node.NumericalAdditionNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NumericalAdditionNode n
		Object p
	public java.lang.Object visitNumericalSubtraction (org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode n
		Object p
	public java.lang.Object visitNumericalMultiplication (org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode n
		Object p
	public java.lang.Object visitIntegerDivision (org.checkerframework.dataflow.cfg.node.IntegerDivisionNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.IntegerDivisionNode n
		Object p
	public java.lang.Object visitFloatingDivision (org.checkerframework.dataflow.cfg.node.FloatingDivisionNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.FloatingDivisionNode n
		Object p
	public java.lang.Object visitIntegerRemainder (org.checkerframework.dataflow.cfg.node.IntegerRemainderNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.IntegerRemainderNode n
		Object p
	public java.lang.Object visitFloatingRemainder (org.checkerframework.dataflow.cfg.node.FloatingRemainderNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.FloatingRemainderNode n
		Object p
	public java.lang.Object visitLeftShift (org.checkerframework.dataflow.cfg.node.LeftShiftNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.LeftShiftNode n
		Object p
	public java.lang.Object visitSignedRightShift (org.checkerframework.dataflow.cfg.node.SignedRightShiftNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.SignedRightShiftNode n
		Object p
	public java.lang.Object visitUnsignedRightShift (org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode n
		Object p
	public java.lang.Object visitBitwiseAnd (org.checkerframework.dataflow.cfg.node.BitwiseAndNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.BitwiseAndNode n
		Object p
	public java.lang.Object visitBitwiseOr (org.checkerframework.dataflow.cfg.node.BitwiseOrNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.BitwiseOrNode n
		Object p
	public java.lang.Object visitBitwiseXor (org.checkerframework.dataflow.cfg.node.BitwiseXorNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.BitwiseXorNode n
		Object p
	public java.lang.Object visitStringConcatenateAssignment (org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode n
		Object p
	public java.lang.Object visitLessThan (org.checkerframework.dataflow.cfg.node.LessThanNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.LessThanNode n
		Object p
	public java.lang.Object visitLessThanOrEqual (org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode n
		Object p
	public java.lang.Object visitGreaterThan (org.checkerframework.dataflow.cfg.node.GreaterThanNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.GreaterThanNode n
		Object p
	public java.lang.Object visitGreaterThanOrEqual (org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode n
		Object p
	public java.lang.Object visitEqualTo (org.checkerframework.dataflow.cfg.node.EqualToNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.EqualToNode n
		Object p
	public java.lang.Object visitNotEqual (org.checkerframework.dataflow.cfg.node.NotEqualNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NotEqualNode n
		Object p
	public java.lang.Object visitConditionalAnd (org.checkerframework.dataflow.cfg.node.ConditionalAndNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ConditionalAndNode n
		Object p
	public java.lang.Object visitConditionalOr (org.checkerframework.dataflow.cfg.node.ConditionalOrNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ConditionalOrNode n
		Object p
	public java.lang.Object visitConditionalNot (org.checkerframework.dataflow.cfg.node.ConditionalNotNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ConditionalNotNode n
		Object p
	public java.lang.Object visitTernaryExpression (org.checkerframework.dataflow.cfg.node.TernaryExpressionNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.TernaryExpressionNode n
		Object p
	public java.lang.Object visitAssignment (org.checkerframework.dataflow.cfg.node.AssignmentNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.AssignmentNode n
		Object p
	public java.lang.Object visitLocalVariable (org.checkerframework.dataflow.cfg.node.LocalVariableNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.LocalVariableNode n
		Object p
	public java.lang.Object visitVariableDeclaration (org.checkerframework.dataflow.cfg.node.VariableDeclarationNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.VariableDeclarationNode n
		Object p
	public java.lang.Object visitFieldAccess (org.checkerframework.dataflow.cfg.node.FieldAccessNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.FieldAccessNode n
		Object p
	public java.lang.Object visitMethodAccess (org.checkerframework.dataflow.cfg.node.MethodAccessNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.MethodAccessNode n
		Object p
	public java.lang.Object visitArrayAccess (org.checkerframework.dataflow.cfg.node.ArrayAccessNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ArrayAccessNode n
		Object p
	public java.lang.Object visitThisLiteral (org.checkerframework.dataflow.cfg.node.ThisLiteralNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ThisLiteralNode n
		Object p
	public java.lang.Object visitImplicitThisLiteral (org.checkerframework.dataflow.cfg.node.ImplicitThisLiteralNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ImplicitThisLiteralNode n
		Object p
	public java.lang.Object visitExplicitThisLiteral (org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode n
		Object p
	public java.lang.Object visitSuper (org.checkerframework.dataflow.cfg.node.SuperNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.SuperNode n
		Object p
	public java.lang.Object visitReturn (org.checkerframework.dataflow.cfg.node.ReturnNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ReturnNode n
		Object p
	public java.lang.Object visitLambdaResultExpression (org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode n
		Object p
	public java.lang.Object visitStringConversion (org.checkerframework.dataflow.cfg.node.StringConversionNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.StringConversionNode n
		Object p
	public java.lang.Object visitNarrowingConversion (org.checkerframework.dataflow.cfg.node.NarrowingConversionNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NarrowingConversionNode n
		Object p
	public java.lang.Object visitWideningConversion (org.checkerframework.dataflow.cfg.node.WideningConversionNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.WideningConversionNode n
		Object p
	public java.lang.Object visitInstanceOf (org.checkerframework.dataflow.cfg.node.InstanceOfNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.InstanceOfNode n
		Object p
	public java.lang.Object visitTypeCast (org.checkerframework.dataflow.cfg.node.TypeCastNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.TypeCastNode n
		Object p
	public java.lang.Object visitAssertionError (org.checkerframework.dataflow.cfg.node.AssertionErrorNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.AssertionErrorNode n
		Object p
	public java.lang.Object visitSynchronized (org.checkerframework.dataflow.cfg.node.SynchronizedNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.SynchronizedNode n
		Object p
	public java.lang.Object visitThrow (org.checkerframework.dataflow.cfg.node.ThrowNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ThrowNode n
		Object p
	public java.lang.Object visitCase (org.checkerframework.dataflow.cfg.node.CaseNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.CaseNode n
		Object p
	public java.lang.Object visitMethodInvocation (org.checkerframework.dataflow.cfg.node.MethodInvocationNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.MethodInvocationNode n
		Object p
	public java.lang.Object visitObjectCreation (org.checkerframework.dataflow.cfg.node.ObjectCreationNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ObjectCreationNode n
		Object p
	public java.lang.Object visitClassDeclaration (org.checkerframework.dataflow.cfg.node.ClassDeclarationNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ClassDeclarationNode n
		Object p
	public java.lang.Object visitMemberReference (org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode n
		Object p
	public java.lang.Object visitArrayCreation (org.checkerframework.dataflow.cfg.node.ArrayCreationNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ArrayCreationNode n
		Object p
	public java.lang.Object visitArrayType (org.checkerframework.dataflow.cfg.node.ArrayTypeNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ArrayTypeNode n
		Object p
	public java.lang.Object visitPrimitiveType (org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode n
		Object p
	public java.lang.Object visitClassName (org.checkerframework.dataflow.cfg.node.ClassNameNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ClassNameNode n
		Object p
	public java.lang.Object visitPackageName (org.checkerframework.dataflow.cfg.node.PackageNameNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.PackageNameNode n
		Object p
	public java.lang.Object visitParameterizedType (org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode n
		Object p
	public java.lang.Object visitMarker (org.checkerframework.dataflow.cfg.node.MarkerNode, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.MarkerNode n
		Object p
}

org/checkerframework/dataflow/cfg/node/DoubleLiteralNode.class
DoubleLiteralNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.DoubleLiteralNode extends org.checkerframework.dataflow.cfg.node.ValueLiteralNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.LiteralTree) 
		com.sun.source.tree.LiteralTree t
	public java.lang.Double getValue () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public boolean equals (java.lang.Object) 
		Object obj
	public java.util.Collection getOperands () 
	public volatile java.lang.Object getValue () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/BitwiseXorNode.class
BitwiseXorNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.BitwiseXorNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.BitwiseXorNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/MethodAccessNode.class
MethodAccessNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.MethodAccessNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.ExpressionTree tree
	protected final javax.lang.model.element.ExecutableElement method
	protected final org.checkerframework.dataflow.cfg.node.Node receiver
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.ExpressionTree, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.ExpressionTree tree
		org.checkerframework.dataflow.cfg.node.Node receiver
	public javax.lang.model.element.ExecutableElement getMethod () 
	public org.checkerframework.dataflow.cfg.node.Node getReceiver () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.MethodAccessNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/ParameterizedTypeNode.class
ParameterizedTypeNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree t
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/NodeVisitor.class
NodeVisitor.java
package org.checkerframework.dataflow.cfg.node
public abstract org.checkerframework.dataflow.cfg.node.NodeVisitor extends java.lang.Object {
	public abstract java.lang.Object visitShortLiteral (org.checkerframework.dataflow.cfg.node.ShortLiteralNode, java.lang.Object) 
	public abstract java.lang.Object visitIntegerLiteral (org.checkerframework.dataflow.cfg.node.IntegerLiteralNode, java.lang.Object) 
	public abstract java.lang.Object visitLongLiteral (org.checkerframework.dataflow.cfg.node.LongLiteralNode, java.lang.Object) 
	public abstract java.lang.Object visitFloatLiteral (org.checkerframework.dataflow.cfg.node.FloatLiteralNode, java.lang.Object) 
	public abstract java.lang.Object visitDoubleLiteral (org.checkerframework.dataflow.cfg.node.DoubleLiteralNode, java.lang.Object) 
	public abstract java.lang.Object visitBooleanLiteral (org.checkerframework.dataflow.cfg.node.BooleanLiteralNode, java.lang.Object) 
	public abstract java.lang.Object visitCharacterLiteral (org.checkerframework.dataflow.cfg.node.CharacterLiteralNode, java.lang.Object) 
	public abstract java.lang.Object visitStringLiteral (org.checkerframework.dataflow.cfg.node.StringLiteralNode, java.lang.Object) 
	public abstract java.lang.Object visitNullLiteral (org.checkerframework.dataflow.cfg.node.NullLiteralNode, java.lang.Object) 
	public abstract java.lang.Object visitNumericalMinus (org.checkerframework.dataflow.cfg.node.NumericalMinusNode, java.lang.Object) 
	public abstract java.lang.Object visitNumericalPlus (org.checkerframework.dataflow.cfg.node.NumericalPlusNode, java.lang.Object) 
	public abstract java.lang.Object visitBitwiseComplement (org.checkerframework.dataflow.cfg.node.BitwiseComplementNode, java.lang.Object) 
	public abstract java.lang.Object visitNullChk (org.checkerframework.dataflow.cfg.node.NullChkNode, java.lang.Object) 
	public abstract java.lang.Object visitStringConcatenate (org.checkerframework.dataflow.cfg.node.StringConcatenateNode, java.lang.Object) 
	public abstract java.lang.Object visitNumericalAddition (org.checkerframework.dataflow.cfg.node.NumericalAdditionNode, java.lang.Object) 
	public abstract java.lang.Object visitNumericalSubtraction (org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode, java.lang.Object) 
	public abstract java.lang.Object visitNumericalMultiplication (org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode, java.lang.Object) 
	public abstract java.lang.Object visitIntegerDivision (org.checkerframework.dataflow.cfg.node.IntegerDivisionNode, java.lang.Object) 
	public abstract java.lang.Object visitFloatingDivision (org.checkerframework.dataflow.cfg.node.FloatingDivisionNode, java.lang.Object) 
	public abstract java.lang.Object visitIntegerRemainder (org.checkerframework.dataflow.cfg.node.IntegerRemainderNode, java.lang.Object) 
	public abstract java.lang.Object visitFloatingRemainder (org.checkerframework.dataflow.cfg.node.FloatingRemainderNode, java.lang.Object) 
	public abstract java.lang.Object visitLeftShift (org.checkerframework.dataflow.cfg.node.LeftShiftNode, java.lang.Object) 
	public abstract java.lang.Object visitSignedRightShift (org.checkerframework.dataflow.cfg.node.SignedRightShiftNode, java.lang.Object) 
	public abstract java.lang.Object visitUnsignedRightShift (org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode, java.lang.Object) 
	public abstract java.lang.Object visitBitwiseAnd (org.checkerframework.dataflow.cfg.node.BitwiseAndNode, java.lang.Object) 
	public abstract java.lang.Object visitBitwiseOr (org.checkerframework.dataflow.cfg.node.BitwiseOrNode, java.lang.Object) 
	public abstract java.lang.Object visitBitwiseXor (org.checkerframework.dataflow.cfg.node.BitwiseXorNode, java.lang.Object) 
	public abstract java.lang.Object visitStringConcatenateAssignment (org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode, java.lang.Object) 
	public abstract java.lang.Object visitLessThan (org.checkerframework.dataflow.cfg.node.LessThanNode, java.lang.Object) 
	public abstract java.lang.Object visitLessThanOrEqual (org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode, java.lang.Object) 
	public abstract java.lang.Object visitGreaterThan (org.checkerframework.dataflow.cfg.node.GreaterThanNode, java.lang.Object) 
	public abstract java.lang.Object visitGreaterThanOrEqual (org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode, java.lang.Object) 
	public abstract java.lang.Object visitEqualTo (org.checkerframework.dataflow.cfg.node.EqualToNode, java.lang.Object) 
	public abstract java.lang.Object visitNotEqual (org.checkerframework.dataflow.cfg.node.NotEqualNode, java.lang.Object) 
	public abstract java.lang.Object visitConditionalAnd (org.checkerframework.dataflow.cfg.node.ConditionalAndNode, java.lang.Object) 
	public abstract java.lang.Object visitConditionalOr (org.checkerframework.dataflow.cfg.node.ConditionalOrNode, java.lang.Object) 
	public abstract java.lang.Object visitConditionalNot (org.checkerframework.dataflow.cfg.node.ConditionalNotNode, java.lang.Object) 
	public abstract java.lang.Object visitTernaryExpression (org.checkerframework.dataflow.cfg.node.TernaryExpressionNode, java.lang.Object) 
	public abstract java.lang.Object visitAssignment (org.checkerframework.dataflow.cfg.node.AssignmentNode, java.lang.Object) 
	public abstract java.lang.Object visitLocalVariable (org.checkerframework.dataflow.cfg.node.LocalVariableNode, java.lang.Object) 
	public abstract java.lang.Object visitVariableDeclaration (org.checkerframework.dataflow.cfg.node.VariableDeclarationNode, java.lang.Object) 
	public abstract java.lang.Object visitFieldAccess (org.checkerframework.dataflow.cfg.node.FieldAccessNode, java.lang.Object) 
	public abstract java.lang.Object visitMethodAccess (org.checkerframework.dataflow.cfg.node.MethodAccessNode, java.lang.Object) 
	public abstract java.lang.Object visitArrayAccess (org.checkerframework.dataflow.cfg.node.ArrayAccessNode, java.lang.Object) 
	public abstract java.lang.Object visitImplicitThisLiteral (org.checkerframework.dataflow.cfg.node.ImplicitThisLiteralNode, java.lang.Object) 
	public abstract java.lang.Object visitExplicitThisLiteral (org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode, java.lang.Object) 
	public abstract java.lang.Object visitSuper (org.checkerframework.dataflow.cfg.node.SuperNode, java.lang.Object) 
	public abstract java.lang.Object visitReturn (org.checkerframework.dataflow.cfg.node.ReturnNode, java.lang.Object) 
	public abstract java.lang.Object visitLambdaResultExpression (org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode, java.lang.Object) 
	public abstract java.lang.Object visitStringConversion (org.checkerframework.dataflow.cfg.node.StringConversionNode, java.lang.Object) 
	public abstract java.lang.Object visitNarrowingConversion (org.checkerframework.dataflow.cfg.node.NarrowingConversionNode, java.lang.Object) 
	public abstract java.lang.Object visitWideningConversion (org.checkerframework.dataflow.cfg.node.WideningConversionNode, java.lang.Object) 
	public abstract java.lang.Object visitInstanceOf (org.checkerframework.dataflow.cfg.node.InstanceOfNode, java.lang.Object) 
	public abstract java.lang.Object visitTypeCast (org.checkerframework.dataflow.cfg.node.TypeCastNode, java.lang.Object) 
	public abstract java.lang.Object visitSynchronized (org.checkerframework.dataflow.cfg.node.SynchronizedNode, java.lang.Object) 
	public abstract java.lang.Object visitAssertionError (org.checkerframework.dataflow.cfg.node.AssertionErrorNode, java.lang.Object) 
	public abstract java.lang.Object visitThrow (org.checkerframework.dataflow.cfg.node.ThrowNode, java.lang.Object) 
	public abstract java.lang.Object visitCase (org.checkerframework.dataflow.cfg.node.CaseNode, java.lang.Object) 
	public abstract java.lang.Object visitMethodInvocation (org.checkerframework.dataflow.cfg.node.MethodInvocationNode, java.lang.Object) 
	public abstract java.lang.Object visitObjectCreation (org.checkerframework.dataflow.cfg.node.ObjectCreationNode, java.lang.Object) 
	public abstract java.lang.Object visitMemberReference (org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode, java.lang.Object) 
	public abstract java.lang.Object visitArrayCreation (org.checkerframework.dataflow.cfg.node.ArrayCreationNode, java.lang.Object) 
	public abstract java.lang.Object visitArrayType (org.checkerframework.dataflow.cfg.node.ArrayTypeNode, java.lang.Object) 
	public abstract java.lang.Object visitPrimitiveType (org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode, java.lang.Object) 
	public abstract java.lang.Object visitClassName (org.checkerframework.dataflow.cfg.node.ClassNameNode, java.lang.Object) 
	public abstract java.lang.Object visitPackageName (org.checkerframework.dataflow.cfg.node.PackageNameNode, java.lang.Object) 
	public abstract java.lang.Object visitParameterizedType (org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode, java.lang.Object) 
	public abstract java.lang.Object visitMarker (org.checkerframework.dataflow.cfg.node.MarkerNode, java.lang.Object) 
	public abstract java.lang.Object visitClassDeclaration (org.checkerframework.dataflow.cfg.node.ClassDeclarationNode, java.lang.Object) 
}

org/checkerframework/dataflow/cfg/node/ExplicitThisLiteralNode.class
ExplicitThisLiteralNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode extends org.checkerframework.dataflow.cfg.node.ThisLiteralNode {
	protected final com.sun.source.tree.Tree tree
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree t
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/LessThanNode.class
LessThanNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.LessThanNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.LessThanNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/IntegerDivisionNode.class
IntegerDivisionNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.IntegerDivisionNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.IntegerDivisionNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/ClassNameNode.class
ClassNameNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ClassNameNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final javax.lang.model.element.Element element
	protected final org.checkerframework.dataflow.cfg.node.Node parent
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.IdentifierTree) 
		com.sun.source.tree.IdentifierTree tree
	public void  (com.sun.source.tree.ClassTree) 
		com.sun.source.tree.ClassTree tree
	public void  (com.sun.source.tree.MemberSelectTree, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.MemberSelectTree tree
		org.checkerframework.dataflow.cfg.node.Node parent
	public void  (javax.lang.model.type.TypeMirror, javax.lang.model.element.Element) 
		javax.lang.model.type.TypeMirror type
		javax.lang.model.element.Element element
	public javax.lang.model.element.Element getElement () 
	public org.checkerframework.dataflow.cfg.node.Node getParent () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.ClassNameNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/StringConversionNode.class
StringConversionNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.StringConversionNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final org.checkerframework.dataflow.cfg.node.Node operand
	public void  (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node operand
		javax.lang.model.type.TypeMirror type
	public org.checkerframework.dataflow.cfg.node.Node getOperand () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.StringConversionNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
}

org/checkerframework/dataflow/cfg/node/TypeCastNode.class
TypeCastNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.TypeCastNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final org.checkerframework.dataflow.cfg.node.Node operand
	public void  (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node operand
		javax.lang.model.type.TypeMirror type
	public org.checkerframework.dataflow.cfg.node.Node getOperand () 
	public javax.lang.model.type.TypeMirror getType () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.TypeCastNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
}

org/checkerframework/dataflow/cfg/node/NullLiteralNode.class
NullLiteralNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.NullLiteralNode extends org.checkerframework.dataflow.cfg.node.ValueLiteralNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.LiteralTree) 
		com.sun.source.tree.LiteralTree t
	public java.lang.Void getValue () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public boolean equals (java.lang.Object) 
		Object obj
	public java.util.Collection getOperands () 
	public volatile java.lang.Object getValue () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/BooleanLiteralNode.class
BooleanLiteralNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.BooleanLiteralNode extends org.checkerframework.dataflow.cfg.node.ValueLiteralNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.LiteralTree) 
		com.sun.source.tree.LiteralTree t
	public java.lang.Boolean getValue () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public boolean equals (java.lang.Object) 
		Object obj
	public java.util.Collection getOperands () 
	public volatile java.lang.Object getValue () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/CharacterLiteralNode.class
CharacterLiteralNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.CharacterLiteralNode extends org.checkerframework.dataflow.cfg.node.ValueLiteralNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.LiteralTree) 
		com.sun.source.tree.LiteralTree t
	public java.lang.Character getValue () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public boolean equals (java.lang.Object) 
		Object obj
	public java.util.Collection getOperands () 
	public volatile java.lang.Object getValue () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/ValueLiteralNode.class
ValueLiteralNode.java
package org.checkerframework.dataflow.cfg.node
public abstract org.checkerframework.dataflow.cfg.node.ValueLiteralNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.LiteralTree tree
	public abstract java.lang.Object getValue () 
	public void  (com.sun.source.tree.LiteralTree) 
		com.sun.source.tree.LiteralTree tree
	public com.sun.source.tree.LiteralTree getTree () 
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.ValueLiteralNode other
		Object val
		Object otherVal
	public int hashCode () 
	public java.util.Collection getOperands () 
	public volatile com.sun.source.tree.Tree getTree () 
}

org/checkerframework/dataflow/cfg/node/IntegerLiteralNode.class
IntegerLiteralNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.IntegerLiteralNode extends org.checkerframework.dataflow.cfg.node.ValueLiteralNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.LiteralTree) 
		com.sun.source.tree.LiteralTree t
	public java.lang.Integer getValue () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public boolean equals (java.lang.Object) 
		Object obj
	public java.util.Collection getOperands () 
	public volatile java.lang.Object getValue () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/LambdaResultExpressionNode.class
LambdaResultExpressionNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.ExpressionTree tree
	protected final org.checkerframework.dataflow.cfg.node.Node result
	public void  (com.sun.source.tree.ExpressionTree, org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.util.Types) 
		com.sun.source.tree.ExpressionTree t
		org.checkerframework.dataflow.cfg.node.Node result
		javax.lang.model.util.Types types
	public org.checkerframework.dataflow.cfg.node.Node getResult () 
	public com.sun.source.tree.ExpressionTree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	public volatile com.sun.source.tree.Tree getTree () 
}

org/checkerframework/dataflow/cfg/node/ClassDeclarationNode.class
ClassDeclarationNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ClassDeclarationNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.ClassTree tree
	public void  (com.sun.source.tree.ClassTree) 
		com.sun.source.tree.ClassTree tree
	public com.sun.source.tree.ClassTree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object o
		org.checkerframework.dataflow.cfg.node.ClassDeclarationNode that
	public int hashCode () 
	public java.util.Collection getOperands () 
	public volatile com.sun.source.tree.Tree getTree () 
}

org/checkerframework/dataflow/cfg/node/FieldAccessNode.class
FieldAccessNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.FieldAccessNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final javax.lang.model.element.VariableElement element
	protected final String field
	protected final org.checkerframework.dataflow.cfg.node.Node receiver
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node receiver
	public void  (com.sun.source.tree.Tree, javax.lang.model.element.VariableElement, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.Tree tree
		javax.lang.model.element.VariableElement element
		org.checkerframework.dataflow.cfg.node.Node receiver
	public javax.lang.model.element.VariableElement getElement () 
	public org.checkerframework.dataflow.cfg.node.Node getReceiver () 
	public java.lang.String getFieldName () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean isStatic () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.FieldAccessNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/Node.class
Node.java
package org.checkerframework.dataflow.cfg.node
public abstract org.checkerframework.dataflow.cfg.node.Node extends java.lang.Object {
	protected org.checkerframework.dataflow.cfg.block.Block block
	protected boolean lvalue
	protected org.checkerframework.dataflow.cfg.node.AssignmentContext assignmentContext
	protected boolean inSource
	protected final javax.lang.model.type.TypeMirror type
	static final boolean $assertionsDisabled
	public void  (javax.lang.model.type.TypeMirror) 
		javax.lang.model.type.TypeMirror type
	public org.checkerframework.dataflow.cfg.block.Block getBlock () 
	public void setBlock (org.checkerframework.dataflow.cfg.block.Block) 
		org.checkerframework.dataflow.cfg.block.Block b
	public abstract com.sun.source.tree.Tree getTree () 
	public javax.lang.model.type.TypeMirror getType () 
	public abstract java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
	public boolean isLValue () 
	public void setLValue () 
	public boolean getInSource () 
	public void setInSource (boolean) 
		boolean inSrc
	public org.checkerframework.dataflow.cfg.node.AssignmentContext getAssignmentContext () 
	public void setAssignmentContext (org.checkerframework.dataflow.cfg.node.AssignmentContext) 
		org.checkerframework.dataflow.cfg.node.AssignmentContext assignmentContext
	public abstract java.util.Collection getOperands () 
	public java.util.Collection getTransitiveOperands () 
		org.checkerframework.dataflow.cfg.node.Node next
		java.util.ArrayDeque operands
		java.util.ArrayDeque transitiveOperands
	static void  () 
}

org/checkerframework/dataflow/cfg/node/StringLiteralNode.class
StringLiteralNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.StringLiteralNode extends org.checkerframework.dataflow.cfg.node.ValueLiteralNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.LiteralTree) 
		com.sun.source.tree.LiteralTree t
	public java.lang.String getValue () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public boolean equals (java.lang.Object) 
		Object obj
	public java.util.Collection getOperands () 
	public java.lang.String toString () 
	public volatile java.lang.Object getValue () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/ReturnNode.class
ReturnNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ReturnNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.ReturnTree tree
	protected final org.checkerframework.dataflow.cfg.node.Node result
	public void  (com.sun.source.tree.ReturnTree, org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.util.Types, com.sun.source.tree.MethodTree) 
		com.sun.source.tree.ReturnTree t
		org.checkerframework.dataflow.cfg.node.Node result
		javax.lang.model.util.Types types
		com.sun.source.tree.MethodTree methodTree
	public void  (com.sun.source.tree.ReturnTree, org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.util.Types, com.sun.source.tree.LambdaExpressionTree, com.sun.tools.javac.code.Symbol$MethodSymbol) 
		com.sun.source.tree.ReturnTree t
		org.checkerframework.dataflow.cfg.node.Node result
		javax.lang.model.util.Types types
		com.sun.source.tree.LambdaExpressionTree lambda
		com.sun.tools.javac.code.Symbol$MethodSymbol methodSymbol
	public org.checkerframework.dataflow.cfg.node.Node getResult () 
	public com.sun.source.tree.ReturnTree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.ReturnNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	public volatile com.sun.source.tree.Tree getTree () 
}

org/checkerframework/dataflow/cfg/node/ArrayAccessNode.class
ArrayAccessNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ArrayAccessNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final org.checkerframework.dataflow.cfg.node.Node array
	protected final org.checkerframework.dataflow.cfg.node.Node index
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.Tree t
		org.checkerframework.dataflow.cfg.node.Node array
		org.checkerframework.dataflow.cfg.node.Node index
	public org.checkerframework.dataflow.cfg.node.Node getArray () 
	public org.checkerframework.dataflow.cfg.node.Node getIndex () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
		String base
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.ArrayAccessNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.ArrayList list
	static void  () 
}

org/checkerframework/dataflow/cfg/node/NarrowingConversionNode.class
NarrowingConversionNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.NarrowingConversionNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final org.checkerframework.dataflow.cfg.node.Node operand
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node operand
		javax.lang.model.type.TypeMirror type
	public org.checkerframework.dataflow.cfg.node.Node getOperand () 
	public javax.lang.model.type.TypeMirror getType () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.NarrowingConversionNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/NumericalPlusNode.class
NumericalPlusNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.NumericalPlusNode extends org.checkerframework.dataflow.cfg.node.UnaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.UnaryTree, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.UnaryTree tree
		org.checkerframework.dataflow.cfg.node.Node operand
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.NumericalPlusNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/PackageNameNode.class
PackageNameNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.PackageNameNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final javax.lang.model.element.Element element
	protected final org.checkerframework.dataflow.cfg.node.PackageNameNode parent
	public void  (com.sun.source.tree.IdentifierTree) 
		com.sun.source.tree.IdentifierTree tree
	public void  (com.sun.source.tree.MemberSelectTree, org.checkerframework.dataflow.cfg.node.PackageNameNode) 
		com.sun.source.tree.MemberSelectTree tree
		org.checkerframework.dataflow.cfg.node.PackageNameNode parent
	public javax.lang.model.element.Element getElement () 
	public org.checkerframework.dataflow.cfg.node.PackageNameNode getParent () 
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.PackageNameNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
}

org/checkerframework/dataflow/cfg/node/NumericalMinusNode.class
NumericalMinusNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.NumericalMinusNode extends org.checkerframework.dataflow.cfg.node.UnaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.UnaryTree, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.UnaryTree tree
		org.checkerframework.dataflow.cfg.node.Node operand
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.NumericalMinusNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/IntegerRemainderNode.class
IntegerRemainderNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.IntegerRemainderNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.IntegerRemainderNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/SynchronizedNode.class
SynchronizedNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.SynchronizedNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.Tree tree
	protected final org.checkerframework.dataflow.cfg.node.Node expression
	protected final boolean startOfBlock
	public void  (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node, boolean, javax.lang.model.util.Types) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node expression
		boolean startOfBlock
		javax.lang.model.util.Types types
	public com.sun.source.tree.Tree getTree () 
	public org.checkerframework.dataflow.cfg.node.Node getExpression () 
	public boolean getIsStartOfBlock () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
		StringBuilder sb
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.SynchronizedNode other
	public int hashCode () 
		int hash
	public java.util.Collection getOperands () 
}

org/checkerframework/dataflow/cfg/node/TernaryExpressionNode.class
TernaryExpressionNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.TernaryExpressionNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.ConditionalExpressionTree tree
	protected final org.checkerframework.dataflow.cfg.node.Node condition
	protected final org.checkerframework.dataflow.cfg.node.Node thenOperand
	protected final org.checkerframework.dataflow.cfg.node.Node elseOperand
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.ConditionalExpressionTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.ConditionalExpressionTree tree
		org.checkerframework.dataflow.cfg.node.Node condition
		org.checkerframework.dataflow.cfg.node.Node thenOperand
		org.checkerframework.dataflow.cfg.node.Node elseOperand
	public org.checkerframework.dataflow.cfg.node.Node getConditionOperand () 
	public org.checkerframework.dataflow.cfg.node.Node getThenOperand () 
	public org.checkerframework.dataflow.cfg.node.Node getElseOperand () 
	public com.sun.source.tree.ConditionalExpressionTree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.TernaryExpressionNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.ArrayList list
	public volatile com.sun.source.tree.Tree getTree () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/NotEqualNode.class
NotEqualNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.NotEqualNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.NotEqualNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/BinaryOperationNode.class
BinaryOperationNode.java
package org.checkerframework.dataflow.cfg.node
public abstract org.checkerframework.dataflow.cfg.node.BinaryOperationNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.BinaryTree tree
	protected final org.checkerframework.dataflow.cfg.node.Node left
	protected final org.checkerframework.dataflow.cfg.node.Node right
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public org.checkerframework.dataflow.cfg.node.Node getLeftOperand () 
	public org.checkerframework.dataflow.cfg.node.Node getRightOperand () 
	public com.sun.source.tree.BinaryTree getTree () 
	public java.util.Collection getOperands () 
		java.util.ArrayList list
	public volatile com.sun.source.tree.Tree getTree () 
}

org/checkerframework/dataflow/cfg/node/AssignmentContext$AssignmentLhsContext.class
AssignmentContext.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.AssignmentContext$AssignmentLhsContext extends org.checkerframework.dataflow.cfg.node.AssignmentContext {
	protected final org.checkerframework.dataflow.cfg.node.Node node
	static final boolean $assertionsDisabled
	public void  (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node node
	public javax.lang.model.element.Element getElementForType () 
		com.sun.source.tree.Tree tree
	public com.sun.source.tree.Tree getContextTree () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/UnaryOperationNode.class
UnaryOperationNode.java
package org.checkerframework.dataflow.cfg.node
public abstract org.checkerframework.dataflow.cfg.node.UnaryOperationNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.UnaryTree tree
	protected final org.checkerframework.dataflow.cfg.node.Node operand
	public void  (com.sun.source.tree.UnaryTree, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.UnaryTree tree
		org.checkerframework.dataflow.cfg.node.Node operand
	public org.checkerframework.dataflow.cfg.node.Node getOperand () 
	public com.sun.source.tree.UnaryTree getTree () 
	public java.util.Collection getOperands () 
	public volatile com.sun.source.tree.Tree getTree () 
}

org/checkerframework/dataflow/cfg/node/NumericalSubtractionNode.class
NumericalSubtractionNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/ArrayCreationNode.class
ArrayCreationNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ArrayCreationNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final com.sun.source.tree.NewArrayTree tree
	protected final java.util.List dimensions
	protected final java.util.List initializers
	public void  (com.sun.source.tree.NewArrayTree, javax.lang.model.type.TypeMirror, java.util.List, java.util.List) 
		com.sun.source.tree.NewArrayTree tree
		javax.lang.model.type.TypeMirror type
		java.util.List dimensions
		java.util.List initializers
	public java.util.List getDimensions () 
	public org.checkerframework.dataflow.cfg.node.Node getDimension (int) 
		int i
	public java.util.List getInitializers () 
	public org.checkerframework.dataflow.cfg.node.Node getInitializer (int) 
		int i
	public com.sun.source.tree.Tree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
		org.checkerframework.dataflow.cfg.node.Node dim
		boolean needComma
		org.checkerframework.dataflow.cfg.node.Node init
		boolean needComma
		StringBuilder sb
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.ArrayCreationNode other
	public int hashCode () 
		org.checkerframework.dataflow.cfg.node.Node dim
		org.checkerframework.dataflow.cfg.node.Node init
		int hash
	public java.util.Collection getOperands () 
		java.util.ArrayList list
}

org/checkerframework/dataflow/cfg/node/GreaterThanOrEqualNode.class
GreaterThanOrEqualNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode extends org.checkerframework.dataflow.cfg.node.BinaryOperationNode {
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.BinaryTree tree
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode other
	public int hashCode () 
	static void  () 
}

org/checkerframework/dataflow/cfg/node/InstanceOfNode.class
InstanceOfNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.InstanceOfNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected final org.checkerframework.dataflow.cfg.node.Node operand
	protected final javax.lang.model.type.TypeMirror refType
	protected final com.sun.source.tree.InstanceOfTree tree
	static final boolean $assertionsDisabled
	public void  (com.sun.source.tree.Tree, org.checkerframework.dataflow.cfg.node.Node, javax.lang.model.type.TypeMirror, javax.lang.model.util.Types) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node operand
		javax.lang.model.type.TypeMirror refType
		javax.lang.model.util.Types types
	public org.checkerframework.dataflow.cfg.node.Node getOperand () 
	public javax.lang.model.type.TypeMirror getType () 
	public javax.lang.model.type.TypeMirror getRefType () 
	public com.sun.source.tree.InstanceOfTree getTree () 
	public java.lang.Object accept (org.checkerframework.dataflow.cfg.node.NodeVisitor, java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.NodeVisitor visitor
		Object p
	public java.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.InstanceOfNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	public volatile com.sun.source.tree.Tree getTree () 
	static void  () 
}

org/checkerframework/dataflow/cfg/JavaSource2CFGDOT.class
JavaSource2CFGDOT.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.JavaSource2CFGDOT extends java.lang.Object {
	public void  () 
	public static void main (java.lang.String[]) 
		int i
		String[] args
		String input
		String output
		java.io.File file
		String method
		String clas
		boolean pdf
		boolean error
	protected static void printError (java.lang.String) 
		String string
	protected static void printUsage () 
	public static void generateDOTofCFG (java.lang.String, java.lang.String, java.lang.String, java.lang.String, boolean) 
		String inputFile
		String outputDir
		String method
		String clas
		boolean pdf
	public static void generateDOTofCFG (java.lang.String, java.lang.String, java.lang.String, java.lang.String, boolean, org.checkerframework.dataflow.analysis.Analysis) 
		String inputFile
		String outputDir
		String method
		String clas
		boolean pdf
		org.checkerframework.dataflow.analysis.Analysis analysis
		java.util.Map$Entry m
	public static void generateDOTofCFG (java.lang.String, java.lang.String, java.lang.String, java.lang.String, boolean, org.checkerframework.dataflow.analysis.Analysis, com.sun.source.tree.MethodTree, com.sun.source.tree.CompilationUnitTree) 
		String inputFile
		String outputDir
		String method
		String clas
		boolean pdf
		org.checkerframework.dataflow.analysis.Analysis analysis
		com.sun.source.tree.MethodTree m
		com.sun.source.tree.CompilationUnitTree r
		String fileName
		org.checkerframework.dataflow.cfg.ControlFlowGraph cfg
		java.util.Map args
		org.checkerframework.dataflow.cfg.CFGVisualizer viz
		java.util.Map res
	protected static void producePDF (java.lang.String) 
		String command
		Process child
		Exception e
		String file
	public static com.sun.source.tree.MethodTree getMethodTree (java.lang.String, java.lang.String, java.lang.String) 
		String file
		String method
		String clas
	public static java.util.Map$Entry getMethodTreeAndCompilationUnit (java.lang.String, java.lang.String, java.lang.String) 
		String file
		String method
		String clas
		com.sun.source.tree.MethodTree[] m
		com.sun.source.tree.CompilationUnitTree[] c
		org.checkerframework.javacutil.BasicTypeProcessor typeProcessor
		com.sun.tools.javac.util.Context context
		com.sun.tools.javac.main.JavaCompiler javac
		com.sun.tools.javac.file.JavacFileManager fileManager
		javax.tools.JavaFileObject l
		java.io.PrintStream err
}

org/checkerframework/dataflow/cfg/CFGBuilder$ExtendedNode.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public abstract org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode extends java.lang.Object {
	protected org.checkerframework.dataflow.cfg.block.BlockImpl block
	protected org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode$ExtendedNodeType type
	protected boolean terminatesExecution
	static final boolean $assertionsDisabled
	public void  (org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode$ExtendedNodeType) 
		org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode$ExtendedNodeType type
	public org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode$ExtendedNodeType getType () 
	public boolean getTerminatesExecution () 
	public void setTerminatesExecution (boolean) 
		boolean terminatesExecution
	public org.checkerframework.dataflow.cfg.node.Node getNode () 
	public org.checkerframework.dataflow.cfg.CFGBuilder$Label getLabel () 
	public org.checkerframework.dataflow.cfg.block.BlockImpl getBlock () 
	public void setBlock (org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.BlockImpl b
	public java.lang.String toString () 
	static void  () 
}

org/checkerframework/dataflow/cfg/playground/
org/checkerframework/dataflow/cfg/playground/ConstantPropagationPlayground.class
ConstantPropagationPlayground.java
package org.checkerframework.dataflow.cfg.playground
public org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground extends java.lang.Object {
	public void  () 
	public static void main (java.lang.String[]) 
		String[] args
		String inputFile
		String outputDir
		String method
		String clazz
		org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer transfer
		org.checkerframework.dataflow.analysis.Analysis analysis
}

org/checkerframework/dataflow/cfg/CFGBuilder$CFGTranslationPhaseThree$PredecessorHolder.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public abstract org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$PredecessorHolder extends java.lang.Object {
	public abstract void setSuccessor (org.checkerframework.dataflow.cfg.block.BlockImpl) 
	public abstract org.checkerframework.dataflow.cfg.block.BlockImpl getBlock () 
}

org/checkerframework/dataflow/cfg/JavaSource2CFGDOT$2.class
JavaSource2CFGDOT.java
package org.checkerframework.dataflow.cfg
final org.checkerframework.dataflow.cfg.JavaSource2CFGDOT$2 extends java.io.OutputStream {
	void  () 
	public void write (int)  throws java.io.IOException 
		int b
}

org/checkerframework/dataflow/cfg/CFGBuilder$NodeHolder.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$NodeHolder extends org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode {
	protected org.checkerframework.dataflow.cfg.node.Node node
	public void  (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node node
	public org.checkerframework.dataflow.cfg.node.Node getNode () 
	public java.lang.String toString () 
}

org/checkerframework/dataflow/cfg/ControlFlowGraph.class
ControlFlowGraph.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.ControlFlowGraph extends java.lang.Object {
	protected final org.checkerframework.dataflow.cfg.block.SpecialBlock entryBlock
	protected final org.checkerframework.dataflow.cfg.block.SpecialBlock regularExitBlock
	protected final org.checkerframework.dataflow.cfg.block.SpecialBlock exceptionalExitBlock
	protected final org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
	protected final java.util.IdentityHashMap treeLookup
	protected final java.util.IdentityHashMap convertedTreeLookup
	protected final java.util.IdentityHashMap unaryAssignNodeLookup
	protected final java.util.List returnNodes
	protected final java.util.List declaredClasses
	protected final java.util.List declaredLambdas
	static final boolean $assertionsDisabled
	public void  (org.checkerframework.dataflow.cfg.block.SpecialBlock, org.checkerframework.dataflow.cfg.block.SpecialBlockImpl, org.checkerframework.dataflow.cfg.block.SpecialBlockImpl, org.checkerframework.dataflow.cfg.UnderlyingAST, java.util.IdentityHashMap, java.util.IdentityHashMap, java.util.IdentityHashMap, java.util.List, java.util.List, java.util.List) 
		org.checkerframework.dataflow.cfg.block.SpecialBlock entryBlock
		org.checkerframework.dataflow.cfg.block.SpecialBlockImpl regularExitBlock
		org.checkerframework.dataflow.cfg.block.SpecialBlockImpl exceptionalExitBlock
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		java.util.IdentityHashMap treeLookup
		java.util.IdentityHashMap convertedTreeLookup
		java.util.IdentityHashMap unaryAssignNodeLookup
		java.util.List returnNodes
		java.util.List declaredClasses
		java.util.List declaredLambdas
	public java.util.Set getNodesCorrespondingToTree (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree t
	public org.checkerframework.dataflow.cfg.block.SpecialBlock getEntryBlock () 
	public java.util.List getReturnNodes () 
	public org.checkerframework.dataflow.cfg.block.SpecialBlock getRegularExitBlock () 
	public org.checkerframework.dataflow.cfg.block.SpecialBlock getExceptionalExitBlock () 
	public org.checkerframework.dataflow.cfg.UnderlyingAST getUnderlyingAST () 
	public java.util.Set getAllBlocks () 
		org.checkerframework.dataflow.cfg.block.ConditionalBlock ccur
		org.checkerframework.dataflow.cfg.block.Block b
		java.util.Set exceptionSuccSet
		org.checkerframework.dataflow.cfg.block.ExceptionBlock ecur
		org.checkerframework.dataflow.cfg.block.Block b
		java.util.Queue succs
		java.util.Set visited
		java.util.Queue worklist
		org.checkerframework.dataflow.cfg.block.Block cur
	public java.util.List getDepthFirstOrderedBlocks () 
		java.util.Deque successors
		org.checkerframework.dataflow.cfg.block.Block cur
		java.util.List dfsOrderResult
		java.util.Set visited
		java.util.Deque worklist
	private java.util.Deque getSuccessors (org.checkerframework.dataflow.cfg.block.Block) 
		org.checkerframework.dataflow.cfg.block.ConditionalBlock ccur
		org.checkerframework.dataflow.cfg.block.Block b
		java.util.Set exceptionSuccSet
		org.checkerframework.dataflow.cfg.block.ExceptionBlock ecur
		org.checkerframework.dataflow.cfg.block.Block cur
		java.util.Deque succs
	public java.util.IdentityHashMap getTreeLookup () 
	public java.util.IdentityHashMap getUnaryAssignNodeLookup () 
	public com.sun.source.tree.MethodTree getContainingMethod (com.sun.source.tree.Tree) 
		org.checkerframework.dataflow.cfg.UnderlyingAST$CFGMethod cfgMethod
		com.sun.source.tree.Tree t
	public com.sun.source.tree.ClassTree getContainingClass (com.sun.source.tree.Tree) 
		org.checkerframework.dataflow.cfg.UnderlyingAST$CFGMethod cfgMethod
		com.sun.source.tree.Tree t
	public java.util.List getDeclaredClasses () 
	public java.util.List getDeclaredLambdas () 
	static void  () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$TryCatchFrame.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$TryCatchFrame extends java.lang.Object implements org.checkerframework.dataflow.cfg.CFGBuilder$TryFrame  {
	protected javax.lang.model.util.Types types
	protected java.util.List catchLabels
	static final boolean $assertionsDisabled
	public void  (javax.lang.model.util.Types, java.util.List) 
		javax.lang.model.util.Types types
		java.util.List catchLabels
	public java.lang.String toString () 
		org.checkerframework.javacutil.Pair ptml
		StringBuilder sb
	public boolean possibleLabels (javax.lang.model.type.TypeMirror, java.util.Set) 
		javax.lang.model.type.DeclaredType declaredCaught
		javax.lang.model.type.DeclaredType declaredAlt
		javax.lang.model.type.TypeMirror alternative
		javax.lang.model.type.UnionType caughtUnion
		javax.lang.model.type.TypeMirror caught
		boolean canApply
		org.checkerframework.javacutil.Pair pair
		javax.lang.model.type.TypeMirror thrown
		java.util.Set labels
		javax.lang.model.type.DeclaredType declaredThrown
	static void  () 
}

org/checkerframework/dataflow/cfg/DOTCFGVisualizer$1.class
DOTCFGVisualizer.java
package org.checkerframework.dataflow.cfg
 org.checkerframework.dataflow.cfg.DOTCFGVisualizer$1 extends java.lang.Object {
	static final int[] $SwitchMap$org$checkerframework$dataflow$cfg$block$Block$BlockType
	static final int[] $SwitchMap$org$checkerframework$dataflow$cfg$block$SpecialBlock$SpecialBlockType
	static void  () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$CFGTranslationPhaseThree$1.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
final org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$1 extends java.lang.Object implements org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$PredecessorHolder  {
	final org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl val$c
	final org.checkerframework.dataflow.cfg.block.BlockImpl val$cur
	final org.checkerframework.dataflow.cfg.block.BlockImpl val$pred
	void  (org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl, org.checkerframework.dataflow.cfg.block.BlockImpl, org.checkerframework.dataflow.cfg.block.BlockImpl) 
	public void setSuccessor (org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.BlockImpl b
	public org.checkerframework.dataflow.cfg.block.BlockImpl getBlock () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$TryFrame.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public abstract org.checkerframework.dataflow.cfg.CFGBuilder$TryFrame extends java.lang.Object {
	public abstract boolean possibleLabels (javax.lang.model.type.TypeMirror, java.util.Set) 
}

org/checkerframework/dataflow/cfg/CFGBuilder$PhaseOneResult.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult extends java.lang.Object {
	private final java.util.IdentityHashMap treeLookupMap
	private final java.util.IdentityHashMap convertedTreeLookupMap
	private final java.util.IdentityHashMap unaryAssignNodeLookupMap
	private final org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
	private final java.util.Map bindings
	private final java.util.ArrayList nodeList
	private final java.util.Set leaders
	private final java.util.List returnNodes
	private final org.checkerframework.dataflow.cfg.CFGBuilder$Label regularExitLabel
	private final org.checkerframework.dataflow.cfg.CFGBuilder$Label exceptionalExitLabel
	private final java.util.List declaredClasses
	private final java.util.List declaredLambdas
	public void  (org.checkerframework.dataflow.cfg.UnderlyingAST, java.util.IdentityHashMap, java.util.IdentityHashMap, java.util.IdentityHashMap, java.util.ArrayList, java.util.Map, java.util.Set, java.util.List, org.checkerframework.dataflow.cfg.CFGBuilder$Label, org.checkerframework.dataflow.cfg.CFGBuilder$Label, java.util.List, java.util.List) 
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		java.util.IdentityHashMap treeLookupMap
		java.util.IdentityHashMap convertedTreeLookupMap
		java.util.IdentityHashMap unaryAssignNodeLookupMap
		java.util.ArrayList nodeList
		java.util.Map bindings
		java.util.Set leaders
		java.util.List returnNodes
		org.checkerframework.dataflow.cfg.CFGBuilder$Label regularExitLabel
		org.checkerframework.dataflow.cfg.CFGBuilder$Label exceptionalExitLabel
		java.util.List declaredClasses
		java.util.List declaredLambdas
	public java.lang.String toString () 
		org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode n
		StringBuilder sb
	protected java.lang.String nodeToString (org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode) 
		org.checkerframework.dataflow.cfg.CFGBuilder$ConditionalJump t
		org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode n
	private java.lang.String resolveLabel (org.checkerframework.dataflow.cfg.CFGBuilder$Label) 
		org.checkerframework.dataflow.cfg.CFGBuilder$Label label
		Integer index
	static java.util.Map access$000 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static java.util.ArrayList access$100 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static java.util.Set access$200 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static org.checkerframework.dataflow.cfg.CFGBuilder$Label access$300 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static org.checkerframework.dataflow.cfg.CFGBuilder$Label access$400 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static org.checkerframework.dataflow.cfg.UnderlyingAST access$500 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static java.util.IdentityHashMap access$600 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static java.util.IdentityHashMap access$700 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static java.util.IdentityHashMap access$800 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static java.util.List access$900 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static java.util.List access$1000 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static java.util.List access$1100 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
}

org/checkerframework/dataflow/cfg/CFGBuilder$CFGTranslationPhaseThree$4.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
final org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$4 extends java.lang.Object implements org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$PredecessorHolder  {
	final org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl val$s
	final org.checkerframework.dataflow.cfg.block.BlockImpl val$old
	void  (org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl, org.checkerframework.dataflow.cfg.block.BlockImpl) 
	public void setSuccessor (org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.BlockImpl b
	public org.checkerframework.dataflow.cfg.block.BlockImpl getBlock () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$1.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
 org.checkerframework.dataflow.cfg.CFGBuilder$1 extends java.lang.Object {
	static final int[] $SwitchMap$org$checkerframework$dataflow$cfg$block$Block$BlockType
	static final int[] $SwitchMap$org$checkerframework$dataflow$cfg$CFGBuilder$ExtendedNode$ExtendedNodeType
	static final int[] $SwitchMap$javax$lang$model$type$TypeKind
	static final int[] $SwitchMap$com$sun$source$tree$Tree$Kind
	static final int[] $SwitchMap$javax$lang$model$element$ElementKind
	static void  () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$TryStack.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$TryStack extends java.lang.Object {
	protected org.checkerframework.dataflow.cfg.CFGBuilder$Label exitLabel
	protected java.util.ArrayDeque frames
	public void  (org.checkerframework.dataflow.cfg.CFGBuilder$Label) 
		org.checkerframework.dataflow.cfg.CFGBuilder$Label exitLabel
	public void pushFrame (org.checkerframework.dataflow.cfg.CFGBuilder$TryFrame) 
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFrame frame
	public void popFrame () 
	public java.util.Set possibleLabels (javax.lang.model.type.TypeMirror) 
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFrame frame
		javax.lang.model.type.TypeMirror thrown
		java.util.Set labels
	public java.lang.String toString () 
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFrame tf
		StringBuilder sb
}

org/checkerframework/dataflow/cfg/JavaSource2CFGDOT$1$1.class
JavaSource2CFGDOT.java
package org.checkerframework.dataflow.cfg
 org.checkerframework.dataflow.cfg.JavaSource2CFGDOT$1$1 extends com.sun.source.util.TreePathScanner {
	final org.checkerframework.dataflow.cfg.JavaSource2CFGDOT$1 this$0
	void  (org.checkerframework.dataflow.cfg.JavaSource2CFGDOT$1) 
		org.checkerframework.dataflow.cfg.JavaSource2CFGDOT$1 this$0
	public java.lang.Void visitMethod (com.sun.source.tree.MethodTree, java.lang.Void) 
		com.sun.source.tree.MethodTree node
		Void p
		javax.lang.model.element.ExecutableElement el
	public volatile java.lang.Object visitMethod (com.sun.source.tree.MethodTree, java.lang.Object) 
}

org/checkerframework/dataflow/cfg/CFGBuilder$CFGTranslationPhaseTwo.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseTwo extends java.lang.Object {
	static final boolean $assertionsDisabled
	private void  () 
	public static org.checkerframework.dataflow.cfg.ControlFlowGraph process (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl b
		boolean terminatesExecution
		org.checkerframework.dataflow.cfg.CFGBuilder$ConditionalJump cj
		org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl cb
		org.checkerframework.dataflow.cfg.CFGBuilder$Label thenLabel
		org.checkerframework.dataflow.cfg.CFGBuilder$Label elseLabel
		Integer target
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl b
		Integer target
		Integer target
		org.checkerframework.dataflow.cfg.CFGBuilder$Label label
		javax.lang.model.type.TypeMirror cause
		java.util.Map$Entry entry
		org.checkerframework.dataflow.cfg.CFGBuilder$NodeWithExceptionsHolder en
		org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl e
		org.checkerframework.dataflow.cfg.node.Node nn
		org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode node
		Integer index
		org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode extendedNode
		org.checkerframework.dataflow.cfg.block.BlockImpl target
		org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl source
		org.checkerframework.dataflow.cfg.CFGBuilder$Tuple p
		org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode extendedNode
		org.checkerframework.dataflow.cfg.block.BlockImpl target
		Integer index
		javax.lang.model.type.TypeMirror cause
		org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl source
		org.checkerframework.dataflow.cfg.CFGBuilder$Tuple p
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult in
		java.util.Map bindings
		java.util.ArrayList nodeList
		java.util.Set leaders
		org.checkerframework.dataflow.cfg.block.SpecialBlockImpl regularExitBlock
		org.checkerframework.dataflow.cfg.block.SpecialBlockImpl exceptionalExitBlock
		java.util.Set missingEdges
		java.util.Set missingExceptionalEdges
		org.checkerframework.dataflow.cfg.block.SpecialBlockImpl startBlock
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl block
		int i
	static void  () 
}

org/checkerframework/dataflow/cfg/UnderlyingAST$CFGMethod.class
UnderlyingAST.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.UnderlyingAST$CFGMethod extends org.checkerframework.dataflow.cfg.UnderlyingAST {
	protected final com.sun.source.tree.MethodTree method
	protected final com.sun.source.tree.ClassTree classTree
	public void  (com.sun.source.tree.MethodTree, com.sun.source.tree.ClassTree) 
		com.sun.source.tree.MethodTree method
		com.sun.source.tree.ClassTree classTree
	public com.sun.source.tree.Tree getCode () 
	public com.sun.source.tree.MethodTree getMethod () 
	public com.sun.source.tree.ClassTree getClassTree () 
	public java.lang.String toString () 
}

org/checkerframework/dataflow/cfg/CFGBuilder.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder extends java.lang.Object {
	protected void  () 
	public static org.checkerframework.dataflow.cfg.ControlFlowGraph build (com.sun.source.tree.CompilationUnitTree, org.checkerframework.dataflow.cfg.UnderlyingAST, boolean, boolean, javax.annotation.processing.ProcessingEnvironment) 
		com.sun.source.tree.CompilationUnitTree root
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		boolean assumeAssertionsEnabled
		boolean assumeAssertionsDisabled
		javax.annotation.processing.ProcessingEnvironment env
		org.checkerframework.javacutil.trees.TreeBuilder builder
		org.checkerframework.javacutil.AnnotationProvider annotationProvider
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult phase1result
		org.checkerframework.dataflow.cfg.ControlFlowGraph phase2result
		org.checkerframework.dataflow.cfg.ControlFlowGraph phase3result
	public static org.checkerframework.dataflow.cfg.ControlFlowGraph build (com.sun.source.util.TreePath, org.checkerframework.dataflow.cfg.UnderlyingAST, boolean, boolean, javax.annotation.processing.ProcessingEnvironment) 
		com.sun.source.util.TreePath bodyPath
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		boolean assumeAssertionsEnabled
		boolean assumeAssertionsDisabled
		javax.annotation.processing.ProcessingEnvironment env
		org.checkerframework.javacutil.trees.TreeBuilder builder
		org.checkerframework.javacutil.AnnotationProvider annotationProvider
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult phase1result
		org.checkerframework.dataflow.cfg.ControlFlowGraph phase2result
		org.checkerframework.dataflow.cfg.ControlFlowGraph phase3result
	public static org.checkerframework.dataflow.cfg.ControlFlowGraph build (com.sun.source.tree.CompilationUnitTree, org.checkerframework.dataflow.cfg.UnderlyingAST, javax.annotation.processing.ProcessingEnvironment) 
		com.sun.source.tree.CompilationUnitTree root
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		javax.annotation.processing.ProcessingEnvironment env
	public static org.checkerframework.dataflow.cfg.ControlFlowGraph build (com.sun.source.tree.CompilationUnitTree, com.sun.source.tree.MethodTree, com.sun.source.tree.ClassTree, javax.annotation.processing.ProcessingEnvironment) 
		com.sun.source.tree.CompilationUnitTree root
		com.sun.source.tree.MethodTree tree
		com.sun.source.tree.ClassTree classTree
		javax.annotation.processing.ProcessingEnvironment env
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
	private static java.lang.Object firstNonNull (java.lang.Object, java.lang.Object) 
		Object first
		Object second
	protected static void printBlocks (java.util.Set) 
		org.checkerframework.dataflow.cfg.block.Block succ
		java.util.Map$Entry entry
		org.checkerframework.dataflow.cfg.block.Block succ
		org.checkerframework.dataflow.cfg.block.Block tSucc
		org.checkerframework.dataflow.cfg.block.Block eSucc
		org.checkerframework.dataflow.cfg.block.Block b
		java.util.Set blocks
	static java.lang.Object access$1400 (java.lang.Object, java.lang.Object) 
		Object x0
		Object x1
}

org/checkerframework/dataflow/cfg/JavaSource2CFGDOT$1.class
JavaSource2CFGDOT.java
package org.checkerframework.dataflow.cfg
final org.checkerframework.dataflow.cfg.JavaSource2CFGDOT$1 extends org.checkerframework.javacutil.BasicTypeProcessor {
	final com.sun.source.tree.CompilationUnitTree[] val$c
	final String val$method
	final com.sun.source.tree.MethodTree[] val$m
	void  (com.sun.source.tree.CompilationUnitTree[], java.lang.String, com.sun.source.tree.MethodTree[]) 
	protected com.sun.source.util.TreePathScanner createTreePathScanner (com.sun.source.tree.CompilationUnitTree) 
		com.sun.source.tree.CompilationUnitTree root
}

org/checkerframework/dataflow/cfg/JavaSource2CFGDOT$3.class
JavaSource2CFGDOT.java
package org.checkerframework.dataflow.cfg
final org.checkerframework.dataflow.cfg.JavaSource2CFGDOT$3 extends java.lang.Object implements java.util.Map$Entry  {
	final com.sun.source.tree.CompilationUnitTree[] val$c
	final com.sun.source.tree.MethodTree[] val$m
	void  (com.sun.source.tree.CompilationUnitTree[], com.sun.source.tree.MethodTree[]) 
	public com.sun.source.tree.CompilationUnitTree setValue (com.sun.source.tree.CompilationUnitTree) 
		com.sun.source.tree.CompilationUnitTree value
	public com.sun.source.tree.CompilationUnitTree getValue () 
	public com.sun.source.tree.MethodTree getKey () 
	public volatile java.lang.Object setValue (java.lang.Object) 
	public volatile java.lang.Object getValue () 
	public volatile java.lang.Object getKey () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$TreeInfo.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
abstract org.checkerframework.dataflow.cfg.CFGBuilder$TreeInfo extends java.lang.Object {
	public abstract boolean isBoxed () 
	public abstract boolean isNumeric () 
	public abstract boolean isBoolean () 
	public abstract javax.lang.model.type.TypeMirror unboxedType () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$CFGTranslationPhaseOne$SwitchBuilder.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
 org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne$SwitchBuilder extends java.lang.Object {
	private final com.sun.source.tree.SwitchTree switchTree
	private final org.checkerframework.dataflow.cfg.CFGBuilder$Label[] caseBodyLabels
	private final Void p
	private org.checkerframework.dataflow.cfg.node.Node switchExpr
	final org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne this$0
	private void  (org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne, com.sun.source.tree.SwitchTree, java.lang.Void) 
		com.sun.source.tree.SwitchTree tree
		Void p
	public void build () 
		int i
		com.sun.source.tree.CaseTree caseTree
		int i
		org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyScopeCell oldBreakTargetL
		int cases
		javax.lang.model.type.TypeMirror switchExprType
		com.sun.source.tree.VariableTree variable
		org.checkerframework.dataflow.cfg.node.VariableDeclarationNode variableNode
		com.sun.source.tree.ExpressionTree variableUse
		org.checkerframework.dataflow.cfg.node.LocalVariableNode variableUseNode
		org.checkerframework.dataflow.cfg.node.Node switchExprNode
		com.sun.source.tree.AssignmentTree assign
		Integer defaultIndex
	private void buildCase (com.sun.source.tree.CaseTree, int) 
		org.checkerframework.dataflow.cfg.node.Node expr
		org.checkerframework.dataflow.cfg.node.CaseNode test
		com.sun.source.tree.StatementTree stmt
		com.sun.source.tree.CaseTree tree
		int index
		org.checkerframework.dataflow.cfg.CFGBuilder$Label thisBodyL
		org.checkerframework.dataflow.cfg.CFGBuilder$Label nextBodyL
		org.checkerframework.dataflow.cfg.CFGBuilder$Label nextCaseL
		com.sun.source.tree.ExpressionTree exprTree
	void  (org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne, com.sun.source.tree.SwitchTree, java.lang.Void, org.checkerframework.dataflow.cfg.CFGBuilder$1) 
		org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne x0
		com.sun.source.tree.SwitchTree x1
		Void x2
		org.checkerframework.dataflow.cfg.CFGBuilder$1 x3
}

org/checkerframework/dataflow/cfg/CFGVisualizer.class
CFGVisualizer.java
package org.checkerframework.dataflow.cfg
public abstract org.checkerframework.dataflow.cfg.CFGVisualizer extends java.lang.Object {
	public abstract void init (java.util.Map) 
	public abstract java.util.Map visualize (org.checkerframework.dataflow.cfg.ControlFlowGraph, org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis) 
	public abstract void visualizeStore (org.checkerframework.dataflow.analysis.Store) 
	public abstract void visualizeStoreHeader (java.lang.String) 
	public abstract void visualizeStoreLocalVar (org.checkerframework.dataflow.analysis.FlowExpressions$LocalVariable, org.checkerframework.dataflow.analysis.AbstractValue) 
	public abstract void visualizeStoreThisVal (org.checkerframework.dataflow.analysis.AbstractValue) 
	public abstract void visualizeStoreFieldVals (org.checkerframework.dataflow.analysis.FlowExpressions$FieldAccess, org.checkerframework.dataflow.analysis.AbstractValue) 
	public abstract void visualizeStoreArrayVal (org.checkerframework.dataflow.analysis.FlowExpressions$ArrayAccess, org.checkerframework.dataflow.analysis.AbstractValue) 
	public abstract void visualizeStoreMethodVals (org.checkerframework.dataflow.analysis.FlowExpressions$MethodCall, org.checkerframework.dataflow.analysis.AbstractValue) 
	public abstract void visualizeStoreClassVals (org.checkerframework.dataflow.analysis.FlowExpressions$ClassName, org.checkerframework.dataflow.analysis.AbstractValue) 
	public abstract void visualizeStoreKeyVal (java.lang.String, java.lang.Object) 
	public abstract void visualizeStoreFooter () 
	public abstract void visualizeBlock (org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis) 
	public abstract void visualizeSpecialBlock (org.checkerframework.dataflow.cfg.block.SpecialBlock) 
	public abstract void visualizeBlockTransferInput (org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis) 
	public abstract void visualizeBlockNode (org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.analysis.Analysis) 
	public abstract void shutdown () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$UnconditionalJump.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$UnconditionalJump extends org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode {
	protected org.checkerframework.dataflow.cfg.CFGBuilder$Label jumpTarget
	static final boolean $assertionsDisabled
	public void  (org.checkerframework.dataflow.cfg.CFGBuilder$Label) 
		org.checkerframework.dataflow.cfg.CFGBuilder$Label jumpTarget
	public org.checkerframework.dataflow.cfg.CFGBuilder$Label getLabel () 
	public java.lang.String toString () 
	static void  () 
}

org/checkerframework/dataflow/cfg/CFGBuilder$TryFinallyFrame.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyFrame extends java.lang.Object implements org.checkerframework.dataflow.cfg.CFGBuilder$TryFrame  {
	protected org.checkerframework.dataflow.cfg.CFGBuilder$Label finallyLabel
	public void  (org.checkerframework.dataflow.cfg.CFGBuilder$Label) 
		org.checkerframework.dataflow.cfg.CFGBuilder$Label finallyLabel
	public java.lang.String toString () 
		StringBuilder sb
	public boolean possibleLabels (javax.lang.model.type.TypeMirror, java.util.Set) 
		javax.lang.model.type.TypeMirror thrown
		java.util.Set labels
}

org/checkerframework/dataflow/cfg/UnderlyingAST$CFGLambda.class
UnderlyingAST.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.UnderlyingAST$CFGLambda extends org.checkerframework.dataflow.cfg.UnderlyingAST {
	private final com.sun.source.tree.LambdaExpressionTree lambda
	public void  (com.sun.source.tree.LambdaExpressionTree) 
		com.sun.source.tree.LambdaExpressionTree lambda
	public com.sun.source.tree.Tree getCode () 
	public com.sun.source.tree.LambdaExpressionTree getLambdaTree () 
	public java.lang.String toString () 
}

org/checkerframework/dataflow/util/
org/checkerframework/dataflow/util/NodeUtils.class
NodeUtils.java
package org.checkerframework.dataflow.util
public org.checkerframework.dataflow.util.NodeUtils extends java.lang.Object {
	public void  () 
	public static boolean isBooleanTypeNode (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node node
		com.sun.source.tree.Tree tree
		com.sun.tools.javac.code.Type type
	public static boolean isArrayLengthFieldAccess (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.cfg.node.FieldAccessNode fieldAccess
}

org/checkerframework/dataflow/util/PurityChecker$PurityResult.class
PurityChecker.java
package org.checkerframework.dataflow.util
public org.checkerframework.dataflow.util.PurityChecker$PurityResult extends java.lang.Object {
	protected final java.util.List notSEFreeReasons
	protected final java.util.List notDetReasons
	protected final java.util.List notBothReasons
	protected java.util.EnumSet types
	public void  () 
	public java.util.EnumSet getTypes () 
	public boolean isPure (java.util.Collection) 
		java.util.Collection kinds
	public java.util.List getNotSEFreeReasons () 
	public void addNotSEFreeReason (com.sun.source.tree.Tree, java.lang.String) 
		com.sun.source.tree.Tree t
		String msgId
	public java.util.List getNotDetReasons () 
	public void addNotDetReason (com.sun.source.tree.Tree, java.lang.String) 
		com.sun.source.tree.Tree t
		String msgId
	public java.util.List getNotBothReasons () 
	public void addNotBothReason (com.sun.source.tree.Tree, java.lang.String) 
		com.sun.source.tree.Tree t
		String msgId
}

org/checkerframework/dataflow/util/MostlySingleton.class
MostlySingleton.java
package org.checkerframework.dataflow.util
public final org.checkerframework.dataflow.util.MostlySingleton extends org.checkerframework.dataflow.util.AbstractMostlySingleton {
	public void  () 
	public void  (java.lang.Object) 
		Object value
	public boolean add (java.lang.Object) 
		Object e
	public boolean contains (java.lang.Object) 
		Object o
}

org/checkerframework/dataflow/util/PurityUtils.class
PurityUtils.java
package org.checkerframework.dataflow.util
public org.checkerframework.dataflow.util.PurityUtils extends java.lang.Object {
	public void  () 
	public static boolean hasPurityAnnotation (org.checkerframework.javacutil.AnnotationProvider, com.sun.source.tree.MethodTree) 
		org.checkerframework.javacutil.AnnotationProvider provider
		com.sun.source.tree.MethodTree tree
	public static boolean hasPurityAnnotation (org.checkerframework.javacutil.AnnotationProvider, javax.lang.model.element.Element) 
		org.checkerframework.javacutil.AnnotationProvider provider
		javax.lang.model.element.Element methodElement
	public static boolean isDeterministic (org.checkerframework.javacutil.AnnotationProvider, com.sun.source.tree.MethodTree) 
		org.checkerframework.javacutil.AnnotationProvider provider
		com.sun.source.tree.MethodTree tree
		javax.lang.model.element.Element methodElement
	public static boolean isDeterministic (org.checkerframework.javacutil.AnnotationProvider, javax.lang.model.element.Element) 
		org.checkerframework.javacutil.AnnotationProvider provider
		javax.lang.model.element.Element methodElement
		java.util.List kinds
	public static boolean isSideEffectFree (org.checkerframework.javacutil.AnnotationProvider, com.sun.source.tree.MethodTree) 
		org.checkerframework.javacutil.AnnotationProvider provider
		com.sun.source.tree.MethodTree tree
		javax.lang.model.element.Element methodElement
	public static boolean isSideEffectFree (org.checkerframework.javacutil.AnnotationProvider, javax.lang.model.element.Element) 
		org.checkerframework.javacutil.AnnotationProvider provider
		javax.lang.model.element.Element methodElement
		java.util.List kinds
	public static java.util.List getPurityKinds (org.checkerframework.javacutil.AnnotationProvider, com.sun.source.tree.MethodTree) 
		org.checkerframework.javacutil.AnnotationProvider provider
		com.sun.source.tree.MethodTree tree
		javax.lang.model.element.Element methodElement
	public static java.util.List getPurityKinds (org.checkerframework.javacutil.AnnotationProvider, javax.lang.model.element.Element) 
		org.checkerframework.javacutil.AnnotationProvider provider
		javax.lang.model.element.Element methodElement
		javax.lang.model.element.AnnotationMirror pureAnnotation
		javax.lang.model.element.AnnotationMirror sefAnnotation
		javax.lang.model.element.AnnotationMirror detAnnotation
		java.util.List kinds
}

org/checkerframework/dataflow/util/PurityChecker$PurityCheckerHelper.class
PurityChecker.java
package org.checkerframework.dataflow.util
public org.checkerframework.dataflow.util.PurityChecker$PurityCheckerHelper extends com.sun.source.util.TreePathScanner {
	org.checkerframework.dataflow.util.PurityChecker$PurityResult purityResult
	protected final org.checkerframework.javacutil.AnnotationProvider annoProvider
	private final boolean assumeSideEffectFree
	static final boolean $assertionsDisabled
	public void  (org.checkerframework.javacutil.AnnotationProvider, boolean) 
		org.checkerframework.javacutil.AnnotationProvider annoProvider
		boolean assumeSideEffectFree
	public java.lang.Void visitCatch (com.sun.source.tree.CatchTree, java.lang.Void) 
		com.sun.source.tree.CatchTree node
		Void ignore
	public java.lang.Void visitMethodInvocation (com.sun.source.tree.MethodInvocationTree, java.lang.Void) 
		boolean det
		boolean seFree
		com.sun.source.tree.MethodInvocationTree node
		Void ignore
		javax.lang.model.element.Element elt
	public java.lang.Void visitNewClass (com.sun.source.tree.NewClassTree, java.lang.Void) 
		com.sun.source.tree.NewClassTree node
		Void ignore
		com.sun.source.tree.Tree parent
		boolean okThrowDeterministic
		javax.lang.model.element.Element methodElement
		boolean deterministic
		boolean sideEffectFree
	public java.lang.Void visitAssignment (com.sun.source.tree.AssignmentTree, java.lang.Void) 
		com.sun.source.tree.AssignmentTree node
		Void ignore
		com.sun.source.tree.ExpressionTree variable
	protected void assignmentCheck (com.sun.source.tree.ExpressionTree) 
		com.sun.source.tree.ExpressionTree variable
	protected boolean isLocalVariable (com.sun.source.tree.ExpressionTree) 
		com.sun.source.tree.ExpressionTree variable
	public java.lang.Void visitCompoundAssignment (com.sun.source.tree.CompoundAssignmentTree, java.lang.Void) 
		com.sun.source.tree.CompoundAssignmentTree node
		Void ignore
		com.sun.source.tree.ExpressionTree variable
	public volatile java.lang.Object visitCompoundAssignment (com.sun.source.tree.CompoundAssignmentTree, java.lang.Object) 
	public volatile java.lang.Object visitAssignment (com.sun.source.tree.AssignmentTree, java.lang.Object) 
	public volatile java.lang.Object visitNewClass (com.sun.source.tree.NewClassTree, java.lang.Object) 
	public volatile java.lang.Object visitMethodInvocation (com.sun.source.tree.MethodInvocationTree, java.lang.Object) 
	public volatile java.lang.Object visitCatch (com.sun.source.tree.CatchTree, java.lang.Object) 
	static void  () 
}

org/checkerframework/dataflow/util/IdentityMostlySingleton.class
IdentityMostlySingleton.java
package org.checkerframework.dataflow.util
public final org.checkerframework.dataflow.util.IdentityMostlySingleton extends org.checkerframework.dataflow.util.AbstractMostlySingleton {
	public void  () 
	public void  (java.lang.Object) 
		Object value
	public boolean add (java.lang.Object) 
		Object e
	public boolean contains (java.lang.Object) 
		Object o
}

org/checkerframework/dataflow/util/AbstractMostlySingleton$2.class
AbstractMostlySingleton.java
package org.checkerframework.dataflow.util
 org.checkerframework.dataflow.util.AbstractMostlySingleton$2 extends java.lang.Object {
	static final int[] $SwitchMap$org$checkerframework$dataflow$util$AbstractMostlySingleton$State
	static void  () 
}

org/checkerframework/dataflow/util/AbstractMostlySingleton$State.class
AbstractMostlySingleton.java
package org.checkerframework.dataflow.util
public final org.checkerframework.dataflow.util.AbstractMostlySingleton$State extends java.lang.Enum {
	public static final org.checkerframework.dataflow.util.AbstractMostlySingleton$State EMPTY
	public static final org.checkerframework.dataflow.util.AbstractMostlySingleton$State SINGLETON
	public static final org.checkerframework.dataflow.util.AbstractMostlySingleton$State ANY
	private static final org.checkerframework.dataflow.util.AbstractMostlySingleton$State[] $VALUES
	public static org.checkerframework.dataflow.util.AbstractMostlySingleton$State[] values () 
	public static org.checkerframework.dataflow.util.AbstractMostlySingleton$State valueOf (java.lang.String) 
		String name
	private void  (java.lang.String, int) 
	static void  () 
}

org/checkerframework/dataflow/util/AbstractMostlySingleton$1.class
AbstractMostlySingleton.java
package org.checkerframework.dataflow.util
 org.checkerframework.dataflow.util.AbstractMostlySingleton$1 extends java.lang.Object implements java.util.Iterator  {
	private boolean hasNext
	final org.checkerframework.dataflow.util.AbstractMostlySingleton this$0
	void  (org.checkerframework.dataflow.util.AbstractMostlySingleton) 
		org.checkerframework.dataflow.util.AbstractMostlySingleton this$0
	public boolean hasNext () 
	public java.lang.Object next () 
	public void remove () 
}

org/checkerframework/dataflow/util/MostlySingleton$1.class
MostlySingleton.java
package org.checkerframework.dataflow.util
 org.checkerframework.dataflow.util.MostlySingleton$1 extends java.lang.Object {
	static final int[] $SwitchMap$org$checkerframework$dataflow$util$AbstractMostlySingleton$State
	static void  () 
}

org/checkerframework/dataflow/util/IdentityMostlySingleton$1.class
IdentityMostlySingleton.java
package org.checkerframework.dataflow.util
 org.checkerframework.dataflow.util.IdentityMostlySingleton$1 extends java.lang.Object {
	static final int[] $SwitchMap$org$checkerframework$dataflow$util$AbstractMostlySingleton$State
	static void  () 
}

org/checkerframework/dataflow/util/HashCodeUtils.class
HashCodeUtils.java
package org.checkerframework.dataflow.util
public org.checkerframework.dataflow.util.HashCodeUtils extends java.lang.Object {
	private static final int prime
	private static final int seed
	public void  () 
	public static int hash (int, boolean) 
		int hash
		boolean item
	public static int hash (int, char) 
		int hash
		char item
	public static int hash (int, int) 
		int hash
		int item
	public static int hash (int, long) 
		int hash
		long item
	public static int hash (int, float) 
		int hash
		float item
	public static int hash (int, double) 
		int hash
		double item
		long l
	public static int hash (int, java.lang.Object) 
		int hash
		Object item
	public static int hash (boolean) 
		boolean item
	public static int hash (char) 
		char item
	public static int hash (int) 
		int item
	public static int hash (long) 
		long item
	public static int hash (float) 
		float item
	public static int hash (double) 
		double item
		long l
	public static int hash (java.lang.Object) 
		Object item
	public static transient int hash (java.lang.Object[]) 
		Object item
		Object[] items
		int result
}

org/checkerframework/dataflow/util/AbstractMostlySingleton.class
AbstractMostlySingleton.java
package org.checkerframework.dataflow.util
public abstract org.checkerframework.dataflow.util.AbstractMostlySingleton extends java.lang.Object implements java.util.Set  {
	protected org.checkerframework.dataflow.util.AbstractMostlySingleton$State state
	protected Object value
	protected java.util.Collection set
	public void  () 
	public int size () 
	public boolean isEmpty () 
	public java.util.Iterator iterator () 
	public java.lang.String toString () 
	public boolean addAll (java.util.Collection) 
		Object elem
		java.util.Collection c
		boolean res
	public java.lang.Object[] toArray () 
	public java.lang.Object[] toArray (java.lang.Object[]) 
		Object[] a
	public boolean remove (java.lang.Object) 
		Object o
	public boolean containsAll (java.util.Collection) 
		java.util.Collection c
	public boolean retainAll (java.util.Collection) 
		java.util.Collection c
	public boolean removeAll (java.util.Collection) 
		java.util.Collection c
	public void clear () 
}

org/checkerframework/dataflow/util/PurityChecker.class
PurityChecker.java
package org.checkerframework.dataflow.util
public org.checkerframework.dataflow.util.PurityChecker extends java.lang.Object {
	public void  () 
	public static org.checkerframework.dataflow.util.PurityChecker$PurityResult checkPurity (com.sun.source.util.TreePath, org.checkerframework.javacutil.AnnotationProvider, boolean) 
		com.sun.source.util.TreePath statement
		org.checkerframework.javacutil.AnnotationProvider annoProvider
		boolean assumeSideEffectFree
		org.checkerframework.dataflow.util.PurityChecker$PurityCheckerHelper helper
}

org/checkerframework/dataflow/analysis/
org/checkerframework/dataflow/analysis/FlowExpressions$FieldAccess.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.FlowExpressions$FieldAccess extends org.checkerframework.dataflow.analysis.FlowExpressions$Receiver {
	protected final org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
	protected final javax.lang.model.element.VariableElement field
	public org.checkerframework.dataflow.analysis.FlowExpressions$Receiver getReceiver () 
	public javax.lang.model.element.VariableElement getField () 
	public void  (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver, org.checkerframework.dataflow.cfg.node.FieldAccessNode) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		org.checkerframework.dataflow.cfg.node.FieldAccessNode node
	public void  (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver, javax.lang.model.type.TypeMirror, javax.lang.model.element.VariableElement) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		javax.lang.model.type.TypeMirror type
		javax.lang.model.element.VariableElement fieldElement
	public boolean isFinal () 
	public boolean isStatic () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.analysis.FlowExpressions$FieldAccess fa
	public int hashCode () 
	public boolean containsModifiableAliasOf (org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.Store store
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean containsSyntacticEqualReceiver (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean syntacticEquals (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
		org.checkerframework.dataflow.analysis.FlowExpressions$FieldAccess fa
	public java.lang.String toString () 
	public boolean containsOfClass (java.lang.Class) 
		Class clazz
	public boolean isUnmodifiableByOtherCode () 
}

org/checkerframework/dataflow/analysis/TransferFunction.class
TransferFunction.java
package org.checkerframework.dataflow.analysis
public abstract org.checkerframework.dataflow.analysis.TransferFunction extends java.lang.Object implements org.checkerframework.dataflow.cfg.node.NodeVisitor  {
	public abstract org.checkerframework.dataflow.analysis.Store initialStore (org.checkerframework.dataflow.cfg.UnderlyingAST, java.util.List) 
}

org/checkerframework/dataflow/analysis/Analysis$1.class
Analysis.java
package org.checkerframework.dataflow.analysis
 org.checkerframework.dataflow.analysis.Analysis$1 extends java.lang.Object {
	static final int[] $SwitchMap$org$checkerframework$dataflow$cfg$block$Block$BlockType
	static final int[] $SwitchMap$org$checkerframework$dataflow$analysis$Store$FlowRule
	static final int[] $SwitchMap$org$checkerframework$dataflow$analysis$Store$Kind
	static void  () 
}

org/checkerframework/dataflow/analysis/FlowExpressions.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.FlowExpressions extends java.lang.Object {
	public void  () 
	public static org.checkerframework.dataflow.analysis.FlowExpressions$FieldAccess internalReprOfFieldAccess (org.checkerframework.javacutil.AnnotationProvider, org.checkerframework.dataflow.cfg.node.FieldAccessNode) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		org.checkerframework.javacutil.AnnotationProvider provider
		org.checkerframework.dataflow.cfg.node.FieldAccessNode node
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		org.checkerframework.dataflow.cfg.node.Node receiverNode
	public static org.checkerframework.dataflow.analysis.FlowExpressions$ArrayAccess internalReprOfArrayAccess (org.checkerframework.javacutil.AnnotationProvider, org.checkerframework.dataflow.cfg.node.ArrayAccessNode) 
		org.checkerframework.javacutil.AnnotationProvider provider
		org.checkerframework.dataflow.cfg.node.ArrayAccessNode node
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver index
	public static org.checkerframework.dataflow.analysis.FlowExpressions$Receiver internalReprOf (org.checkerframework.javacutil.AnnotationProvider, org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.javacutil.AnnotationProvider provider
		org.checkerframework.dataflow.cfg.node.Node receiverNode
	public static org.checkerframework.dataflow.analysis.FlowExpressions$Receiver internalReprOf (org.checkerframework.javacutil.AnnotationProvider, org.checkerframework.dataflow.cfg.node.Node, boolean) 
		org.checkerframework.dataflow.cfg.node.FieldAccessNode fan
		org.checkerframework.dataflow.cfg.node.LocalVariableNode lv
		org.checkerframework.dataflow.cfg.node.ArrayAccessNode a
		org.checkerframework.dataflow.cfg.node.ClassNameNode cn
		org.checkerframework.dataflow.cfg.node.ValueLiteralNode vn
		org.checkerframework.dataflow.cfg.node.Node dimension
		org.checkerframework.dataflow.cfg.node.Node initializer
		org.checkerframework.dataflow.cfg.node.ArrayCreationNode an
		java.util.List dimensions
		java.util.List initializers
		org.checkerframework.dataflow.cfg.node.Node arg
		org.checkerframework.dataflow.cfg.node.Node p
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver methodReceiver
		java.util.List parameters
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver methodReceiver
		org.checkerframework.dataflow.cfg.node.MethodInvocationNode mn
		javax.lang.model.element.ExecutableElement invokedMethod
		boolean considerDeterministic
		org.checkerframework.javacutil.AnnotationProvider provider
		org.checkerframework.dataflow.cfg.node.Node receiverNode
		boolean allowNonDeterministic
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
	private static boolean isLongValueOf (org.checkerframework.dataflow.cfg.node.MethodInvocationNode, javax.lang.model.element.ExecutableElement) 
		org.checkerframework.dataflow.cfg.node.MethodInvocationNode mn
		javax.lang.model.element.ExecutableElement method
		java.util.List params
		javax.lang.model.element.VariableElement param
		javax.lang.model.type.TypeMirror paramType
	public static org.checkerframework.dataflow.analysis.FlowExpressions$Receiver internalReprOf (org.checkerframework.javacutil.AnnotationProvider, com.sun.source.tree.ExpressionTree) 
		org.checkerframework.javacutil.AnnotationProvider provider
		com.sun.source.tree.ExpressionTree receiverTree
	public static org.checkerframework.dataflow.analysis.FlowExpressions$Receiver internalReprOf (org.checkerframework.javacutil.AnnotationProvider, com.sun.source.tree.ExpressionTree, boolean) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		com.sun.source.tree.ArrayAccessTree a
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver arrayAccessExpression
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver index
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		com.sun.source.tree.LiteralTree vn
		com.sun.source.tree.ExpressionTree dimension
		com.sun.source.tree.ExpressionTree initializer
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		com.sun.source.tree.NewArrayTree newArrayTree
		java.util.List dimensions
		java.util.List initializers
		com.sun.source.tree.ExpressionTree p
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver methodReceiver
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver methodReceiver
		com.sun.source.tree.ExpressionTree methodReceiverTree
		java.util.List parameters
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver methodReceiver
		javax.lang.model.type.TypeMirror type
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		com.sun.source.tree.MethodInvocationTree mn
		javax.lang.model.element.ExecutableElement invokedMethod
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver fieldAccessExpression
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver fieldAccessExpression
		javax.lang.model.type.TypeMirror enclosingType
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		com.sun.source.tree.IdentifierTree identifierTree
		javax.lang.model.type.TypeMirror typeOfId
		javax.lang.model.element.Element ele
		org.checkerframework.javacutil.AnnotationProvider provider
		com.sun.source.tree.ExpressionTree receiverTree
		boolean allowNonDeterministic
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
	public static org.checkerframework.dataflow.analysis.FlowExpressions$Receiver internalReprOfImplicitReceiver (javax.lang.model.element.Element) 
		javax.lang.model.element.Element ele
		javax.lang.model.type.TypeMirror enclosingType
	public static org.checkerframework.dataflow.analysis.FlowExpressions$Receiver internalReprOfPseudoReceiver (com.sun.source.util.TreePath, javax.lang.model.type.TypeMirror) 
		com.sun.source.util.TreePath path
		javax.lang.model.type.TypeMirror enclosingType
	private static org.checkerframework.dataflow.analysis.FlowExpressions$Receiver internalReprOfMemberSelect (org.checkerframework.javacutil.AnnotationProvider, com.sun.source.tree.MemberSelectTree) 
		javax.lang.model.type.TypeMirror selectType
		javax.lang.model.type.TypeMirror fieldType
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver r
		org.checkerframework.javacutil.AnnotationProvider provider
		com.sun.source.tree.MemberSelectTree memberSelectTree
		javax.lang.model.type.TypeMirror expressionType
		javax.lang.model.element.Element ele
	public static java.util.List getParametersOfEnclosingMethod (org.checkerframework.javacutil.AnnotationProvider, com.sun.source.util.TreePath) 
		com.sun.source.tree.VariableTree arg
		org.checkerframework.javacutil.AnnotationProvider annotationProvider
		com.sun.source.util.TreePath path
		com.sun.source.tree.MethodTree methodTree
		java.util.List internalArguments
}

org/checkerframework/dataflow/analysis/FlowExpressions$Receiver.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
public abstract org.checkerframework.dataflow.analysis.FlowExpressions$Receiver extends java.lang.Object {
	protected final javax.lang.model.type.TypeMirror type
	static final boolean $assertionsDisabled
	public void  (javax.lang.model.type.TypeMirror) 
		javax.lang.model.type.TypeMirror type
	public javax.lang.model.type.TypeMirror getType () 
	public abstract boolean containsOfClass (java.lang.Class) 
	public boolean containsUnknown () 
	public abstract boolean isUnmodifiableByOtherCode () 
	public boolean syntacticEquals (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean containsSyntacticEqualReceiver (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean containsModifiableAliasOf (org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.Store store
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	static void  () 
}

org/checkerframework/dataflow/analysis/RegularTransferResult.class
RegularTransferResult.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.RegularTransferResult extends org.checkerframework.dataflow.analysis.TransferResult {
	protected final org.checkerframework.dataflow.analysis.Store store
	private final boolean storeChanged
	public void  (org.checkerframework.dataflow.analysis.AbstractValue, org.checkerframework.dataflow.analysis.Store, boolean) 
		org.checkerframework.dataflow.analysis.AbstractValue value
		org.checkerframework.dataflow.analysis.Store resultStore
		boolean storeChanged
	public void  (org.checkerframework.dataflow.analysis.AbstractValue, org.checkerframework.dataflow.analysis.Store) 
		org.checkerframework.dataflow.analysis.AbstractValue value
		org.checkerframework.dataflow.analysis.Store resultStore
	public void  (org.checkerframework.dataflow.analysis.AbstractValue, org.checkerframework.dataflow.analysis.Store, java.util.Map, boolean) 
		org.checkerframework.dataflow.analysis.AbstractValue value
		org.checkerframework.dataflow.analysis.Store resultStore
		java.util.Map exceptionalStores
		boolean storeChanged
	public void  (org.checkerframework.dataflow.analysis.AbstractValue, org.checkerframework.dataflow.analysis.Store, java.util.Map) 
		org.checkerframework.dataflow.analysis.AbstractValue value
		org.checkerframework.dataflow.analysis.Store resultStore
		java.util.Map exceptionalStores
	public org.checkerframework.dataflow.analysis.Store getRegularStore () 
	public org.checkerframework.dataflow.analysis.Store getThenStore () 
	public org.checkerframework.dataflow.analysis.Store getElseStore () 
	public boolean containsTwoStores () 
	public java.lang.String toString () 
		StringBuilder result
	public boolean storeChanged () 
}

org/checkerframework/dataflow/analysis/TransferResult.class
TransferResult.java
package org.checkerframework.dataflow.analysis
public abstract org.checkerframework.dataflow.analysis.TransferResult extends java.lang.Object {
	protected final java.util.Map exceptionalStores
	protected org.checkerframework.dataflow.analysis.AbstractValue resultValue
	public void  (org.checkerframework.dataflow.analysis.AbstractValue, java.util.Map) 
		org.checkerframework.dataflow.analysis.AbstractValue resultValue
		java.util.Map exceptionalStores
	public org.checkerframework.dataflow.analysis.AbstractValue getResultValue () 
	public void setResultValue (org.checkerframework.dataflow.analysis.AbstractValue) 
		org.checkerframework.dataflow.analysis.AbstractValue resultValue
	public abstract org.checkerframework.dataflow.analysis.Store getRegularStore () 
	public abstract org.checkerframework.dataflow.analysis.Store getThenStore () 
	public abstract org.checkerframework.dataflow.analysis.Store getElseStore () 
	public org.checkerframework.dataflow.analysis.Store getExceptionalStore (javax.lang.model.type.TypeMirror) 
		javax.lang.model.type.TypeMirror exception
	public java.util.Map getExceptionalStores () 
	public abstract boolean containsTwoStores () 
	public abstract boolean storeChanged () 
}

org/checkerframework/dataflow/analysis/Analysis$Worklist.class
Analysis.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.Analysis$Worklist extends java.lang.Object {
	protected final java.util.IdentityHashMap depthFirstOrder
	protected final java.util.PriorityQueue queue
	public void  () 
	public void process (org.checkerframework.dataflow.cfg.ControlFlowGraph) 
		org.checkerframework.dataflow.cfg.block.Block b
		org.checkerframework.dataflow.cfg.ControlFlowGraph cfg
		int count
	public boolean isEmpty () 
	public boolean contains (org.checkerframework.dataflow.cfg.block.Block) 
		org.checkerframework.dataflow.cfg.block.Block block
	public void add (org.checkerframework.dataflow.cfg.block.Block) 
		org.checkerframework.dataflow.cfg.block.Block block
	public org.checkerframework.dataflow.cfg.block.Block poll () 
	public java.lang.String toString () 
}

org/checkerframework/dataflow/analysis/FlowExpressions$MethodCall.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.FlowExpressions$MethodCall extends org.checkerframework.dataflow.analysis.FlowExpressions$Receiver {
	protected final org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
	protected final java.util.List parameters
	protected final javax.lang.model.element.ExecutableElement method
	public void  (javax.lang.model.type.TypeMirror, javax.lang.model.element.ExecutableElement, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver, java.util.List) 
		javax.lang.model.type.TypeMirror type
		javax.lang.model.element.ExecutableElement method
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		java.util.List parameters
	public boolean containsOfClass (java.lang.Class) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver p
		Class clazz
	public org.checkerframework.dataflow.analysis.FlowExpressions$Receiver getReceiver () 
	public java.util.List getParameters () 
	public javax.lang.model.element.ExecutableElement getElement () 
	public boolean isUnmodifiableByOtherCode () 
	public boolean containsSyntacticEqualReceiver (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean syntacticEquals (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver p
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
		org.checkerframework.dataflow.analysis.FlowExpressions$MethodCall otherMethod
		int i
	public boolean containsSyntacticEqualParameter (org.checkerframework.dataflow.analysis.FlowExpressions$LocalVariable) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver p
		org.checkerframework.dataflow.analysis.FlowExpressions$LocalVariable var
	public boolean containsModifiableAliasOf (org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver p
		org.checkerframework.dataflow.analysis.Store store
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean equals (java.lang.Object) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver p
		Object obj
		org.checkerframework.dataflow.analysis.FlowExpressions$MethodCall other
		int i
	public int hashCode () 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver p
		int hash
	public java.lang.String toString () 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver p
		StringBuilder result
		String methodName
		boolean first
}

org/checkerframework/dataflow/analysis/FlowExpressions$ValueLiteral.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.FlowExpressions$ValueLiteral extends org.checkerframework.dataflow.analysis.FlowExpressions$Receiver {
	protected final Object value
	public void  (javax.lang.model.type.TypeMirror, org.checkerframework.dataflow.cfg.node.ValueLiteralNode) 
		javax.lang.model.type.TypeMirror type
		org.checkerframework.dataflow.cfg.node.ValueLiteralNode node
	public void  (javax.lang.model.type.TypeMirror, java.lang.Object) 
		javax.lang.model.type.TypeMirror type
		Object value
	public boolean containsOfClass (java.lang.Class) 
		Class clazz
	public boolean isUnmodifiableByOtherCode () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.analysis.FlowExpressions$ValueLiteral other
	public java.lang.String toString () 
	public int hashCode () 
	public boolean syntacticEquals (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean containsModifiableAliasOf (org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.Store store
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public java.lang.Object getValue () 
}

org/checkerframework/dataflow/analysis/Analysis$Worklist$DFOComparator.class
Analysis.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.Analysis$Worklist$DFOComparator extends java.lang.Object implements java.util.Comparator  {
	final org.checkerframework.dataflow.analysis.Analysis$Worklist this$0
	public void  (org.checkerframework.dataflow.analysis.Analysis$Worklist) 
		org.checkerframework.dataflow.analysis.Analysis$Worklist this$0
	public int compare (org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.cfg.block.Block) 
		org.checkerframework.dataflow.cfg.block.Block b1
		org.checkerframework.dataflow.cfg.block.Block b2
	public volatile int compare (java.lang.Object, java.lang.Object) 
}

org/checkerframework/dataflow/analysis/AbstractValue.class
AbstractValue.java
package org.checkerframework.dataflow.analysis
public abstract org.checkerframework.dataflow.analysis.AbstractValue extends java.lang.Object {
	public abstract org.checkerframework.dataflow.analysis.AbstractValue leastUpperBound (org.checkerframework.dataflow.analysis.AbstractValue) 
}

org/checkerframework/dataflow/analysis/TransferInput.class
TransferInput.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.TransferInput extends java.lang.Object {
	protected org.checkerframework.dataflow.cfg.node.Node node
	protected final org.checkerframework.dataflow.analysis.Store store
	protected final org.checkerframework.dataflow.analysis.Store thenStore
	protected final org.checkerframework.dataflow.analysis.Store elseStore
	protected final org.checkerframework.dataflow.analysis.Analysis analysis
	public void  (org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.analysis.Analysis, org.checkerframework.dataflow.analysis.TransferResult) 
		org.checkerframework.dataflow.cfg.node.Node n
		org.checkerframework.dataflow.analysis.Analysis analysis
		org.checkerframework.dataflow.analysis.TransferResult to
	public void  (org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.analysis.Analysis, org.checkerframework.dataflow.analysis.Store) 
		org.checkerframework.dataflow.cfg.node.Node n
		org.checkerframework.dataflow.analysis.Analysis analysis
		org.checkerframework.dataflow.analysis.Store s
	public void  (org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.analysis.Analysis, org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.Store) 
		org.checkerframework.dataflow.cfg.node.Node n
		org.checkerframework.dataflow.analysis.Analysis analysis
		org.checkerframework.dataflow.analysis.Store s1
		org.checkerframework.dataflow.analysis.Store s2
	protected void  (org.checkerframework.dataflow.analysis.TransferInput) 
		org.checkerframework.dataflow.analysis.TransferInput from
	public org.checkerframework.dataflow.cfg.node.Node getNode () 
	public org.checkerframework.dataflow.analysis.AbstractValue getValueOfSubNode (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node n
	public org.checkerframework.dataflow.analysis.Store getRegularStore () 
	public org.checkerframework.dataflow.analysis.Store getThenStore () 
	public org.checkerframework.dataflow.analysis.Store getElseStore () 
	public boolean containsTwoStores () 
	public org.checkerframework.dataflow.analysis.TransferInput copy () 
	public org.checkerframework.dataflow.analysis.TransferInput leastUpperBound (org.checkerframework.dataflow.analysis.TransferInput) 
		org.checkerframework.dataflow.analysis.Store newThenStore
		org.checkerframework.dataflow.analysis.Store newElseStore
		org.checkerframework.dataflow.analysis.TransferInput other
	public boolean equals (java.lang.Object) 
		org.checkerframework.dataflow.analysis.TransferInput other
		Object o
	public int hashCode () 
	public java.lang.String toString () 
}

org/checkerframework/dataflow/analysis/FlowExpressions$ThisReference.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.FlowExpressions$ThisReference extends org.checkerframework.dataflow.analysis.FlowExpressions$Receiver {
	public void  (javax.lang.model.type.TypeMirror) 
		javax.lang.model.type.TypeMirror type
	public boolean equals (java.lang.Object) 
		Object obj
	public int hashCode () 
	public java.lang.String toString () 
	public boolean containsOfClass (java.lang.Class) 
		Class clazz
	public boolean syntacticEquals (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean isUnmodifiableByOtherCode () 
	public boolean containsModifiableAliasOf (org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.Store store
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
}

org/checkerframework/dataflow/analysis/FlowExpressions$ClassName.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.FlowExpressions$ClassName extends org.checkerframework.dataflow.analysis.FlowExpressions$Receiver {
	private final String typeString
	public void  (javax.lang.model.type.TypeMirror) 
		javax.lang.model.type.TypeMirror type
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.analysis.FlowExpressions$ClassName other
	public int hashCode () 
	public java.lang.String toString () 
	public boolean containsOfClass (java.lang.Class) 
		Class clazz
	public boolean syntacticEquals (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean isUnmodifiableByOtherCode () 
	public boolean containsModifiableAliasOf (org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.Store store
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
}

org/checkerframework/dataflow/analysis/FlowExpressions$ArrayCreation.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.FlowExpressions$ArrayCreation extends org.checkerframework.dataflow.analysis.FlowExpressions$Receiver {
	protected final java.util.List dimensions
	protected final java.util.List initializers
	public void  (javax.lang.model.type.TypeMirror, java.util.List, java.util.List) 
		javax.lang.model.type.TypeMirror type
		java.util.List dimensions
		java.util.List initializers
	public java.util.List getDimensions () 
	public java.util.List getInitializers () 
	public boolean containsOfClass (java.lang.Class) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver n
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver n
		Class clazz
	public boolean isUnmodifiableByOtherCode () 
	public int hashCode () 
		int prime
		int result
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.analysis.FlowExpressions$ArrayCreation other
	public boolean syntacticEquals (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean containsSyntacticEqualReceiver (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public java.lang.String toString () 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver dim
		boolean needComma
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver init
		boolean needComma
		StringBuilder sb
}

org/checkerframework/dataflow/analysis/Store$Kind.class
Store.java
package org.checkerframework.dataflow.analysis
public final org.checkerframework.dataflow.analysis.Store$Kind extends java.lang.Enum {
	public static final org.checkerframework.dataflow.analysis.Store$Kind THEN
	public static final org.checkerframework.dataflow.analysis.Store$Kind ELSE
	public static final org.checkerframework.dataflow.analysis.Store$Kind BOTH
	private static final org.checkerframework.dataflow.analysis.Store$Kind[] $VALUES
	public static org.checkerframework.dataflow.analysis.Store$Kind[] values () 
	public static org.checkerframework.dataflow.analysis.Store$Kind valueOf (java.lang.String) 
		String name
	private void  (java.lang.String, int) 
	static void  () 
}

org/checkerframework/dataflow/analysis/AnalysisResult.class
AnalysisResult.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.AnalysisResult extends java.lang.Object {
	protected final java.util.IdentityHashMap nodeValues
	protected final java.util.IdentityHashMap treeLookup
	protected final java.util.IdentityHashMap unaryAssignNodeLookup
	protected final java.util.HashMap finalLocalValues
	protected final java.util.IdentityHashMap stores
	protected final java.util.Map analysisCaches
	static final boolean $assertionsDisabled
	protected void  (java.util.Map, java.util.IdentityHashMap, java.util.IdentityHashMap, java.util.IdentityHashMap, java.util.HashMap, java.util.Map) 
		java.util.Map nodeValues
		java.util.IdentityHashMap stores
		java.util.IdentityHashMap treeLookup
		java.util.IdentityHashMap unaryAssignNodeLookup
		java.util.HashMap finalLocalValues
		java.util.Map analysisCaches
	public void  (java.util.Map, java.util.IdentityHashMap, java.util.IdentityHashMap, java.util.IdentityHashMap, java.util.HashMap) 
		java.util.Map nodeValues
		java.util.IdentityHashMap stores
		java.util.IdentityHashMap treeLookup
		java.util.IdentityHashMap unaryAssignNodeLookup
		java.util.HashMap finalLocalValues
	public void  (java.util.Map) 
		java.util.Map analysisCaches
	public void combine (org.checkerframework.dataflow.analysis.AnalysisResult) 
		org.checkerframework.dataflow.analysis.AnalysisResult other
	private static void mergeTreeLookup (java.util.IdentityHashMap, java.util.IdentityHashMap) 
		java.util.Set hit
		java.util.Map$Entry entry
		java.util.IdentityHashMap treeLookup
		java.util.IdentityHashMap otherTreeLookup
	public java.util.HashMap getFinalLocalValues () 
	public org.checkerframework.dataflow.analysis.AbstractValue getValue (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node n
	public org.checkerframework.dataflow.analysis.AbstractValue getValue (com.sun.source.tree.Tree) 
		org.checkerframework.dataflow.analysis.AbstractValue a
		org.checkerframework.dataflow.cfg.node.Node aNode
		com.sun.source.tree.Tree t
		java.util.Set nodes
		org.checkerframework.dataflow.analysis.AbstractValue merged
	public java.util.Set getNodesForTree (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree tree
	public org.checkerframework.dataflow.cfg.node.AssignmentNode getAssignForUnaryTree (com.sun.source.tree.UnaryTree) 
		com.sun.source.tree.UnaryTree tree
	public org.checkerframework.dataflow.analysis.Store getStoreBefore (com.sun.source.tree.Tree) 
		org.checkerframework.dataflow.analysis.Store s
		org.checkerframework.dataflow.cfg.node.Node node
		com.sun.source.tree.Tree tree
		java.util.Set nodes
		org.checkerframework.dataflow.analysis.Store merged
	public org.checkerframework.dataflow.analysis.Store getStoreBefore (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node node
	public org.checkerframework.dataflow.analysis.Store getStoreAfter (com.sun.source.tree.Tree) 
		org.checkerframework.dataflow.analysis.Store s
		org.checkerframework.dataflow.cfg.node.Node node
		com.sun.source.tree.Tree tree
		java.util.Set nodes
		org.checkerframework.dataflow.analysis.Store merged
	public org.checkerframework.dataflow.analysis.Store getStoreAfter (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node node
	protected org.checkerframework.dataflow.analysis.Store runAnalysisFor (org.checkerframework.dataflow.cfg.node.Node, boolean) 
		org.checkerframework.dataflow.cfg.node.Node node
		boolean before
		org.checkerframework.dataflow.cfg.block.Block block
		org.checkerframework.dataflow.analysis.TransferInput transferInput
	public static org.checkerframework.dataflow.analysis.Store runAnalysisFor (org.checkerframework.dataflow.cfg.node.Node, boolean, org.checkerframework.dataflow.analysis.TransferInput, java.util.IdentityHashMap, java.util.Map) 
		java.util.IdentityHashMap cache
		org.checkerframework.dataflow.cfg.node.Node n
		org.checkerframework.dataflow.cfg.block.RegularBlock rb
		org.checkerframework.dataflow.analysis.TransferInput store
		org.checkerframework.dataflow.analysis.TransferResult transferResult
		org.checkerframework.dataflow.cfg.block.ExceptionBlock eb
		org.checkerframework.dataflow.analysis.TransferResult transferResult
		org.checkerframework.dataflow.cfg.node.Node node
		boolean before
		org.checkerframework.dataflow.analysis.TransferInput transferInput
		java.util.IdentityHashMap nodeValues
		java.util.Map analysisCaches
		org.checkerframework.dataflow.cfg.block.Block block
		org.checkerframework.dataflow.analysis.Analysis analysis
		org.checkerframework.dataflow.cfg.node.Node oldCurrentNode
		java.util.IdentityHashMap cache
	static void  () 
}

org/checkerframework/dataflow/analysis/FlowExpressions$Unknown.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.FlowExpressions$Unknown extends org.checkerframework.dataflow.analysis.FlowExpressions$Receiver {
	public void  (javax.lang.model.type.TypeMirror) 
		javax.lang.model.type.TypeMirror type
	public boolean equals (java.lang.Object) 
		Object obj
	public int hashCode () 
	public java.lang.String toString () 
	public boolean containsModifiableAliasOf (org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.Store store
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean containsOfClass (java.lang.Class) 
		Class clazz
	public boolean isUnmodifiableByOtherCode () 
}

org/checkerframework/dataflow/analysis/FlowExpressions$LocalVariable.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.FlowExpressions$LocalVariable extends org.checkerframework.dataflow.analysis.FlowExpressions$Receiver {
	protected final javax.lang.model.element.Element element
	public void  (org.checkerframework.dataflow.cfg.node.LocalVariableNode) 
		org.checkerframework.dataflow.cfg.node.LocalVariableNode localVar
	public void  (javax.lang.model.element.Element) 
		javax.lang.model.element.Element elem
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.analysis.FlowExpressions$LocalVariable other
		com.sun.tools.javac.code.Symbol$VarSymbol vs
		com.sun.tools.javac.code.Symbol$VarSymbol vsother
	public javax.lang.model.element.Element getElement () 
	public int hashCode () 
		com.sun.tools.javac.code.Symbol$VarSymbol vs
	public java.lang.String toString () 
	public boolean containsOfClass (java.lang.Class) 
		Class clazz
	public boolean syntacticEquals (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
		org.checkerframework.dataflow.analysis.FlowExpressions$LocalVariable l
	public boolean containsSyntacticEqualReceiver (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean isUnmodifiableByOtherCode () 
}

org/checkerframework/dataflow/analysis/Store.class
Store.java
package org.checkerframework.dataflow.analysis
public abstract org.checkerframework.dataflow.analysis.Store extends java.lang.Object {
	public abstract org.checkerframework.dataflow.analysis.Store copy () 
	public abstract org.checkerframework.dataflow.analysis.Store leastUpperBound (org.checkerframework.dataflow.analysis.Store) 
	public abstract org.checkerframework.dataflow.analysis.Store widenedUpperBound (org.checkerframework.dataflow.analysis.Store) 
	public abstract boolean canAlias (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
	public abstract void visualize (org.checkerframework.dataflow.cfg.CFGVisualizer) 
}

org/checkerframework/dataflow/analysis/Analysis.class
Analysis.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.Analysis extends java.lang.Object {
	protected boolean isRunning
	protected org.checkerframework.dataflow.analysis.TransferFunction transferFunction
	protected org.checkerframework.dataflow.cfg.ControlFlowGraph cfg
	protected final javax.annotation.processing.ProcessingEnvironment env
	protected final javax.lang.model.util.Types types
	protected final java.util.IdentityHashMap thenStores
	protected final java.util.IdentityHashMap elseStores
	protected final java.util.IdentityHashMap blockCount
	protected final int maxCountBeforeWidening
	protected final java.util.IdentityHashMap inputs
	protected final java.util.IdentityHashMap storesAtReturnStatements
	protected final org.checkerframework.dataflow.analysis.Analysis$Worklist worklist
	protected final java.util.IdentityHashMap nodeValues
	public final java.util.HashMap finalLocalValues
	protected org.checkerframework.dataflow.cfg.node.Node currentNode
	protected com.sun.source.tree.Tree currentTree
	protected org.checkerframework.dataflow.analysis.TransferInput currentInput
	static final boolean $assertionsDisabled
	public com.sun.source.tree.Tree getCurrentTree () 
	public void setCurrentTree (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree currentTree
	public void  (javax.annotation.processing.ProcessingEnvironment) 
		javax.annotation.processing.ProcessingEnvironment env
	public void  (org.checkerframework.dataflow.analysis.TransferFunction, javax.annotation.processing.ProcessingEnvironment) 
		org.checkerframework.dataflow.analysis.TransferFunction transfer
		javax.annotation.processing.ProcessingEnvironment env
	public void  (org.checkerframework.dataflow.analysis.TransferFunction, int, javax.annotation.processing.ProcessingEnvironment) 
		org.checkerframework.dataflow.analysis.TransferFunction transfer
		int maxCountBeforeWidening
		javax.annotation.processing.ProcessingEnvironment env
	public org.checkerframework.dataflow.analysis.TransferFunction getTransferFunction () 
	public javax.lang.model.util.Types getTypes () 
	public javax.annotation.processing.ProcessingEnvironment getEnv () 
	public void performAnalysis (org.checkerframework.dataflow.cfg.ControlFlowGraph) 
		org.checkerframework.dataflow.cfg.block.Block b
		org.checkerframework.dataflow.cfg.ControlFlowGraph cfg
	protected void performAnalysisBlock (org.checkerframework.dataflow.cfg.block.Block) 
		org.checkerframework.dataflow.cfg.node.Node n
		org.checkerframework.dataflow.cfg.block.RegularBlock rb
		org.checkerframework.dataflow.analysis.TransferInput inputBefore
		org.checkerframework.dataflow.analysis.TransferResult transferResult
		org.checkerframework.dataflow.cfg.node.Node lastNode
		boolean addToWorklistAgain
		org.checkerframework.dataflow.cfg.block.Block succ
		org.checkerframework.dataflow.cfg.block.Block exceptionSucc
		org.checkerframework.dataflow.cfg.block.Block exceptionSucc
		javax.lang.model.type.TypeMirror cause
		org.checkerframework.dataflow.analysis.Store exceptionalStore
		java.util.Map$Entry e
		org.checkerframework.dataflow.cfg.block.ExceptionBlock eb
		org.checkerframework.dataflow.analysis.TransferInput inputBefore
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.analysis.TransferResult transferResult
		boolean addToWorklistAgain
		org.checkerframework.dataflow.cfg.block.Block succ
		org.checkerframework.dataflow.cfg.block.ConditionalBlock cb
		org.checkerframework.dataflow.analysis.TransferInput inputBefore
		org.checkerframework.dataflow.analysis.TransferInput input
		org.checkerframework.dataflow.cfg.block.Block thenSucc
		org.checkerframework.dataflow.cfg.block.Block elseSucc
		org.checkerframework.dataflow.cfg.block.SpecialBlock sb
		org.checkerframework.dataflow.cfg.block.Block succ
		org.checkerframework.dataflow.cfg.block.Block b
	protected void propagateStoresTo (org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.analysis.TransferInput, org.checkerframework.dataflow.analysis.Store$FlowRule, boolean) 
		org.checkerframework.dataflow.cfg.block.Block succ
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.analysis.TransferInput currentInput
		org.checkerframework.dataflow.analysis.Store$FlowRule flowRule
		boolean addToWorklistAgain
	protected boolean updateNodeValues (org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.analysis.TransferResult) 
		org.checkerframework.dataflow.analysis.AbstractValue oldVal
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.analysis.TransferResult transferResult
		org.checkerframework.dataflow.analysis.AbstractValue newVal
		boolean nodeValueChanged
	protected org.checkerframework.dataflow.analysis.TransferResult callTransferFunction (org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.analysis.TransferInput) 
		org.checkerframework.dataflow.cfg.node.LocalVariableNode lhs
		javax.lang.model.element.Element elem
		org.checkerframework.dataflow.cfg.node.AssignmentNode assignment
		org.checkerframework.dataflow.cfg.node.Node lhst
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.analysis.TransferInput store
		org.checkerframework.dataflow.analysis.TransferResult transferResult
	protected void init (org.checkerframework.dataflow.cfg.ControlFlowGraph) 
		org.checkerframework.dataflow.cfg.node.LocalVariableNode var
		com.sun.source.tree.VariableTree p
		com.sun.source.tree.MethodTree tree
		org.checkerframework.dataflow.cfg.node.LocalVariableNode var
		com.sun.source.tree.VariableTree p
		com.sun.source.tree.LambdaExpressionTree lambda
		org.checkerframework.dataflow.cfg.ControlFlowGraph cfg
		java.util.List parameters
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		org.checkerframework.dataflow.analysis.Store initialStore
		org.checkerframework.dataflow.cfg.block.Block entry
	protected void addToWorklist (org.checkerframework.dataflow.cfg.block.Block) 
		org.checkerframework.dataflow.cfg.block.Block b
	protected void addStoreBefore (org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.Store$Kind, boolean) 
		Integer count
		org.checkerframework.dataflow.analysis.Store newThenStore
		org.checkerframework.dataflow.analysis.Store newElseStore
		org.checkerframework.dataflow.analysis.Store newStore
		boolean storeChanged
		org.checkerframework.dataflow.analysis.Store newThenStore
		org.checkerframework.dataflow.analysis.Store newElseStore
		org.checkerframework.dataflow.cfg.block.Block b
		org.checkerframework.dataflow.cfg.node.Node node
		org.checkerframework.dataflow.analysis.Store s
		org.checkerframework.dataflow.analysis.Store$Kind kind
		boolean addBlockToWorklist
		org.checkerframework.dataflow.analysis.Store thenStore
		org.checkerframework.dataflow.analysis.Store elseStore
		boolean shouldWiden
	private org.checkerframework.dataflow.analysis.Store mergeStores (org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.Store, boolean) 
		org.checkerframework.dataflow.analysis.Store newStore
		org.checkerframework.dataflow.analysis.Store previousStore
		boolean shouldWiden
	public org.checkerframework.dataflow.analysis.TransferInput getInput (org.checkerframework.dataflow.cfg.block.Block) 
		org.checkerframework.dataflow.cfg.block.Block b
	protected org.checkerframework.dataflow.analysis.TransferInput getInputBefore (org.checkerframework.dataflow.cfg.block.Block) 
		org.checkerframework.dataflow.cfg.block.Block b
	protected org.checkerframework.dataflow.analysis.Store getStoreBefore (org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Store$Kind) 
		org.checkerframework.dataflow.cfg.block.Block b
		org.checkerframework.dataflow.analysis.Store$Kind kind
	protected static java.lang.Object readFromStore (java.util.Map, org.checkerframework.dataflow.cfg.block.Block) 
		java.util.Map stores
		org.checkerframework.dataflow.cfg.block.Block b
	public boolean isRunning () 
	public org.checkerframework.dataflow.analysis.AbstractValue getValue (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node n
	public java.util.IdentityHashMap getNodeValues () 
	void setNodeValues (java.util.IdentityHashMap) 
		java.util.IdentityHashMap in
	public org.checkerframework.dataflow.analysis.AbstractValue getValue (com.sun.source.tree.Tree) 
		org.checkerframework.dataflow.analysis.AbstractValue a
		org.checkerframework.dataflow.cfg.node.Node aNode
		com.sun.source.tree.Tree t
		java.util.Set nodesCorrespondingToTree
		org.checkerframework.dataflow.analysis.AbstractValue merged
	public java.util.Set getNodesForTree (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree t
		java.util.Set nodes
	public com.sun.source.tree.MethodTree getContainingMethod (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree t
		com.sun.source.tree.MethodTree mt
	public com.sun.source.tree.ClassTree getContainingClass (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree t
		com.sun.source.tree.ClassTree ct
	public java.util.List getReturnStatementStores () 
		org.checkerframework.dataflow.analysis.TransferResult store
		org.checkerframework.dataflow.cfg.node.ReturnNode returnNode
		java.util.List result
	public org.checkerframework.dataflow.analysis.AnalysisResult getResult () 
	public org.checkerframework.dataflow.analysis.Store getRegularExitStore () 
		org.checkerframework.dataflow.analysis.Store regularExitStore
		org.checkerframework.dataflow.cfg.block.SpecialBlock regularExitBlock
	public org.checkerframework.dataflow.analysis.Store getExceptionalExitStore () 
		org.checkerframework.dataflow.analysis.Store exceptionalExitStore
	static void  () 
}

org/checkerframework/dataflow/analysis/AnalysisResult$1.class
AnalysisResult.java
package org.checkerframework.dataflow.analysis
 org.checkerframework.dataflow.analysis.AnalysisResult$1 extends java.lang.Object {
	static final int[] $SwitchMap$org$checkerframework$dataflow$cfg$block$Block$BlockType
	static void  () 
}

org/checkerframework/dataflow/analysis/Store$FlowRule.class
Store.java
package org.checkerframework.dataflow.analysis
public final org.checkerframework.dataflow.analysis.Store$FlowRule extends java.lang.Enum {
	public static final org.checkerframework.dataflow.analysis.Store$FlowRule EACH_TO_EACH
	public static final org.checkerframework.dataflow.analysis.Store$FlowRule THEN_TO_BOTH
	public static final org.checkerframework.dataflow.analysis.Store$FlowRule ELSE_TO_BOTH
	public static final org.checkerframework.dataflow.analysis.Store$FlowRule THEN_TO_THEN
	public static final org.checkerframework.dataflow.analysis.Store$FlowRule ELSE_TO_ELSE
	private static final org.checkerframework.dataflow.analysis.Store$FlowRule[] $VALUES
	public static org.checkerframework.dataflow.analysis.Store$FlowRule[] values () 
	public static org.checkerframework.dataflow.analysis.Store$FlowRule valueOf (java.lang.String) 
		String name
	private void  (java.lang.String, int) 
	static void  () 
}

org/checkerframework/dataflow/analysis/ConditionalTransferResult.class
ConditionalTransferResult.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.ConditionalTransferResult extends org.checkerframework.dataflow.analysis.TransferResult {
	private final boolean storeChanged
	protected final org.checkerframework.dataflow.analysis.Store thenStore
	protected final org.checkerframework.dataflow.analysis.Store elseStore
	public void  (org.checkerframework.dataflow.analysis.AbstractValue, org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.Store, boolean) 
		org.checkerframework.dataflow.analysis.AbstractValue value
		org.checkerframework.dataflow.analysis.Store thenStore
		org.checkerframework.dataflow.analysis.Store elseStore
		boolean storeChanged
	public void  (org.checkerframework.dataflow.analysis.AbstractValue, org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.Store) 
		org.checkerframework.dataflow.analysis.AbstractValue value
		org.checkerframework.dataflow.analysis.Store thenStore
		org.checkerframework.dataflow.analysis.Store elseStore
	public void  (org.checkerframework.dataflow.analysis.AbstractValue, org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.Store, java.util.Map, boolean) 
		org.checkerframework.dataflow.analysis.AbstractValue value
		org.checkerframework.dataflow.analysis.Store thenStore
		org.checkerframework.dataflow.analysis.Store elseStore
		java.util.Map exceptionalStores
		boolean storeChanged
	public void  (org.checkerframework.dataflow.analysis.AbstractValue, org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.Store, java.util.Map) 
		org.checkerframework.dataflow.analysis.AbstractValue value
		org.checkerframework.dataflow.analysis.Store thenStore
		org.checkerframework.dataflow.analysis.Store elseStore
		java.util.Map exceptionalStores
	public org.checkerframework.dataflow.analysis.Store getRegularStore () 
	public org.checkerframework.dataflow.analysis.Store getThenStore () 
	public org.checkerframework.dataflow.analysis.Store getElseStore () 
	public boolean containsTwoStores () 
	public java.lang.String toString () 
		StringBuilder result
	public boolean storeChanged () 
}

org/checkerframework/dataflow/analysis/FlowExpressions$1.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
 org.checkerframework.dataflow.analysis.FlowExpressions$1 extends java.lang.Object {
	static final int[] $SwitchMap$javax$lang$model$element$ElementKind
	static final int[] $SwitchMap$com$sun$source$tree$Tree$Kind
	static void  () 
}

org/checkerframework/dataflow/analysis/FlowExpressions$ArrayAccess.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.FlowExpressions$ArrayAccess extends org.checkerframework.dataflow.analysis.FlowExpressions$Receiver {
	protected final org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
	protected final org.checkerframework.dataflow.analysis.FlowExpressions$Receiver index
	public void  (javax.lang.model.type.TypeMirror, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		javax.lang.model.type.TypeMirror type
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver index
	public boolean containsOfClass (java.lang.Class) 
		Class clazz
	public org.checkerframework.dataflow.analysis.FlowExpressions$Receiver getReceiver () 
	public org.checkerframework.dataflow.analysis.FlowExpressions$Receiver getIndex () 
	public boolean isUnmodifiableByOtherCode () 
	public boolean containsSyntacticEqualReceiver (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean syntacticEquals (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
		org.checkerframework.dataflow.analysis.FlowExpressions$ArrayAccess otherArrayAccess
	public boolean containsModifiableAliasOf (org.checkerframework.dataflow.analysis.Store, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.Store store
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver other
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.analysis.FlowExpressions$ArrayAccess other
	public int hashCode () 
	public java.lang.String toString () 
		StringBuilder result
}

org/checkerframework/dataflow/constantpropagation/
org/checkerframework/dataflow/constantpropagation/ConstantPropagationStore.class
ConstantPropagationStore.java
package org.checkerframework.dataflow.constantpropagation
public org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore extends java.lang.Object implements org.checkerframework.dataflow.analysis.Store  {
	java.util.Map contents
	static final boolean $assertionsDisabled
	public void  () 
	protected void  (java.util.Map) 
		java.util.Map contents
	public org.checkerframework.dataflow.constantpropagation.Constant getInformation (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node n
	public void mergeInformation (org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.constantpropagation.Constant) 
		org.checkerframework.dataflow.constantpropagation.Constant value
		org.checkerframework.dataflow.cfg.node.Node n
		org.checkerframework.dataflow.constantpropagation.Constant val
		org.checkerframework.dataflow.constantpropagation.Constant value
	public void setInformation (org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.constantpropagation.Constant) 
		org.checkerframework.dataflow.cfg.node.Node n
		org.checkerframework.dataflow.constantpropagation.Constant val
	public org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore copy () 
	public org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore leastUpperBound (org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore) 
		org.checkerframework.dataflow.cfg.node.Node n
		org.checkerframework.dataflow.constantpropagation.Constant otherVal
		java.util.Map$Entry e
		org.checkerframework.dataflow.cfg.node.Node n
		org.checkerframework.dataflow.constantpropagation.Constant thisVal
		java.util.Map$Entry e
		org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore other
		java.util.Map newContents
	public org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore widenedUpperBound (org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore) 
		org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore previous
	public boolean equals (java.lang.Object) 
		org.checkerframework.dataflow.cfg.node.Node n
		org.checkerframework.dataflow.constantpropagation.Constant otherVal
		java.util.Map$Entry e
		org.checkerframework.dataflow.cfg.node.Node n
		org.checkerframework.dataflow.constantpropagation.Constant thisVal
		java.util.Map$Entry e
		Object o
		org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore other
	public int hashCode () 
		java.util.Map$Entry e
		int s
	public java.lang.String toString () 
		java.util.Map$Entry e
		java.util.Map smallerContents
	public boolean canAlias (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver a
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver b
	public void visualize (org.checkerframework.dataflow.cfg.CFGVisualizer) 
		org.checkerframework.dataflow.cfg.CFGVisualizer viz
	public volatile org.checkerframework.dataflow.analysis.Store widenedUpperBound (org.checkerframework.dataflow.analysis.Store) 
	public volatile org.checkerframework.dataflow.analysis.Store leastUpperBound (org.checkerframework.dataflow.analysis.Store) 
	public volatile org.checkerframework.dataflow.analysis.Store copy () 
	static void  () 
}

org/checkerframework/dataflow/constantpropagation/Constant$1.class
Constant.java
package org.checkerframework.dataflow.constantpropagation
 org.checkerframework.dataflow.constantpropagation.Constant$1 extends java.lang.Object {
	static final int[] $SwitchMap$org$checkerframework$dataflow$constantpropagation$Constant$Type
	static void  () 
}

org/checkerframework/dataflow/constantpropagation/ConstantPropagationTransfer.class
ConstantPropagationTransfer.java
package org.checkerframework.dataflow.constantpropagation
public org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer extends org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor implements org.checkerframework.dataflow.analysis.TransferFunction  {
	public void  () 
	public org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore initialStore (org.checkerframework.dataflow.cfg.UnderlyingAST, java.util.List) 
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		java.util.List parameters
		org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore store
	public org.checkerframework.dataflow.analysis.TransferResult visitLocalVariable (org.checkerframework.dataflow.cfg.node.LocalVariableNode, org.checkerframework.dataflow.analysis.TransferInput) 
		org.checkerframework.dataflow.cfg.node.LocalVariableNode node
		org.checkerframework.dataflow.analysis.TransferInput before
		org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore store
		org.checkerframework.dataflow.constantpropagation.Constant value
	public org.checkerframework.dataflow.analysis.TransferResult visitNode (org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.analysis.TransferInput) 
		org.checkerframework.dataflow.cfg.node.Node n
		org.checkerframework.dataflow.analysis.TransferInput p
	public org.checkerframework.dataflow.analysis.TransferResult visitAssignment (org.checkerframework.dataflow.cfg.node.AssignmentNode, org.checkerframework.dataflow.analysis.TransferInput) 
		org.checkerframework.dataflow.cfg.node.LocalVariableNode t
		org.checkerframework.dataflow.cfg.node.AssignmentNode n
		org.checkerframework.dataflow.analysis.TransferInput pi
		org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore p
		org.checkerframework.dataflow.cfg.node.Node target
		org.checkerframework.dataflow.constantpropagation.Constant info
	public org.checkerframework.dataflow.analysis.TransferResult visitIntegerLiteral (org.checkerframework.dataflow.cfg.node.IntegerLiteralNode, org.checkerframework.dataflow.analysis.TransferInput) 
		org.checkerframework.dataflow.cfg.node.IntegerLiteralNode n
		org.checkerframework.dataflow.analysis.TransferInput pi
		org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore p
		org.checkerframework.dataflow.constantpropagation.Constant c
	public org.checkerframework.dataflow.analysis.TransferResult visitEqualTo (org.checkerframework.dataflow.cfg.node.EqualToNode, org.checkerframework.dataflow.analysis.TransferInput) 
		org.checkerframework.dataflow.cfg.node.EqualToNode n
		org.checkerframework.dataflow.analysis.TransferInput pi
		org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore p
		org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore old
		org.checkerframework.dataflow.cfg.node.Node left
		org.checkerframework.dataflow.cfg.node.Node right
	protected void process (org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore, org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore p
		org.checkerframework.dataflow.cfg.node.Node a
		org.checkerframework.dataflow.cfg.node.Node b
		org.checkerframework.dataflow.constantpropagation.Constant val
	public volatile java.lang.Object visitLocalVariable (org.checkerframework.dataflow.cfg.node.LocalVariableNode, java.lang.Object) 
	public volatile java.lang.Object visitAssignment (org.checkerframework.dataflow.cfg.node.AssignmentNode, java.lang.Object) 
	public volatile java.lang.Object visitEqualTo (org.checkerframework.dataflow.cfg.node.EqualToNode, java.lang.Object) 
	public volatile java.lang.Object visitIntegerLiteral (org.checkerframework.dataflow.cfg.node.IntegerLiteralNode, java.lang.Object) 
	public volatile java.lang.Object visitNode (org.checkerframework.dataflow.cfg.node.Node, java.lang.Object) 
	public volatile org.checkerframework.dataflow.analysis.Store initialStore (org.checkerframework.dataflow.cfg.UnderlyingAST, java.util.List) 
}

org/checkerframework/dataflow/constantpropagation/Constant.class
Constant.java
package org.checkerframework.dataflow.constantpropagation
public org.checkerframework.dataflow.constantpropagation.Constant extends java.lang.Object implements org.checkerframework.dataflow.analysis.AbstractValue  {
	protected org.checkerframework.dataflow.constantpropagation.Constant$Type type
	protected Integer value
	static final boolean $assertionsDisabled
	public void  (org.checkerframework.dataflow.constantpropagation.Constant$Type) 
		org.checkerframework.dataflow.constantpropagation.Constant$Type type
	public void  (java.lang.Integer) 
		Integer value
	public boolean isTop () 
	public boolean isBottom () 
	public boolean isConstant () 
	public java.lang.Integer getValue () 
	public org.checkerframework.dataflow.constantpropagation.Constant copy () 
	public org.checkerframework.dataflow.constantpropagation.Constant leastUpperBound (org.checkerframework.dataflow.constantpropagation.Constant) 
		org.checkerframework.dataflow.constantpropagation.Constant other
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.constantpropagation.Constant other
	public int hashCode () 
	public java.lang.String toString () 
	public volatile org.checkerframework.dataflow.analysis.AbstractValue leastUpperBound (org.checkerframework.dataflow.analysis.AbstractValue) 
	static void  () 
}

org/checkerframework/dataflow/constantpropagation/Constant$Type.class
Constant.java
package org.checkerframework.dataflow.constantpropagation
public final org.checkerframework.dataflow.constantpropagation.Constant$Type extends java.lang.Enum {
	public static final org.checkerframework.dataflow.constantpropagation.Constant$Type CONSTANT
	public static final org.checkerframework.dataflow.constantpropagation.Constant$Type TOP
	public static final org.checkerframework.dataflow.constantpropagation.Constant$Type BOTTOM
	private static final org.checkerframework.dataflow.constantpropagation.Constant$Type[] $VALUES
	public static org.checkerframework.dataflow.constantpropagation.Constant$Type[] values () 
	public static org.checkerframework.dataflow.constantpropagation.Constant$Type valueOf (java.lang.String) 
		String name
	private void  (java.lang.String, int) 
	static void  () 
}

org/checkerframework/dataflow/qual/
org/checkerframework/dataflow/qual/Pure$Kind.class
Pure.java
package org.checkerframework.dataflow.qual
public final org.checkerframework.dataflow.qual.Pure$Kind extends java.lang.Enum {
	public static final org.checkerframework.dataflow.qual.Pure$Kind SIDE_EFFECT_FREE
	public static final org.checkerframework.dataflow.qual.Pure$Kind DETERMINISTIC
	private static final org.checkerframework.dataflow.qual.Pure$Kind[] $VALUES
	public static org.checkerframework.dataflow.qual.Pure$Kind[] values () 
	public static org.checkerframework.dataflow.qual.Pure$Kind valueOf (java.lang.String) 
		String name
	private void  (java.lang.String, int) 
	static void  () 
}

org/checkerframework/dataflow/qual/TerminatesExecution.class
TerminatesExecution.java
package org.checkerframework.dataflow.qual
public abstract org.checkerframework.dataflow.qual.TerminatesExecution extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/dataflow/qual/SideEffectFree.class
SideEffectFree.java
package org.checkerframework.dataflow.qual
public abstract org.checkerframework.dataflow.qual.SideEffectFree extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/dataflow/qual/Pure.class
Pure.java
package org.checkerframework.dataflow.qual
public abstract org.checkerframework.dataflow.qual.Pure extends java.lang.Object implements java.lang.annotation.Annotation  {
}

org/checkerframework/dataflow/qual/Deterministic.class
Deterministic.java
package org.checkerframework.dataflow.qual
public abstract org.checkerframework.dataflow.qual.Deterministic extends java.lang.Object implements java.lang.annotation.Annotation  {
}