include/AD/automata/lr1gen.h

   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 #ifndef LR1_parser_generator_h
  26 #define LR1_parser_generator_h
  27
  28 #include <iostream>
  29 #include <AD/automata/grammar.h>  // Parser grammar
  30 #include <AD/automata/lrgen.h>    // LR parser generator base class
  31
  32 class LR1Gen : public LRGen {
  33
  34    LR1Gen(const LR1Gen&);             // no copy constructor
  35    void operator = (const LR1Gen&);   // no assignment
  36
  37 public:
  38
  39    /////////////////////////////////////////////////////////////////////////
  40    //  Inherit some types
  41    /////////////////////////////////////////////////////////////////////////
  42    typedef LRGen                   Super;
  43    typedef Super::Symbol           Symbol;
  44    typedef Super::State            State;
  45    typedef Super::Offset           Offset;
  46    typedef Super::Rule             Rule;
  47    typedef Super::ProductionLength ProductionLength;
  48    typedef Super::EquivMap         EquivMap;
  49
  50 public:
  51
  52    /////////////////////////////////////////////////////////////////////////
  53    //  Constructor and destructor
  54    /////////////////////////////////////////////////////////////////////////
  55    LR1Gen();
  56   ~LR1Gen();
  57
  58    /////////////////////////////////////////////////////////////////////////
  59    //  Table compilation and code generation
  60    /////////////////////////////////////////////////////////////////////////
  61    virtual void     compile (const Grammar&);
  62    virtual std::ostream& gen_code(std::ostream&, const char []) const;
  63 };
  64
  65 #endif