1

/*

     2

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

     3

 *

     4

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

     5

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

     6

 *  Copyright (C) 2012       Manuele Conti  (conti.ma@alice.it)

     7

 *

     8

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

     9

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

    10

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

    11

 *  (at your option) any later version.

    12

 *

    13

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

    14

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

    15

 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

    16

 *  GNU General Public License for more details.

    17

 *

    18

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

    19

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

    20

 *

    21

 *

    22

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

    23

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

    24

 */

    25

    26

/*

    27

 * An IEC 61131-3 compiler.

    28

 *

    29

 * Based on the

    30

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

    31

 *

    32

 */

    33

    34

/* Determine the characteristics of a specific data type

    35

 *  e.g., is it an enumeration, is it an array, is it ANY_INT, etc...

    36

 *

    37

 * The methods of this class may be passed either:

    38

 *  - a data type declaration symbol_c, 

    39

 *   OR

    40

 *  - the name of a data type (identifier_c)

    41

 *    In this case, we shall first serach for the basetype declaration using search_base_type_c, and then 

    42

 *    run the normal process.

    43

 */

    44

#include "absyntax_utils.hh"

    45

    46

#include "../main.hh" // required for ERROR() and ERROR_MSG() macros, as well as the runtime_options global variable

    47

    48

    49

    50

#include <typeinfo>  // required for typeid

    51

    52

    53

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

    54

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

    55

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

    56

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

    57

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

    58

/*****           Some helper classes                  *****/

    59

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

    60

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

    61

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

    62

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

    63

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

    64

    65

    66

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

    67

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

    68

/* Return the identifier (name) of a datatype, typically declared in a TYPE .. END_TYPE declaration */

    69

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

    70

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

    71

class get_datatype_id_c: null_visitor_c {

    72

  private:

    73

    static get_datatype_id_c *singleton;

    74

    75

  public:

    76

    static symbol_c *get_id(symbol_c *symbol) {

    77

      if (NULL == singleton) singleton = new  get_datatype_id_c();

    78

      if (NULL == singleton) ERROR;

    79

      return (symbol_c *)symbol->accept(*singleton);

    80

    }

    81

    82

  protected:

    83

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

    84

    /* B 1.3.1 - Elementary Data Types */

    85

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

    86

    void *visit(time_type_name_c        *symbol) {return (void *)symbol;};

    87

    void *visit(bool_type_name_c        *symbol) {return (void *)symbol;};

    88

    void *visit(sint_type_name_c        *symbol) {return (void *)symbol;};

    89

    void *visit(int_type_name_c         *symbol) {return (void *)symbol;};

    90

    void *visit(dint_type_name_c        *symbol) {return (void *)symbol;};

    91

    void *visit(lint_type_name_c        *symbol) {return (void *)symbol;};

    92

    void *visit(usint_type_name_c       *symbol) {return (void *)symbol;};

    93

    void *visit(uint_type_name_c        *symbol) {return (void *)symbol;};

    94

    void *visit(udint_type_name_c       *symbol) {return (void *)symbol;};

    95

    void *visit(ulint_type_name_c       *symbol) {return (void *)symbol;};

    96

    void *visit(real_type_name_c        *symbol) {return (void *)symbol;};

    97

    void *visit(lreal_type_name_c       *symbol) {return (void *)symbol;};

    98

    void *visit(date_type_name_c        *symbol) {return (void *)symbol;};

    99

    void *visit(tod_type_name_c         *symbol) {return (void *)symbol;};

   100

    void *visit(dt_type_name_c          *symbol) {return (void *)symbol;};

   101

    void *visit(byte_type_name_c        *symbol) {return (void *)symbol;};

   102

    void *visit(word_type_name_c        *symbol) {return (void *)symbol;};

   103

    void *visit(lword_type_name_c       *symbol) {return (void *)symbol;};

   104

    void *visit(dword_type_name_c       *symbol) {return (void *)symbol;};

   105

    void *visit(string_type_name_c      *symbol) {return (void *)symbol;};

   106

    void *visit(wstring_type_name_c     *symbol) {return (void *)symbol;};

   107

   108

    void *visit(safetime_type_name_c    *symbol) {return (void *)symbol;};

   109

    void *visit(safebool_type_name_c    *symbol) {return (void *)symbol;};

   110

    void *visit(safesint_type_name_c    *symbol) {return (void *)symbol;};

   111

