183 * SAFEBOOL#0 AND BOOL#1 -> returns true !!! |
183 * SAFEBOOL#0 AND BOOL#1 -> returns true !!! |
184 * etc... |
184 * etc... |
185 */ |
185 */ |
186 bool is_compatible_type(symbol_c *first_type, symbol_c *second_type); |
186 bool is_compatible_type(symbol_c *first_type, symbol_c *second_type); |
187 |
187 |
188 void compute_input_operatores(symbol_c *symbol, const char *input_operator); |
188 /* check semantics of FB call in the IL language using input operators */ |
189 void check_formal_parameter(symbol_c *call_param_name, symbol_c *call_param_type, symbol_c *f_decl); |
189 /* e.g. CU, CLK, IN, PT, SR, ... */ |
190 |
190 void check_il_fbcall(symbol_c *symbol, const char *input_operator); |
191 /* check the semantics of a FB or Function non-formal call */ |
191 /* check the semantics of a FB or Function non-formal call */ |
192 /* e.g. foo(1, 2, 3, 4); */ |
192 /* e.g. foo(1, 2, 3, 4); */ |
193 void check_nonformal_call(symbol_c *f_call, symbol_c *f_decl, bool use_il_defvar = false); |
193 void check_nonformal_call(symbol_c *f_call, symbol_c *f_decl, bool use_il_defvar = false); |
194 /* check the semantics of a FB or Function formal call */ |
194 /* check the semantics of a FB or Function formal call */ |
195 /* e.g. foo(IN1 := 1, OUT1 =>x, EN := true); */ |
195 /* e.g. foo(IN1 := 1, OUT1 =>x, EN := true); */ |