42

class generate_cc_sfc_steptable_c: public generate_cc_base_c {

    48

    generate_cc_sfc_steptable_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}

    49

    ~generate_cc_sfc_steptable_c(void) {}

    62

      if (step_number > 0) {

    63

        s4o.print(",\n");

    64

      }

    65

      s4o.print(s4o.indent_spaces + "{1, 0, 0}");

    66

      step_number++;

    71

      if (step_number > 0) {

    72

        s4o.print(",\n");

    73

      }

    74

      s4o.print(s4o.indent_spaces + "{0, 0, 0}");

    75

      step_number++;

    83

}; /* generate_cc_sfc_steptable_c */

    84

    85

    86

    87

    88

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

    89

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

    90

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

    91

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

    92

    93

class generate_cc_sfc_actiontable_c: public generate_cc_base_c {

    99

    generate_cc_sfc_actiontable_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}

   100

    ~generate_cc_sfc_actiontable_c(void) {}

   119

      if (action_number > 0) {

   120

        s4o.print(",\n");

   121

      }

   122

      s4o.print(s4o.indent_spaces + "{0, 0, 0, 0, 0, 0}");

   123

      action_number++;

   124

      return NULL;

   125

    }

   126

   127

}; /* generate_cc_sfc_actiontable_c */

   128

   129

   130

   131

   132

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

   133

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

   134

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

   135

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

   136

   137

class generate_cc_sfc_transitiontable_c: public generate_cc_base_c {

   138

   139

  private:

   140

    char transition_number;

   141

   142

  public:

   143

    generate_cc_sfc_transitiontable_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}

   144

    ~generate_cc_sfc_transitiontable_c(void) {}

   145

   146

    void reset_transition_number(void) {transition_number = 0;}

   147

    void print_transition_number(void) {

   148

      char str[10];

   149

      sprintf(str, "%d", transition_number);

   150

      s4o.print(str);

   151

    }

   152

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

   153

/* B.1.6  Sequential function chart elements */

   154

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

   155

   156

    void *visit(initial_step_c *symbol) {return NULL;}

   157

   158

    void *visit(step_c *symbol) {return NULL;}

   159

   160

    void *visit(transition_c *symbol) {return NULL;}

   161

   162

    void *visit(action_c *symbol) {

   163

      transition_number++;

   164

      return NULL;

   165

    }

   166

   167

}; /* generate_cc_sfc_steptable_c */

   168

   169

   170

   171

   172

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

   173

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

   174

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

   175

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

   176

   177

class generate_cc_sfctables_c: public iterator_visitor_c {

   183

    generate_cc_sfc_steptable_c *generate_cc_sfc_steptable;

   184

    generate_cc_sfc_actiontable_c *generate_cc_sfc_actiontable;

   185

    generate_cc_sfc_transitiontable_c *generate_cc_sfc_transitiontable;

   186

   187

  public:

   188

    generate_cc_sfctables_c(stage4out_c *s4o_ptr) : s4o(*s4o_ptr) {

   189

      generate_cc_sfc_steptable = new generate_cc_sfc_steptable_c(s4o_ptr);

   190

      generate_cc_sfc_actiontable = new generate_cc_sfc_actiontable_c(s4o_ptr);

   191

      generate_cc_sfc_transitiontable = new generate_cc_sfc_transitiontable_c(s4o_ptr);

   192

    }

   193

   194

    virtual ~generate_cc_sfctables_c(void) {

   195

      delete generate_cc_sfc_steptable;

   196

      delete generate_cc_sfc_actiontable;

   197

      delete generate_cc_sfc_transitiontable;

   198

    }

   199

   200

  public:

   201

   202

    /* generate steps and actions tables */

   203

