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

 *  Copyright (C) 2007-2011  Laurent Bessard and Edouard Tisserant

     5

 *

     6

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

     7

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

     8

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

     9

 *  (at your option) any later version.

    10

 *

    11

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

    12

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

    13

 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

    14

 *  GNU General Public License for more details.

    15

 *

    16

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

    17

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

    18

 *

    19

 *

    20

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

    21

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

    22

 */

    23

    24

/*

    25

 * An IEC 61131-3 compiler.

    26

 *

    27

 * Based on the

    28

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

    29

 *

    30

 */

    31

    32

    33

/*

    34

 * VISITOR.CC

    35

 *

    36

 * Three base implementations of the visitor interface,

    37

 * that may be later extended to execute a particular algorithm.

    38

 *

    39

 * The null (class null_visitor_c) does nothing.

    40

 *

    41

 * The iterator (class iterator_visitor_c) iterates through

    42

 * every object in the syntax tree.

    43

 *

    44

 * The search class (class search_visitor_c) iterates through

    45

 * every object, until one returns a value != NULL.

    46

 */

    47

    48

    49

    50

    51

    52

#include <unistd.h>

    53

    54

#include <stdio.h>  /* required for NULL */

    55

#include "visitor.hh"

    56

    57

#include <iostream>

    58

    59

    60

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

    61

/* visitor_c      */

    62

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

    63

    64

visitor_c::~visitor_c(void) {return;}

    65

    66

    67

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

    68

/* null_visitor_c */

    69

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

    70

    71

null_visitor_c::~null_visitor_c(void) {return;}

    72

    73

#define SYM_LIST(class_name_c)	\

    74

  void *null_visitor_c::visit(class_name_c *symbol) {return NULL;}

    75

    76

#define SYM_TOKEN(class_name_c, ...)	\

    77

  void *null_visitor_c::visit(class_name_c *symbol) {return NULL;}

    78

    79

#define SYM_REF0(class_name_c, ...)	\

    80

  void *null_visitor_c::visit(class_name_c *symbol) {return NULL;}

    81

    82

#define SYM_REF1(class_name_c, ref1, ...)	\

    83

  void *null_visitor_c::visit(class_name_c *symbol) {return NULL;}

    84

    85

#define SYM_REF2(class_name_c, ref1, ref2, ...)	\

    86

  void *null_visitor_c::visit(class_name_c *symbol) {return NULL;}

    87

    88

#define SYM_REF3(class_name_c, ref1, ref2, ref3, ...)	\

    89

  void *null_visitor_c::visit(class_name_c *symbol) {return NULL;}

    90

    91

#define SYM_REF4(class_name_c, ref1, ref2, ref3, ref4, ...)	\

    92

  void *null_visitor_c::visit(class_name_c *symbol) {return NULL;}

    93

    94

#define SYM_REF5(class_name_c, ref1, ref2, ref3, ref4, ref5, ...)	\

    95

  void *null_visitor_c::visit(class_name_c *symbol) {return NULL;}

    96

    97

#define SYM_REF6(class_name_c, ref1, ref2, ref3, ref4, ref5, ref6, ...)	\

    98

  void *null_visitor_c::visit(class_name_c *symbol) {return NULL;}

    99

   100

   101

#include "absyntax.def"

   102

   103

   104

   105

   106

#undef SYM_LIST

   107

#undef SYM_TOKEN

   108

#undef SYM_REF0

   109

#undef SYM_REF1

   110

#undef SYM_REF2

   111

#undef SYM_REF3

   112

#undef SYM_REF4

   113

#undef SYM_REF5

   114

#undef SYM_REF6

   115

   116

   117

   118

   119

   120

   121

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

   122

/* iterator_visitor_c */

   123

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

   124

   125

iterator_visitor_c::~iterator_visitor_c(void) {return;}

   126

   127

   128

void *iterator_visitor_c::visit_list(list_c *list) {

   129

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

   130

    list->elements[i]->accept(*this);

   131

  }

   132

  return NULL;

   133

}

   134

   135

   136

#define SYM_LIST(class_name_c)	\

   137

  void *iterator_visitor_c::visit(class_name_c *symbol) {return visit_list(symbol);}

   138

   139

#define SYM_TOKEN(class_name_c, ...)	\

   140

  void *iterator_visitor_c::visit(class_name_c *symbol) {return NULL;}

   141

   142

#define SYM_REF0(class_name_c, ...)	\

   143

  void *iterator_visitor_c::visit(class_name_c *symbol) {return NULL;}

   144

   145

