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

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

[legend]

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

[legend]

List of all members.

Public Member Functions
	FunctionPointerType (List< AbstractLocation > parameters, AbstractLocation returnParameter)
void	unifyWith (PointerType that)
void	notifyAbstractLocationsJoined (AbstractLocation oldClass, AbstractLocation newClass)
Package Attributes
List< AbstractLocation >	parameters
AbstractLocation	returnParameter

---

Detailed Description

Represents a type for functions.

Author:

Michal Strehovsky

---

Constructor & Destructor Documentation

cz::muni::stanse::pointeranalyzer::shapirohorwitz::FunctionPointerType::FunctionPointerType	(	List< AbstractLocation >	parameters,
		AbstractLocation	returnParameter
	)			[inline]

---

Member Function Documentation

void cz::muni::stanse::pointeranalyzer::shapirohorwitz::FunctionPointerType::unifyWith

(

PointerType

that

)

[inline]

Unifies this type with another FunctionPointerType.

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

void cz::muni::stanse::pointeranalyzer::shapirohorwitz::FunctionPointerType::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.

---

Member Data Documentation

List<AbstractLocation> cz::muni::stanse::pointeranalyzer::shapirohorwitz::FunctionPointerType::parameters [package]

List of abstract locations representing function parameters.

AbstractLocation cz::muni::stanse::pointeranalyzer::shapirohorwitz::FunctionPointerType::returnParameter [package]

Abstract location representing the return value.

---

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

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