pointerrule.h

Go to the documentation of this file.

#ifndef BDWY_POINTERRULE_H
#define BDWY_POINTERRULE_H

typedef std::list< pointerRuleAnn * > pointerrule_list;
typedef pointerrule_list::iterator pointerrule_list_p;
typedef pointerrule_list::const_iterator pointerrule_list_cp;


class pointerRuleAnn : public Ann
{
private:

  exprAnn * _condition;

  bool _is_condition_true;

  structuretree_list * _effects_tree;

  TREE structure_list _effects;

 public:

  pointerRuleAnn(exprAnn * condition, structuretree_list * effects_tree, int line);

  ~pointerRuleAnn();

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

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

  inline structuretree_list * effects_tree() const { return _effects_tree; }

  inline structure_list & effects() { return _effects; }

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

  bool is_condition_true() const { return _is_condition_true; }

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

  private:
 // DQ (9/13/2011): This copy constructor was built because static analysis tools (made it private to force compile time error if used).
       pointerRuleAnn(const pointerRuleAnn & X);

};

#endif /* BDWY_POINTERRULE_H */