    void *visit(sequential_function_chart_c *symbol) {

   204

      /* generate steps table */

   205

      generate_cc_sfc_steptable->reset_step_number();

   206

      s4o.print(s4o.indent_spaces + "STEP step_list[] = {\n");

   208

      symbol->accept(*generate_cc_sfc_steptable);

   209

      s4o.indent_left();

   210

      s4o.print("\n" + s4o.indent_spaces + "};\n" + s4o.indent_spaces + "nb_steps = ");

   211

      generate_cc_sfc_steptable->print_step_number();

   212

      s4o.print(";\n");

   213

   214

      /* generate actions table */

   215

      generate_cc_sfc_actiontable->reset_action_number();

   216

      s4o.print(s4o.indent_spaces + "ACTION action_list[] = {\n");

   218

      symbol->accept(*generate_cc_sfc_actiontable);

   219

      s4o.indent_left();

   220

      s4o.print("\n" + s4o.indent_spaces + "};\n" + s4o.indent_spaces + "nb_actions = ");

   221

      generate_cc_sfc_actiontable->print_action_number();

   222

      s4o.print(";\n");

   223

   224

      /* generate actions table */

   225

      generate_cc_sfc_transitiontable->reset_transition_number();

   226

      s4o.print(s4o.indent_spaces + "char transition_list[");

   227

      generate_cc_sfc_transitiontable->print_transition_number();

   228

      s4o.print("];\n");

   245

    void *visit(statement_list_c *symbol) {return NULL;}

   249

   250

   251

   252

   253

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

   254

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

   255

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

   256

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

   257

   258

class generate_cc_sfc_stepdecl_c: public generate_cc_base_c {

   259

   260

  private:

   261

    char step_number;

   262

   263

  public:

   264

    generate_cc_sfc_stepdecl_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}

   265

    ~generate_cc_sfc_stepdecl_c(void) {}

   266

   267

    void reset_step_number(void) {step_number = 0;}

   268

    void print_step_number(void) {

   269

      char str[10];

   270

      sprintf(str, "%d", step_number);

   271

      s4o.print(str);

   272

    }

   273

   274

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

   275

/* B.1.6  Sequential function chart elements */

   276

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

   277

   278

    void *visit(initial_step_c *symbol) {

   279

      s4o.print("#define ");

   280

      s4o.print(SFC_STEP_ACTION_PREFIX);

   281

      symbol->step_name->accept(*this);

   282

      s4o.print(" ");

   283

      print_step_number();

   284

      s4o.print("\n");

   285

      step_number++;

   286

      return NULL;

   287

    }

   288

   289

    void *visit(step_c *symbol) {

   290

      s4o.print("#define ");

   291

      s4o.print(SFC_STEP_ACTION_PREFIX);

   292

      symbol->step_name->accept(*this);

   293

      s4o.print(" ");

   294

      print_step_number();

   295

      s4o.print("\n");

   296

      step_number++;

   297

      return NULL;

   298

    }

   299

   300

    void *visit(transition_c *symbol) {return NULL;}

   301

   302

    void *visit(action_c *symbol) {return NULL;}

   303

   304

}; /* generate_cc_sfc_stepdecl_c */

   305

   306

   307

   308

   309

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

   310

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

   311

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

   312

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

   313

   314

class generate_cc_sfc_actiondecl_c: public generate_cc_base_c {

   315

   316

  private:

   317

    char action_number;

   318

   319

  public:

   320

    generate_cc_sfc_actiondecl_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}

   321

    ~generate_cc_sfc_actiondecl_c(void) {}

   322

   323

    void reset_action_number(void) {action_number = 0;}

   324

    void print_action_number(void) {

   325

      char str[10];

   326

      sprintf(str, "%d", action_number);

   327

      s4o.print(str);

   328

    }

   329

   330

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

   331

/* B.1.6  Sequential function chart elements */

   332

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

   333

   334

    void *visit(initial_step_c *symbol) {return NULL;}

   335

   336

    void *visit(step_c *symbol) {return NULL;}

   337

   338

    void *visit(transition_c *symbol) {return NULL;}

   339

   340

    void *visit(action_c *symbol) {

   341

      s4o.print("#define ");

   342

      s4o.print(SFC_STEP_ACTION_PREFIX);

   343

      symbol->action_name->accept(*this);

   344

      s4o.print(" ");

   345

      print_action_number();

   346

      s4o.print("\n");

   347

      action_number++;

   348

      return NULL;

   349

    }

   350

   351

}; /* generate_cc_sfc_actiondecl_c */

   352

   353

   354

   355

   356

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

   357

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

   358

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

   359

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

   360

   361

class generate_cc_sfcdecl_c: public iterator_visitor_c {

   362

   363

  protected:

   364

    stage4out_c &s4o;

   365

   366

  private:

   367

    generate_cc_sfc_stepdecl_c *generate_cc_sfc_stepdecl;

   368

    generate_cc_sfc_actiondecl_c *generate_cc_sfc_actiondecl;

   369

   370

  public:

   371

