OpenGrok

META-INF/
META-INF/MANIFEST.MF
org/
org/checkerframework/
org/checkerframework/dataflow/
org/checkerframework/dataflow/analysis/
org/checkerframework/dataflow/cfg/
org/checkerframework/dataflow/cfg/block/
org/checkerframework/dataflow/cfg/node/
org/checkerframework/dataflow/cfg/playground/
org/checkerframework/dataflow/constantpropagation/
org/checkerframework/dataflow/qual/
org/checkerframework/dataflow/util/
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/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/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/Analysis$Worklist.class
Analysis.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.Analysis$Worklist extends java.lang.Object {
	protected java.util.IdentityHashMap depthFirstOrder
	protected java.util.PriorityQueue queue
	public void  (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/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 java.util.IdentityHashMap thenStores
	protected java.util.IdentityHashMap elseStores
	protected java.util.IdentityHashMap inputs
	protected java.util.IdentityHashMap storesAtReturnStatements
	protected org.checkerframework.dataflow.analysis.Analysis$Worklist worklist
	protected java.util.IdentityHashMap nodeValues
	public 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  (javax.annotation.processing.ProcessingEnvironment, org.checkerframework.dataflow.analysis.TransferFunction) 
		javax.annotation.processing.ProcessingEnvironment env
		org.checkerframework.dataflow.analysis.TransferFunction transfer
	public void setTransferFunction (org.checkerframework.dataflow.analysis.TransferFunction) 
		org.checkerframework.dataflow.analysis.TransferFunction transfer
	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.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
		org.checkerframework.dataflow.cfg.ControlFlowGraph cfg
	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) 
		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
	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 org.checkerframework.dataflow.analysis.AbstractValue getValue (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree t
		org.checkerframework.dataflow.cfg.node.Node nodeCorrespondingToTree
	public org.checkerframework.dataflow.cfg.node.Node getNodeForTree (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree t
	public com.sun.source.tree.MethodTree getContainingMethod (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree t
	public com.sun.source.tree.ClassTree getContainingClass (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree t
	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 () 
		java.util.IdentityHashMap treeLookup
	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/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.HashMap finalLocalValues
	protected final java.util.IdentityHashMap stores
	static final boolean $assertionsDisabled
	public void  (java.util.Map, java.util.IdentityHashMap, java.util.IdentityHashMap, java.util.HashMap) 
		java.util.Map nodeValues
		java.util.IdentityHashMap stores
		java.util.IdentityHashMap treeLookup
		java.util.HashMap finalLocalValues
	public void  () 
	public void combine (org.checkerframework.dataflow.analysis.AnalysisResult) 
		java.util.Map$Entry e
		java.util.Map$Entry e
		java.util.Map$Entry e
		java.util.Map$Entry e
		org.checkerframework.dataflow.analysis.AnalysisResult other
	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) 
		com.sun.source.tree.Tree t
		org.checkerframework.dataflow.analysis.AbstractValue val
	public org.checkerframework.dataflow.cfg.node.Node getNodeForTree (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree tree
	public org.checkerframework.dataflow.analysis.Store getStoreBefore (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree tree
		org.checkerframework.dataflow.cfg.node.Node node
	public org.checkerframework.dataflow.analysis.Store getStoreAfter (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree tree
		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) 
		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
		org.checkerframework.dataflow.cfg.block.Block block
		org.checkerframework.dataflow.analysis.Analysis analysis
		org.checkerframework.dataflow.cfg.node.Node oldCurrentNode
	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 org.checkerframework.dataflow.analysis.Store thenStore
	protected 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$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/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 {
	protected javax.lang.model.element.Element element
	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$FieldAccess.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.FlowExpressions$FieldAccess extends org.checkerframework.dataflow.analysis.FlowExpressions$Receiver {
	protected org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
	protected 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/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 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
	public javax.lang.model.element.Element getElement () 
	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
		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/FlowExpressions$PureMethodCall.class
FlowExpressions.java
package org.checkerframework.dataflow.analysis
public org.checkerframework.dataflow.analysis.FlowExpressions$PureMethodCall 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.Element method
	public void  (javax.lang.model.type.TypeMirror, javax.lang.model.element.Element, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver, java.util.List) 
		javax.lang.model.type.TypeMirror type
		javax.lang.model.element.Element 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 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$PureMethodCall 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$PureMethodCall 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$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/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$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$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
}

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 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 allowNonDeterminitic
		org.checkerframework.dataflow.analysis.FlowExpressions$Receiver receiver
}

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 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/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/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/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 boolean canAlias (org.checkerframework.dataflow.analysis.FlowExpressions$Receiver, org.checkerframework.dataflow.analysis.FlowExpressions$Receiver) 
	public abstract boolean hasDOToutput () 
	public abstract java.lang.String toDOToutput () 
}

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/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 () 
	public boolean hasDOToutput () 
	public java.lang.String toDOToutput () 
}

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 java.util.Map exceptionalStores
	protected org.checkerframework.dataflow.analysis.AbstractValue resultValue
	public void  (org.checkerframework.dataflow.analysis.AbstractValue) 
		org.checkerframework.dataflow.analysis.AbstractValue resultValue
	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/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$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$1
	void  (org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne, boolean, boolean, boolean, javax.lang.model.type.TypeMirror) 
		org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne this$1
	public boolean isNumeric () 
	public boolean isBoxed () 
	public boolean isBoolean () 
	public 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$1
	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$Label oldBreakTargetL
		int cases
		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/CFGBuilder$CFGTranslationPhaseOne.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne extends com.sun.source.util.TreePathScanner {
	protected javax.annotation.processing.ProcessingEnvironment env
	protected javax.lang.model.util.Elements elements
	protected javax.lang.model.util.Types types
	protected com.sun.source.util.Trees trees
	protected org.checkerframework.javacutil.trees.TreeBuilder treeBuilder
	protected org.checkerframework.javacutil.AnnotationProvider annotationProvider
	protected org.checkerframework.dataflow.cfg.CFGBuilder$Label breakTargetL
	protected java.util.Map breakLabels
	protected org.checkerframework.dataflow.cfg.CFGBuilder$Label continueTargetL
	protected java.util.Map continueLabels
	protected org.checkerframework.dataflow.cfg.node.Node synchronizedExpr
	protected java.util.IdentityHashMap treeLookupMap
	protected java.util.IdentityHashMap convertedTreeLookupMap
	protected java.util.ArrayList nodeList
	protected java.util.Map bindings
	protected java.util.Set leaders
	private java.util.List returnNodes
	private org.checkerframework.dataflow.cfg.CFGBuilder$TryStack tryStack
	protected long uid
	protected com.sun.source.tree.VariableTree ea
	private java.util.Map parenMapping
	static final boolean $assertionsDisabled
	final org.checkerframework.dataflow.cfg.CFGBuilder this$0
	public void  (org.checkerframework.dataflow.cfg.CFGBuilder) 
		org.checkerframework.dataflow.cfg.CFGBuilder this$0
	public org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult process (com.sun.source.util.TreePath, javax.annotation.processing.ProcessingEnvironment, org.checkerframework.dataflow.cfg.UnderlyingAST, org.checkerframework.dataflow.cfg.CFGBuilder$Label, org.checkerframework.javacutil.trees.TreeBuilder, org.checkerframework.javacutil.AnnotationProvider) 
		com.sun.source.util.TreePath bodyPath
		javax.annotation.processing.ProcessingEnvironment env
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		org.checkerframework.dataflow.cfg.CFGBuilder$Label exceptionalExitLabel
		org.checkerframework.javacutil.trees.TreeBuilder treeBuilder
		org.checkerframework.javacutil.AnnotationProvider annotationProvider
	public org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult process (com.sun.source.tree.CompilationUnitTree, javax.annotation.processing.ProcessingEnvironment, org.checkerframework.dataflow.cfg.UnderlyingAST, org.checkerframework.dataflow.cfg.CFGBuilder$Label, org.checkerframework.javacutil.trees.TreeBuilder, org.checkerframework.javacutil.AnnotationProvider) 
		com.sun.source.tree.CompilationUnitTree root
		javax.annotation.processing.ProcessingEnvironment env
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		org.checkerframework.dataflow.cfg.CFGBuilder$Label exceptionalExitLabel
		org.checkerframework.javacutil.trees.TreeBuilder treeBuilder
		org.checkerframework.javacutil.AnnotationProvider annotationProvider
		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) 
		org.checkerframework.dataflow.cfg.node.Node node
		com.sun.source.tree.Tree tree
		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
	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
		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 lastArgument
		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
		javax.lang.model.type.TypeMirror elemType
		org.checkerframework.dataflow.cfg.node.Node lastArgument
		javax.lang.model.type.TypeMirror actualType
		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 () 
		javax.lang.model.element.Element owner
		com.sun.source.tree.ClassTree enclosingClass
		String name
		com.sun.source.tree.MethodTree enclosingMethod
		javax.lang.model.element.Element owner
		com.sun.source.tree.ExpressionTree initializer
	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.Tree, com.sun.source.tree.ClassTree) 
		com.sun.source.tree.MemberSelectTree mtree
		javax.lang.model.type.TypeMirror classType
		org.checkerframework.dataflow.cfg.node.Node node
		com.sun.source.tree.Tree 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
		org.checkerframework.dataflow.cfg.node.Node operNode
		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 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.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
	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$Label oldBreakTargetL
		org.checkerframework.dataflow.cfg.CFGBuilder$Label 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
		javax.lang.model.type.TypeMirror iteratorType
		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
		javax.lang.model.type.TypeMirror arrayType
		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
		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$Label oldBreakTargetL
		org.checkerframework.dataflow.cfg.CFGBuilder$Label 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
	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$Label oldBreakTargetL
		org.checkerframework.dataflow.cfg.CFGBuilder$Label 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
	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.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.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
		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$Label finallyLabel
		org.checkerframework.dataflow.cfg.CFGBuilder$Label doneLabel
		int catchIndex
	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
		org.checkerframework.dataflow.cfg.node.Node operNode
		com.sun.source.tree.ExpressionTree exprTree
		javax.lang.model.type.TypeMirror exprType
		javax.lang.model.type.TypeMirror oneType
		org.checkerframework.dataflow.cfg.node.Node expr
		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
		org.checkerframework.dataflow.cfg.node.Node operNode
		com.sun.source.tree.ExpressionTree exprTree
		javax.lang.model.type.TypeMirror exprType
		javax.lang.model.type.TypeMirror oneType
		org.checkerframework.dataflow.cfg.node.Node expr
		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
		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
	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$Label oldBreakTargetL
		org.checkerframework.dataflow.cfg.CFGBuilder$Label 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 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$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$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$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$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/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
	public 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/CFGBuilder$CFGTranslationPhaseTwo$1.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
 org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseTwo$1 extends org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl {
	final org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl val$cb
	final org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseTwo this$1
	void  (org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseTwo, org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl) 
		org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseTwo this$1
	public void setSuccessor (org.checkerframework.dataflow.cfg.block.BlockImpl) 
		org.checkerframework.dataflow.cfg.block.BlockImpl successor
}

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

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
	final org.checkerframework.dataflow.cfg.CFGBuilder this$0
	public void  (org.checkerframework.dataflow.cfg.CFGBuilder) 
		org.checkerframework.dataflow.cfg.CFGBuilder this$0
	public 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
		org.checkerframework.dataflow.cfg.block.RegularBlockImpl b
		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/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
	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 () 
}

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$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/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 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$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/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$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 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
	public void  (org.checkerframework.dataflow.cfg.UnderlyingAST, java.util.IdentityHashMap, java.util.IdentityHashMap, java.util.ArrayList, java.util.Map, java.util.Set, java.util.List) 
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		java.util.IdentityHashMap treeLookupMap
		java.util.IdentityHashMap convertedTreeLookupMap
		java.util.ArrayList nodeList
		java.util.Map bindings
		java.util.Set leaders
		java.util.List returnNodes
	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.UnderlyingAST access$300 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static java.util.IdentityHashMap access$400 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static java.util.IdentityHashMap access$500 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
	static java.util.List access$600 (org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult) 
		org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult x0
}

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$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 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/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
	final org.checkerframework.dataflow.cfg.CFGBuilder this$0
	public void  (org.checkerframework.dataflow.cfg.CFGBuilder, org.checkerframework.dataflow.cfg.CFGBuilder$Label) 
		org.checkerframework.dataflow.cfg.CFGBuilder this$0
		org.checkerframework.dataflow.cfg.CFGBuilder$Label finallyLabel
	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/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$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.LinkedList 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
}

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 Object a
	public Object b
	public 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
}

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
	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 () 
}

