cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable Class Reference

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

[legend]

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

[legend]

List of all members.

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.

Author:

Michal Strehovsky

---

Member Function Documentation

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::addFunction	(	CFGHandle	handle,
		EquivalenceClass< LocationPointerType >	functionClass
	)			[inline]

void cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable::notifyEquivalenceClassJoined	(	EquivalenceClass	oldClass,
		EquivalenceClass	newClass
	)			[inline]

Implements cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClassJoinListener.

Set<Pair<CFGHandle, String> > cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable::getPointsToSetOf	(	CFGHandle	cfg,
		String	id
	)			[inline]

void cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable::toDotFile

(

)

[inline]

---

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

• src/cz/muni/stanse/pointeranalyzer/steensgaard/TypeTable.java