1

/*

     2

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

     3

 *  Copyright (C) 2003-2011  Mario de Sousa (msousa@fe.up.pt)

     4

 *

     5

 *  This program is free software: you can redistribute it and/or modify

     6

 *  it under the terms of the GNU General Public License as published by

     7

 *  the Free Software Foundation, either version 3 of the License, or

     8

 *  (at your option) any later version.

     9

 *

    10

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

    11

 *  but WITHOUT ANY WARRANTY; without even the implied warranty of

    12

 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

    13

 *  GNU General Public License for more details.

    14

 *

    15

 *  You should have received a copy of the GNU General Public License

    16

 *  along with this program.  If not, see <http://www.gnu.org/licenses/>.

    17

 *

    18

 *

    19

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

    20

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

    21

 */

    22

    23

/*

    24

 * An IEC 61131-3 compiler.

    25

 *

    26

 * Based on the

    27

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

    28

 *

    29

 */

    30

    31

/*

    32

 ****************************************************************

    33

 ****************************************************************

    34

 ****************************************************************

    35

 *********                                              *********

    36

 *********                                              *********

    37

 *********   O V E R A L L    A R C H I T E C T U R E   *********

    38

 *********                                              *********

    39

 *********                                              *********

    40

 ****************************************************************

    41

 ****************************************************************

    42

 ****************************************************************

    43

    44

 The compiler works in 4(+1) stages:

    45

 Stage 1   - Lexical analyser      - implemented with flex (iec.flex)

    46

 Stage 2   - Syntax parser         - implemented with bison (iec.y)

    47

 Stage 3   - Semantics analyser    - not yet implemented

    48

 Stage 4   - Code generator        - implemented in C++

    49

 Stage 4+1 - Binary code generator - gcc, javac, etc...

    50

    51

    52

 Data structures passed between stages, in global variables:

    53

 1->2   : tokens (int), and token values (char *)

    54

 2->1   : symbol tables (defined in symtable.hh)

    55

 2->3   : abstract syntax tree (tree of C++ classes, in absyntax.hh file)

    56

 3->4   : Same as 2->3

    57

 4->4+1 : file with program in c, java, etc...

    58

    59

    60

 The compiler works in several passes:

    61

 Pass 1: executes stages 1 and 2 simultaneously

    62

 Pass 2: executes stage 3

    63

 Pass 3: executes stage 4

    64

 Pass 4: executes stage 4+1

    65

*/

    66

    67

    68

    69

//#include <stdio.h>   // printf()

    70

#include <getopt.h>

    71

#include <string.h>

    72

#include <stdlib.h>  // EXIT_FAILURE

    73

#include "absyntax/absyntax.hh"  // symbol_c type

    74

    75

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

    76

#include <iostream> // required for std::cerr

    77

#define ERROR error_exit(__FILE__,__LINE__)

    78

void error_exit(const char *file_name, int line_no) {

    79

  std::cerr << "\nInternal program error in file " << file_name

    80

            << " at line " << line_no << "\n\n\n";

    81

  exit(EXIT_FAILURE);

    82

}

    83

    84

    85

    86

    87

#include "stage1_2/stage1_2.hh"

    88

#include "absyntax_utils/absyntax_utils.hh"

    89

    90

int stage3(symbol_c *tree_root);

    91

int stage4(symbol_c *tree_root, const char *builddir);

    92

    93

    94

static void printusage(const char *cmd) {

    95

  printf("syntax: %s [-h] [-f] [-s] [-I <include_directory>] [-T <target_directory>] <input_file>\n", cmd);

    96

  printf("  h : show this help message\n");

    97

  printf("  f : full token location on error messages\n");

    98

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

    99

      /* whether we are suporting safe extensions           */

   100

      /* as defined in PLCopen - Technical Committee 5      */

   101

      /* Safety Software Technical Specification,           */

   102

      /* Part 1: Concepts and Function Blocks,              */

   103

      /* Version 1.0 – Official Release                     */

   104

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

   105

  printf("  s : allow use of safe extensions\n");

   106

  printf("\n");

   107

  printf("%s - Copyright (C) 2003-2011 \n"

   108

         "This program comes with ABSOLUTELY NO WARRANTY!\n"

   109

         "This is free software licensed under GPL v3, and you are welcome to redistribute it under the conditions specified by this license.\n", cmd);

   110

}

   111

   112

   113

   114

int main(int argc, char **argv) {

   115

  symbol_c *tree_root;

   116

  char * builddir = NULL;

   117

  stage1_2_options_t stage1_2_options = {false, false, NULL};

   118

  int optres, errflg = 0;

   119

/*

   120

  extern char *optarg;

   121

  extern int optind, optopt;

   122

*/

   123

   124

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

   125

  /*   Parse command line options...        */

   126

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

   127

  while ((optres = getopt(argc, argv, ":hfsI:T:")) != -1) {

   128

    switch(optres) {

   129

    case 'h':

   130

      printusage(argv[0]);

   131

      return 0;

   132

      break;

   133

    case 'f':

   134

      stage1_2_options.full_token_loc = true;

   135

      break;

   136

    case 's':

   137

      stage1_2_options.safe_extensions = true;

   138

      break;

   139

    case 'I':

   140

      stage1_2_options.includedir = optarg;

   141

      break;

   142

    case 'T':

   143

      builddir = optarg;

   144

      break;

   145

    case ':':       /* -I or -T without operand */

   146

      fprintf(stderr, "Option -%c requires an operand\n", optopt);

   147

      errflg++;

   148

      break;

   149

    case '?':

   150

      fprintf(stderr, "Unrecognized option: -%c\n", optopt);

   151

      errflg++;

   152

      break;

   153

    default:

   154

      fprintf(stderr, "Unknown error while parsing command line options.");

   155

      errflg++;

   156

      break;

   157

    }

   158

  }

   159

   160

  if (optind == argc) {

   161

    fprintf(stderr, "Missing input file\n");

   162

    errflg++;

   163

  }

   164

   165

  if (optind > argc) {

   166

    fprintf(stderr, "Too many input files\n");

   167

    errflg++;

   168

  }

   169

   170

  if (errflg) {

   171

      printusage(argv[0]);

   172

      return EXIT_FAILURE;

   173

  }

   174

   175

   176

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

   177

  /*   Run the compiler...   */

   178

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

   179

  /* 1st Pass */

   180

  if (stage1_2(argv[optind], &tree_root, stage1_2_options) < 0)

   181

    return EXIT_FAILURE;

   182

   183

  /* 2nd Pass */

   184

  absyntax_utils_init(tree_root);

   185

  add_en_eno_param_decl_c::add_to(tree_root);

   186

   187

  /* not yet implemented... */

   188

  if (stage3(tree_root) < 0)

   189

    return EXIT_FAILURE;

   190

   191

   192

  /* 3rd Pass */

   193

  if (stage4(tree_root, builddir) < 0)

   194

    return EXIT_FAILURE;

   195

   196

  /* 4th Pass */

   197

  /* Currently implemented in the Makefile! */

   198

   199

  return 0;

   200

}

   201

   202