prop-src/setlgen.pcc

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //
   3 //  This file implements the data structure mapping component of the
   4 //  SETL sublanguage.
   5 //
   6 ///////////////////////////////////////////////////////////////////////////////
   7 #include "ir.ph"
   8 #include "ast.ph"
   9 #include "setl-ast.ph"
  10 #include "setlgen.h"
  11 #include "type.h"
  12
  13 ///////////////////////////////////////////////////////////////////////////////
  14 //
  15 //  Constructor and destructor
  16 //
  17 ///////////////////////////////////////////////////////////////////////////////
  18 SETLCompiler:: SETLCompiler() {}
  19 SETLCompiler::~SETLCompiler() {}
  20
  21 ///////////////////////////////////////////////////////////////////////////////
  22 //
  23 //  Entry points of the SETL data structure mapping compiler
  24 //
  25 ///////////////////////////////////////////////////////////////////////////////
  26
  27 ///////////////////////////////////////////////////////////////////////////////
  28 //
  29 //  Generate a SETL statement
  30 //
  31 ///////////////////////////////////////////////////////////////////////////////
  32 void SETLCompiler::gen_setl (Stmt stmt)
  33 {
  34    bug("SETL sublanguage is not implemented");
  35    gen_stmt(stmt);
  36 }
  37
  38 ///////////////////////////////////////////////////////////////////////////////
  39 //
  40 //  Generate a SETL definition
  41 //
  42 ///////////////////////////////////////////////////////////////////////////////
  43 void SETLCompiler::gen_setl (Def def)
  44 {  pr ("%^/*\n");
  45    gen_def(def);
  46    pr ("%^*/\n");
  47 }
  48
  49 ///////////////////////////////////////////////////////////////////////////////
  50 //
  51 //  Code generation method for definitions
  52 //
  53 ///////////////////////////////////////////////////////////////////////////////
  54 void SETLCompiler::gen_def (Def def)
  55 {
  56 }
  57
  58 ///////////////////////////////////////////////////////////////////////////////
  59 //
  60 //  Code generation method for a list of definitions
  61 //
  62 ///////////////////////////////////////////////////////////////////////////////
  63 void SETLCompiler::gen_defs (Defs defs)
  64 {  match while (defs)
  65    {  #[ one ... rest ]: { gen_def(one); defs = rest; }
  66    }
  67 }
  68
  69 ///////////////////////////////////////////////////////////////////////////////
  70 //
  71 //  Code generation method for statements
  72 //
  73 ///////////////////////////////////////////////////////////////////////////////
  74 void SETLCompiler::gen_stmt (Stmt stmt)
  75 {   match (stmt) of
  76        NOstmt: // skip
  77     |  ASSIGNstmt(a,b):
  78     |  BLOCKstmt(defs,stmts):
  79     |  WHILEstmt(c, s):
  80     |  IFstmt(cond,yes,no):
  81     |  MATCHstmt decl:        pr("%D",decl);
  82     |  REWRITEstmt decl:      pr("%D",decl);
  83     |  REPLACEMENTstmt decl:  pr("%D",decl);
  84     |  FORALLstmt (_,_): // skip
  85     |  RETURNstmt e:          pr("return %e;",e);
  86     end match;
  87 }
  88
  89 ///////////////////////////////////////////////////////////////////////////////
  90 //
  91 //  Code generation method for a list of statements
  92 //
  93 ///////////////////////////////////////////////////////////////////////////////
  94 void SETLCompiler::gen_stmts (Stmts stmts)
  95 {  match while (stmts)
  96    {  #[ one ... rest ]: { gen_stmt(one); stmts = rest; }
  97    }
  98 }
  99
 100 ///////////////////////////////////////////////////////////////////////////////
 101 //
 102 //  Code generation method for expressions
 103 //
 104 ///////////////////////////////////////////////////////////////////////////////
 105 void SETLCompiler::gen_exp (Exp exp)
 106 {
 107 }
 108
 109 ///////////////////////////////////////////////////////////////////////////////
 110 //
 111 //  Code generation method for an expression list
 112 //
 113 ///////////////////////////////////////////////////////////////////////////////
 114 void SETLCompiler::gen_exps (Exps exps)
 115 {  match while (exps)
 116    {  #[one]:           { gen_exp(one); exps = #[]; }
 117    |  #[one ... rest]:  { gen_exp(one); exps = rest; }
 118    }
 119 }