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

/*

    26

 * An IEC 61131-3 compiler.

    27

 *

    28

 * Based on the

    29

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

    30

 *

    31

 */

    32

    33

    34

/*

    35

 * Function call parameter iterator.

    36

 *

    37

 * This is part of the 4th stage that generates

    38

 * a c++ source program equivalent to the IL and ST

    39

 * code.

    40

 */

    41

    42

    43

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

    44

    45

    46

    47

/* given a function_body_c, iterate through each

    48

 * function/FB call in that code.

    49

 */

    50

    51

class function_call_iterator_c : public iterator_visitor_c {

    52

    53

  private:

    54

    symbol_c *start_symbol;

    55

    int next_fcall, fcall_count;

    56

    symbol_c *current_fcall_name;

    57

    symbol_c *current_finvocation;

    58

    59

  public:

    60

    /* initialise the iterator object.

    61

     * We must be given a reference to the function declaration

    62

     * that will be analysed...

    63

     */

    64

    function_call_iterator_c(symbol_c *symbol);

    65

    66

    /* Skip to the next function call. After object creation,

    67

     * the object references _before_ the first, so

    68

     * this function must be called once to get the object to

    69

     * reference the first function call...

    70

     *

    71

     * Returns the function_invocation_c!

    72

     */

    73

    symbol_c *next(void);

    74

    75

    /* Returns the name of the currently referenced function invocation */

    76

    identifier_c *fname(void);

    77

    78

  private:

    79

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

    80

  /* B.3 - Language ST (Structured Text) */

    81

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

    82

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

    83

  /* B 3.1 - Expressions */

    84

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

    85

    void *visit(function_invocation_c *symbol);

    86

    87

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

    88

  /* B.2 - Language IL (Instruction List) */

    89

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

    90

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

    91

  /* B 2.1 Instructions and Operands */

    92

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

    93

    94

  /* | function_name [il_operand_list] */

    95

  // SYM_REF2(il_function_call_c, function_name, il_operand_list)

    96

    void *visit(il_function_call_c *symbol);

    97

    98

  /* | function_name '(' eol_list [il_param_list] ')' */

    99

  // SYM_REF2(il_formal_funct_call_c, function_name, il_param_list)

   100

  void *visit(il_formal_funct_call_c *symbol);

   101

   102

}; // class function_call_iterator_c 

   103

   104

   105

   106