    void *visit(safeint_type_name_c     *symbol) {return (void *)symbol;};

   112

    void *visit(safedint_type_name_c    *symbol) {return (void *)symbol;};

   113

    void *visit(safelint_type_name_c    *symbol) {return (void *)symbol;};

   114

    void *visit(safeusint_type_name_c   *symbol) {return (void *)symbol;};

   115

    void *visit(safeuint_type_name_c    *symbol) {return (void *)symbol;};

   116

    void *visit(safeudint_type_name_c   *symbol) {return (void *)symbol;};

   117

    void *visit(safeulint_type_name_c   *symbol) {return (void *)symbol;};

   118

    void *visit(safereal_type_name_c    *symbol) {return (void *)symbol;};

   119

    void *visit(safelreal_type_name_c   *symbol) {return (void *)symbol;};

   120

    void *visit(safedate_type_name_c    *symbol) {return (void *)symbol;};

   121

    void *visit(safetod_type_name_c     *symbol) {return (void *)symbol;};

   122

    void *visit(safedt_type_name_c      *symbol) {return (void *)symbol;};

   123

    void *visit(safebyte_type_name_c    *symbol) {return (void *)symbol;};

   124

    void *visit(safeword_type_name_c    *symbol) {return (void *)symbol;};

   125

    void *visit(safelword_type_name_c   *symbol) {return (void *)symbol;};

   126

    void *visit(safedword_type_name_c   *symbol) {return (void *)symbol;};

   127

    void *visit(safestring_type_name_c  *symbol) {return (void *)symbol;};

   128

    void *visit(safewstring_type_name_c *symbol) {return (void *)symbol;};

   129

   130

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

   131

    /* B 1.3.3 - Derived data types */

   132

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

   133

    /*  simple_type_name ':' simple_spec_init */

   134

    void *visit(simple_type_declaration_c     *symbol)  {return symbol->simple_type_name;}

   135

    /*  subrange_type_name ':' subrange_spec_init */

   136

    void *visit(subrange_type_declaration_c   *symbol)  {return symbol->subrange_type_name;}

   137

    /*  enumerated_type_name ':' enumerated_spec_init */

   138

    void *visit(enumerated_type_declaration_c *symbol)  {return symbol->enumerated_type_name;}

   139

    /*  identifier ':' array_spec_init */

   140

    void *visit(array_type_declaration_c      *symbol)  {return symbol->identifier;}

   141

    /*  structure_type_name ':' structure_specification */

   142

    void *visit(structure_type_declaration_c  *symbol)  {return symbol->structure_type_name;}

   143

    /*  string_type_name ':' elementary_string_type_name string_type_declaration_size string_type_declaration_init */

   144

    void *visit(string_type_declaration_c     *symbol)  {return symbol->string_type_name;}

   145

    /* ref_type_decl: identifier ':' ref_spec_init */

   146

    void *visit(ref_type_decl_c               *symbol)  {return symbol->ref_type_name;}

   147

    /* NOTE: DO NOT place any code here that references symbol->anotations_map["generate_c_annotaton__implicit_type_id"] !!

   148

     *       All anotations in the symbol->anotations_map[] are considered a stage4 construct. In the above example,

   149

     *       That anotation is specific to the generate_c stage4 code, and must therefore NOT be referenced

   150

     *       in the absyntax_utils code, as this last code should be independent of the stage4 version!

   151

     */ 

   152

   153

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

   154

    /* B 1.5.2 - Function Blocks */

   155

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

   156

    /*  FUNCTION_BLOCK derived_function_block_name io_OR_other_var_declarations function_block_body END_FUNCTION_BLOCK */

   157

    void *visit(function_block_declaration_c  *symbol)  {return symbol->fblock_name;}

   158

}; // get_datatype_id_c 

   159

   160

get_datatype_id_c *get_datatype_id_c::singleton = NULL;

   161

   162

   163

   164

   165

   166

   167

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

   168

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

   169

/* transform elementary data type class to string */

   170

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

   171

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

   172

   173

/* A small helper class, to transform elementary data type to string.

   174

 * this allows us to generate more relevant error messages...

   175

 */

   176

   177

class get_datatype_id_str_c: public null_visitor_c {

   178

  protected:

   179

     get_datatype_id_str_c(void)  {};

   180

    ~get_datatype_id_str_c(void) {};

   181

   182

  private:

   183

    /* singleton class! */

   184

