#include <Expression.hh>

Public Member Functions
	MulExpression (Expression multiplicativeExpr, Expression unaryExpr)

virtual bool	valid () const

Expression *	left () const

Expression *	right () const

virtual bool	isConstant () const

int	type () const

bool	eval (Value &result) const

virtual Type	valueType () const

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

VariableIterator	beginOfVariables () const

VariableIterator	endOfVariables () const

SizeType	supportSize () const

Private Attributes
Expression *	_multiplicativeExpr

Expression *	_unaryExpr

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 830 of file Expression.hh.

Constructor & Destructor Documentation

Diades::Altarica::MulExpression::MulExpression	(	Expression *	multiplicativeExpr,
		Expression *	unaryExpr
	)

inline

Definition at line 836 of file Expression.hh.

References _multiplicativeExpr, _unaryExpr, Diades::Altarica::Expression::_varSupport, and Diades::Altarica::mergeExpressionSupports().

Member Function Documentation

bool Diades::Altarica::MulExpression::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::MulExpression::isConstant ( ) const

inlinevirtual

Returns: true if the Expression is constant

Implements Diades::Altarica::Expression.

Definition at line 855 of file Expression.hh.

References Diades::Altarica::Expression::isConstant(), left(), and right().

Expression* Diades::Altarica::MulExpression::left ( ) const

inline

Definition at line 847 of file Expression.hh.

References _multiplicativeExpr.

Referenced by isConstant().

Expression* Diades::Altarica::MulExpression::right ( ) const

inline

Definition at line 851 of file Expression.hh.

References _unaryExpr.

Referenced by isConstant().

int Diades::Altarica::MulExpression::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 860 of file Expression.hh.

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

inlinevirtual

Validity of an Expression