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

 *

     6

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

     7

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

     8

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

     9

 *  (at your option) any later version.

    10

 *

    11

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

    12

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

    13

 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

    14

 *  GNU General Public License for more details.

    15

 *

    16

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

    17

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

    18

 *

    19

 *

    20

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

    21

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

    22

 */

    23

    24

/*

    25

 * An IEC 61131-3 compiler.

    26

 *

    27

 * Based on the

    28

 * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)

    29

 *

    30

 */

    31

    32

    33

    34

/* Returns the function block type declaration

    35

 * of a specific function block instance.

    36

 */

    37

    38

    39

    40

/* Returns the type name of a specific function block

    41

 * instance. This class will search the variable

    42

 * declarations inside the scope given to it

    43

 * searching for the declaration of the function

    44

 * block instance.

    45

 *

    46

 * The class constructor must be given the search scope

    47

 * (function, function block or program within which

    48

 * the function block instance was declared).

    49

 *

    50

 * This class will search the tree from the root given to the

    51

 * constructor. Another option would be to build a symbol table,

    52

 * and search that instead. Building the symbol table would be done

    53

 * while visiting the variable declaration objects in the parse

    54

 * tree. Unfortuantely, generate_c_c does not visit these

    55

 * objects, delegating it to another class. This means that

    56

 * we would need another specialised class just to build the

    57

 * symbol table. We might just as well have a specialised class

    58

 * that searches the tree itself for the relevant info. This

    59

 * class is exactly that...!

    60

 */

    61

    62

    63

class search_fb_instance_decl_c: public search_visitor_c {

    64

    65

  private:

    66

    symbol_c *search_scope;

    67

    68

    symbol_c *search_name;

    69

    symbol_c *current_fb_type_name;

    70

    71

  public:

    72

    search_fb_instance_decl_c(symbol_c *search_scope);

    73

    symbol_c *get_type_name(symbol_c *fb_instance_name);

    74

    75

  public:

    76

  /***************************/

    77

  /* B 0 - Programming Model */

    78

  /***************************/

    79

    void *visit(library_c *symbol);

    80

    81

  /******************************************/

    82

  /* B 1.4.3 - Declaration & Initialisation */

    83

  /******************************************/

    84

    85

  /* name_list ':' function_block_type_name ASSIGN structure_initialization */

    86

  /* structure_initialization -> may be NULL ! */

    87

    void *visit(fb_name_decl_c *symbol);

    88

  /* name_list ',' fb_name */

    89

    void *visit(fb_name_list_c *symbol);

    90

    91

  /**************************************/

    92

  /* B.1.5 - Program organization units */

    93

  /**************************************/

    94

  /***********************/

    95

  /* B 1.5.1 - Functions */

    96

  /***********************/

    97

    void *visit(function_declaration_c *symbol);

    98

    99

  /*****************************/

   100

  /* B 1.5.2 - Function Blocks */

   101

  /*****************************/

   102

    void *visit(function_block_declaration_c *symbol);

   103

   104

  /**********************/

   105

  /* B 1.5.3 - Programs */

   106

  /**********************/

   107

    void *visit(program_declaration_c *symbol);

   108

}; // search_fb_instance_decl_c

   109

   110

   111

   112