DiaDes  0.1
DIAgnosisofDiscrete-EventSystem
Public Member Functions | Private Attributes | Friends | List of all members
Diades::Altarica::FunctionCallExpression Class Reference

#include <Expression.hh>

Inheritance diagram for Diades::Altarica::FunctionCallExpression:
Inheritance graph

Public Member Functions

Category category () const
 
virtual const TypevalueType () const
 
virtual bool isConstant () const
 
virtual ~FunctionCallExpression ()
 
- Public Member Functions inherited from Diades::Altarica::Expression
virtual ~Expression ()
 
const AltaricaModelmodel () const
 
const NodeDeclowner () const
 
bool operator== (const Expression &e) const
 
 Expression (const NodeDecl &owner, unsigned id)
 
unsigned id () const
 
virtual bool valid () const =0
 
VariableIterator variableBegin () const
 
VariableIterator variableEnd () const
 
SizeType supportSize () const
 
const Supportsupport () const
 

Private Attributes

vector< VariableDecl_param
 

Friends

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

Additional Inherited Members

- Public Types inherited from Diades::Altarica::Expression
enum  Category {
  IfThenElse =0, Case =1, Or =2, And =3,
  Eq =4, Neq =5, Imply =6, Lt =7,
  Gt =8, Leq =9, Geq =10, Add =11,
  Sub =12, Mul =13, Div =14, Mod =15,
  Neg =16, Not =17, Paren =18, StructMember =19,
  ArrayMember =20, Var =21, Id =22, Min =23,
  Max =24, True =25, False =26, Integer =27,
  ForAll =28, Exist =29, FunctionCall =30, Struct =31,
  Array =32
}
 
typedef reference_wrapper< Expression const > ConstReference
 
typedef reference_wrapper< ExpressionReference
 
typedef std::vector< ConstReferenceExprVector
 
typedef Utils::Exception< ExpressionException
 
typedef std::vector< VariableDecl::ConstReference >::const_iterator VariableIterator
 
typedef std::vector< VariableDecl::ConstReference >::size_type SizeType
 
typedef std::vector< VariableDecl::ConstReferenceSupport
 
- Static Public Member Functions inherited from Diades::Altarica::Expression
static string typeName ()
 
- Protected Attributes inherited from Diades::Altarica::Expression
Support _varSupport
 
const NodeDecl_owner
 VariableDecls that are supporting the Expression. More...
 
unsigned _id
 

Detailed Description

Definition at line 728 of file Expression.hh.

Constructor & Destructor Documentation

◆ ~FunctionCallExpression()

virtual Diades::Altarica::FunctionCallExpression::~FunctionCallExpression ( )
inlinevirtual

Definition at line 744 of file Expression.hh.

References Diades::Altarica::Expression::operator<<.

Member Function Documentation

◆ category()

Category Diades::Altarica::FunctionCallExpression::category ( ) const
inlinevirtual

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.Category of an expression
the category o of the Expression. It is way to avoid the use of RTTI and gets a lighter implementation.

Implements Diades::Altarica::Expression.

Definition at line 734 of file Expression.hh.

References Diades::Altarica::Expression::FunctionCall, and Diades::Altarica::Expression::valueType().

◆ isConstant()

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

Implements Diades::Altarica::Expression.

Definition at line 740 of file Expression.hh.

◆ valueType()

virtual const Type& Diades::Altarica::FunctionCallExpression::valueType ( ) const
virtual
Todo:
implement

Implements Diades::Altarica::Expression.

Friends And Related Function Documentation

◆ operator<<

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

Member Data Documentation

◆ _param

vector<VariableDecl> Diades::Altarica::FunctionCallExpression::_param
private

Definition at line 732 of file Expression.hh.


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