cz::muni::stanse::pointeranalyzer::PointsToAnalyzer Interface Reference

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

[legend]

List of all members.

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