Uses of Class
com.sap.psr.vulas.cg.ReachabilityAnalyzer

Packages that use ReachabilityAnalyzer

Package	Description
com.sap.psr.vulas.cg

Uses of ReachabilityAnalyzer in com.sap.psr.vulas.cg

Methods in com.sap.psr.vulas.cg with parameters of type ReachabilityAnalyzer

Modifier and Type	Method and Description
CallgraphReachableSearch	CallgraphReachableSearch.setCallback(ReachabilityAnalyzer _analyzer) setCallback.
CallgraphPathSearch	CallgraphPathSearch.setCallback(ReachabilityAnalyzer _analyzer) setCallback.
protected void	T2CGoal.setEntryPoints(ReachabilityAnalyzer _ra) Sets the entry points of the ReachabilityAnalyzer.
protected abstract void	AbstractReachGoal.setEntryPoints(ReachabilityAnalyzer _ra) Sets the entry points of the ReachabilityAnalyzer.
protected void	A2CGoal.setEntryPoints(ReachabilityAnalyzer _ra) Sets the entry points of the ReachabilityAnalyzer.
static boolean	ReachabilityAnalyzer.startAnalysis(ReachabilityAnalyzer _ra, long _timeout_ms) startAnalysis.