Uses of Class
org.sonar.java.se.ExplodedGraph.Node
Packages that use ExplodedGraph.Node
-
Uses of ExplodedGraph.Node in org.sonar.java.se
Methods in org.sonar.java.se that return ExplodedGraph.NodeModifier and TypeMethodDescriptionExplodedGraph.Edge.child()CheckerContext.getNode()CheckerDispatcher.getNode()ExplodedGraph.node(ProgramPoint programPoint, ProgramState programState) Returns node associated with given (programPoint,programState) pair.ExplodedGraph.Edge.parent()ExplodedGraph.Node.parent()Methods in org.sonar.java.se that return types with arguments of type ExplodedGraph.NodeModifier and TypeMethodDescriptionExplodedGraph.nodes()ExplodedGraph.nodes()ExplodedGraph.Node.parents()ExplodedGraph.Node.siblings()Methods in org.sonar.java.se with parameters of type ExplodedGraph.NodeModifier and TypeMethodDescriptionvoidExplodedGraph.Node.addParent(ExplodedGraph.Node parent, MethodYield methodYield) FlowComputation.flow(ExplodedGraph.Node currentNode, Set<SymbolicValue> symbolicValues, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, Set<Symbol> symbols, int maxReturnedFlows) FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, int maxReturnedFlows) FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, Symbol trackSymbol, int maxReturnedFlows) FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, int maxReturnedFlows) 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.NodeModifier and TypeMethodDescriptionMethodBehavior.createExceptionalCheckBasedYield(SymbolicValue target, ExplodedGraph.Node node, String exceptionType, SECheck check) voidMethodBehavior.createYield(ExplodedGraph.Node node) Constructors in org.sonar.java.se.xproc with parameters of type ExplodedGraph.NodeModifierConstructorDescriptionExceptionalCheckBasedYield(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) protectedMethodYield(ExplodedGraph.Node node, MethodBehavior behavior)