Diades::Altarica::MinExpression Class Reference

#include <Expression.hh>

Public Member Functions
	MinExpression (const vector< Expression * > &body)
int	type () const
vector< Expression * >::const_iterator	bodyBegin () const
vector< Expression * >::const_iterator	bodyEnd () const
virtual bool	valid () const
bool	eval (Value &result) const
virtual Type	valueType () const
virtual bool	isConstant () const
Public Member Functions inherited from Diades::Altarica::Expression
	Expression ()
VariableIterator	beginOfVariables () const
VariableIterator	endOfVariables () const
SizeType	supportSize () const

Private Attributes
vector< Expression * >	_body

Friends
ostream &	operator<< (ostream &os, const Expression &expression)

Additional Inherited Members
Public Types inherited from Diades::Altarica::Expression
typedef Utils::Exception< Expression >	Exception
typedef vector< Variable >::const_iterator	VariableIterator
typedef vector< Variable >::size_type	SizeType
typedef vector< Variable >	Support
Static Public Member Functions inherited from Diades::Altarica::Expression
static string	typeName ()
Protected Attributes inherited from Diades::Altarica::Expression
Support	_varSupport
Type	_returnedType
	Variables that are supporting the Expression. More...

Detailed Description

Definition at line 1275 of file Expression.hh.

Constructor & Destructor Documentation

Diades::Altarica::MinExpression::MinExpression

(

const vector< Expression * > &

body

)

Member Function Documentation

vector<Expression *>::const_iterator Diades::Altarica::MinExpression::bodyBegin ( ) const

inline

Definition at line 1282 of file Expression.hh.

vector<Expression *>::const_iterator Diades::Altarica::MinExpression::bodyEnd ( ) const

inline

Definition at line 1286 of file Expression.hh.

bool Diades::Altarica::MinExpression::eval ( Value &  value ) const

virtual

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.

Implements Diades::Altarica::Expression.

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

inlinevirtual

Returns

true if the Expression is constant

Implements Diades::Altarica::Expression.

Definition at line 1311 of file Expression.hh.

int Diades::Altarica::MinExpression::type ( ) const

inlinevirtual

Type of an expression

Returns

an integer that determines the current type of the Expression. It is way to avoid the use of RTTI and gets a lighter implementation. The returned type is one the the altarica type: that is AR_TREE_ITE, AR_TREE_CASE, AR_TREE_OR,... See arsyntax/altarica-tree.h for the exhaustive list of expression types.

Implements Diades::Altarica::Expression.

Definition at line 1281 of file Expression.hh.

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

inlinevirtual

Validity of an Expression

Returns

true if the current Expression is valid.

Implements Diades::Altarica::Expression.

Definition at line 1290 of file Expression.hh.

virtual Type Diades::Altarica::MinExpression::valueType ( ) const

inlinevirtual

Type of the Value returned by the Expression (lazy computation)

Returns

the Type of the Value.

Implements Diades::Altarica::Expression.

Definition at line 1303 of file Expression.hh.

References Diades::Altarica::Expression::_returnedType, Diades::Altarica::TypeFactory::factory(), Diades::Altarica::TypeFactory::getInteger(), and Diades::Altarica::Type::valid().

Friends And Related Function Documentation

ostream& operator<< ( ostream &  os, const Expression &  expression  )

friend

Member Data Documentation

vector<Expression *> Diades::Altarica::MinExpression::_body

private

Definition at line 1278 of file Expression.hh.

---

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

• /home/yannick/compilation/stable/include/dialtarica/Expression.hh