msousa@666: /* msousa@666: * matiec - a compiler for the programming languages defined in IEC 61131-3 msousa@666: * msousa@666: * Copyright (C) 2003-2012 Mario de Sousa (msousa@fe.up.pt) msousa@666: * msousa@666: * This program is free software: you can redistribute it and/or modify msousa@666: * it under the terms of the GNU General Public License as published by msousa@666: * the Free Software Foundation, either version 3 of the License, or msousa@666: * (at your option) any later version. msousa@666: * msousa@666: * This program is distributed in the hope that it will be useful, msousa@666: * but WITHOUT ANY WARRANTY; without even the implied warranty of msousa@666: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the msousa@666: * GNU General Public License for more details. msousa@666: * msousa@666: * You should have received a copy of the GNU General Public License msousa@666: * along with this program. If not, see . msousa@666: * msousa@666: * msousa@666: * This code is made available on the understanding that it will not be msousa@666: * used in safety-critical situations without a full and competent review. msousa@666: */ msousa@666: msousa@666: /* msousa@666: * An IEC 61131-3 compiler. msousa@666: * msousa@666: * Based on the msousa@666: * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10) msousa@666: * msousa@666: */ msousa@666: msousa@666: /* Determine the characteristics of a specific data type msousa@666: * e.g., is it an enumeration, is it an array, is it ANY_INT, etc... msousa@666: * msousa@666: * The methods of this class may be passed either: msousa@666: * - a data type declaration symbol_c, msousa@666: * OR msousa@666: * - the name of a data type (identifier_c) msousa@666: * In this case, we shall first serach for the basetype declaration using search_base_type_c, and then msousa@666: * run the normal process. msousa@666: */ msousa@666: #include "absyntax_utils.hh" msousa@666: msousa@666: #include "../main.hh" // required for ERROR() and ERROR_MSG() macros. msousa@666: msousa@666: msousa@666: msousa@666: msousa@666: msousa@666: msousa@666: class get_datatype_info_c { msousa@666: msousa@666: msousa@666: private: // this is a purely static class. No need for constructors! msousa@666: get_datatype_info_c(void) {}; msousa@666: ~get_datatype_info_c(void) {}; msousa@666: mjsousa@945: // A helper method to get_datatype_info_c::is_type_equal() mjsousa@945: // Assuming the relaxed datatype model, return whether the two array datatypes are equal/equivalent mjsousa@945: static bool is_arraytype_equal_relaxed(symbol_c *first_type, symbol_c *second_type); msousa@693: msousa@666: public: msousa@778: static symbol_c *get_id (symbol_c *datatype); /* get the identifier (name) of the datatype); returns NULL if anonymous datatype! Does not work for elementary datatypes!*/ msousa@778: static const char *get_id_str(symbol_c *datatype); /* get the identifier (name) of the datatype); returns NULL if anonymous datatype! */ mjsousa@909: mjsousa@939: static symbol_c *get_struct_field_type_id (symbol_c *struct_datatype, symbol_c *struct_fieldname); // returns datatype of a field in a structure mjsousa@939: static symbol_c *get_array_storedtype_id (symbol_c *type_symbol); // returns the datatype of the variables stored in the array mjsousa@909: static symbol_c *get_ref_to (symbol_c *type_symbol); // Defined in IEC 61131-3 v3 (returns the type that is being referenced/pointed to) mjsousa@909: mjsousa@922: /* Returns true if both datatypes are equivalent (not necessarily equal!). mjsousa@945: * Two datatype models are supported: relaxed and strict (chosen from a command line option). mjsousa@945: * WARNING: May return true even though the datatypes are not the same/identical!!! mjsousa@945: * In both of the models, this may occur when at least one of the datatypes is of a generic mjsousa@945: * datatype (Generic dataypes: ANY, ANY_INT, ANY_NUM, ...), mjsousa@945: * or when two REF_TO datatypes both reference an equivalent datatype. mjsousa@945: * In only the relaxed datatype, it may also return true if two array datatypes mjsousa@945: * have the same subrange limits, and contain the same data. mjsousa@945: * mjsousa@922: * NOTE: Currently only the ANY generic datatype is implemented! mjsousa@922: * NOTE: Currently stage1_2 only allows the use of the ANY keyword when in conjuntion with mjsousa@945: * the REF_TO keyword (i.e. REF_TO ANY). mjsousa@921: */ msousa@676: static bool is_type_equal(symbol_c *first_type, symbol_c *second_type); msousa@676: static bool is_type_valid(symbol_c *type); mjsousa@909: mjsousa@909: static bool is_ref_to (symbol_c *type_symbol); // Defined in IEC 61131-3 v3 msousa@666: static bool is_sfc_initstep (symbol_c *type_symbol); msousa@666: static bool is_sfc_step (symbol_c *type_symbol); msousa@666: static bool is_function_block (symbol_c *type_symbol); msousa@666: static bool is_subrange (symbol_c *type_symbol); msousa@666: static bool is_enumerated (symbol_c *type_symbol); msousa@666: static bool is_array (symbol_c *type_symbol); msousa@666: static bool is_structure (symbol_c *type_symbol); msousa@666: mjsousa@909: static bool is_ANY_REAL_literal(symbol_c *type_symbol); /* Can't we do away with this?? */ mjsousa@909: static bool is_ANY_INT_literal (symbol_c *type_symbol); /* Can't we do away with this?? */ mjsousa@909: mjsousa@921: static bool is_ANY_generic_type (symbol_c *type_symbol); mjsousa@921: mjsousa@921: //static bool is_ANY_ELEMENTARY_generic_type (symbol_c *type_symbol); msousa@666: static bool is_ANY_ELEMENTARY (symbol_c *type_symbol); msousa@666: static bool is_ANY_SAFEELEMENTARY (symbol_c *type_symbol); msousa@666: static bool is_ANY_ELEMENTARY_compatible (symbol_c *type_symbol); msousa@666: mjsousa@921: //static bool is_ANY_MAGNITUDE_generic_type (symbol_c *type_symbol); msousa@666: static bool is_ANY_MAGNITUDE (symbol_c *type_symbol); msousa@666: static bool is_ANY_SAFEMAGNITUDE (symbol_c *type_symbol); msousa@666: static bool is_ANY_MAGNITUDE_compatible (symbol_c *type_symbol); msousa@666: msousa@666: static bool is_ANY_signed_MAGNITUDE (symbol_c *type_symbol); msousa@666: static bool is_ANY_signed_SAFEMAGNITUDE (symbol_c *type_symbol); msousa@666: static bool is_ANY_signed_MAGNITUDE_compatible (symbol_c *type_symbol); msousa@666: mjsousa@921: //static bool is_ANY_NUM_generic_type (symbol_c *type_symbol); msousa@666: static bool is_ANY_NUM (symbol_c *type_symbol); msousa@666: static bool is_ANY_SAFENUM (symbol_c *type_symbol); msousa@666: static bool is_ANY_NUM_compatible (symbol_c *type_symbol); msousa@666: msousa@666: static bool is_ANY_signed_NUM (symbol_c *type_symbol); msousa@666: static bool is_ANY_signed_SAFENUM (symbol_c *type_symbol); msousa@666: static bool is_ANY_signed_NUM_compatible (symbol_c *type_symbol); msousa@666: mjsousa@921: //static bool is_ANY_INT_generic_type (symbol_c *type_symbol); msousa@666: static bool is_ANY_INT (symbol_c *type_symbol); msousa@666: static bool is_ANY_SAFEINT (symbol_c *type_symbol); msousa@666: static bool is_ANY_INT_compatible (symbol_c *type_symbol); msousa@666: msousa@666: static bool is_ANY_signed_INT (symbol_c *type_symbol); msousa@666: static bool is_ANY_signed_SAFEINT (symbol_c *type_symbol); msousa@666: static bool is_ANY_signed_INT_compatible (symbol_c *type_symbol); msousa@666: msousa@666: static bool is_ANY_unsigned_INT (symbol_c *type_symbol); msousa@666: static bool is_ANY_unsigned_SAFEINT (symbol_c *type_symbol); msousa@666: static bool is_ANY_unsigned_INT_compatible (symbol_c *type_symbol); msousa@666: mjsousa@921: //static bool is_ANY_REAL_generic_type (symbol_c *type_symbol); msousa@666: static bool is_ANY_REAL (symbol_c *type_symbol); msousa@666: static bool is_ANY_SAFEREAL (symbol_c *type_symbol); msousa@666: static bool is_ANY_REAL_compatible (symbol_c *type_symbol); msousa@666: msousa@666: static bool is_ANY_nBIT (symbol_c *type_symbol); msousa@666: static bool is_ANY_SAFEnBIT (symbol_c *type_symbol); msousa@666: static bool is_ANY_nBIT_compatible (symbol_c *type_symbol); msousa@666: msousa@666: static bool is_BOOL (symbol_c *type_symbol); msousa@666: static bool is_SAFEBOOL (symbol_c *type_symbol); msousa@666: static bool is_BOOL_compatible (symbol_c *type_symbol); msousa@666: mjsousa@921: //static bool is_ANY_BIT_generic_type (symbol_c *type_symbol); msousa@666: static bool is_ANY_BIT (symbol_c *type_symbol); msousa@666: static bool is_ANY_SAFEBIT (symbol_c *type_symbol); msousa@666: static bool is_ANY_BIT_compatible (symbol_c *type_symbol); msousa@668: mjsousa@921: //static bool is_ANY_DATE_generic_type (symbol_c *type_symbol); msousa@668: static bool is_ANY_DATE (symbol_c *type_symbol); msousa@668: static bool is_ANY_SAFEDATE (symbol_c *type_symbol); msousa@668: static bool is_ANY_DATE_compatible (symbol_c *type_symbol); msousa@668: msousa@668: static bool is_TIME (symbol_c *type_symbol); msousa@668: static bool is_SAFETIME (symbol_c *type_symbol); msousa@668: static bool is_TIME_compatible (symbol_c *type_symbol); msousa@668: mjsousa@921: //static bool is_ANY_STRING_generic_type (symbol_c *type_symbol); msousa@668: static bool is_ANY_STRING (symbol_c *type_symbol); msousa@668: static bool is_ANY_SAFESTRING (symbol_c *type_symbol); msousa@668: static bool is_ANY_STRING_compatible (symbol_c *type_symbol); msousa@668: mjsousa@1016: // A non-standard extension --> data type 'VOID' (used for functions that do not return any data) mjsousa@1016: static bool is_VOID (symbol_c *type_symbol); msousa@693: msousa@693: msousa@693: msousa@693: public: msousa@693: /* object used to identify an entry in the abstract syntax tree with an invalid data type */ msousa@693: /* This is only used from stage3 onwards. Stages 1 and 2 will never create any instances of invalid_type_name_c */ msousa@693: static invalid_type_name_c invalid_type_name; msousa@693: msousa@693: /**********************/ msousa@693: /* B.1.3 - Data types */ msousa@693: /**********************/ msousa@693: /***********************************/ msousa@693: /* B 1.3.1 - Elementary Data Types */ msousa@693: /***********************************/ msousa@699: static lreal_type_name_c lreal_type_name; msousa@693: static real_type_name_c real_type_name; msousa@693: msousa@693: static lint_type_name_c lint_type_name; msousa@693: static dint_type_name_c dint_type_name; msousa@693: static int_type_name_c int_type_name; msousa@693: static sint_type_name_c sint_type_name; msousa@693: msousa@693: static ulint_type_name_c ulint_type_name; msousa@693: static udint_type_name_c udint_type_name; msousa@693: static uint_type_name_c uint_type_name; msousa@693: static usint_type_name_c usint_type_name; msousa@693: msousa@693: static lword_type_name_c lword_type_name; msousa@693: static dword_type_name_c dword_type_name; msousa@693: static word_type_name_c word_type_name; msousa@693: static byte_type_name_c byte_type_name; msousa@693: static bool_type_name_c bool_type_name; msousa@693: msousa@693: static wstring_type_name_c wstring_type_name; msousa@693: static string_type_name_c string_type_name; msousa@693: msousa@693: static dt_type_name_c dt_type_name; msousa@693: static date_type_name_c date_type_name; msousa@693: static tod_type_name_c tod_type_name; msousa@693: static time_type_name_c time_type_name; msousa@693: msousa@693: msousa@693: /******************************************************/ msousa@693: /* Extensions to the base standard as defined in */ msousa@693: /* "Safety Software Technical Specification, */ msousa@693: /* Part 1: Concepts and Function Blocks, */ msousa@693: /* Version 1.0 – Official Release" */ msousa@693: /* by PLCopen - Technical Committee 5 - 2006-01-31 */ msousa@693: /******************************************************/ msousa@699: static safelreal_type_name_c safelreal_type_name; msousa@693: static safereal_type_name_c safereal_type_name; msousa@693: msousa@693: static safelint_type_name_c safelint_type_name; msousa@693: static safedint_type_name_c safedint_type_name; msousa@693: static safeint_type_name_c safeint_type_name; msousa@693: static safesint_type_name_c safesint_type_name; msousa@693: msousa@693: static safeulint_type_name_c safeulint_type_name; msousa@693: static safeudint_type_name_c safeudint_type_name; msousa@693: static safeuint_type_name_c safeuint_type_name; msousa@693: static safeusint_type_name_c safeusint_type_name; msousa@693: msousa@693: static safelword_type_name_c safelword_type_name; msousa@693: static safedword_type_name_c safedword_type_name; msousa@693: static safeword_type_name_c safeword_type_name; msousa@693: static safebyte_type_name_c safebyte_type_name; msousa@693: static safebool_type_name_c safebool_type_name; msousa@693: msousa@693: static safewstring_type_name_c safewstring_type_name; msousa@693: static safestring_type_name_c safestring_type_name; msousa@693: msousa@693: static safedt_type_name_c safedt_type_name; msousa@693: static safedate_type_name_c safedate_type_name; msousa@693: static safetod_type_name_c safetod_type_name; msousa@693: static safetime_type_name_c safetime_type_name; msousa@666: }; msousa@666: