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

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

List of all members.

Public Member Functions

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

Detailed Description


Member Function Documentation

void cz::muni::stanse::pointeranalyzer::PointsToAnalyzer::analyze ( Collection< CFGHandle cfgs  ) 

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

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

Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6