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

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

[legend]

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

[legend]

List of all members.

Public Member Functions
	TypeTable (CategorizationProvider categorizationProvider)
AbstractLocation	getTypeOf (CFGHandle cfg, String name)
AbstractLocation	getTypeOf (String name)
AbstractLocation	getTypeOf (CFGHandle cfg)
void	addFunction (CFGHandle handle, List< String > paramNames)
Set< Pair< CFGHandle, String > >	getPointsToSetOf (CFGHandle cfg, String id)
void	notifyAbstractLocationsJoined (AbstractLocation oldClass, AbstractLocation newClass)
void	toDotFile ()

---

Detailed Description

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

Author:

Michal Strehovsky

---

Constructor & Destructor Documentation

cz::muni::stanse::pointeranalyzer::shapirohorwitz::TypeTable::TypeTable

(

CategorizationProvider

categorizationProvider

)

[inline]

---

Member Function Documentation

AbstractLocation cz::muni::stanse::pointeranalyzer::shapirohorwitz::TypeTable::getTypeOf	(	CFGHandle	cfg,
		String	name
	)			[inline]

Gets the type of specified symbol. If the type doesn't exist, it will be created.

Parameters:

	cfg
	name

Returns:

AbstractLocation cz::muni::stanse::pointeranalyzer::shapirohorwitz::TypeTable::getTypeOf

(

String

name

)

[inline]

Gets the type associated with specified global symbol.

Parameters:

name

Returns:

AbstractLocation cz::muni::stanse::pointeranalyzer::shapirohorwitz::TypeTable::getTypeOf

(

CFGHandle

cfg

)

[inline]

Gets the type associated with specified function.

Parameters:

cfg

Returns:

void cz::muni::stanse::pointeranalyzer::shapirohorwitz::TypeTable::addFunction	(	CFGHandle	handle,
		List< String >	paramNames
	)			[inline]

Adds a new function to the type table.

Parameters:

	handle
	paramNames

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

Gets a set of symbols to which specified symbol points to.

Parameters:

	cfg
	id

Returns:

void cz::muni::stanse::pointeranalyzer::shapirohorwitz::TypeTable::notifyAbstractLocationsJoined	(	AbstractLocation	oldClass,
		AbstractLocation	newClass
	)			[inline]

Called when the abstract location this class points to has been joined with a new class. Implementers should replace all stored references to oldClass by newClass.

Parameters:

	oldClass
	newClass

Implements cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationJoinListener.

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

(

)

[inline]

Converts the type table and points-to relationships in it to a DOT file viewable with GraphViz.

---

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

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