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

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

[legend]

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

[legend]

List of all members.

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

EquivalenceClass<LocationPointerType> cz::muni::stanse::pointeranalyzer::steensgaard::EvaluatedType::getTau

(

)

[inline]

EquivalenceClass<FunctionPointerType> cz::muni::stanse::pointeranalyzer::steensgaard::EvaluatedType::getLambda

(

)

[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::EvaluatedType::dereference

(

)

[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