Diades::Altarica::StructMemberExpression Class Reference

#include <Expression.hh>

Inheritance diagram for Diades::Altarica::StructMemberExpression:

Public Member Functions
	StructMemberExpression (const NodeDecl &owner, unsigned id, const Expression &structure, const Expression &field)
Category	category () const
virtual bool	valid () const
const Expression &	getStructure () const
const Expression &	getMember () const
virtual const Type &	valueType () const
virtual bool	isConstant () const
Public Member Functions inherited from Diades::Altarica::Expression
virtual	~Expression ()
const AltaricaModel &	model () const
const NodeDecl &	owner () const
bool	operator== (const Expression &e) const
	Expression (const NodeDecl &owner, unsigned id)
unsigned	id () const
VariableIterator	variableBegin () const
VariableIterator	variableEnd () const
SizeType	supportSize () const
const Support &	support () const

Private Attributes
const Expression &	_structure
const Expression &	_field

Additional Inherited Members
Public Types inherited from Diades::Altarica::Expression
enum	Category {   IfThenElse =0, Case =1, Or =2, And =3,   Eq =4, Neq =5, Imply =6, Lt =7,   Gt =8, Leq =9, Geq =10, Add =11,   Sub =12, Mul =13, Div =14, Mod =15,   Neg =16, Not =17, Paren =18, StructMember =19,   ArrayMember =20, Var =21, Id =22, Min =23,   Max =24, True =25, False =26, Integer =27,   ForAll =28, Exist =29, FunctionCall =30, Struct =31,   Array =32 }
typedef reference_wrapper< Expression const >	ConstReference
typedef reference_wrapper< Expression >	Reference
typedef std::vector< ConstReference >	ExprVector
typedef Utils::Exception< Expression >	Exception
typedef std::vector< VariableDecl::ConstReference >::const_iterator	VariableIterator
typedef std::vector< VariableDecl::ConstReference >::size_type	SizeType
typedef std::vector< VariableDecl::ConstReference >	Support
Static Public Member Functions inherited from Diades::Altarica::Expression
static string	typeName ()
Protected Attributes inherited from Diades::Altarica::Expression
Support	_varSupport
const NodeDecl &	_owner
	VariableDecls that are supporting the Expression. More...
unsigned	_id

Detailed Description

Definition at line 440 of file Expression.hh.

Constructor & Destructor Documentation

StructMemberExpression()

Diades::Altarica::StructMemberExpression::StructMemberExpression	(	const NodeDecl &	owner,
		unsigned	id,
		const Expression &	structure,
		const Expression &	field
	)

Member Function Documentation

category()

Category Diades::Altarica::StructMemberExpression::category ( ) const

inlinevirtual

Expression evaluation: this operation evaluates the expression with the current value associated to the variables that support the Expression. The evaluation is failing if there is a variable of the support that is still free (that is an unassigned variable).

Parameters

value

the Value resulting from the evaluation of the current Expression.

Returns

true if the operation succeeds, false otherwise.Category of an expression

the category o of the Expression. It is way to avoid the use of RTTI and gets a lighter implementation.

Implements Diades::Altarica::Expression.

Definition at line 448 of file Expression.hh.

References Diades::Altarica::Expression::StructMember.

getMember()

const Expression& Diades::Altarica::StructMemberExpression::getMember ( ) const

inline

Definition at line 461 of file Expression.hh.

References Diades::Altarica::Expression::valueType().

getStructure()

const Expression& Diades::Altarica::StructMemberExpression::getStructure ( ) const

inline

Definition at line 457 of file Expression.hh.

isConstant()

virtual bool Diades::Altarica::StructMemberExpression::isConstant ( ) const

inlinevirtual

Returns

true if the Expression is constant

Implements Diades::Altarica::Expression.

Definition at line 467 of file Expression.hh.

valid()

virtual bool Diades::Altarica::StructMemberExpression::valid ( ) const

inlinevirtual

Todo:

check whether it is useful, see getCarriedVariableDeclsFromStructMemberExpression

Implements Diades::Altarica::Expression.

Definition at line 452 of file Expression.hh.

References Diades::Altarica::Expression::valid().

valueType()

virtual const Type& Diades::Altarica::StructMemberExpression::valueType ( ) const

virtual

Todo:

implement ( need getVariableDecl)

Implements Diades::Altarica::Expression.

Member Data Documentation

_field

const Expression& Diades::Altarica::StructMemberExpression::_field

private

Definition at line 444 of file Expression.hh.

_structure

const Expression& Diades::Altarica::StructMemberExpression::_structure

private

Definition at line 443 of file Expression.hh.

---

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

• include/diades/altarica/Expression.hh