Inheritance diagram for cz.muni.stanse.pointeranalyzer.steensgaard.TypeTable:

Collaboration diagram for cz.muni.stanse.pointeranalyzer.steensgaard.TypeTable:

Public Member Functions
EquivalenceClass < LocationPointerType >	getTypeOf (CFGHandle cfg, String name)

EquivalenceClass < LocationPointerType >	getTypeOf (String name)

EquivalenceClass < LocationPointerType >	getTypeOf (CFGHandle cfg)

void	addFunction (CFGHandle handle, EquivalenceClass< LocationPointerType > functionClass)

void	notifyEquivalenceClassJoined (EquivalenceClass oldClass, EquivalenceClass newClass)

Set< Pair< CFGHandle, String > >	getPointsToSetOf (CFGHandle cfg, String id)

void	toDotFile ()

Detailed Description

Maintains relationships between symbols and equivalence classes for the pointer representation.

Member Function Documentation

void cz.muni.stanse.pointeranalyzer.steensgaard.TypeTable.addFunction	(	CFGHandle	handle,
		EquivalenceClass< LocationPointerType >	functionClass
	)

inline

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

inline

EquivalenceClass<LocationPointerType> cz.muni.stanse.pointeranalyzer.steensgaard.TypeTable.getTypeOf	(	CFGHandle	cfg,
		String	name
	)

inline

EquivalenceClass<LocationPointerType> cz.muni.stanse.pointeranalyzer.steensgaard.TypeTable.getTypeOf ( String name )

inline

EquivalenceClass<LocationPointerType> cz.muni.stanse.pointeranalyzer.steensgaard.TypeTable.getTypeOf ( CFGHandle cfg )

inline

void cz.muni.stanse.pointeranalyzer.steensgaard.TypeTable.notifyEquivalenceClassJoined	(	EquivalenceClass	oldClass,
		EquivalenceClass	newClass
	)

inline

void cz.muni.stanse.pointeranalyzer.steensgaard.TypeTable.toDotFile ( )

inline

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