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->get_element(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

  /* NOTE: We comment out the consistency check so the compiler does not bork when it encounters buggy source code.

    86

   *        e.g. Code that handles a non array variable as an array!

    87

   *               VAR  v1, v2: int; END_VAR

    88

   *               v1 := v2[33, 45];

    89

   *       The above error will be caught by the datatype checking algorithms!

    90

   */

    91

  array_spec_init_c    * array_spec_init = dynamic_cast<array_spec_init_c    *>(symbol); 

    92

  if (NULL != array_spec_init)    symbol = array_spec_init->array_specification;

    93

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

    94

  // if (NULL == array_spec) ERROR;

    95

    96

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

    97

  this->array_specification = array_spec; // Set to array_spec and not symbol => will be NULL if not an array_specification_c* !!

    98

  reset();

    99

}

   100

   101

   102

   103

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

   104

 * the object references on subrange _before_ the first, so

   105

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

   106

 * reference the first subrange...

   107

 *

   108

 * Returns the subrange symbol!

   109

 */

   110

subrange_c *array_dimension_iterator_c::next(void) {

   111

  if (NULL == array_specification) return NULL; /* The source code probably has a bug which will be caught somewhere else! */

   112

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

   113

  if (NULL == res)                 return NULL;

   114

   115

  return current_array_dimension;

   116

}

   117

   118

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

   119

/* B 1.3.3 - Derived data types */

   120

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

   121

/*  signed_integer DOTDOT signed_integer */

   122

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

   123

  if (current_array_dimension == symbol) {

   124

	current_array_dimension = NULL;

   125

  }

   126

  else if (current_array_dimension == NULL) {

   127

	current_array_dimension = symbol;

   128

	return symbol;

   129

  }

   130

   131

  /* Not found! */

   132

  return NULL;

   133

}

   134

   135

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

   136

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

   137

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

   138

}

   139

   140

/* array_subrange_list ',' subrange */

   141

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

   142

  return iterate_list(symbol);

   143

}

   144