#include <Expression.hh>

Public Member Functions
	NotExpression (Expression *unaryExpr)

int	type () const

virtual bool	valid () const

virtual Type	valueType () const

Expression *	negatedExpr () const

Expression *	unary () const

virtual bool	isConstant () const

bool	eval (Value &result) const

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

VariableIterator	beginOfVariables () const

VariableIterator	endOfVariables () const

SizeType	supportSize () const

Private Attributes
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 1019 of file Expression.hh.

Constructor & Destructor Documentation

Diades::Altarica::NotExpression::NotExpression ( Expression * unaryExpr )

inline

Definition at line 1024 of file Expression.hh.

References Diades::Altarica::Expression::_varSupport, Diades::Altarica::Expression::beginOfVariables(), Diades::Altarica::Expression::endOfVariables(), and Diades::Altarica::Expression::supportSize().

Member Function Documentation

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

inlinevirtual

Returns: true if the Expression is constant

Implements Diades::Altarica::Expression.

Definition at line 1049 of file Expression.hh.

References Diades::Altarica::Expression::isConstant(), and negatedExpr().

Expression* Diades::Altarica::NotExpression::negatedExpr ( ) const

inline

Definition at line 1041 of file Expression.hh.

References _unaryExpr.

Referenced by isConstant(), and unary().

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

Expression* Diades::Altarica::NotExpression::unary ( ) const

inline

Definition at line 1045 of file Expression.hh.

References negatedExpr().

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

inlinevirtual

Validity of an Expression