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

 * Array dimension iterator.

    36

 * Iterate through the dimensions of array specification.

    37

 *

    38

 * This is part of the 4th stage that generates

    39

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

    40

 * code.

    41

 */

    42

    43

/* Given a array_specification_c, iterate through

    44

 * each subrange, returning the symbol of each subrange

    45

 * ...array_dimension_iterator_c

    46

 */

    47

    48

    49

    50

    51

#include "array_dimension_iterator.hh"

    52

#include "../main.hh" // required for ERROR() and ERROR_MSG() macros.

    53

    54

    55

//#define DEBUG

    56

#ifdef DEBUG

    57

#define TRACE(classname) printf("\n____%s____\n",classname);

    58

#else

    59

#define TRACE(classname)

    60

#endif

    61

    62

    63

    64

void* array_dimension_iterator_c::iterate_list(list_c *list) {

    65

  void *res;

    66

  for (int i = 0; i < list->n; i++) {

    67

    res = list->elements[i]->accept(*this);

    68

    if (res != NULL)

    69

        return res;

    70

  }

    71

  return NULL;

    72

}

    73

    74

/* start off at the first case element once again... */

    75

void array_dimension_iterator_c::reset(void) {

    76

  current_array_dimension = NULL;

    77

}

    78

    79

    80

/* initialize the iterator object.

    81

 * We must be given a reference to a array_specification_c that will be analyzed...

    82

 */

    83

array_dimension_iterator_c::array_dimension_iterator_c(symbol_c *symbol) {

    84

  /* do some consistency check... */

    85

  array_specification_c* array_spec = dynamic_cast<array_specification_c*>(symbol);

    86

    87

  if (NULL == array_spec) ERROR;

    88

    89

  /* OK. Now initialize this object... */

    90

  this->array_specification = symbol;

    91

  reset();

    92

}

    93

    94

    95

    96

/* Skip to the next subrange. After object creation,

    97

 * the object references on subrange _before_ the first, so

    98

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

    99

 * reference the first subrange...

   100

 *

   101

 * Returns the subrange symbol!

   102

 */

   103

subrange_c *array_dimension_iterator_c::next(void) {

   104

  void *res = array_specification->accept(*this);

   105

  if (res == NULL) 

   106

    return NULL;

   107

   108

  return current_array_dimension;

   109

}

   110

   111

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

   112

/* B 1.3.3 - Derived data types */

   113

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

   114

/*  signed_integer DOTDOT signed_integer */

   115

void *array_dimension_iterator_c::visit(subrange_c *symbol) {

   116

  if (current_array_dimension == symbol) {

   117

	current_array_dimension = NULL;

   118

  }

   119

  else if (current_array_dimension == NULL) {

   120

	current_array_dimension = symbol;

   121

	return symbol;

   122

  }

   123

   124

  /* Not found! */

   125

  return NULL;

   126

}

   127

   128

/* ARRAY '[' array_subrange_list ']' OF non_generic_type_name */

   129

void *array_dimension_iterator_c::visit(array_specification_c *symbol) {

   130

  return symbol->array_subrange_list->accept(*this);

   131

}

   132

   133

/* array_subrange_list ',' subrange */

   134

void *array_dimension_iterator_c::visit(array_subrange_list_c *symbol) {

   135

  return iterate_list(symbol);

   136

}

   137