cz.muni.stanse.pointeranalyzer.PointsToAnalyzer Interface Reference

Inheritance diagram for cz.muni.stanse.pointeranalyzer.PointsToAnalyzer:

Public Member Functions
void	analyze (Collection< CFGHandle > cfgs)
Set< Pair< CFGHandle, String > >	getPointsToSetOf (CFGHandle cfg, String id)

Detailed Description

Author

Michal

Member Function Documentation

void cz.muni.stanse.pointeranalyzer.PointsToAnalyzer.analyze

(

Collection< CFGHandle >

cfgs

)

Implemented in cz.muni.stanse.pointeranalyzer.shapirohorwitz.ShapiroHorwitzAnalyzer.

Set<Pair<CFGHandle, String> > cz.muni.stanse.pointeranalyzer.PointsToAnalyzer.getPointsToSetOf	(	CFGHandle	cfg,
		String	id
	)

Implemented in cz.muni.stanse.pointeranalyzer.shapirohorwitz.ShapiroHorwitzAnalyzer.

---

The documentation for this interface was generated from the following file:

• src/cz/muni/stanse/pointeranalyzer/PointsToAnalyzer.java