rule.h

Go to the documentation of this file.

#ifndef BDWY_RULE_H
#define BDWY_RULE_H

typedef std::list< ruleAnn * > rule_list;
typedef rule_list::iterator rule_list_p;
typedef rule_list::const_iterator rule_list_cp;


class ruleAnn : public Ann
{
private:

  exprAnn * _condition;

  bool _is_condition_true;

  exprann_list _effects;

 public:

  ruleAnn(exprAnn * condition, exprann_list * effects, int line);

  inline bool has_condition() const { return _condition != 0; }

  inline exprAnn * condition() const { return _condition; }

#ifdef __PROCLOCATION 
  void test(procLocation * where,
            propertyAnalyzer * property_analyzer);
#endif

  bool is_condition_true() const { return _is_condition_true; }

#ifdef __PROCLOCATION 
  void compute_next(procLocation * where);
#endif

#ifdef __PROCLOCATION 
  void apply_next(procLocation * where,
                  propertyAnalyzer * property_analyzer,
                  memoryblock_set & changes);
#endif

  void lookup(propertyAnn * default_property,
              procedureAnn * procedure,
              Annotations * annotations);

};

#endif /* BDWY_RULE_H */