    generate_cc_sfcdecl_c(stage4out_c *s4o_ptr) : s4o(*s4o_ptr) {

   372

      generate_cc_sfc_stepdecl = new generate_cc_sfc_stepdecl_c(s4o_ptr);

   373

      generate_cc_sfc_actiondecl = new generate_cc_sfc_actiondecl_c(s4o_ptr);

   374

    }

   375

   376

    virtual ~generate_cc_sfcdecl_c(void) {

   377

      delete generate_cc_sfc_stepdecl;

   378

      delete generate_cc_sfc_actiondecl;

   379

    }

   380

   381

  public:

   382

   383

    /* generate steps and actions tables */

   384

    void *visit(sequential_function_chart_c *symbol) {

   385

      /* generate steps definitions */

   386

      generate_cc_sfc_stepdecl->reset_step_number();

   387

      s4o.print("// Steps definitions\n");

   388

      symbol->accept(*generate_cc_sfc_stepdecl);

   389

      s4o.print("\n");

   390

   391

      /* generate actions definitions */

   392

      generate_cc_sfc_actiondecl->reset_action_number();

   393

      s4o.print("// Actions definitions\n");

   394

      symbol->accept(*generate_cc_sfc_actiondecl);

   395

      s4o.print("\n");

   396

   397

      return NULL;

   398

    }

   399

   400

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

   401

/* B 2.1 Instructions and Operands */

   402

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

   403

/*| instruction_list il_instruction */

   404

    void *visit(instruction_list_c *symbol) {return NULL;}

   405

   406

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

   407

/* B.3 - Language ST (Structured Text) */

   408

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

   409

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

   410

/* B 3.2 Statements */

   411

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

   412

    void *visit(statement_list_c *symbol) {return NULL;}

   413

   414

/* Remainder implemented in generate_cc_sfcdecl_c... */

   415

};

   416

   417

   418

   419

   420

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

   421

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

   422

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

   423

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

   424

   425

class generate_cc_sfc_stepundecl_c: public generate_cc_base_c {

   426

   427

  public:

   428

    generate_cc_sfc_stepundecl_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}

   429

    ~generate_cc_sfc_stepundecl_c(void) {}

   430

   431

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

   432

/* B.1.6  Sequential function chart elements */

   433

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

   434

   435

    void *visit(initial_step_c *symbol) {

   436

      s4o.print("#undef ");

   437

      s4o.print(SFC_STEP_ACTION_PREFIX);

   438

      symbol->step_name->accept(*this);

   439

      s4o.print("\n");

   440

      return NULL;

   441

    }

   442

   443

    void *visit(step_c *symbol) {

   444

      s4o.print("#undef ");

   445

      s4o.print(SFC_STEP_ACTION_PREFIX);

   446

      symbol->step_name->accept(*this);

   447

      s4o.print("\n");

   448

      return NULL;

   449

    }

   450

   451

    void *visit(transition_c *symbol) {return NULL;}

   452

   453

    void *visit(action_c *symbol) {return NULL;}

   454

   455

}; /* generate_cc_sfc_stepdecl_c */

   456

   457

   458

   459

   460

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

   461

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

   462

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

   463

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

   464

   465

class generate_cc_sfc_actionundecl_c: public generate_cc_base_c {

   466

   467

  public:

   468

    generate_cc_sfc_actionundecl_c(stage4out_c *s4o_ptr): generate_cc_base_c(s4o_ptr) {}

   469

    ~generate_cc_sfc_actionundecl_c(void) {}

   470

   471

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

   472

/* B.1.6  Sequential function chart elements */

   473

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

   474

   475

    void *visit(initial_step_c *symbol) {return NULL;}

   476

   477

    void *visit(step_c *symbol) {return NULL;}

   478

   479

    void *visit(transition_c *symbol) {return NULL;}

   480

   481

    void *visit(action_c *symbol) {

   482

      s4o.print("#undef ");

   483

      s4o.print(SFC_STEP_ACTION_PREFIX);

   484

      symbol->action_name->accept(*this);

   485

      s4o.print("\n");

   486

      return NULL;

   487

    }

   488

   489

}; /* generate_cc_sfc_stepdecl_c */

   490

   491

   492

   493

   494

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

   495

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

   496

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

   497

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

   498

   499

class generate_cc_sfcundecl_c: public iterator_visitor_c {

   500

   501

  protected:

   502

    stage4out_c &s4o;