DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Member Functions | Private Attributes | Friends | List of all members
Diades::Altarica::ParenthezedExpression Class Reference

#include <Expression.hh>

Public Member Functions

 ParenthezedExpression (Expression *unaryExpr)
 
int type () const
 
virtual bool valid () const
 
virtual Type valueType () const
 
Expressionexpression () const
 
Expressionunary () 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< ExpressionException
 
typedef vector< Variable >::const_iterator VariableIterator
 
typedef vector< Variable >::size_type SizeType
 
typedef vector< VariableSupport
 
- 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 1062 of file Expression.hh.

Constructor & Destructor Documentation

Diades::Altarica::ParenthezedExpression::ParenthezedExpression ( Expression unaryExpr)
inline

Member Function Documentation

bool Diades::Altarica::ParenthezedExpression::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
valuethe Value resulting from the evaluation of the current Expression.
Returns
true if the operation succeeds, false otherwise.

Implements Diades::Altarica::Expression.

Expression* Diades::Altarica::ParenthezedExpression::expression ( ) const
inline

Definition at line 1084 of file Expression.hh.

References _unaryExpr.

Referenced by isConstant(), and unary().

virtual bool Diades::Altarica::ParenthezedExpression::isConstant ( ) const
inlinevirtual
Returns
true if the Expression is constant

Implements Diades::Altarica::Expression.

Definition at line 1092 of file Expression.hh.

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

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

Expression* Diades::Altarica::ParenthezedExpression::unary ( ) const
inline

Definition at line 1088 of file Expression.hh.

References expression().

virtual bool Diades::Altarica::ParenthezedExpression::valid ( ) const
inlinevirtual

Validity of an Expression

Returns
true if the current Expression is valid.

Implements Diades::Altarica::Expression.

Definition at line 1072 of file Expression.hh.

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

virtual Type Diades::Altarica::ParenthezedExpression::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 1076 of file Expression.hh.

References Diades::Altarica::Expression::_returnedType, Diades::Altarica::Type::valid(), and Diades::Altarica::Expression::valueType().

Friends And Related Function Documentation

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

Member Data Documentation

Expression* Diades::Altarica::ParenthezedExpression::_unaryExpr
private

Definition at line 1065 of file Expression.hh.

Referenced by expression().


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