1

/*

     2

 * (c) 2003 Mario de Sousa

     3

 *

     4

 * Offered to the public under the terms of the GNU General Public License

     5

 * as published by the Free Software Foundation; either version 2 of the

     6

 * License, or (at your option) any later version.

     7

 *

     8

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

     9

 * WITHOUT ANY WARRANTY; without even the implied warranty of

    10

 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General

    11

 * Public License for more details.

    12

 *

    13

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

    14

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

    15

 */

    16

    17

/*

    18

 * An IEC 61131-3 IL and ST compiler.

    19

 *

    20

 * Based on the

    21

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

    22

 *

    23

 */

    24

    25

/*

    26

 * Stage 2

    27

 * =======

    28

 *

    29

 *  This file contains the syntax definition of the textual

    30

 *  languages IL and ST. The syntax parser, comprising the

    31

 *  2nd stage of the overall compiler, is generated by runing

    32

 *  bison on this file.

    33

 */

    34

    35

    36

    37

    38

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

    39

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

    40

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

    41

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

    42

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

    43

/*******   The following syntax does not have any conflicts.    *******/

    44

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

    45

/*******   P L E A S E    K E E P    I T    T H A T    W A Y !  *******/

    46

/*******   ===================================================  *******/

    47

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

    48

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

    49

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

    50

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

    51

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

    52

    53

    54

    55

    56

%{

    57

#include <string.h>	/* required for strdup()  */

    58

    59

    60

/* declare the token parser generated by flex... */

    61

int yylex(void);

    62

    63

/* declare the error handler defined at the end of this file */

    64

void yyerror (const char *error_msg);

    65

    66

/* produce a more verbose parsing error message */

    67

#define YYERROR_VERBOSE

    68

    69

/* Include debuging code.

    70

 * Printing of debug info must then be activated by setting

    71

 * the variable yydebug to 1.

    72

 */

    73

#define YYDEBUG 0

    74

    75

    76

/* file with declaration of absyntax classes... */

    77

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

    78

    79

/* file with declaration of token constants. Generated by bison! */

    80

#include "iec.y.hh"

    81

    82

/* file with the declarations of symbol tables... */

    83

#include "../util/symtable.hh"

    84

    85

    86

/* an ugly hack!!

    87

 * We will probably not need it when we decide

    88

 *  to cut down the abstract syntax down to size.

    89

 *  We keep it as it is until we get to write

    90

 *  stages 3 and 4 of the compiler. Who knows,

    91

 *  we might just find out that we really do need

    92

 *  the abstract syntax tree to stay as it is

    93

 *  afterall!

    94

 */

    95

/* for each element <elem> in list_c * <list>

    96

 * execute the code <code>

    97

 */

    98

#define FOR_EACH_ELEMENT(elem, list, code) {		\

    99

  symbol_c *elem;					\

   100

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

   101

    elem = list->elements[i];				\

   102

    code;						\

   103

  }							\

   104

}

   105

   106

   107

/* A macro for printing out internal parser errors... */

   108

#define ERROR error_exit(__FILE__,__LINE__)

   109

/* function defined in main.cc */

   110

extern void error_exit(const char *file_name, int line_no);

   111

   112

   113

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

   114

/* The global symbol tables...   */

   115

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

   116

/* NOTE: declared static because they are not accessed

   117

 *       directly by the lexical parser (flex), but rather

   118

 *       through the function get_identifier_token()

   119

 */

   120

/* A symbol table to store all the library elements */

   121

/* e.g.: <function_name , function_decl>

   122

 *       <fb_name , fb_decl>

   123

 *       <type_name , type_decl>

   124

 *       <program_name , program_decl>

   125

 *       <configuration_name , configuration_decl>

   126

 */

   127

static symtable_c<int, BOGUS_TOKEN_ID> library_element_symtable;

   128

   129

/* A symbol table to store the declared variables of

   130

 * the function currently being parsed...

   131

 */

   132

static symtable_c<int, BOGUS_TOKEN_ID> variable_name_symtable;

   133

   134

   135

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

   136

/* global variables...   */

   137

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

   138

static symbol_c *tree_root = NULL;

   139

   140

/* The name of the file currently being parsed...

   141

 * Note that flex accesses and updates this global variable

   142

 * apropriately whenever it comes across an (*#include <filename> *)

   143

 * directive...

   144

 */

   145

const char *current_filename = NULL;

   146

   147

