1 #ifndef __DIADES__ALTARICA__TRANSITION__HH__ 2 #define __DIADES__ALTARICA__TRANSITION__HH__ 56 static string typeName() {
return "Altarica::Transition"; }
123 void addTarget(
const list<EventDecl::ConstReference> & triggerEventDecls,
124 const list<Assignment::ConstReference> & assignments);
176 return _triggerEventDecls[index];
190 return _assignments[index];
void setPrecondition(const Expression &expr)
unsigned firstTargetIndex() const
const NodeDecl & owner() const
reference_wrapper< Transition > Reference
unsigned lastTargetIndex() const
const list< EventDecl::ConstReference > & getEventDeclsOfTargetAtIndex(unsigned index) const
reference_wrapper< Transition const > ConstReference
const list< Assignment::ConstReference > & getPostConditionOfTargetAtIndex(unsigned index) const
reference_wrapper< Expression const > ConstReference
const Expression & precondition() const
void addTarget(const list< EventDecl::ConstReference > &triggerEventDecls, const list< Assignment::ConstReference > &assignments)
Utils::Exception< Transition > Exception
unsigned numberOfTargets() const
Namespace of the Diades project.
Expression::ConstReference _precondition
vector< list< Assignment::ConstReference > > _assignments
Transition(NodeDecl &owner, const Expression &precondition)
friend ostream & operator<<(ostream &os, const Transition &transition)
const Transition * ConstPointer
Internal structure for an Altarica Transition.
vector< list< EventDecl::ConstReference > > _triggerEventDecls