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	Description
ExplodedGraph.Node	ExplodedGraph.Edge.child()
ExplodedGraph.Node	CheckerContext.getNode()
ExplodedGraph.Node	CheckerDispatcher.getNode()
ExplodedGraph.Node	ExplodedGraph.node(ProgramPoint programPoint, ProgramState programState)	Returns node associated with given (programPoint,programState) pair.
ExplodedGraph.Node	ExplodedGraph.Edge.parent()
ExplodedGraph.Node	ExplodedGraph.Node.parent()

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

Modifier and Type	Method	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	Description
void	ExplodedGraph.Node.addParent(ExplodedGraph.Node parent, MethodYield methodYield)
static Set<Flow>	FlowComputation.flow(ExplodedGraph.Node currentNode, Set<SymbolicValue> symbolicValues, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, Set<Symbol> symbols, int maxReturnedFlows)
static Set<Flow>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, int maxReturnedFlows)
static Set<Flow>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, Symbol trackSymbol, int maxReturnedFlows)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, int maxReturnedFlows)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, List<Class<? extends Constraint>> domains, int maxReturnedFlows)

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	Description
ExceptionalYield	MethodBehavior.createExceptionalCheckBasedYield(SymbolicValue target, ExplodedGraph.Node node, String exceptionType, SECheck check)
void	MethodBehavior.createYield(ExplodedGraph.Node node)

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

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