streenode.h

Go to the documentation of this file.

#ifndef _STREE_NODE_H_
#define _STREE_NODE_H_

#include "location.h"

#include <map>
#include <string>
#include <set>
#include <iostream>

#ifndef DOXYSKIP
using namespace std;
#endif

enum SType {
  SVariable, 
  SConstant, 
  SList,     
  SPin,      
  SContext   
};

class NameSpace;
class List;

class Node
{
 protected:
  Location location;

public:
  class Assignment : public map<int,const Node*>{
  public:
    ~Assignment(){
      iterator it = begin();
      iterator eit = end();
      while (it!=eit){
        delete it->second;
        it++;
      };
    };
  };

  class Transformer {
  public:
    virtual Node* transform(Node* node) const = 0;
  };
  
  class Tester {
  public:
    virtual bool test(const Node* node, const NameSpace &nameSpace) const = 0;
    virtual Tester* copy() const = 0;
    virtual Tester* substitute(const Assignment &assign) = 0;
    virtual ~Tester() {};
  };

  typedef set<int> VariableList;
  
  friend ostream& operator<<(ostream &os, const Assignment &data);

  Node(const string &icomment, const int ilineno = 0) : location(icomment,ilineno) {}
  
  Node() : location("",0) {};

  virtual ~Node() {};

  virtual SType getType() const = 0;    

  virtual string getName() const = 0;
  
  virtual ostream& print(ostream &os) const = 0;

  virtual ostream& php(ostream &os) const = 0;

  virtual bool match(const Node *p, Assignment &assign, const NameSpace &nameSpace) const = 0;

  virtual bool matchToBegining(const List *p, Assignment &assign, const NameSpace &nameSpace) const = 0;

  virtual bool compare(const Node *p) const = 0;

  virtual Node* copy() const = 0;
  
  virtual void getVariables(VariableList &vlist) const = 0;    
  
  friend ostream& operator<<(ostream &os, const Node *data);
  
  string toString() const; 
  
  virtual Node* push_back(Node *statement);
  
  virtual Node* transform(const Transformer* transformer);
  
  virtual bool forall(const Tester* tester, const NameSpace &nameSpace) const;
  
  virtual bool exists(const Tester* tester, const NameSpace &nameSpace) const;

  friend void substituteNode(Node* &node, const Assignment &assign);

  virtual string evaluate(const NameSpace &nameSpace) const = 0;

  virtual int getLength() const;

 protected:
  virtual Node* substitute(const Assignment &assign) = 0; 
};

#endif

---