org/checkerframework/dataflow/cfg/CFGBuilder.class
CFGBuilder.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGBuilder extends java.lang.Object {
	protected final boolean assumeAssertionsDisabled
	protected final boolean assumeAssertionsEnabled
	protected java.util.List declaredClasses
	protected java.util.List declaredLambdas
	protected final org.checkerframework.dataflow.cfg.CFGBuilder$Label exceptionalExitLabel
	protected final org.checkerframework.dataflow.cfg.CFGBuilder$Label regularExitLabel
	static final boolean $assertionsDisabled
	public void  (boolean, boolean) 
		boolean assumeAssertionsEnabled
		boolean assumeAssertionsDisabled
	public java.util.List getDeclaredClasses () 
	public java.util.List getDeclaredLambdas () 
	public static org.checkerframework.dataflow.cfg.ControlFlowGraph build (com.sun.source.tree.CompilationUnitTree, javax.annotation.processing.ProcessingEnvironment, org.checkerframework.dataflow.cfg.UnderlyingAST, boolean, boolean) 
		com.sun.source.tree.CompilationUnitTree root
		javax.annotation.processing.ProcessingEnvironment env
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		boolean assumeAssertionsEnabled
		boolean assumeAssertionsDisabled
	public static org.checkerframework.dataflow.cfg.ControlFlowGraph build (com.sun.source.util.TreePath, javax.annotation.processing.ProcessingEnvironment, org.checkerframework.dataflow.cfg.UnderlyingAST, boolean, boolean) 
		com.sun.source.util.TreePath bodyPath
		javax.annotation.processing.ProcessingEnvironment env
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		boolean assumeAssertionsEnabled
		boolean assumeAssertionsDisabled
	public static org.checkerframework.dataflow.cfg.ControlFlowGraph build (com.sun.source.tree.CompilationUnitTree, javax.annotation.processing.ProcessingEnvironment, com.sun.source.tree.MethodTree, com.sun.source.tree.ClassTree, boolean, boolean) 
		com.sun.source.tree.CompilationUnitTree root
		javax.annotation.processing.ProcessingEnvironment env
		com.sun.source.tree.MethodTree tree
		com.sun.source.tree.ClassTree classTree
		boolean assumeAssertionsEnabled
		boolean assumeAssertionsDisabled
	public static org.checkerframework.dataflow.cfg.ControlFlowGraph build (com.sun.source.tree.CompilationUnitTree, javax.annotation.processing.ProcessingEnvironment, org.checkerframework.dataflow.cfg.UnderlyingAST) 
		com.sun.source.tree.CompilationUnitTree root
		javax.annotation.processing.ProcessingEnvironment env
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
	public static org.checkerframework.dataflow.cfg.ControlFlowGraph build (com.sun.source.tree.CompilationUnitTree, javax.annotation.processing.ProcessingEnvironment, com.sun.source.tree.MethodTree, com.sun.source.tree.ClassTree) 
		com.sun.source.tree.CompilationUnitTree root
		javax.annotation.processing.ProcessingEnvironment env
		com.sun.source.tree.MethodTree tree
		com.sun.source.tree.ClassTree classTree
	public org.checkerframework.dataflow.cfg.ControlFlowGraph run (com.sun.source.tree.CompilationUnitTree, javax.annotation.processing.ProcessingEnvironment, org.checkerframework.dataflow.cfg.UnderlyingAST) 
		com.sun.source.tree.CompilationUnitTree root
		javax.annotation.processing.ProcessingEnvironment env
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		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 org.checkerframework.dataflow.cfg.ControlFlowGraph run (com.sun.source.util.TreePath, javax.annotation.processing.ProcessingEnvironment, org.checkerframework.dataflow.cfg.UnderlyingAST) 
		com.sun.source.util.TreePath bodyPath
		javax.annotation.processing.ProcessingEnvironment env
		org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
		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 org.checkerframework.dataflow.cfg.ControlFlowGraph run (com.sun.source.tree.CompilationUnitTree, javax.annotation.processing.ProcessingEnvironment, com.sun.source.tree.MethodTree, com.sun.source.tree.ClassTree) 
		com.sun.source.tree.CompilationUnitTree root
		javax.annotation.processing.ProcessingEnvironment env
		com.sun.source.tree.MethodTree tree
		com.sun.source.tree.ClassTree classTree
		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$800 (java.lang.Object, java.lang.Object) 
		Object x0
		Object x1
	static void  () 
}

