#include <Domains.hh>

Public Member Functions
	EnumerationDomainData (const Identifier &name, const ValueSet &valueSet, unsigned id)

virtual	~EnumerationDomainData ()

virtual bool	isFinite () const

virtual unsigned	cardinality () const

virtual bool	contains (const Value &value) const

virtual DomainType	domainType () const

virtual DomainIterator	begin () const

virtual DomainIterator	end () const

virtual DomainIterator	find (const Value &value) const

virtual string	printDomain () const

Value	defaultValue () const

Public Member Functions inherited from Diades::Altarica::DomainData
	DomainData ()

	DomainData (const Identifier &name)

void	setId (unsigned id)

unsigned	id () const

void	setName (const string &name)

void	setOtherName (const string &name) const

const string &	name () const

set< Identifier >::const_iterator	otherNameBegin () const

set< Identifier >::const_iterator	otherNameEnd () const

virtual	~DomainData ()

DomainCategory	category () const

Type	type () const

bool	operator< (const DomainData &domain) const

Private Attributes
ValueSet	_symbolSet

Additional Inherited Members
Protected Attributes inherited from Diades::Altarica::DomainData
unsigned	_id

Type	_type

DomainCategory	_category

set< Identifier >	_otherNames

Detailed Description

Definition at line 414 of file Domains.hh.

Constructor & Destructor Documentation

Diades::Altarica::EnumerationDomainData::EnumerationDomainData	(	const Identifier &	name,
		const ValueSet &	valueSet,
		unsigned	id
	)

inline

Definition at line 420 of file Domains.hh.

References Diades::Altarica::DomainData::_category, Diades::Altarica::DomainData::_id, Diades::Altarica::DomainData::_type, Diades::Altarica::TypeFactory::factory(), Diades::Altarica::TypeFactory::getIdentifier(), Diades::Altarica::DomainData::id(), and Diades::Altarica::Simple.

virtual Diades::Altarica::EnumerationDomainData::~EnumerationDomainData ( )

inlinevirtual

Definition at line 428 of file Domains.hh.

Member Function Documentation

virtual DomainIterator Diades::Altarica::EnumerationDomainData::begin ( ) const

inlinevirtual

Returns: a forward iterator on the first element of the domain if this domain is finite, if the domain is not finite, return an end-forward iterator (i.e. begin() == end())

Implements Diades::Altarica::DomainData.

Definition at line 435 of file Domains.hh.

Referenced by defaultValue().

virtual unsigned Diades::Altarica::EnumerationDomainData::cardinality ( ) const

inlinevirtual

Returns: the number of elements in the domain, infinite if it is not finite

Implements Diades::Altarica::DomainData.

Definition at line 430 of file Domains.hh.

virtual bool Diades::Altarica::EnumerationDomainData::contains ( const Value & value ) const

inlinevirtual

Parameters

value a Value

Returns: true if value is contained in the domain, false otherwise

Implements Diades::Altarica::DomainData.

Definition at line 432 of file Domains.hh.

Value Diades::Altarica::EnumerationDomainData::defaultValue ( ) const

inlinevirtual

Returns: the default value of the Domain

Implements Diades::Altarica::DomainData.

Definition at line 458 of file Domains.hh.

References begin().

virtual DomainType Diades::Altarica::EnumerationDomainData::domainType ( ) const

inlinevirtual

Returns: the type of the domain

Implements Diades::Altarica::DomainData.

Definition at line 434 of file Domains.hh.

References Diades::Altarica::Enumeration.

virtual DomainIterator Diades::Altarica::EnumerationDomainData::end ( ) const

inlinevirtual

Returns: a forward iterator on the element after the last element of the domain if this domain is finite, if the domain is not finite, return an end-forward iterator (i.e. begin() == end())

Implements Diades::Altarica::DomainData.

Definition at line 439 of file Domains.hh.

virtual DomainIterator Diades::Altarica::EnumerationDomainData::find ( const Value & value ) const