mario@15: /* mario@15: * (c) 2007 Mario de Sousa mario@15: * mario@15: * Offered to the public under the terms of the GNU General Public License mario@15: * as published by the Free Software Foundation; either version 2 of the mario@15: * License, or (at your option) any later version. mario@15: * mario@15: * This program is distributed in the hope that it will be useful, but mario@15: * WITHOUT ANY WARRANTY; without even the implied warranty of mario@15: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General mario@15: * Public License for more details. mario@15: * mario@15: * This code is made available on the understanding that it will not be mario@15: * used in safety-critical situations without a full and competent review. mario@15: */ mario@15: mario@15: /* mario@15: * An IEC 61131-3 IL and ST compiler. mario@15: * mario@15: * Based on the mario@15: * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10) mario@15: * mario@15: */ mario@15: mario@15: mario@15: /* mario@15: * The private interface to stage1_2.cc mario@15: */ mario@15: mario@15: mario@15: mario@20: /* !!! WARNING !!! mario@20: * mario@20: * Whoever includes this file (stage1_2_priv.hh) will need mario@20: * to first inlcude iec.y.hh !! mario@20: * mario@20: * Read other comments further down to understand why we don't mario@20: * include iec.y.hh in this file. mario@20: */ mario@20: mario@20: mario@20: mario@15: /* file with the declarations of symbol tables... */ mario@15: #include "../util/symtable.hh" mario@15: mario@15: mario@15: mario@15: /* mario@15: * This file includes the interface through which the lexical parser (stage 1 - flex) mario@15: * and the syntax analyser (stage 2 - bison) interact between themselves. mario@15: * mario@15: * This is mostly through direct access to shared global variables, however some mario@15: * of the global variables will only be accessed through some accessor functions. mario@15: * mario@15: * This file also includes some utility functions (strdupX() ) that are both used mario@15: * in the lexical and syntax analysers. mario@15: */ mario@15: mario@15: mario@15: mario@15: mario@15: mario@15: /*********************************************/ mario@15: /* print the include file stack to stderr... */ mario@15: /*********************************************/ mario@15: /* This is a service that flex provides to bison... */ mario@15: void print_include_stack(void); mario@15: mario@15: mario@15: mario@15: /**************************************/ mario@15: /* The name of the file being parsed. */ mario@15: /**************************************/ mario@15: /* The name of the file currently being parsed... mario@15: * Note that flex accesses and updates this global variable mario@15: * apropriately whenever it comes across an (*#include *) mario@15: * directive... mario@15: * ... and bison will use it when producing error messages. mario@15: * Note that bison also sets this variable correctly to the first mario@15: * file being parsed. mario@15: */ mario@15: extern const char *current_filename; mario@15: mario@15: mario@15: mario@68: /****************************************************/ mario@68: /* Controlling the entry to the body_state in flex. */ mario@68: /****************************************************/ mario@15: void cmd_goto_body_state(void); mario@15: int get_goto_body_state(void); mario@15: void rst_goto_body_state(void); mario@15: mario@15: mario@68: /*************************************************************/ mario@68: /* Controlling the entry to the sfc_qualifier_state in flex. */ mario@68: /*************************************************************/ mario@68: void cmd_goto_sfc_qualifier_state(void); mario@68: int get_goto_sfc_qualifier_state(void); mario@68: void rst_goto_sfc_qualifier_state(void); mario@68: mario@68: mario@74: /*********************************************************/ mario@74: /* Controlling the entry to the task_init_state in flex. */ mario@74: /*********************************************************/ mario@74: void cmd_goto_task_init_state(void); mario@74: int get_goto_task_init_state(void); mario@74: void rst_goto_task_init_state(void); mario@74: mario@74: mario@68: /****************************************************************/ mario@68: /* Returning to state in flex previously pushed onto the stack. */ mario@68: /****************************************************************/ mario@68: void cmd_pop_state(void); mario@68: int get_pop_state(void); mario@68: void rst_pop_state(void); mario@68: mario@68: mario@68: mario@15: /*********************************/ mario@15: /* The global symbol tables... */ mario@15: /*********************************/ mario@15: /* NOTE: only accessed indirectly by the lexical parser (flex) mario@15: * through the function get_identifier_token() mario@15: */ mario@15: /* NOTE: BOGUS_TOKEN_ID is defined in the bison generated file iec.y.hh. mario@15: * We need this constant defined before we can declare the symbol tables. mario@15: * However, we cannot #include "iec.y.hh" in this file (stage1_2_priv.hh) directly mario@20: * because of the way bison ver. 2.3 is copying all declarations in the prologue mario@15: * of iec.y to the iec.y.hh file (including an #include stage1_2_priv.hh). mario@15: * So, if we were to include "iec.y.hh" here, we would get a circular include. mario@15: * All this means that whoever includes this file (stage1_2_priv.hh) will need mario@15: * to take care to first inlcude iec.y.hh !! mario@15: */ mario@15: /* A symbol table to store all the library elements */ mario@15: /* e.g.: mario@15: * mario@15: * mario@15: * mario@15: * mario@15: */ mario@15: extern symtable_c library_element_symtable; mario@15: mario@15: /* A symbol table to store the declared variables of mario@15: * the function currently being parsed... mario@15: */ mario@15: extern symtable_c variable_name_symtable; mario@15: mario@15: /* Function only called from within flex! mario@15: * mario@15: * search for a symbol in either of the two symbol tables mario@15: * declared above, and return the token id of the first mario@15: * symbol found. mario@15: * Searches first in the variables, and only if not found mario@15: * does it continue searching in the library elements mario@15: */ mario@15: int get_identifier_token(const char *identifier_str); mario@15: mario@15: mario@15: mario@15: /************************/ mario@15: /* Utility Functions... */ mario@15: /************************/ mario@15: mario@15: /* Join two strings together. Allocate space with malloc(3). */ mario@15: char *strdup2(const char *a, const char *b); mario@15: mario@15: /* Join three strings together. Allocate space with malloc(3). */ mario@15: char *strdup3(const char *a, const char *b, const char *c); mario@15: mario@15: mario@15: