#include <tp_attributes.h>

Public Member Functions
	AttributeTimedState (void)

	AttributeTimedState (const AttributeTimedState &rSrcAttr)

virtual bool	IsDefault (void) const

Public Member Functions inherited from faudes::AttributeFlags
	AttributeFlags (void)

	AttributeFlags (const AttributeFlags &rOther)

virtual	~AttributeFlags (void)

bool	Test (fType mask) const

bool	TestAll (fType mask) const

bool	TestSome (fType mask) const

bool	TestNone (fType mask) const

void	Set (fType mask)

void	Clr (fType mask)

Type &	operator= (const Type &rSrc)

bool	operator== (const Type &rOther) const

bool	operator!= (const Type &rOther) const

Public Member Functions inherited from faudes::AttributeVoid
	AttributeVoid (void)

	AttributeVoid (const AttributeVoid &rSrcAttr)

virtual	~AttributeVoid (void)

virtual void	SetDefault (void)

virtual void	Clear (void)

Type &	operator= (const Type &rSrc)

bool	operator== (const Type &rOther) const

bool	operator!= (const Type &rOther) const

Public Member Functions inherited from faudes::Type
	Type (void)

	Type (const Type &rType)

virtual	~Type (void)

virtual Type *	New (void) const

virtual Type *	Copy (void) const

virtual const Type *	Cast (const Type *pOther) const

virtual Type &	Assign (const Type &rSrc)

Type &	operator= (const Type &rSrc)

virtual bool	Equal (const Type &rOther) const

bool	operator== (const Type &rOther) const

bool	operator!= (const Type &rOther) const

virtual void	Name (const std::string &rName)

virtual const std::string &	Name (void) const

virtual const std::string &	TypeName (void) const

void	Write (const Type *pContext=0) const

void	Write (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out\|std::ios::trunc) const

void	Write (const std::string &pFileName, std::ios::openmode openmode) const

void	Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

virtual void	XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const

void	XWrite (const Type *pContext=0) const

void	XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

std::string	ToString (const std::string &rLabel="", const Type *pContext=0) const

std::string	ToText (const std::string &rLabel="", const Type *pContext=0) const

void	DWrite (const Type *pContext=0) const

void	DWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out\|std::ios::trunc) const

void	DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

void	SWrite (TokenWriter &rTw) const

void	SWrite (void) const

std::string	ToSText (void) const

void	Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0)

void	FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0)

void	Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)

Public Attributes
TimeConstraint	mInvariant

Public Attributes inherited from faudes::AttributeFlags
fType	mFlags

Protected Member Functions
void	DoAssign (const AttributeTimedState &rSrcAttr)

bool	DoEqual (const AttributeTimedState &rOther) const

virtual void	DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)

virtual void	DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

Protected Member Functions inherited from faudes::AttributeFlags
void	DoAssign (const AttributeFlags &rSrcAttr)

bool	DoEqual (const AttributeFlags &rOther) const

virtual void	DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

Protected Member Functions inherited from faudes::AttributeVoid
void	DoAssign (const AttributeVoid &rSrcAttr)

bool	DoEqual (const AttributeVoid &rOther) const

virtual void	DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

Protected Member Functions inherited from faudes::Type
void	DoAssign (const Type &rSrc)

bool	DoEqual (const Type &rOther) const

virtual void	DoSWrite (TokenWriter &rTw) const

virtual const TypeDefinition *	TypeDefinitionp (void) const

virtual Token	XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const

Additional Inherited Members
Static Public Member Functions inherited from faudes::AttributeVoid
static void	Skip (TokenReader &rTr)

Static Public Attributes inherited from faudes::AttributeFlags
static const fType	mDefFlags =0x0

Detailed Description

State attribute with invariant.

<>

Definition at line 121 of file tp_attributes.h.

Constructor & Destructor Documentation

◆ AttributeTimedState() [1/2]

faudes::AttributeTimedState::AttributeTimedState ( void )

inline

Constructor

Definition at line 128 of file tp_attributes.h.

◆ AttributeTimedState() [2/2]

faudes::AttributeTimedState::AttributeTimedState ( const AttributeTimedState & rSrcAttr )

inline

Copy Constructor

Definition at line 133 of file tp_attributes.h.

Member Function Documentation

◆ DoAssign()

void faudes::AttributeTimedState::DoAssign ( const AttributeTimedState & rSrcAttr )

protected

Assignment method.

Parameters

rSrcAttr Source to assign from

Definition at line 115 of file tp_attributes.cpp.

◆ DoEqual()

bool faudes::AttributeTimedState::DoEqual ( const AttributeTimedState & rOther ) const

protected

Test eaulity.

Parameters

rOther Other attribute to compare with.

Definition at line 123 of file tp_attributes.cpp.

◆ DoRead()

void faudes::AttributeTimedState::DoRead	(	TokenReader &	rTr,
		const std::string &	rLabel = `""`,
		const Type *	pContext = `0`
	)

protectedvirtual

Reads the attribute from TokenReader, see AttributeVoid for public wrappers.

If the current token indicates a invariant section, the method reads the invariant from that section. Else, it does nothing. Exceptions may only be thrown on invalid data within the timing section. The context argument is ignored, the label argument can be used to override the default section name Invariant.

Parameters

rTr	TokenReader to read from
rLabel	Section to read
pContext	Read context to provide contextual information

Exceptions

Exception

IO error (id 1)

Reimplemented from faudes::AttributeFlags.

Definition at line 147 of file tp_attributes.cpp.

◆ DoWrite()

void faudes::AttributeTimedState::DoWrite	(	TokenWriter &	rTw,
		const std::string &	rLabel = `""`,
		const Type *	pContext = `0`
	)		const

protectedvirtual

Writes the attribute to TokenWriter, see AttributeVoid for public wrappers.

Writes am Invariant section to include data on the invariant. The label argument can be used to set a section label different the the default Invariant. Th context argument is ignored.

Parameters

rTw	TokenWriter to write to
rLabel	Section to write
pContext	Write context to provide contextual information

Exceptions

Exception

IO error (id 2)

Reimplemented from faudes::AttributeFlags.

Definition at line 134 of file tp_attributes.cpp.

◆ IsDefault()

virtual bool faudes::AttributeTimedState::IsDefault ( void ) const

inlinevirtual

Test for default value (ie empty invariant and default flags)

Returns: True for default value

Reimplemented from faudes::AttributeFlags.

Definition at line 144 of file tp_attributes.h.

Member Data Documentation

◆ mInvariant

TimeConstraint faudes::AttributeTimedState::mInvariant

Invariant

Definition at line 147 of file tp_attributes.h.

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

Public Member Functions

Public Attributes

Protected Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ AttributeTimedState() [1/2]

◆ AttributeTimedState() [2/2]

Member Function Documentation

◆ DoAssign()

◆ DoEqual()

◆ DoRead()

◆ DoWrite()

◆ IsDefault()

Member Data Documentation

◆ mInvariant