org/checkerframework/dataflow/cfg/CFGDOTVisualizer$1.class
CFGDOTVisualizer.java
package org.checkerframework.dataflow.cfg
 org.checkerframework.dataflow.cfg.CFGDOTVisualizer$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/CFGDOTVisualizer.class
CFGDOTVisualizer.java
package org.checkerframework.dataflow.cfg
public org.checkerframework.dataflow.cfg.CFGDOTVisualizer extends java.lang.Object {
	static final boolean $assertionsDisabled
	public void  () 
	public static java.lang.String visualize (org.checkerframework.dataflow.cfg.ControlFlowGraph, org.checkerframework.dataflow.cfg.block.Block) 
		org.checkerframework.dataflow.cfg.ControlFlowGraph cfg
		org.checkerframework.dataflow.cfg.block.Block entry
	public static java.lang.String visualize (org.checkerframework.dataflow.cfg.ControlFlowGraph, org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis, boolean) 
		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.block.Block v
		org.checkerframework.dataflow.cfg.ControlFlowGraph cfg
		org.checkerframework.dataflow.cfg.block.Block entry
		org.checkerframework.dataflow.analysis.Analysis analysis
		boolean verbose
		StringBuilder sb1
		StringBuilder sb2
		java.util.Set visited
		java.util.Queue worklist
		org.checkerframework.dataflow.cfg.block.Block cur
		java.util.IdentityHashMap processOrder
	private static 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
	protected static java.lang.String visualizeContent (org.checkerframework.dataflow.cfg.block.Block, org.checkerframework.dataflow.analysis.Analysis, boolean) 
		org.checkerframework.dataflow.cfg.node.Node t
		org.checkerframework.dataflow.cfg.block.SpecialBlock sbb
		java.util.List blockContents
		org.checkerframework.dataflow.cfg.node.Node lastNode
		org.checkerframework.dataflow.analysis.TransferInput input
		StringBuilder sb2
		String s
		org.checkerframework.dataflow.cfg.block.Block bb
		org.checkerframework.dataflow.analysis.Analysis analysis
		boolean verbose
		StringBuilder sb
		java.util.List contents
		boolean notFirst
		boolean centered
	protected static java.lang.String visualizeNode (org.checkerframework.dataflow.cfg.node.Node, org.checkerframework.dataflow.analysis.Analysis) 
		org.checkerframework.dataflow.cfg.node.Node t
		org.checkerframework.dataflow.analysis.Analysis analysis
		org.checkerframework.dataflow.analysis.AbstractValue value
		String valueInfo
	protected static java.lang.String visualizeType (org.checkerframework.dataflow.cfg.node.Node) 
		org.checkerframework.dataflow.cfg.node.Node t
		String name
	protected static java.lang.String prepareString (java.lang.String) 
		String s
	static void  () 
}

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 org.checkerframework.dataflow.cfg.UnderlyingAST underlyingAST
	protected java.util.IdentityHashMap treeLookup
	protected java.util.IdentityHashMap convertedTreeLookup
	protected final java.util.List returnNodes
	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.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.List returnNodes
	public org.checkerframework.dataflow.cfg.node.Node getNodeCorrespondingToTree (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 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
	static void  () 
}

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/JavaSource2CFGDOT$1.class
JavaSource2CFGDOT.java
package org.checkerframework.dataflow.cfg
final org.checkerframework.dataflow.cfg.JavaSource2CFGDOT$1 extends org.checkerframework.javacutil.BasicTypeProcessor {
	final javax.xml.ws.Holder val$c
	final String val$method
	final javax.xml.ws.Holder val$m
	void  (javax.xml.ws.Holder, java.lang.String, javax.xml.ws.Holder) 
	protected com.sun.source.util.TreePathScanner createTreePathScanner (com.sun.source.tree.CompilationUnitTree) 
		com.sun.source.tree.CompilationUnitTree root
}

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/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 javax.xml.ws.Holder val$c
	final javax.xml.ws.Holder val$m
	void  (javax.xml.ws.Holder, javax.xml.ws.Holder) 
	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/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 outputFile
		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 outputFile
		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) 
		java.io.FileWriter fstream
		java.io.BufferedWriter out
		java.io.IOException e
		String inputFile
		String outputFile
		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
		String s
	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
		javax.xml.ws.Holder m
		javax.xml.ws.Holder 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/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/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/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
	public void  (com.sun.source.tree.Tree) 
		com.sun.source.tree.Tree code
	public com.sun.source.tree.Tree getCode () 
	public java.lang.String toString () 
}

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/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/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/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/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 long id
	protected static long lastId
	protected org.checkerframework.dataflow.cfg.block.Block$BlockType type
	protected java.util.Set predecessors
	private static long uniqueID () 
	public void  () 
	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/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/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/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 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/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 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/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/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  () 
	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/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/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/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 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/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 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 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/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 com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node array
	protected 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.LinkedList list
	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 com.sun.source.tree.NewArrayTree tree
	protected java.util.List dimensions
	protected 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
		StringBuffer 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.LinkedList list
}

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/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 com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node condition
	protected 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.LinkedList list
	static void  () 
}

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/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/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/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/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 com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node lhs
	protected 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.LinkedList 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.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.BitwiseAndNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	static void  () 
}

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.Node {
	protected com.sun.source.tree.Tree tree
	protected 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.BitwiseComplementNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	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.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.BitwiseOrNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	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.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.BitwiseXorNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	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/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 com.sun.source.tree.CaseTree tree
	protected org.checkerframework.dataflow.cfg.node.Node switchExpr
	protected 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.LinkedList list
	public volatile com.sun.source.tree.Tree getTree () 
	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/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.MemberSelectTree, org.checkerframework.dataflow.cfg.node.Node) 
		com.sun.source.tree.MemberSelectTree tree
		org.checkerframework.dataflow.cfg.node.Node parent
	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/ConditionalAndNode.class
ConditionalAndNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.ConditionalAndNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected com.sun.source.tree.BinaryTree tree
	protected org.checkerframework.dataflow.cfg.node.Node lhs
	protected org.checkerframework.dataflow.cfg.node.Node rhs
	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 lhs
		org.checkerframework.dataflow.cfg.node.Node rhs
	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.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 () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	public volatile com.sun.source.tree.Tree getTree () 
	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.Node {
	protected com.sun.source.tree.UnaryTree tree
	protected org.checkerframework.dataflow.cfg.node.Node operand
	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 org.checkerframework.dataflow.cfg.node.Node getOperand () 
	public com.sun.source.tree.UnaryTree 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.ConditionalNotNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	public volatile com.sun.source.tree.Tree getTree () 
	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.Node {
	protected com.sun.source.tree.BinaryTree tree
	protected org.checkerframework.dataflow.cfg.node.Node lhs
	protected org.checkerframework.dataflow.cfg.node.Node rhs
	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 lhs
		org.checkerframework.dataflow.cfg.node.Node rhs
	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.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 () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	public volatile com.sun.source.tree.Tree getTree () 
	static void  () 
}

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/EqualToNode.class
EqualToNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.EqualToNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected com.sun.source.tree.BinaryTree tree
	protected org.checkerframework.dataflow.cfg.node.Node lhs
	protected org.checkerframework.dataflow.cfg.node.Node rhs
	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 lhs
		org.checkerframework.dataflow.cfg.node.Node rhs
	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.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 () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	public volatile com.sun.source.tree.Tree getTree () 
	static void  () 
}

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 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/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 com.sun.source.tree.Tree tree
	protected javax.lang.model.element.VariableElement element
	protected String field
	protected 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/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/FloatingDivisionNode.class
FloatingDivisionNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.FloatingDivisionNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.FloatingDivisionNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	static void  () 
}

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.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.FloatingRemainderNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	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 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 () 
		java.util.LinkedList list
}

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.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.GreaterThanNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	static void  () 
}

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.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	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/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 org.checkerframework.dataflow.cfg.node.Node operand
	protected 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/node/IntegerDivisionNode.class
IntegerDivisionNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.IntegerDivisionNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.IntegerDivisionNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	static void  () 
}

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 {
	int value
	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/IntegerRemainderNode.class
IntegerRemainderNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.IntegerRemainderNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.IntegerRemainderNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	static void  () 
}

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.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.LeftShiftNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	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.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.LessThanNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	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.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	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 com.sun.source.tree.Tree tree
	protected 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/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/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 com.sun.source.tree.Tree tree
	protected 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 () 
		StringBuffer 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/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 com.sun.source.tree.ExpressionTree tree
	protected javax.lang.model.element.ExecutableElement method
	protected 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/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 com.sun.source.tree.MethodInvocationTree tree
	protected org.checkerframework.dataflow.cfg.node.MethodAccessNode target
	protected java.util.List arguments
	protected 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
		StringBuffer 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/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 com.sun.source.tree.Tree tree
	protected 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/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.LinkedList operands
		java.util.LinkedList transitiveOperands
	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 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) 
}

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.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.NotEqualNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	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 com.sun.source.tree.Tree tree
	protected 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/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/NumericalAdditionNode.class
NumericalAdditionNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.NumericalAdditionNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.NumericalAdditionNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	static void  () 
}

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.Node {
	protected com.sun.source.tree.Tree tree
	protected 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.NumericalMinusNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
	static void  () 
}

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.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	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.Node {
	protected com.sun.source.tree.Tree tree
	protected 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/NumericalSubtractionNode.class
NumericalSubtractionNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	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 com.sun.source.tree.NewClassTree tree
	protected org.checkerframework.dataflow.cfg.node.Node constructor
	protected java.util.List arguments
	public void  (com.sun.source.tree.NewClassTree, org.checkerframework.dataflow.cfg.node.Node, java.util.List) 
		com.sun.source.tree.NewClassTree tree
		org.checkerframework.dataflow.cfg.node.Node constructor
		java.util.List arguments
	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 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 arg
		StringBuffer 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.LinkedList list
}

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/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 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/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/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 com.sun.source.tree.ReturnTree tree
	protected 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/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/SignedRightShiftNode.class
SignedRightShiftNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.SignedRightShiftNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.SignedRightShiftNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	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 com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.LinkedList list
	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.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.StringConcatenateNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	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 com.sun.source.tree.Tree tree
	protected 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/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/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 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/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 com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node expression
	protected 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 () 
		StringBuffer 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 com.sun.source.tree.ConditionalExpressionTree tree
	protected org.checkerframework.dataflow.cfg.node.Node condition
	protected org.checkerframework.dataflow.cfg.node.Node thenOperand
	protected 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.LinkedList list
	public volatile com.sun.source.tree.Tree getTree () 
	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/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 com.sun.source.tree.ThrowTree tree
	protected 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/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 com.sun.source.tree.Tree tree
	protected 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/UnsignedRightShiftNode.class