#define SYM_REF1(class_name_c, ref1, ...)			\

   146

void *iterator_visitor_c::visit(class_name_c *symbol) {	\

   147

  if (symbol->ref1!=NULL) symbol->ref1->accept(*this);	\

   148

  return NULL;						\

   149

}

   150

   151

#define SYM_REF2(class_name_c, ref1, ref2, ...)		\

   152

void *iterator_visitor_c::visit(class_name_c *symbol) {	\

   153

  if (symbol->ref1!=NULL) symbol->ref1->accept(*this);	\

   154

  if (symbol->ref2!=NULL) symbol->ref2->accept(*this);	\

   155

  return NULL;						\

   156

}

   157

   158

#define SYM_REF3(class_name_c, ref1, ref2, ref3, ...)			\

   159

void *iterator_visitor_c::visit(class_name_c *symbol) {			\

   160

  if (symbol->ref1) symbol->ref1->accept(*this);			\

   161

  if (symbol->ref2) symbol->ref2->accept(*this);			\

   162

  if (symbol->ref3) symbol->ref3->accept(*this);			\

   163

  return NULL;								\

   164

}

   165

   166

#define SYM_REF4(class_name_c, ref1, ref2, ref3, ref4, ...)		\

   167

void *iterator_visitor_c::visit(class_name_c *symbol) {			\

   168

  if (symbol->ref1) symbol->ref1->accept(*this);			\

   169

  if (symbol->ref2) symbol->ref2->accept(*this);			\

   170

  if (symbol->ref3) symbol->ref3->accept(*this);			\

   171

  if (symbol->ref4) symbol->ref4->accept(*this);			\

   172

  return NULL;								\

   173

}

   174

   175

#define SYM_REF5(class_name_c, ref1, ref2, ref3, ref4, ref5, ...)	\

   176

void *iterator_visitor_c::visit(class_name_c *symbol) {			\

   177

  if (symbol->ref1) symbol->ref1->accept(*this);			\

   178

  if (symbol->ref2) symbol->ref2->accept(*this);			\

   179

  if (symbol->ref3) symbol->ref3->accept(*this);			\

   180

  if (symbol->ref4) symbol->ref4->accept(*this);			\

   181

  if (symbol->ref5) symbol->ref5->accept(*this);			\

   182

  return NULL;								\

   183

}

   184

   185

#define SYM_REF6(class_name_c, ref1, ref2, ref3, ref4, ref5, ref6, ...)	\

   186

void *iterator_visitor_c::visit(class_name_c *symbol) {			\

   187

  if (symbol->ref1) symbol->ref1->accept(*this);			\

   188

  if (symbol->ref2) symbol->ref2->accept(*this);			\

   189

  if (symbol->ref3) symbol->ref3->accept(*this);			\

   190

  if (symbol->ref4) symbol->ref4->accept(*this);			\

   191

  if (symbol->ref5) symbol->ref5->accept(*this);			\

   192

  if (symbol->ref6) symbol->ref6->accept(*this);			\

   193

  return NULL;								\

   194

}

   195

   196

   197

   198

#include "absyntax.def"

   199

   200

   201

   202

#undef SYM_LIST

   203

#undef SYM_TOKEN

   204

#undef SYM_REF0

   205

#undef SYM_REF1

   206

#undef SYM_REF2

   207

#undef SYM_REF3

   208

#undef SYM_REF4

   209

#undef SYM_REF5

   210

#undef SYM_REF6

   211

   212

   213

   214

   215

   216

   217

   218

   219

   220

   221

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

   222

/* search_visitor_c */

   223

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

   224

   225

search_visitor_c::~search_visitor_c(void) {return;}

   226

   227

   228

void *search_visitor_c::visit_list(list_c *list) {

   229

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

   230

    void *res = list->elements[i]->accept(*this);

   231

    if (res != NULL)

   232

      return res;

   233

  }

   234

  return NULL;

   235

}

   236

   237

   238

#define SYM_LIST(class_name_c)	\

   239

  void *search_visitor_c::visit(class_name_c *symbol) {return visit_list(symbol);}

   240

   241

#define SYM_TOKEN(class_name_c, ...)	\

   242

  void *search_visitor_c::visit(class_name_c *symbol) {return NULL;}

   243

   244

#define SYM_REF0(class_name_c, ...)	\

   245

  void *search_visitor_c::visit(class_name_c *symbol) {return NULL;}

   246

   247

