lib-src/automata/llkgen.cc

   1 //////////////////////////////////////////////////////////////////////////////
   2 // NOTICE:
   3 //
   4 // ADLib, Prop and their related set of tools and documentation are in the
   5 // public domain.   The author(s) of this software reserve no copyrights on
   6 // the source code and any code generated using the tools.  You are encouraged
   7 // to use ADLib and Prop to develop software, in both academic and commercial
   8 // settings, and are free to incorporate any part of ADLib and Prop into
   9 // your programs.
  10 //
  11 // Although you are under no obligation to do so, we strongly recommend that
  12 // you give away all software developed using our tools.
  13 //
  14 // We also ask that credit be given to us when ADLib and/or Prop are used in
  15 // your programs, and that this notice be preserved intact in all the source
  16 // code.
  17 //
  18 // This software is still under development and we welcome any suggestions
  19 // and help from the users.
  20 //
  21 // Allen Leung
  22 // 1994
  23 //////////////////////////////////////////////////////////////////////////////
  24
  25 #include <iostream.h>
  26 #include <AD/automata/llkgen.h>    // LL(k) parser generator definition
  27 #include <AD/automata/follow_k.h>  // Follow set computation
  28 #include <AD/memory/mempool.h>     // Memory pool
  29
  30 //////////////////////////////////////////////////////////////////////////////
  31 //  Make hidden types visible
  32 //////////////////////////////////////////////////////////////////////////////
  33 typedef Grammar::Symbol      Symbol;
  34 typedef Grammar::Terminal    Terminal;
  35 typedef Grammar::NonTerminal NonTerminal;
  36 typedef Grammar::Action      Action;
  37 typedef Grammar::Production  Production;
  38
  39 //////////////////////////////////////////////////////////////////////////////
  40 //  Constructors and destructor
  41 //////////////////////////////////////////////////////////////////////////////
  42 LLkGen:: LLkGen() {}
  43 LLkGen:: LLkGen(const Grammar& G) { compile(G); }
  44 LLkGen::~LLkGen() {}
  45
  46 //////////////////////////////////////////////////////////////////////////////
  47 //  Compilation
  48 //////////////////////////////////////////////////////////////////////////////
  49 void LLkGen::compile(const Grammar& G)
  50 {
  51    MemPool     mem(4096);    // a memory pool
  52    FollowSet_k F(G,mem);     // follow set module
  53
  54    ///////////////////////////////////////////////////////////////////////////
  55    //  Compute nullable/first/follow/predict sets
  56    ///////////////////////////////////////////////////////////////////////////
  57
  58    ///////////////////////////////////////////////////////////////////////////
  59    //  Emit tables
  60    ///////////////////////////////////////////////////////////////////////////
  61 }
  62
  63 //////////////////////////////////////////////////////////////////////////////
  64 //  Code emission
  65 //////////////////////////////////////////////////////////////////////////////
  66 ostream& LLkGen::gen_code(ostream& out, const char name[]) const
  67 {  Super::gen_code(out,name);
  68    return out;
  69 }