DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <Expression.hh>
Public Member Functions | |
ParenthezedExpression (Expression *unaryExpr) | |
int | type () const |
virtual bool | valid () const |
virtual Type | valueType () const |
Expression * | expression () 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... | |
Definition at line 1062 of file Expression.hh.
|
inline |
Definition at line 1067 of file Expression.hh.
References Diades::Altarica::Expression::_varSupport, Diades::Altarica::Expression::beginOfVariables(), Diades::Altarica::Expression::endOfVariables(), and Diades::Altarica::Expression::supportSize().
|
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).
value | the Value resulting from the evaluation of the current Expression. |
Implements Diades::Altarica::Expression.
|
inline |
Definition at line 1084 of file Expression.hh.
References _unaryExpr.
Referenced by isConstant(), and unary().
|
inlinevirtual |
Implements Diades::Altarica::Expression.
Definition at line 1092 of file Expression.hh.
References expression(), and Diades::Altarica::Expression::isConstant().
|
inlinevirtual |
Type of an expression
Implements Diades::Altarica::Expression.
Definition at line 1071 of file Expression.hh.
|
inline |
Definition at line 1088 of file Expression.hh.
References expression().
|
inlinevirtual |
Validity of an Expression
Implements Diades::Altarica::Expression.
Definition at line 1072 of file Expression.hh.
References Diades::Altarica::Expression::valid().
|
inlinevirtual |
Type of the Value returned by the Expression (lazy computation)
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().
|
friend |
|
private |
Definition at line 1065 of file Expression.hh.
Referenced by expression().