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

 * VISITOR.CC

    34

 *

    35

 * Three base implementations of the visitor interface,

    36

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

    37

 *

    38

 * The null (class null_visitor_c) does nothing.

    39

 *

    40

 * The iterator (class iterator_visitor_c) iterates through

    41

 * every object in the syntax tree.

    42

 *

    43

 * The search class (class search_visitor_c) iterates through

    44

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

    45

 */

    46

    47

    48

    49

    50

    51

#include <unistd.h>

    52

    53

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

    54

#include "visitor.hh"

    55

    56

#include <iostream>

    57

    58

    59

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

    60

/* visitor_c      */

    61

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

    62

    63

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

    64

    65

    66

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

    67

/* null_visitor_c */

    68

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

    69

    70

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

    71

    72

#define SYM_LIST(class_name_c)	\

    73

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

    74

    75

#define SYM_TOKEN(class_name_c)	\

    76

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

    77

    78

#define SYM_REF0(class_name_c)	\

    79

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

    80

    81

#define SYM_REF1(class_name_c, ref1)	\

    82

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

    83

    84

#define SYM_REF2(class_name_c, ref1, ref2)	\

    85

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

    86

    87

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

    88

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

    89

    90

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

    91

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

    92

    93

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

    94

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

    95

    96

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

    97

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

    98

    99

   100

#include "absyntax.def"

   101

   102

   103

   104

   105

#undef SYM_LIST

   106

#undef SYM_TOKEN

   107

#undef SYM_REF0

   108

#undef SYM_REF1

   109

#undef SYM_REF2

   110

#undef SYM_REF3

   111

#undef SYM_REF4

   112

#undef SYM_REF5

   113

#undef SYM_REF6

   114

   115

   116

   117

   118

   119

   120

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

   121

/* iterator_visitor_c */

   122

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

   123

   124

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

   125

   126

   127

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

   128

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

   129

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

   130

  }

   131

  return NULL;

   132

}

   133

   134

   135

#define SYM_LIST(class_name_c)	\

   136

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

   137

   138

#define SYM_TOKEN(class_name_c)	\

   139

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

   140

   141

#define SYM_REF0(class_name_c)	\

   142

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

   143

   144

#define SYM_REF1(class_name_c, ref1)			\

   145

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

   146

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

   147

  return NULL;						\

   148

}

   149

   150

#define SYM_REF2(class_name_c, ref1, ref2)		\

   151

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

   152

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

   153

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

   154

  return NULL;						\

   155

}

   156

   157

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

   158

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

   159

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

   160

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

   161

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

   162

  return NULL;						\

   163

}

   164

   165

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

   166

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

   167

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

   168

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

   169

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

   170

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

   171

  return NULL;						\

   172

}

   173

   174

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

   175

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

   176

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

   177

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

   178

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

   179

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

   180

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

   181

  return NULL;								\

   182

}

   183

   184

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

   185

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

   186

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

   187

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

   188

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

   189

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

   190

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

   191

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

   192

  return NULL;								\

   193

}

   194

   195

   196

   197

#include "absyntax.def"

   198

   199

   200

   201

#undef SYM_LIST

   202

#undef SYM_TOKEN

   203

#undef SYM_REF0

   204

#undef SYM_REF1

   205

#undef SYM_REF2

   206

#undef SYM_REF3

   207

#undef SYM_REF4

   208

#undef SYM_REF5

   209

#undef SYM_REF6

   210

   211

   212

   213

   214

   215

   216

   217

   218

   219

   220

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

   221

/* search_visitor_c */

   222

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

   223

   224

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

   225

   226

   227

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

   228

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

   229

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

   230

    if (res != NULL)

   231

      return res;

   232

  }

   233

  return NULL;

   234

}

   235

   236

   237

#define SYM_LIST(class_name_c)	\

   238

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

   239

   240

#define SYM_TOKEN(class_name_c)	\

   241

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

   242

   243

#define SYM_REF0(class_name_c)	\

   244

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

   245

   246

#define SYM_REF1(class_name_c, ref1)				\

   247

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

   248

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

   249

  return NULL;							\

   250

}

   251

   252

#define SYM_REF2(class_name_c, ref1, ref2)			\

   253

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

   254

  void *res = NULL;						\

   255

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

   256

  if (res != NULL)  return res;					\

   257

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

   258

  return NULL;							\

   259

}

   260

   261

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

   262

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

   263

  void *res = NULL;						\

   264

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

   265

  if (res != NULL)  return res;					\

   266

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

   267

  if (res != NULL)  return res;					\

   268

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

   269

  return NULL;							\

   270

}

   271

   272

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

   273

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

   274

  void *res = NULL;						\

   275

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

   276

  if (res != NULL)  return res;					\

   277

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

   278

  if (res != NULL)  return res;					\

   279

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

   280

  if (res != NULL)  return res;					\

   281

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

   282

  return NULL;							\

   283

}

   284

   285

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

   286

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

   287

  void *res = NULL;							\

   288

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

   289

  if (res != NULL)  return res;						\

   290

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

   291

  if (res != NULL)  return res;						\

   292

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

   293

  if (res != NULL)  return res;						\

   294

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

   295

  if (res != NULL)  return res;						\

   296

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

   297

  return NULL;								\

   298

}

   299

   300

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

   301

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

   302

  void *res = NULL;							\

   303

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

   304

  if (res != NULL)  return res;						\

   305

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

   306

  if (res != NULL)  return res;						\

   307

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

   308

  if (res != NULL)  return res;						\

   309

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

   310

  if (res != NULL)  return res;						\

   311

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

   312

  if (res != NULL)  return res;						\

   313

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

   314

  return NULL;								\

   315

}

   316

   317

   318

   319

#include "absyntax.def"

   320

   321

   322

   323

#undef SYM_LIST

   324

#undef SYM_TOKEN

   325

#undef SYM_REF0

   326

#undef SYM_REF1

   327

#undef SYM_REF2

   328

#undef SYM_REF3

   329

#undef SYM_REF4

   330

#undef SYM_REF5

   331

#undef SYM_REF6

   332

   333

   334

   335

   336

   337

   338

   339

   340

   341

   342

   343