UnsignedRightShiftNode.java
package org.checkerframework.dataflow.cfg.node
public org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode extends org.checkerframework.dataflow.cfg.node.Node {
	protected com.sun.source.tree.Tree tree
	protected org.checkerframework.dataflow.cfg.node.Node left
	protected 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.lang.String toString () 
	public boolean equals (java.lang.Object) 
		Object obj
		org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode other
	public int hashCode () 
	public java.util.Collection getOperands () 
		java.util.LinkedList list
	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/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 com.sun.source.tree.VariableTree tree
	protected 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/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 com.sun.source.tree.Tree tree
	protected 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/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 outputFileName
		String method
		String clazz
		org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer transfer
		org.checkerframework.dataflow.analysis.Analysis analysis
}

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/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/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/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 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 boolean hasDOToutput () 
	public java.lang.String toDOToutput () 
	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/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/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  {
}

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

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/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/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/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/util/HashCodeUtils.class
HashCodeUtils.java
package org.checkerframework.dataflow.util
public org.checkerframework.dataflow.util.HashCodeUtils extends java.lang.Object {
	private static int prime
	private static 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
	static void  () 
}

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

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

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

org/checkerframework/dataflow/util/MostlySingleton.class
MostlySingleton.java
package org.checkerframework.dataflow.util
public final org.checkerframework.dataflow.util.MostlySingleton extends java.lang.Object implements java.util.Set  {
	private org.checkerframework.dataflow.util.MostlySingleton$State state
	private Object value
	private java.util.HashSet set
	public void  () 
	public int size () 
	public boolean isEmpty () 
	public boolean contains (java.lang.Object) 
		Object o
	public boolean add (java.lang.Object) 
		Object e
	public java.util.Iterator iterator () 
	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 addAll (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 () 
	static java.lang.Object access$000 (org.checkerframework.dataflow.util.MostlySingleton) 
		org.checkerframework.dataflow.util.MostlySingleton x0
}

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
}

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.SimpleTreeVisitor {
	protected final org.checkerframework.javacutil.AnnotationProvider annoProvider
	private final boolean assumeSideEffectFree
	protected java.util.List methodParameter
	static final boolean $assertionsDisabled
	public void  (org.checkerframework.javacutil.AnnotationProvider, boolean) 
		org.checkerframework.javacutil.AnnotationProvider annoProvider
		boolean assumeSideEffectFree
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult scan (com.sun.source.tree.Tree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.Tree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult scan (java.lang.Iterable, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.Tree node
		Iterable nodes
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	protected org.checkerframework.dataflow.util.PurityChecker$PurityResult defaultAction (com.sun.source.tree.Tree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.Tree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitClass (com.sun.source.tree.ClassTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.ClassTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitVariable (com.sun.source.tree.VariableTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.VariableTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitEmptyStatement (com.sun.source.tree.EmptyStatementTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.EmptyStatementTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitBlock (com.sun.source.tree.BlockTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.BlockTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitDoWhileLoop (com.sun.source.tree.DoWhileLoopTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.DoWhileLoopTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitWhileLoop (com.sun.source.tree.WhileLoopTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.WhileLoopTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitForLoop (com.sun.source.tree.ForLoopTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.ForLoopTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitEnhancedForLoop (com.sun.source.tree.EnhancedForLoopTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.EnhancedForLoopTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitLabeledStatement (com.sun.source.tree.LabeledStatementTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.LabeledStatementTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitSwitch (com.sun.source.tree.SwitchTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.SwitchTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitCase (com.sun.source.tree.CaseTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.CaseTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitSynchronized (com.sun.source.tree.SynchronizedTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.SynchronizedTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitTry (com.sun.source.tree.TryTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.TryTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitCatch (com.sun.source.tree.CatchTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.CatchTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitConditionalExpression (com.sun.source.tree.ConditionalExpressionTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.ConditionalExpressionTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitIf (com.sun.source.tree.IfTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.IfTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitExpressionStatement (com.sun.source.tree.ExpressionStatementTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.ExpressionStatementTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitBreak (com.sun.source.tree.BreakTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.BreakTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitContinue (com.sun.source.tree.ContinueTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.ContinueTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitReturn (com.sun.source.tree.ReturnTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.ReturnTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitThrow (com.sun.source.tree.ThrowTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.ThrowTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitAssert (com.sun.source.tree.AssertTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.AssertTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitMethodInvocation (com.sun.source.tree.MethodInvocationTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		boolean det
		boolean seFree
		com.sun.source.tree.MethodInvocationTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		javax.lang.model.element.Element elt
		String reason
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitNewClass (com.sun.source.tree.NewClassTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.NewClassTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		javax.lang.model.element.Element methodElement
		boolean sideEffectFree
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitNewArray (com.sun.source.tree.NewArrayTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.NewArrayTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitLambdaExpression (com.sun.source.tree.LambdaExpressionTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.LambdaExpressionTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitParenthesized (com.sun.source.tree.ParenthesizedTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.ParenthesizedTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitAssignment (com.sun.source.tree.AssignmentTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.AssignmentTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		com.sun.source.tree.ExpressionTree variable
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	protected org.checkerframework.dataflow.util.PurityChecker$PurityResult assignmentCheck (org.checkerframework.dataflow.util.PurityChecker$PurityResult, com.sun.source.tree.ExpressionTree) 
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		com.sun.source.tree.ExpressionTree variable
	protected boolean isLocalVariable (com.sun.source.tree.ExpressionTree) 
		com.sun.source.tree.ExpressionTree variable
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitCompoundAssignment (com.sun.source.tree.CompoundAssignmentTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.CompoundAssignmentTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		com.sun.source.tree.ExpressionTree variable
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitUnary (com.sun.source.tree.UnaryTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.UnaryTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitBinary (com.sun.source.tree.BinaryTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.BinaryTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitTypeCast (com.sun.source.tree.TypeCastTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.TypeCastTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitInstanceOf (com.sun.source.tree.InstanceOfTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.InstanceOfTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitArrayAccess (com.sun.source.tree.ArrayAccessTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.ArrayAccessTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
		org.checkerframework.dataflow.util.PurityChecker$PurityResult r
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitMemberSelect (com.sun.source.tree.MemberSelectTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.MemberSelectTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitMemberReference (com.sun.source.tree.MemberReferenceTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.MemberReferenceTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitIdentifier (com.sun.source.tree.IdentifierTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.IdentifierTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	public org.checkerframework.dataflow.util.PurityChecker$PurityResult visitLiteral (com.sun.source.tree.LiteralTree, org.checkerframework.dataflow.util.PurityChecker$PurityResult) 
		com.sun.source.tree.LiteralTree node
		org.checkerframework.dataflow.util.PurityChecker$PurityResult p
	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 visitClass (com.sun.source.tree.ClassTree, java.lang.Object) 
	protected volatile java.lang.Object defaultAction (com.sun.source.tree.Tree, java.lang.Object) 
	static void  () 
}

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/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.tree.Tree, org.checkerframework.javacutil.AnnotationProvider, boolean) 
		com.sun.source.tree.Tree statement
		org.checkerframework.javacutil.AnnotationProvider annoProvider
		boolean assumeSideEffectFree
		org.checkerframework.dataflow.util.PurityChecker$PurityCheckerHelper helper
		org.checkerframework.dataflow.util.PurityChecker$PurityResult res
}

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
}