    static get_datatype_id_str_c *singleton;

   185

   186

  public:

   187

    static const char *get_id_str(symbol_c *symbol) {

   188

      if (NULL == singleton)    singleton = new get_datatype_id_str_c;

   189

      if (NULL == singleton)    ERROR;

   190

      const char *res           = (const char *)symbol->accept(*singleton);

   191

      if (NULL == res)          ERROR;

   192

      return res;

   193

    }

   194

   195

   196

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

   197

    /* B.1 - Common elements */

   198

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

   199

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

   200

    /* B 1.1 - Letters, digits and identifiers */

   201

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

   202

    void *visit(                 identifier_c *symbol) {return (void *)symbol->value;};

   203

    void *visit(derived_datatype_identifier_c *symbol) {return (void *)symbol->value;};

   204

   205

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

   206

    /* B 1.3.1 - Elementary Data Types */

   207

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

   208

    void *visit(time_type_name_c        *symbol) {return (void *)"TIME";        };

   209

    void *visit(bool_type_name_c        *symbol) {return (void *)"BOOL";        };

   210

    void *visit(sint_type_name_c        *symbol) {return (void *)"SINT";        };

   211

    void *visit(int_type_name_c         *symbol) {return (void *)"INT";         };

   212

    void *visit(dint_type_name_c        *symbol) {return (void *)"DINT";        };

   213

    void *visit(lint_type_name_c        *symbol) {return (void *)"LINT";        };

   214

    void *visit(usint_type_name_c       *symbol) {return (void *)"USINT";       };

   215

    void *visit(uint_type_name_c        *symbol) {return (void *)"UINT";        };

   216

    void *visit(udint_type_name_c       *symbol) {return (void *)"UDINT";       };

   217

    void *visit(ulint_type_name_c       *symbol) {return (void *)"ULINT";       };

   218

    void *visit(real_type_name_c        *symbol) {return (void *)"REAL";        };

   219

    void *visit(lreal_type_name_c       *symbol) {return (void *)"LREAL";       };

   220

    void *visit(date_type_name_c        *symbol) {return (void *)"DATE";        };

   221

    void *visit(tod_type_name_c         *symbol) {return (void *)"TOD";         };

   222

    void *visit(dt_type_name_c          *symbol) {return (void *)"DT";          };

   223

    void *visit(byte_type_name_c        *symbol) {return (void *)"BYTE";        };

   224

    void *visit(word_type_name_c        *symbol) {return (void *)"WORD";        };

   225

    void *visit(lword_type_name_c       *symbol) {return (void *)"LWORD";       };

   226

    void *visit(dword_type_name_c       *symbol) {return (void *)"DWORD";       };

   227

    void *visit(string_type_name_c      *symbol) {return (void *)"STRING";      };

   228

    void *visit(wstring_type_name_c     *symbol) {return (void *)"WSTRING";     };

   229

   230

    void *visit(safetime_type_name_c    *symbol) {return (void *)"SAFETIME";    };

   231

    void *visit(safebool_type_name_c    *symbol) {return (void *)"SAFEBOOL";    };

   232

    void *visit(safesint_type_name_c    *symbol) {return (void *)"SAFESINT";    };

   233

    void *visit(safeint_type_name_c     *symbol) {return (void *)"SAFEINT";     };

   234

    void *visit(safedint_type_name_c    *symbol) {return (void *)"SAFEDINT";    };

   235

    void *visit(safelint_type_name_c    *symbol) {return (void *)"SAFELINT";    };

   236

    void *visit(safeusint_type_name_c   *symbol) {return (void *)"SAFEUSINT";   };

   237

    void *visit(safeuint_type_name_c    *symbol) {return (void *)"SAFEUINT";    };

   238

    void *visit(safeudint_type_name_c   *symbol) {return (void *)"SAFEUDINT";   };

   239

    void *visit(safeulint_type_name_c   *symbol) {return (void *)"SAFEULINT";   };

   240

    void *visit(safereal_type_name_c    *symbol) {return (void *)"SAFEREAL";    };

   241

    void *visit(safelreal_type_name_c   *symbol) {return (void *)"SAFELREAL";   };

   242

    void *visit(safedate_type_name_c    *symbol) {return (void *)"SAFEDATE";    };

   243

    void *visit(safetod_type_name_c     *symbol) {return (void *)"SAFETOD";     };

   244

    void *visit(safedt_type_name_c      *symbol) {return (void *)"SAFEDT";      };