/* A global flag used to tell the parser if overloaded funtions should be allowed.

   148

 * The IEC 61131-3 standard allows overloaded funtions in the standard library,

   149

 * but disallows them in user code...

   150

 */

   151

bool allow_function_overloading = false;

   152

   153

   154

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

   155

/* forward declarations */

   156

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

   157

/* The functions declared here are defined at the end of this file... */

   158

   159

/* Convert an il_operator_c into an identifier_c */

   160

symbol_c *il_operator_c_2_identifier_c(symbol_c *il_operator);

   161

   162

/* print an error message */

   163

void print_err_msg(const char *filename, int lineno, const char *additional_error_msg);

   164

   165

   166

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

   167

/* forward declarations */

   168

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

   169

/* The functions declared here are defined in iec.flex... */

   170

void print_include_stack(void);

   171

void cmd_goto_body_state(void);

   172

int  get_goto_body_state(void);

   173

void rst_goto_body_state(void);

   174

   175

%}

   176

   177

   178

   179

%union {

   180

    symbol_c 	*leaf;

   181

    list_c	*list;

   182

    char 	*ID;	/* token value */

   183

    struct {

   184

      symbol_c	*first;

   185

      symbol_c	*second;

   186

      symbol_c	*third;

   187

      symbol_c	*fourth;

   188

    } tmp_symbol; /* used as a temorary reference to symbols by:

   189

                                     il_simple_operator_clash_il_operand

   190

                                     transaction_tmp

   191

                                     action_tmp

   192

                             */

   193

}

   194

   195

   196

   197

   198

   199

   200

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

   201

/* Prelimenary constructs... */

   202

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

   203

%type <leaf> start

   204

   205

%type <leaf>	any_identifier

   206

   207

%token <ID>	prev_declared_variable_name_token

   208

%token <ID>	prev_declared_fb_name_token

   209

%type <leaf>	prev_declared_variable_name

   210

%type <leaf>	prev_declared_fb_name

   211

   212

%token  <ID>	prev_declared_simple_type_name_token

   213

%token  <ID>	prev_declared_subrange_type_name_token

   214

%token  <ID>	prev_declared_enumerated_type_name_token

   215

%token  <ID>	prev_declared_array_type_name_token

   216

%token  <ID>	prev_declared_structure_type_name_token

   217

%token  <ID>	prev_declared_string_type_name_token

   218

   219

%type  <leaf>	prev_declared_simple_type_name

   220

%type  <leaf>	prev_declared_subrange_type_name

   221

%type  <leaf>	prev_declared_enumerated_type_name

   222

%type  <leaf>	prev_declared_array_type_name

   223

%type  <leaf>	prev_declared_structure_type_name

   224

%type  <leaf>	prev_declared_string_type_name

   225

   226

%token <ID>	prev_declared_derived_function_name_token

   227

%token <ID>	prev_declared_derived_function_block_name_token

   228

%token <ID>	prev_declared_program_type_name_token

   229

%type  <leaf>	prev_declared_derived_function_name

   230

%type  <leaf>	prev_declared_derived_function_block_name

   231

%type  <leaf>	prev_declared_program_type_name

   232

   233

   234

/* A bogus token that, in principle, flex MUST NEVER generate */

   235

/* USE 1:

   236

 * ======

   237

 * This token is currently also being used as the default

   238

 * initialisation value of the token_id member in

   239

 * the symbol_c base class.

   240

 *

   241

 * USE 2

   242

 * =====

   243

 * This token may also be used in the future to remove

   244

 * mysterious reduce/reduce conflicts due to the fact

   245

 * that our grammar may not be LALR(1) but merely LR(1).

   246

 * This means that bison cannot handle it without some

   247

 * caoxing from ourselves. We will then need this token

   248

 * to do the coaxing...

   249

 */

   250

%token BOGUS_TOKEN_ID

   251

   252

   253

/* The pragmas... */

   254

%token <ID>	pragma_token

   255

%type <leaf>	pragma

   256

   257

   258

/* Where do these tokens belong ?? */

   259

/* TODO: get the syntax parser to handle these tokens... */

   260

%token	EN

   261

%token	ENO

   262

   263

   264

   265

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

   266

/* B 0 - Programming Model */

   267

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

   268

%type <list>	library

   269

%type <leaf>	library_element_declaration

   270

   271

   272

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

   273

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

   274

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

   275

