prop-src/grsgen.ph

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //
   3 //  This file describes the graph rewriting system compiler.
   4 //
   5 ///////////////////////////////////////////////////////////////////////////////
   6 #ifndef graph_rewriting_system_compiler_h
   7 #define graph_rewriting_system_compiler_h
   8
   9 #include "basics.ph"
  10 #include "codegen.h"
  11 #include "matchcom.ph"
  12
  13 ///////////////////////////////////////////////////////////////////////////////
  14 //
  15 //  Forward type declarations
  16 //
  17 ///////////////////////////////////////////////////////////////////////////////
  18 datatype Pat and Exp and Decl;
  19
  20 ///////////////////////////////////////////////////////////////////////////////
  21 //
  22 //  Abstract syntax for graph rewriting rules
  23 //
  24 ///////////////////////////////////////////////////////////////////////////////
  25 datatype
  26     GraphRewritingRule : Loc =         // a graph rewriting rule
  27        GRSrule { lhs : GRSPat,         // antecedent
  28                  rhs : GRSConclusions  // conclusions
  29                }
  30
  31 and GRSPat : Loc =                 // antecedent of a rule
  32        EDGEgpat  (Id, List<Pat>)   // edge pattern, i.e. pattern on a relation
  33     |  GUARDgpat (Exp)             // guard expressions
  34     |  NOTgpat   (GRSPat)          // negation
  35     |  ANDgpat   (GRSPat, GRSPat)  // conjunction
  36     |  ORgpat    (GRSPat, GRSPat)  // disjunction
  37     |  FORALLgpat(Id, GRSPat)      // universal quantification
  38
  39 and GRSConclusion : Loc =
  40        ADDEDGEaction     (Id, List<Exp>)  // add a new edge
  41     |  DELETEEDGEaction  (Id, List<Exp>)  // delete an edge
  42     |  ADDNODEaction     (Exp)            // add a node
  43     |  DELETENODEaction  (Exp)            // delete a node
  44     |  EMBEDDEDaction    (List<Decl>)     // any embedded action
  45
  46 where type GRSConclusions = List<GRSConclusion>
  47 ;
  48
  49 ///////////////////////////////////////////////////////////////////////////////
  50 //
  51 //  The interface to the graph rewriting system compiler
  52 //
  53 ///////////////////////////////////////////////////////////////////////////////
  54 class GraphRewritingCompiler : virtual public CodeGen,
  55                                virtual public MatchCompiler
  56 {  GraphRewritingCompiler(const GraphRewritingCompiler&);
  57    void operator = (const GraphRewritingCompiler&);
  58 public:
  59    GraphRewritingCompiler();
  60   ~GraphRewritingCompiler();
  61
  62    void gen_graph_rewriting_system (Id, LabTys, List<GraphRewritingRule>);
  63 };
  64
  65 #endif