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

/*

    27

 * VISITOR.CC

    28

 *

    29

 * Three base implementations of the visitor interface,

    30

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

    31

 *

    32

 * The null (class null_visitor_c) does nothing.

    33

 *

    34

 * The iterator (class iterator_visitor_c) iterates through

    35

 * every object in the syntax tree.

    36

 *

    37

 * The search class (class search_visitor_c) iterates through

    38

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

    39

 */

    40

    41

    42

    43

    44

    45

#include <unistd.h>

    46

    47

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

    48

#include "visitor.hh"

    49

    50

#include <iostream>

    51

    52

    53

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

    54

/* visitor_c      */

    55

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

    56

    57

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

    58

    59

    60

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

    61

/* null_visitor_c */

    62

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

    63

    64

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

    65

    66

#define SYM_LIST(class_name_c)	\

    67

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

    68

    69

#define SYM_TOKEN(class_name_c)	\

    70

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

    71

    72

#define SYM_REF0(class_name_c)	\

    73

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

    74

    75

#define SYM_REF1(class_name_c, ref1)	\

    76

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

    77

    78

#define SYM_REF2(class_name_c, ref1, ref2)	\

    79

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

    80

    81

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

    82

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

    83

    84

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

    85

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

    86

    87

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

    88

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

    89

    90

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

    91

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

    92

    93

    94

#include "absyntax.def"

    95

    96

    97

    98

    99

#undef SYM_LIST

   100

#undef SYM_TOKEN

   101

#undef SYM_REF0

   102

#undef SYM_REF1

   103

#undef SYM_REF2

   104

#undef SYM_REF3

   105

#undef SYM_REF4

   106

#undef SYM_REF5

   107

#undef SYM_REF6

   108

   109

   110

   111

   112

   113

   114

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

   115

/* iterator_visitor_c */

   116

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

   117

   118

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

   119

   120

   121

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

   122

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

   123

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

   124

  }

   125

  return NULL;

   126

}

   127

   128

   129

#define SYM_LIST(class_name_c)	\

   130

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

   131

   132

#define SYM_TOKEN(class_name_c)	\

   133

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

   134

   135

#define SYM_REF0(class_name_c)	\

   136

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

   137

   138

#define SYM_REF1(class_name_c, ref1)			\

   139

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

   140

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

   141

  return NULL;						\

   142

}

   143

   144

#define SYM_REF2(class_name_c, ref1, ref2)		\

   145

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

   146

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

   147

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

   148

  return NULL;						\

   149

}

   150

   151

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

   152

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

   153

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

   154

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

   155

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

   156

  return NULL;						\

   157

}

   158

   159

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

   160

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

   161

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

   162

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

   163

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

   164

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

   165

  return NULL;						\

   166

}

   167

   168

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

   169

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

   170

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

   171

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

   172

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

   173

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

   174

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

   175

  return NULL;								\

   176

}

   177

   178

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

   179

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

   180

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

   181

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

   182

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

   183

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

   184

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

   185

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

   186

  return NULL;								\

   187

}

   188

   189

   190

   191

#include "absyntax.def"

   192

   193

   194

   195

#undef SYM_LIST

   196

#undef SYM_TOKEN

   197

#undef SYM_REF0

   198

#undef SYM_REF1

   199

#undef SYM_REF2

   200

#undef SYM_REF3

   201

#undef SYM_REF4

   202

#undef SYM_REF5

   203

#undef SYM_REF6

   204

   205

   206

   207

   208

   209

   210

   211

   212

   213

   214

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

   215

/* search_visitor_c */

   216

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

   217

   218

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

   219

   220

   221

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

   222

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

   223

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

   224

    if (res != NULL)

   225

      return res;

   226

  }

   227

  return NULL;

   228

}

   229

   230

   231

#define SYM_LIST(class_name_c)	\

   232

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

   233

   234

#define SYM_TOKEN(class_name_c)	\

   235

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

   236

   237

#define SYM_REF0(class_name_c)	\

   238

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

   239

   240

#define SYM_REF1(class_name_c, ref1)				\

   241

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

   242

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

   243

  return NULL;							\

   244

}

   245

   246

#define SYM_REF2(class_name_c, ref1, ref2)			\

   247

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

   248

  void *res = NULL;						\

   249

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

   250

  if (res != NULL)  return res;					\

   251

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

   252

  return NULL;							\

   253

}

   254

   255

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

   256

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

   257

  void *res = NULL;						\

   258

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

   259

  if (res != NULL)  return res;					\

   260

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

   261

  if (res != NULL)  return res;					\

   262

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

   263

  return NULL;							\

   264

}

   265

   266

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

   267

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

   268

  void *res = NULL;						\

   269

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

   270

  if (res != NULL)  return res;					\

   271

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

   272

  if (res != NULL)  return res;					\

   273

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

   274

  if (res != NULL)  return res;					\

   275

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

   276

  return NULL;							\

   277

}

   278

   279

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

   280

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

   281

  void *res = NULL;							\

   282

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

   283

  if (res != NULL)  return res;						\

   284

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

   285

  if (res != NULL)  return res;						\

   286

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

   287

  if (res != NULL)  return res;						\

   288

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

   289

  if (res != NULL)  return res;						\

   290

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

   291

  return NULL;								\

   292

}

   293

   294

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

   295

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

   296

  void *res = NULL;							\

   297

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

   298

  if (res != NULL)  return res;						\

   299

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

   300

  if (res != NULL)  return res;						\

   301

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

   302

  if (res != NULL)  return res;						\

   303

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

   304

  if (res != NULL)  return res;						\

   305

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

   306

  if (res != NULL)  return res;						\

   307

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

   308

  return NULL;								\

   309

}

   310

   311

   312

   313

#include "absyntax.def"

   314

   315

   316

   317

#undef SYM_LIST

   318

#undef SYM_TOKEN

   319

#undef SYM_REF0

   320

#undef SYM_REF1

   321

#undef SYM_REF2

   322

#undef SYM_REF3

   323

#undef SYM_REF4

   324

#undef SYM_REF5

   325

#undef SYM_REF6

   326

   327

   328

   329

   330

   331

   332

   333

   334

   335

   336

   337