   245

    void *visit(safebyte_type_name_c    *symbol) {return (void *)"SAFEBYTE";    };

   246

    void *visit(safeword_type_name_c    *symbol) {return (void *)"SAFEWORD";    };

   247

    void *visit(safelword_type_name_c   *symbol) {return (void *)"SAFELWORD";   };

   248

    void *visit(safedword_type_name_c   *symbol) {return (void *)"SAFEDWORD";   };

   249

    void *visit(safestring_type_name_c  *symbol) {return (void *)"SAFESTRING";  };

   250

    void *visit(safewstring_type_name_c *symbol) {return (void *)"SAFEWSTRING"; };

   251

   252

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

   253

    /* B.1.3.2 - Generic data types */

   254

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

   255

    void *visit(generic_type_any_c *symbol) {return (void *)"ANY"; };

   256

   257

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

   258

    /* B 1.3.3 - Derived data types */

   259

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

   260

    /*  simple_type_name ':' simple_spec_init */

   261

    void *visit(simple_type_declaration_c     *symbol)  {return symbol->simple_type_name->accept(*this);}

   262

    /*  subrange_type_name ':' subrange_spec_init */

   263

    void *visit(subrange_type_declaration_c   *symbol)  {return symbol->subrange_type_name->accept(*this);}

   264

    /*  enumerated_type_name ':' enumerated_spec_init */

   265

    void *visit(enumerated_type_declaration_c *symbol)  {return symbol->enumerated_type_name->accept(*this);}

   266

    /*  identifier ':' array_spec_init */

   267

    void *visit(array_type_declaration_c      *symbol)  {return symbol->identifier->accept(*this);}

   268

    /*  structure_type_name ':' structure_specification */

   269

    void *visit(structure_type_declaration_c  *symbol)  {return symbol->structure_type_name->accept(*this);}

   270

    /*  string_type_name ':' elementary_string_type_name string_type_declaration_size string_type_declaration_init */

   271

    void *visit(string_type_declaration_c     *symbol)  {return symbol->string_type_name->accept(*this);}

   272

    /* ref_type_decl: identifier ':' ref_spec_init */

   273

    void *visit(ref_type_decl_c               *symbol)  {return symbol->ref_type_name->accept(*this);}

   274

    /* NOTE: DO NOT place any code here that references symbol->anotations_map["generate_c_annotaton__implicit_type_id"] !!

   275

     *       All anotations in the symbol->anotations_map[] are considered a stage4 construct. In the above example,

   276

     *       That anotation is specific to the generate_c stage4 code, and must therefore NOT be referenced

   277

     *       in the absyntax_utils code, as this last code should be independent of the stage4 version!

   278

     */ 

   279

   280

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

   281

    /* B 1.5.2 - Function Blocks */

   282

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

   283

    /*  FUNCTION_BLOCK derived_function_block_name io_OR_other_var_declarations function_block_body END_FUNCTION_BLOCK */

   284

    void *visit(function_block_declaration_c  *symbol)  {return symbol->fblock_name->accept(*this);}    

   285

};

   286

   287

get_datatype_id_str_c *get_datatype_id_str_c::singleton = NULL;

   288

   289

   290

   291

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

   292

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

   293

/* get the datatype of a field inside a struct data type */

   294

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

   295

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

   296

   297

class get_struct_info_c : null_visitor_c {

   298

  private:

   299

    symbol_c *current_field;

   300

    /* singleton class! */

   301

    static get_struct_info_c *singleton;

   302

   303

  public:

   304

    get_struct_info_c(void) {current_field = NULL;}

   305

   306

    static symbol_c *get_field_type_id(symbol_c *struct_type, symbol_c *field_name) {

   307

      if (NULL == singleton)    singleton = new get_struct_info_c;

   308

      if (NULL == singleton)    ERROR;

   309

      singleton->current_field = field_name;

   310

      return (symbol_c *)struct_type->accept(*singleton);

   311

    }

   312

   313

   314

  private:

   315

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

   316

    /* B.1 - Common elements */

   317

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

   318

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

   319

    /* B 1.3.3 - Derived data types */

   320

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

   321

    /*  structure_type_name ':' structure_specification */

   322

    /* NOTE: this is only used inside a TYPE ... END_TYPE declaration.  It is never used directly when declaring a new variable! */

   323

