cz.muni.stanse.pointeranalyzer.shapirohorwitz.AndersenCategorizationProvider Class Reference

Inheritance diagram for cz.muni.stanse.pointeranalyzer.shapirohorwitz.AndersenCategorizationProvider:

Collaboration diagram for cz.muni.stanse.pointeranalyzer.shapirohorwitz.AndersenCategorizationProvider:

Public Member Functions
	AndersenCategorizationProvider (int numberOfProgramVariables)
int	assignNextCategory ()
int	getNumberOfCategories ()

Detailed Description

Represents the categorization provider for Andersen's analysis.

Author

Michal Strehovsky

Constructor & Destructor Documentation

cz.muni.stanse.pointeranalyzer.shapirohorwitz.AndersenCategorizationProvider.AndersenCategorizationProvider ( int  numberOfProgramVariables )

inline

Member Function Documentation

int cz.muni.stanse.pointeranalyzer.shapirohorwitz.AndersenCategorizationProvider.assignNextCategory ( )

inline

Implements cz.muni.stanse.pointeranalyzer.shapirohorwitz.CategorizationProvider.

int cz.muni.stanse.pointeranalyzer.shapirohorwitz.AndersenCategorizationProvider.getNumberOfCategories ( )

inline

Implements cz.muni.stanse.pointeranalyzer.shapirohorwitz.CategorizationProvider.

---

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

• src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/AndersenCategorizationProvider.java