/* Done totally within flex...

   276

  letter

   277

  digit

   278

  octal_digit

   279

  hex_digit

   280

*/

   281

%token <ID>	identifier_token

   282

%type  <leaf>	identifier

   283

   284

   285

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

   286

/* B 1.2 - Constants */

   287

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

   288

%type <leaf>	constant

   289

/* a helper symbol for expression */

   290

%type  <leaf> non_negative_constant

   291

   292

   293

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

   294

/* B 1.2.1 - Numeric Literals */

   295

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

   296

/* Done totally within flex...

   297

  bit

   298

*/

   299

%type  <leaf> numeric_literal

   300

/* helper symbol for non_negative_constant */

   301

%type  <leaf> non_negative_numeric_literal

   302

%type  <leaf> integer_literal

   303

%type  <leaf> signed_integer

   304

/* a helper symbol for non_negative_constant */

   305

%type  <leaf> non_negative_signed_integer

   306

%token <ID>   integer_token

   307

%type  <leaf> integer

   308

%token <ID>   binary_integer_token

   309

%type  <leaf> binary_integer

   310

%token <ID>   octal_integer_token

   311

%type  <leaf> octal_integer

   312

%token <ID>   hex_integer_token

   313

%type  <leaf> hex_integer

   314

%token <ID>   real_token

   315

%type  <leaf> real

   316

%type  <leaf> signed_real

   317

/* helper symbol for non_negative_real_literal */

   318

%type  <leaf> non_negative_signed_real

   319

%type  <leaf> real_literal

   320

/* helper symbol for non_negative_numeric_literal */

   321

%type  <leaf> non_negative_real_literal

   322

// %type  <leaf> exponent

   323

%type  <leaf> bit_string_literal

   324

%type  <leaf> boolean_literal

   325

   326

%token FALSE

   327

%token TRUE

   328

   329

   330

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

   331

/* B 1.2.2 - Character Strings */

   332

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

   333

%token <ID>   single_byte_character_string_token

   334

%token <ID>   double_byte_character_string_token

   335

   336

%type  <leaf> character_string

   337

%type  <leaf> single_byte_character_string

   338

%type  <leaf> double_byte_character_string

   339

   340

   341

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

   342

/* B 1.2.3 - Time Literals */

   343

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

   344

%type  <leaf> time_literal

   345

   346

   347

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

   348

/* B 1.2.3.1 - Duration */

   349

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

   350

%type  <leaf>	duration

   351

%type  <leaf>	interval

   352

%type  <leaf>	days

   353

%type  <leaf>	fixed_point

   354

%type  <leaf>	hours

   355

%type  <leaf>	minutes

   356

%type  <leaf>	seconds

   357

%type  <leaf>	milliseconds

   358

   359

%type  <leaf>	integer_d

   360

%type  <leaf>	integer_h

   361

%type  <leaf>	integer_m

   362

%type  <leaf>	integer_s

   363

%type  <leaf>	integer_ms

   364

%type  <leaf>	fixed_point_d

   365

%type  <leaf>	fixed_point_h

   366

%type  <leaf>	fixed_point_m

   367

%type  <leaf>	fixed_point_s

   368

%type  <leaf>	fixed_point_ms

   369

   370

%token <ID>	fixed_point_token

   371

%token <ID>	fixed_point_d_token

   372

%token <ID>	integer_d_token

   373

%token <ID>	fixed_point_h_token

   374

%token <ID>	integer_h_token

   375

%token <ID>	fixed_point_m_token

   376

%token <ID>	integer_m_token

   377

%token <ID>	fixed_point_s_token

   378

%token <ID>	integer_s_token

   379

%token <ID>	fixed_point_ms_token

   380

%token <ID>	integer_ms_token

   381

   382

%token TIME

   383

%token T_SHARP

   384

   385

   386

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

   387

/* B 1.2.3.2 - Time of day and Date */

   388

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

   389

%type  <leaf>	time_of_day

   390

%type  <leaf>	daytime

   391

%type  <leaf>	day_hour

   392

%type  <leaf>	day_minute

   393

%type  <leaf>	day_second

   394

%type  <leaf>	date

   395

%type  <leaf>	date_literal

   396

%type  <leaf>	year

   397

%type  <leaf>	month

   398

%type  <leaf>	day

   399

%type  <leaf>	date_and_time

   400

   401

%token TIME_OF_DAY

   402

%token DATE

   403

%token D_SHARP

   404

%token DATE_AND_TIME

   405

   406

   407

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

   408

