Inheritance diagram for cz.muni.stanse.pointeranalyzer.shapirohorwitz.TypeTable:
Collaboration diagram for cz.muni.stanse.pointeranalyzer.shapirohorwitz.TypeTable:
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.
Constructor & Destructor Documentation
|
inline |
Member Function Documentation
|
inline |
Adds a new function to the type table.
- Parameters
-
handle paramNames
|
inline |
Gets a set of symbols to which specified symbol points to.
- Parameters
-
cfg id
- Returns
|
inline |
Gets the type of specified symbol. If the type doesn't exist, it will be created.
- Parameters
-
cfg name
- Returns
|
inline |
Gets the type associated with specified global symbol.
- Parameters
-
name
- Returns
|
inline |
Gets the type associated with specified function.
- Parameters
-
cfg
- Returns
|
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.
|
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
