enumValueAnn Class Reference

A dataflow analysis lattice element. More...

#include <enum_property.h>

Inheritance diagram for enumValueAnn:

Collaboration diagram for enumValueAnn:

Public Member Functions
	enumValueAnn (const parserID *name, enumvalue_list *more_specific)
	Create a new property value. More...
std::string &	name ()
const std::string &	name () const
enumValueAnn *	more_general () const
enumvalue_list &	more_specific ()
const enumvalue_list &	more_specific () const
int	height () const
void	height (int new_height)
int	id () const
void	id (int new_id)
bool	is_leaf () const
void	collect_atleast_values (enumvalue_set &collect)
	Collect atleast values. More...
Public Member Functions inherited from Ann
	Ann (int line)
int	line () const

Private Attributes
std::string	_name
	Name of the value. More...
enumValueAnn *	_more_general
	Pointer to the lower lattice element. More...
enumvalue_list	_more_specific
	List of higher lattice elements. More...
int	_height
	Height in the lattice. More...
int	_id
	Unique id number. More...
bool	_is_leaf
	Is leaf. More...

Detailed Description

A dataflow analysis lattice element.

Definition at line 23 of file enum_property.h.

Constructor & Destructor Documentation

enumValueAnn::enumValueAnn	(	const parserID *	name,
		enumvalue_list *	more_specific
	)

Create a new property value.

Member Function Documentation

std::string& enumValueAnn::name ( )

inline

Definition at line 62 of file enum_property.h.

References _name.

const std::string& enumValueAnn::name ( ) const

inline

Definition at line 63 of file enum_property.h.

References _name.

enumValueAnn* enumValueAnn::more_general ( ) const

inline

Definition at line 65 of file enum_property.h.

References _more_general.

enumvalue_list& enumValueAnn::more_specific ( )

inline

Definition at line 67 of file enum_property.h.

References _more_specific.

const enumvalue_list& enumValueAnn::more_specific ( ) const

inline

Definition at line 68 of file enum_property.h.

References _more_specific.

int enumValueAnn::height ( ) const

inline

Definition at line 70 of file enum_property.h.

References _height.

void enumValueAnn::height ( int  new_height)

inline

Definition at line 71 of file enum_property.h.

References _height.

int enumValueAnn::id ( ) const

inline

Definition at line 73 of file enum_property.h.

References _id.

Referenced by enumvalue_set::enumvalue_set(), enumvalue_set::insert(), and Diagnostic::is_diagnostic_value().

void enumValueAnn::id ( int  new_id)

inline

Definition at line 74 of file enum_property.h.

References _id.

bool enumValueAnn::is_leaf ( ) const

inline

Definition at line 76 of file enum_property.h.

References _is_leaf.

void enumValueAnn::collect_atleast_values

(

enumvalue_set &

collect)

Collect atleast values.

Collect all the values that are at least as specific as this one, excluding top.

Member Data Documentation

std::string enumValueAnn::_name

private

Name of the value.

Definition at line 29 of file enum_property.h.

Referenced by name().

enumValueAnn* enumValueAnn::_more_general

private

Pointer to the lower lattice element.

Definition at line 33 of file enum_property.h.

Referenced by more_general().

enumvalue_list enumValueAnn::_more_specific

private

List of higher lattice elements.

Definition at line 37 of file enum_property.h.

Referenced by more_specific().

int enumValueAnn::_height

private

Height in the lattice.

Definition at line 41 of file enum_property.h.

Referenced by height().

int enumValueAnn::_id

private

Unique id number.

Definition at line 45 of file enum_property.h.

Referenced by id().

bool enumValueAnn::_is_leaf

private

Is leaf.

True if the only value higher in the lattice is TOP.

Definition at line 51 of file enum_property.h.

Referenced by is_leaf().

---

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

• enum_property.h