#include <set_property.h>

Inheritance diagram for setPropertyAnn:

Collaboration diagram for setPropertyAnn:

Public Types
enum	SetPropertyKind { Set, Equivalence }

enum	MeetFunction { Union, Intersect }

Public Types inherited from propertyAnn
enum	propertyKind { EnumProperty, SetProperty }

Public Member Functions
	setPropertyAnn (const parserID *name, Direction direction, SetPropertyKind kind, MeetFunction meet)
	Property variable block. More...

void	clear ()
	Clear the analysis information. More...

SetPropertyKind	kind () const
	Kind of setProperty. More...

MeetFunction	meet_function () const
	Meet function. More...

void	set_property_variable (annVariable *var)
	Set the property variable. More...

annVariable *	property_variable () const
	Property variable. More...

void	print (std::ostream &o) const
	Output method. More...

Public Member Functions inherited from propertyAnn
	propertyAnn (const parserID *name, Direction direction, propertyKind kind)
	Create a new property. More...

void	set_id (int id)
	Set ID. More...

int	get_id () const
	Get the ID. More...

std::string &	name ()
	Property name. More...

const std::string &	name () const

bool	is_enabled () const
	Is enabled? More...

void	disable ()
	Disable this analysis. More...

void	enable ()
	Enable this analysis. More...

Direction	direction () const
	Direction. More...

propertyKind	kind () const
	Kind. More...

Public Member Functions inherited from Ann
	Ann (int line)

int	line () const

Private Attributes
SetPropertyKind	_kind
	Kind of setProperty. More...

MeetFunction	_meet_function
	Meet function. More...

annVariable *	_property_variable
	Property variable. More...

Friends
std::ostream &	operator<< (std::ostream &o, const setPropertyAnn &anns)
	Set the property variable block. More...

Additional Inherited Members
Protected Attributes inherited from propertyAnn
std::string	_name
	Name of the property. More...

int	_id
	ID. More...

bool	_is_enabled
	Enabled. More...

Direction	_direction
	Analysis direction. More...

propertyKind	_kind
	The kind of property. More...

Detailed Description

Definition at line 14 of file set_property.h.

Member Enumeration Documentation

enum setPropertyAnn::SetPropertyKind

Enumerator
Set
Equivalence

Definition at line 18 of file set_property.h.

enum setPropertyAnn::MeetFunction

Enumerator
Union
Intersect

Definition at line 20 of file set_property.h.

Constructor & Destructor Documentation

setPropertyAnn::setPropertyAnn	(	const parserID *	name,
		Direction	direction,
		SetPropertyKind	kind,
		MeetFunction	meet
	)

Property variable block.

When the analyzer is created it creates a memoryBlock for each set property and stores it in this field. Create a new setProperty property

Member Function Documentation

void setPropertyAnn::clear ( )

Clear the analysis information.

Call this method to re-initialize the analysis information so that the property analyzer can be run again.

SetPropertyKind setPropertyAnn::kind ( ) const

inline

Kind of setProperty.

Definition at line 123 of file set_property.h.

References _kind.

MeetFunction setPropertyAnn::meet_function ( ) const

inline

Meet function.

Definition at line 127 of file set_property.h.

References _meet_function.

void setPropertyAnn::set_property_variable ( annVariable * var)

inline

Set the property variable.

This method should only be called once by Annotations::add_set_property().

Definition at line 134 of file set_property.h.

References _property_variable.

annVariable* setPropertyAnn::property_variable ( ) const

inline

Property variable.

Return a pointer to the special global variable that represents the state of this property.

Definition at line 142 of file set_property.h.

References _property_variable.

void setPropertyAnn::print ( std::ostream & o) const

Output method.

Friends And Related Function Documentation

std::ostream& operator<<	(	std::ostream &	o,
		const setPropertyAnn &	anns
	)

friend

Set the property variable block.

This method should only be called by the Analyzer constructor. Output operator

Definition at line 374 of file set_property.h.

Member Data Documentation

SetPropertyKind setPropertyAnn::_kind

private

Kind of setProperty.

Definition at line 53 of file set_property.h.

Referenced by kind().

MeetFunction setPropertyAnn::_meet_function

private

Meet function.

Definition at line 57 of file set_property.h.

Referenced by meet_function().

annVariable* setPropertyAnn::_property_variable

private

Property variable.

This is a specially generated global variable that is used to hold the binding of the current value of this property. Is it created in the Annotations::add_set_property() method

Definition at line 65 of file set_property.h.

Referenced by property_variable(), and set_property_variable().

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

set_property.h

Public Types

Public Member Functions

Private Attributes

Friends

Additional Inherited Members

Detailed Description

Member Enumeration Documentation

Constructor & Destructor Documentation

Member Function Documentation

Friends And Related Function Documentation

Member Data Documentation