#define SYM_REF1(class_name_c, ref1, ...)				\

   248

void *search_visitor_c::visit(class_name_c *symbol) {		\

   249

  if (symbol->ref1) return symbol->ref1->accept(*this);		\

   250

  return NULL;							\

   251

}

   252

   253

#define SYM_REF2(class_name_c, ref1, ref2, ...)			\

   254

void *search_visitor_c::visit(class_name_c *symbol) {		\

   255

  void *res = NULL;						\

   256

  if (symbol->ref1) res =  symbol->ref1->accept(*this);		\

   257

  if (res != NULL)  return res;					\

   258

  if (symbol->ref2) return symbol->ref2->accept(*this);		\

   259

  return NULL;							\

   260

}

   261

   262

#define SYM_REF3(class_name_c, ref1, ref2, ref3, ...)		\

   263

void *search_visitor_c::visit(class_name_c *symbol) {		\

   264

  void *res = NULL;						\

   265

  if (symbol->ref1) res =  symbol->ref1->accept(*this);		\

   266

  if (res != NULL)  return res;					\

   267

  if (symbol->ref2) res =  symbol->ref2->accept(*this);		\

   268

  if (res != NULL)  return res;					\

   269

  if (symbol->ref3) return symbol->ref3->accept(*this);		\

   270

  return NULL;							\

   271

}

   272

   273

#define SYM_REF4(class_name_c, ref1, ref2, ref3, ref4, ...)		\

   274

void *search_visitor_c::visit(class_name_c *symbol) {		\

   275

  void *res = NULL;						\

   276

  if (symbol->ref1) res =  symbol->ref1->accept(*this);		\

   277

  if (res != NULL)  return res;					\

   278

  if (symbol->ref2) res =  symbol->ref2->accept(*this);		\

   279

  if (res != NULL)  return res;					\

   280

  if (symbol->ref3) res =  symbol->ref3->accept(*this);		\

   281

  if (res != NULL)  return res;					\

   282

  if (symbol->ref4) return symbol->ref4->accept(*this);		\

   283

  return NULL;							\

   284

}

   285

   286

#define SYM_REF5(class_name_c, ref1, ref2, ref3, ref4, ref5, ...)		\

   287

void *search_visitor_c::visit(class_name_c *symbol) {			\

   288

  void *res = NULL;							\

   289

  if (symbol->ref1) res =  symbol->ref1->accept(*this);			\

   290

  if (res != NULL)  return res;						\

   291

  if (symbol->ref2) res =  symbol->ref2->accept(*this);			\

   292

  if (res != NULL)  return res;						\

   293

  if (symbol->ref3) res =  symbol->ref3->accept(*this);			\

   294

  if (res != NULL)  return res;						\

   295

  if (symbol->ref4) res =  symbol->ref4->accept(*this);			\

   296

  if (res != NULL)  return res;						\

   297

  if (symbol->ref5) return symbol->ref5->accept(*this);			\

   298

  return NULL;								\

   299

}

   300

   301

#define SYM_REF6(class_name_c, ref1, ref2, ref3, ref4, ref5, ref6, ...)	\

   302

void *search_visitor_c::visit(class_name_c *symbol) {			\

   303

  void *res = NULL;							\

   304

  if (symbol->ref1) res =  symbol->ref1->accept(*this);			\

   305

  if (res != NULL)  return res;						\

   306

  if (symbol->ref2) res =  symbol->ref2->accept(*this);			\

   307

  if (res != NULL)  return res;						\

   308

  if (symbol->ref3) res =  symbol->ref3->accept(*this);			\

   309

  if (res != NULL)  return res;						\

   310

  if (symbol->ref4) res =  symbol->ref4->accept(*this);			\

   311

  if (res != NULL)  return res;						\

   312

  if (symbol->ref5) res =  symbol->ref5->accept(*this);			\

   313

  if (res != NULL)  return res;						\

   314

  if (symbol->ref6) return symbol->ref6->accept(*this);			\

   315

  return NULL;								\

   316

}

   317

   318

   319

   320

#include "absyntax.def"

   321

   322

   323

   324

#undef SYM_LIST

   325

#undef SYM_TOKEN

   326

#undef SYM_REF0

   327

#undef SYM_REF1

   328

#undef SYM_REF2

   329

#undef SYM_REF3

   330

#undef SYM_REF4

   331

#undef SYM_REF5

   332

#undef SYM_REF6

   333

   334

   335

   336

   337

   338

   339

   340

   341

   342

   343

   344