Uses of Class
org.sonar.java.se.ExplodedGraph.Node

Packages that use ExplodedGraph.Node

Package	Description
org.sonar.java.se
org.sonar.java.se.xproc

Uses of ExplodedGraph.Node in org.sonar.java.se

Methods in org.sonar.java.se that return ExplodedGraph.Node

Modifier and Type	Method and Description
ExplodedGraph.Node	ExplodedGraph.Edge.child()
ExplodedGraph.Node	CheckerDispatcher.getNode()
ExplodedGraph.Node	CheckerContext.getNode()
ExplodedGraph.Node	ExplodedGraph.node(ProgramPoint programPoint, ProgramState programState) Returns node associated with given (programPoint,programState) pair.
ExplodedGraph.Node	ExplodedGraph.Node.parent()
ExplodedGraph.Node	ExplodedGraph.Edge.parent()

Methods in org.sonar.java.se that return types with arguments of type ExplodedGraph.Node

Modifier and Type	Method and Description
Map<ExplodedGraph.Node,ExplodedGraph.Node>	ExplodedGraph.nodes()
Map<ExplodedGraph.Node,ExplodedGraph.Node>	ExplodedGraph.nodes()
Set<ExplodedGraph.Node>	ExplodedGraph.Node.parents()
Collection<ExplodedGraph.Node>	ExplodedGraph.Node.siblings()

Methods in org.sonar.java.se with parameters of type ExplodedGraph.Node

Modifier and Type	Method and Description
void	ExplodedGraph.Node.addParent(ExplodedGraph.Node parent, MethodYield methodYield)
static Set<List<JavaFileScannerContext.Location>>	FlowComputation.flow(ExplodedGraph.Node currentNode, Set<SymbolicValue> symbolicValues, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, Set<Symbol> symbols)
static Set<List<JavaFileScannerContext.Location>>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains)
static Set<List<JavaFileScannerContext.Location>>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, Symbol trackSymbol)
static Set<List<JavaFileScannerContext.Location>>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, List<Class<? extends Constraint>> domains)
static Set<List<JavaFileScannerContext.Location>>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains)

Uses of ExplodedGraph.Node in org.sonar.java.se.xproc

Methods in org.sonar.java.se.xproc with parameters of type ExplodedGraph.Node

Modifier and Type	Method and Description
ExceptionalYield	MethodBehavior.createExceptionalCheckBasedYield(SymbolicValue target, ExplodedGraph.Node node, Type exceptionType, SECheck check)
void	MethodBehavior.createYield(ExplodedGraph.Node node)
void	MethodBehavior.createYield(ExplodedGraph.Node node, boolean storeNodeForReporting)

Constructors in org.sonar.java.se.xproc with parameters of type ExplodedGraph.Node

Constructor and Description
ExceptionalCheckBasedYield(SymbolicValue svCausingException, Type exceptionType, Class<? extends SECheck> check, ExplodedGraph.Node node, MethodBehavior behavior)
ExceptionalYield(ExplodedGraph.Node node, MethodBehavior behavior)
HappyPathYield(ExplodedGraph.Node node, MethodBehavior behavior)
MethodYield(ExplodedGraph.Node node, MethodBehavior behavior)