1

/*

     2

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

     3

 *

     4

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

     5

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

     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

#ifndef _HELPER_FUNCTIONS_HH_

    26

#define _HELPER_FUNCTIONS_HH_

    27

    28

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

    29

#include <typeinfo>

    30

    31

    32

    33

    34

    35

typedef struct {

    36

  symbol_c *function_name;

    37

  symbol_c *nonformal_operand_list;

    38

  symbol_c *   formal_operand_list;

    39

    40

  enum {POU_FB, POU_function} POU_type;

    41

//symbol_c &*datatype;

    42

//std::vector <symbol_c *> &candidate_datatypes;

    43

  std::vector <symbol_c *> &candidate_functions;

    44

  symbol_c *&called_function_declaration;

    45

  int      &extensible_param_count;

    46

} generic_function_call_t;

    47

    48

    49

    50

    51

    52

    53

    54

    55

/* Widening Primitive Conversion */

    56

struct widen_entry {

    57

	symbol_c *left;

    58

	symbol_c *right;

    59

	symbol_c *result;

    60

	enum {ok, deprecated} status;

    61

};

    62

/*

    63

 * 2.5.1.5.6 Functions of time data types

    64

 * Table 30 - page 64

    65

 */

    66

extern const struct widen_entry widen_ADD_table[];

    67

extern const struct widen_entry widen_SUB_table[];

    68

extern const struct widen_entry widen_MUL_table[];

    69

extern const struct widen_entry widen_DIV_table[];

    70

extern const struct widen_entry widen_MOD_table[];

    71

extern const struct widen_entry widen_EXPT_table[];

    72

extern const struct widen_entry widen_AND_table[];

    73

extern const struct widen_entry widen_OR_table[];

    74

extern const struct widen_entry widen_XOR_table[];

    75

extern const struct widen_entry widen_CMP_table[];

    76

    77

/* Search for a datatype inside a candidate_datatypes list.

    78

 * Returns: position of datatype in the list, or -1 if not found.

    79

 */

    80

int search_in_candidate_datatype_list(symbol_c *datatype, const std::vector <symbol_c *> &candidate_datatypes);

    81

    82

/* Remove a datatype inside a candidate_datatypes list.

    83

 * Returns: If successful it returns true, false otherwise.

    84

 */

    85

bool remove_from_candidate_datatype_list(symbol_c *datatype, std::vector <symbol_c *> &candidate_datatypes);

    86

    87

/* Intersect two candidate_datatype_lists.

    88

 * Remove from list1 (origin, dest.) all elements that are not found in list2 (with).

    89

 * In essence, list1 will contain the result of the intersection of list1 with list2.

    90

 * In other words, modify list1 so it only contains the elelements that are simultaneously in list1 and list2!

    91

 */

    92

void intersect_candidate_datatype_list(symbol_c *list1 /*origin, dest.*/, symbol_c *list2 /*with*/);

    93

    94

/* intersect the candidate_datatype lists of all prev_il_intructions, and set the local candidate_datatype list to the result! */

    95

void intersect_prev_candidate_datatype_lists(il_instruction_c *symbol);

    96

    97

    98

    99

   100

   101

#endif /* _HELPER_FUNCTIONS_HH_ */