Uses of Class
org.sonar.java.se.ProgramPoint
Packages that use ProgramPoint
-
Uses of ProgramPoint in org.sonar.java.se
Fields in org.sonar.java.se declared as ProgramPointMethods in org.sonar.java.se that return ProgramPointMethods in org.sonar.java.se with parameters of type ProgramPointModifier and TypeMethodDescriptionvoidExplodedGraphWalker.enqueue(ProgramPoint programPoint, ProgramState programState) voidExplodedGraphWalker.enqueue(ProgramPoint newProgramPoint, ProgramState programState, boolean exitPath) voidExplodedGraphWalker.enqueue(ProgramPoint newProgramPoint, ProgramState programState, boolean exitPath, MethodYield methodYield) voidExplodedGraphWalker.enqueue(ProgramPoint programPoint, ProgramState programState, MethodYield methodYield) ExplodedGraph.node(ProgramPoint programPoint, ProgramState programState) Returns node associated with given (programPoint,programState) pair.intProgramState.numberOfTimeVisited(ProgramPoint programPoint) ProgramState.visitedPoint(ProgramPoint programPoint, int nbOfVisit)