    /* NOTE: structure_specification will point to either initialized_structure_c  OR  structure_element_declaration_list_c */

   324

    void *visit(structure_type_declaration_c *symbol) {return symbol->structure_specification->accept(*this);}

   325

   326

    /* structure_type_name ASSIGN structure_initialization */

   327

    /* structure_initialization may be NULL ! */

   328

    // SYM_REF2(initialized_structure_c, structure_type_name, structure_initialization)

   329

    /* NOTE: only the initialized structure is never used when declaring a new variable instance */

   330

    void *visit(initialized_structure_c *symbol) {return symbol->structure_type_name->accept(*this);}

   331

   332

    /* helper symbol for structure_declaration */

   333

    /* structure_declaration:  STRUCT structure_element_declaration_list END_STRUCT */

   334

    /* structure_element_declaration_list structure_element_declaration ';' */

   335

    void *visit(structure_element_declaration_list_c *symbol) {

   336

      /* now search the structure declaration */

   337

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

   338

        void *tmp = symbol->elements[i]->accept(*this);

   339

        if (NULL != tmp) return tmp;

   340

      }

   341

      return NULL; // not found!!

   342

    }  

   343

   344

    /*  structure_element_name ':' spec_init */

   345

    void *visit(structure_element_declaration_c *symbol) {

   346

      if (compare_identifiers(symbol->structure_element_name, current_field) == 0)

   347

        return symbol->spec_init; /* found the type of the element we were looking for! */

   348

      return NULL;   /* not the element we are looking for! */

   349

    }

   350

   351

   352

    /* helper symbol for structure_initialization */

   353

    /* structure_initialization: '(' structure_element_initialization_list ')' */

   354

    /* structure_element_initialization_list ',' structure_element_initialization */

   355

    void *visit(structure_element_initialization_list_c *symbol) {ERROR; return NULL;} /* should never get called... */

   356

    /*  structure_element_name ASSIGN value */

   357

    void *visit(structure_element_initialization_c *symbol) {ERROR; return NULL;} /* should never get called... */

   358

   359

   360

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

   361

    /* B.1.5 - Program organization units */

   362

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

   363

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

   364

    /* B 1.5.2 - Function Blocks */

   365

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

   366

    /*  FUNCTION_BLOCK derived_function_block_name io_OR_other_var_declarations function_block_body END_FUNCTION_BLOCK */

   367

    // SYM_REF4(function_block_declaration_c, fblock_name, var_declarations, fblock_body, unused)

   368

    void *visit(function_block_declaration_c *symbol) {

   369

      /* now search the function block declaration for the variable... */

   370

      search_var_instance_decl_c search_decl(symbol);

   371

      return search_decl.get_decl(current_field);

   372

    }

   373

   374

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

   375

    /* B.1.6  Sequential function chart elements */

   376

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

   377

    /* INITIAL_STEP step_name ':' action_association_list END_STEP */

   378

    // SYM_REF2(initial_step_c, step_name, action_association_list)

   379

    void *visit(initial_step_c *symbol) {

   380

      identifier_c T("T");  identifier_c X("X");

   381

      /* Hard code the datatypes of the implicit variables Stepname.X and Stepname.T */

   382

      if (compare_identifiers(&T, current_field) == 0)  return &get_datatype_info_c::time_type_name;

   383

      if (compare_identifiers(&X, current_field) == 0)  return &get_datatype_info_c::bool_type_name;

   384

      return NULL;

   385

    }

   386

   387

    /* STEP step_name ':' action_association_list END_STEP */

   388

    // SYM_REF2(step_c, step_name, action_association_list)

   389

    /* The code here should be identicial to the code in the visit(initial_step_c *) visitor! So we simply call the other visitor! */

   390

    void *visit(step_c *symbol) {initial_step_c initial_step(NULL, NULL); return initial_step.accept(*this);}

   391

   392

}; // get_struct_info_c

   393

   394

get_struct_info_c *get_struct_info_c::singleton = NULL;

   395

   396

   397

   398

   399

   400

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

   401

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

   402

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

   403

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

   404

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

   405

/*****        GET_DATATYPE_INFO_C                     *****/

   406

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

   407

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

   408

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

   409

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

   410

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

   411

   412

const char *get_datatype_info_c::get_id_str(symbol_c *datatype) {

   413

  return get_datatype_id_str_c::get_id_str(datatype);

   414

}

   415

   416

   417