/* B 1.3 - Data Types */

   409

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

   410

/* Strangely, the following symbol does seem to be required! */

   411

// %type  <leaf> data_type_name

   412

%type  <leaf> non_generic_type_name

   413

   414

   415

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

   416

/* B 1.3.1 - Elementary Data Types */

   417

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

   418

/* NOTES:

   419

 *

   420

 *    - To make the definition of bit_string_literal more

   421

 *      concise, it is useful to use an extra non-terminal

   422

 *      symbol (i.e. a grouping or construct) that groups the

   423

 *      following elements (BYTE, WORD, DWORD, LWORD).

   424

 *      Note that the definition of bit_string_type_name

   425

 *      (according to the spec) includes the above elements

   426

 *      and an extra BOOL.

   427

 *      We could use an extra construct with the first four

   428

 *      elements to be used solely in the definition of

   429

 *      bit_string_literal, but with the objective of not

   430

 *      having to replicate the actions (if we ever need

   431

 *      to change them, they would need to be changed in both

   432

 *      bit_string_type_name and the extra grouping), we

   433

 *      have re-defined bit_string_type_name as only including

   434

 *      the first four elements.

   435

 *      In order to have our parser implement the specification

   436

 *      correctly we have augmented every occurence of

   437

 *      bit_string_type_name in other rules with the BOOL

   438

 *      token. Since bit_string_type_name only appears in

   439

 *      the rule for elementary_type_name, this does not

   440

 *      seem to be a big concession to make!

   441

 *

   442

 *    - We have added a helper symbol to concentrate the

   443

 *      instantiation of STRING and WSTRING into a single

   444

 *      location (elementary_string_type_name).

   445

 *      These two elements show up in several other rules,

   446

 *      but we want to create the equivalent abstract syntax

   447

 *      in a single location of this file, in order to make

   448

 *      possible future changes easier to edit...

   449

 */

   450

%type  <leaf>	elementary_type_name

   451

%type  <leaf>	numeric_type_name

   452

%type  <leaf>	integer_type_name

   453

%type  <leaf>	signed_integer_type_name

   454

%type  <leaf>	unsigned_integer_type_name

   455

%type  <leaf>	real_type_name

   456

%type  <leaf>	date_type_name

   457

%type  <leaf>	bit_string_type_name

   458

/* helper symbol to concentrate the instantiation

   459

 * of STRING and WSTRING into a single location

   460

 */

   461

%type  <leaf>	elementary_string_type_name

   462

   463

%token BYTE

   464

%token WORD

   465

%token DWORD

   466

%token LWORD

   467

   468

%token LREAL

   469

%token REAL

   470

   471

%token SINT

   472

%token INT

   473

%token DINT

   474

%token LINT

   475

   476

%token USINT

   477

%token UINT

   478

%token UDINT

   479

%token ULINT

   480

   481

%token WSTRING

   482

%token STRING

   483

%token BOOL

   484

   485

%token TIME

   486

%token DATE

   487

%token DATE_AND_TIME

   488

%token DT

   489

%token TIME_OF_DAY

   490

%token TOD

   491

   492

   493

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

   494

/* B 1.3.2 - Generic data types */

   495

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

   496

/* Strangely, the following symbol does seem to be required! */

   497

// %type  <leaf>	generic_type_name

   498

   499

/* The following tokens do not seem to be used either

   500

 * but we declare them so they become reserved words...

   501

 */

   502

%token ANY

   503

%token ANY_DERIVED

   504

%token ANY_ELEMENTARY

   505

%token ANY_MAGNITUDE

   506

%token ANY_NUM

   507

%token ANY_REAL

   508

%token ANY_INT

   509

%token ANY_BIT

   510

%token ANY_STRING

   511

%token ANY_DATE

   512

   513

   514

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

   515

/* B 1.3.3 - Derived data types */

   516

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

   517

%type  <leaf>	derived_type_name

   518

%type  <leaf>	single_element_type_name

   519

// %type  <leaf>	simple_type_name

   520

// %type  <leaf>	subrange_type_name

   521

// %type  <leaf>	enumerated_type_name

   522

// %type  <leaf>	array_type_name

   523

// %type  <leaf>	structure_type_name

   524

   525

%type  <leaf>	data_type_declaration

   526

/* helper symbol for data_type_declaration */

   527

%type  <list>	type_declaration_list

   528

%type  <leaf>	type_declaration

   529