cz.muni.stanse.pointeranalyzer.steensgaard.EvaluatedType Class Reference

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

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

Public Member Functions
EquivalenceClass < LocationPointerType >	getTau ()
EquivalenceClass < FunctionPointerType >	getLambda ()
EvaluatedType	dereference ()
	EvaluatedType (EquivalenceClass tau, EquivalenceClass lambda)
void	join (EvaluatedType other)
void	notifyEquivalenceClassJoined (EquivalenceClass oldClass, EquivalenceClass newClass)

Detailed Description

This class is used to pass type information when evaluating expression types.

Author

Michal Strehovsky

Constructor & Destructor Documentation

cz.muni.stanse.pointeranalyzer.steensgaard.EvaluatedType.EvaluatedType ( EquivalenceClass  tau, EquivalenceClass  lambda  )

inline

Member Function Documentation

EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.EvaluatedType.dereference ( )

inline

EquivalenceClass<FunctionPointerType> cz.muni.stanse.pointeranalyzer.steensgaard.EvaluatedType.getLambda ( )

inline

EquivalenceClass<LocationPointerType> cz.muni.stanse.pointeranalyzer.steensgaard.EvaluatedType.getTau ( )

inline

void cz.muni.stanse.pointeranalyzer.steensgaard.EvaluatedType.join ( EvaluatedType  other )

inline

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

inline

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

---

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

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