1

/*

     2

 *  matiec - a compiler for the programming languages defined in IEC 61131-3

     3

 *

     4

 *  Copyright (C) 2003-2011  Mario de Sousa (msousa@fe.up.pt)

     5

 *  Copyright (C) 2007-2011  Laurent Bessard and Edouard Tisserant

     6

 *

     7

 *  This program is free software: you can redistribute it and/or modify

     8

 *  it under the terms of the GNU General Public License as published by

     9

 *  the Free Software Foundation, either version 3 of the License, or

    10

 *  (at your option) any later version.

    11

 *

    12

 *  This program is distributed in the hope that it will be useful,

    13

 *  but WITHOUT ANY WARRANTY; without even the implied warranty of

    14

 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

    15

 *  GNU General Public License for more details.

    16

 *

    17

 *  You should have received a copy of the GNU General Public License

    18

 *  along with this program.  If not, see <http://www.gnu.org/licenses/>.

    19

 *

    20

 *

    21

 * This code is made available on the understanding that it will not be

    22

 * used in safety-critical situations without a full and competent review.

    23

 */

    24

/*

    25

 * A generic symbol table.

    26

 *

    27

 * This is used to create symbol tables such as a list of

    28

 * variables currently in scope, a list of previously defined

    29

 * functions, etc...

    30

 */

    31

    32

    33

    34

#ifndef _SYMTABLE_HH

    35

#define _SYMTABLE_HH

    36

    37

#include "../absyntax/absyntax.hh"

    38

    39

#include <map>

    40

#include <string>

    41

    42

    43

    44

    45

template<typename value_type, value_type null_value> class symtable_c {

    46

  /* Case insensitive string compare copied from

    47

   * "The C++ Programming Language" - 3rd Edition

    48

   * by Bjarne Stroustrup, ISBN 0201889544.

    49

   */

    50

  class nocase_c {

    51

    public:

    52

      bool operator() (const std::string& x, const std::string& y) const {

    53

        std::string::const_iterator ix = x.begin();

    54

        std::string::const_iterator iy = y.begin();

    55

    56

        for(; (ix != x.end()) && (iy != y.end()) && (toupper(*ix) == toupper(*iy)); ++ix, ++iy);

    57

        if (ix == x.end()) return (iy != y.end());

    58

        if (iy == y.end()) return false;

    59

        return (toupper(*ix) < toupper(*iy));

    60

      };

    61

  };

    62

    63

  public:

    64

    typedef value_type value_t;

    65

    66

  private:

    67

    /* Comparison between identifiers must ignore case, therefore the use of nocase_c */

    68

    typedef std::map<std::string, value_t, nocase_c> base_t;

    69

    base_t _base;

    70

    71

  public:

    72

  typedef typename base_t::iterator iterator;

    73

  typedef typename base_t::const_iterator const_iterator;

    74

  typedef typename base_t::reverse_iterator reverse_iterator;

    75

  typedef typename base_t::const_reverse_iterator const_reverse_iterator;

    76

    77

  private:

    78

      /* pointer to symbol table of the next inner scope */

    79

    symtable_c *inner_scope;

    80

    81

  public:

    82

    symtable_c(void);

    83

    84

    void reset(void); /* clear all entries... */

    85

    86

    void push(void); /* create new inner scope */

    87

    int  pop(void);  /* clear most inner scope */

    88

    89

    void set(const char *identifier_str, value_t value);

    90

    void set(const symbol_c *symbol, value_t value);

    91

    void insert(const char *identifier_str, value_t value);

    92

    void insert(const symbol_c *symbol, value_t value);

    93

    94

    /* Search for an entry. Will return end_value() if not found */

    95

    value_t end_value(void) {return null_value;}

    96

    value_t find_value(const char *identifier_str);

    97

    value_t find_value(const symbol_c *symbol);

    98

    99

    iterator find(const char *identifier_str) {return _base.find(identifier_str);}

   100

   101

  /* iterators pointing to beg/end of map... */

   102

    iterator begin() 			{return _base.begin();}

   103

    const_iterator begin() const	{return _base.begin();}

   104

    iterator end()			{return _base.end();}

   105

    const_iterator end() const 		{return _base.end();}

   106

    reverse_iterator rbegin()		{return _base.rbegin();}

   107

    const_reverse_iterator rbegin() const {return _base.rbegin();}

   108

    reverse_iterator rend() 		{return _base.rend();}

   109

    const_reverse_iterator rend() const	{return _base.rend();}

   110

   111

    /* debuging function... */

   112

    void print(void);

   113

};

   114

   115

   116

   117

/* Templates must include the source into the code! */

   118

#include "symtable.cc"

   119

   120

#endif /*  _SYMTABLE_HH */