symbol_c *get_datatype_info_c::get_id(symbol_c *datatype) {

   418

  return get_datatype_id_c::get_id(datatype);

   419

}

   420

   421

   422

symbol_c *get_datatype_info_c::get_struct_field_type_id(symbol_c *struct_datatype, symbol_c *struct_fieldname) {

   423

  return get_struct_info_c::get_field_type_id(struct_datatype, struct_fieldname);

   424

}

   425

   426

   427

   428

symbol_c *get_datatype_info_c::get_array_storedtype_id(symbol_c *type_symbol) {

   429

  // returns the datatype of the variables stored in the array

   430

  array_specification_c *symbol = NULL;

   431

  if (NULL == symbol)  symbol = dynamic_cast<array_specification_c *>(type_symbol);

   432

  if (NULL == symbol)  symbol = dynamic_cast<array_specification_c *>(search_base_type_c::get_basetype_decl(type_symbol));

   433

  if (NULL != symbol)  

   434

    return symbol->non_generic_type_name;

   435

  return NULL; // this is not an array!

   436

}

   437

   438

   439

   440

   441

/* Returns true if both datatypes are equivalent (not necessarily equal!).

   442

 * WARNING: May return true even though the datatypes are not the same/identicial!!!

   443

 *          This occurs when at least one of the datatypes is of a generic

   444

 *          datatype (or a REF_TO a generic datatype). 

   445

 *          (Generic dataypes: ANY, ANY_INT, ANY_NUM, ...)

   446

 * NOTE: Currently only the ANY generic datatype is implemented!

   447

 * NOTE: Currently stage1_2 only allows the use of the ANY keyword when in conjuntion with

   448

 *       the REF_TO keyword (i.e. REF_TO ANY), so when handling non REF_TO datatypes,

   449

 *       this function will currently only return true if the dataypes are identicial.

   450

 */

   451

   452

/* NOTE: matiec supports a strict and a relaxed data type model. Which datatype model to use is chosen

   453

 *       as a command line option.

   454

 * 

   455

 * 

   456

 *       The Strict Datatype Model

   457

 *       =========================

   458

 *       The strict datatype model used by matiec considers any implicitly defined datatype

   459

 *       (e.g. an array datatype defined in the variable declaration itself, instead of inside a TYPE ... END_TYPE

   460

 *       construct) to be different (i.e. not the same datatype, and therefore not compatible) to any other

   461

 *       datatype, including with datatypes declared identically to the implicit datatype.

   462

 *       e.g.

   463

 *         TYPE my_array_t: ARRAY [1..3] OF INT; END_TYPE;

   464

 *         FUNCTION_BLOCK FOO

   465

 *          VAR my_array:  ARRAY [1..3] OF INT; END_VAR

   466

 *         ...

   467

 *         END_FUNCTION_BLOCK

   468

 * 

   469

 *         In the abive code, my_array is NOT considered to te compatible with my_Array_t !!!

   470

 * 

   471

 *       In essence, the currently supported datatype model considers all datatypes to be different to each other,

   472

 *       even though the stored data is the same (Let us call this rule (0))!

   473

 *       There are 2 exceptions to the above rule:

   474

 *        (1) Datatypes that are directly derived from other datatypes.

   475

 *              (this rule is specified in the standard, so we follow it!)

   476

 *        (2) REF_TO datatypes that reference the same datatype

   477

 *              (I dont think the standard says anything about this!)

   478

 *              (This rule should actually be part of the relaxed datatype model, but for now we

   479

 *               will leave it in the strict datatype model) 

   480

 *

   481

 *         TYPE 

   482

 *          my_array_1_t: ARRAY [1..3] OF INT; 

   483

 *          my_array_2_t: ARRAY [1..3] OF INT; 

   484

 *          my_array_3_t: my_array_1_t; 

   485

 *          A_ref_t: REF_TO my_array_1_t;

   486

 *          B_ref_t: REF_TO my_array_1_t;

   487

 *          C_ref_t: A_ref_t;

   488

 *         END_TYPE;

   489

 *                 

   490

 *         In the above code, my_array_1_t is a distinct datatype to my_array_2_t

   491

 *           (this is different to C and C++, where they would be considered the same datatype!)

   492

 *           (following rule (0))

   493

 *         In the above code, my_array_3_t is the same datatype as my_array_1_t

   494

 *           (following rule (1))

   495

 *         In the above code, A_ref_t is the same datatype as B_ref_t

   496