Ejemplo n.º 1
0
  /**
   * Emits C header code for the FSM map.
   *
   * @param map emit Groovy code for this map.
   */
  public void visit(SmcMap map) {
    String packageName = map.getFSM().getPackage();
    String context = map.getFSM().getContext();
    String mapName = map.getName();

    // If a package has been specified,
    if (packageName != null && packageName.length() > 0) {
      context = packageName + "_" + context;
    }

    for (SmcState state : map.getStates()) {
      _source.print("extern const struct ");
      _source.print(context);
      _source.print("State ");
      if (packageName != null && packageName.length() > 0) {
        _source.print(packageName);
        _source.print("_");
      }
      _source.print(mapName);
      _source.print("_");
      _source.print(state.getInstanceName());
      _source.println(";");
    }

    return;
  } // end of visit(SmcMap)
Ejemplo n.º 2
0
  /**
   * Emits C header code for the finite state machine.
   *
   * @param fsm emit Groovy code for this finite state machine.
   */
  public void visit(SmcFSM fsm) {
    String targetfileCaps;
    String packageName = fsm.getPackage();
    String context = fsm.getContext();
    String fsmClassName = fsm.getFsmClassName();
    String startStateName = fsm.getStartState();
    String cState;
    List<SmcTransition> transList;
    List<SmcParameter> params;
    int index;

    _source.println("/*");
    _source.println(" * ex: set ro:");
    _source.println(" * DO NOT EDIT.");
    _source.println(" * generated by smc (http://smc.sourceforge.net/)");
    _source.print(" * from file : ");
    _source.print(_srcfileBase);
    _source.println(".sm");
    _source.println(" */");
    _source.println();

    // If a package has been specified,
    if (packageName != null && packageName.length() > 0) {
      context = packageName + "_" + context;
      fsmClassName = packageName + "_" + fsmClassName;
      startStateName = packageName + "_" + startStateName;
    }

    // The first two lines in the header file should be:
    //
    //    #ifndef _<source file name>_H
    //    #define _<source file name>_H
    //
    // where the source file name is all in caps.
    // The last line is:
    //
    //    #endif
    //

    // Make the file name upper case and replace
    // slashes with underscores.
    targetfileCaps = _targetfileBase.replace('\\', '_');
    targetfileCaps = targetfileCaps.replace('/', '_');
    targetfileCaps = targetfileCaps.toUpperCase();
    _source.print("#ifndef _");
    _source.print(targetfileCaps);
    _source.println("_H");
    _source.print("#define _");
    _source.print(targetfileCaps);
    _source.println("_H");

    // Include required standard .h files.
    _source.println();
    _source.println("#include <assert.h>");

    if (_debugLevel >= DEBUG_LEVEL_0) {
      _source.println("#define STATEMAP_DEBUG 1");
    }
    _source.println("#include <statemap.h>");

    _source.println();

    // Do user-specified forward declarations now.
    for (String declaration : fsm.getDeclarations()) {
      _source.print(declaration);
      _source.println();
    }

    // Forward declare the application class.
    _source.println();
    _source.print("struct ");
    _source.print(context);
    _source.println(";");
    _source.print("struct ");
    _source.print(fsmClassName);
    _source.println(";");

    // Declare user's base state class.
    _source.println();
    _source.print("struct ");
    _source.print(context);
    _source.println("State {");

    // Add the default Entry() and Exit() definitions.
    if (fsm.hasEntryActions() == true) {
      _source.print("    void(*Entry)(struct ");
      _source.print(fsmClassName);
      _source.println(" *const fsm);");
    }
    if (fsm.hasExitActions() == true) {
      _source.print("    void(*Exit)(struct ");
      _source.print(fsmClassName);
      _source.println(" *const fsm);");
    }

    // Print out the default definitions for all the
    // transitions. First, get the transitions list.
    transList = fsm.getTransitions();

    // Output the global transition declarations.
    for (SmcTransition trans : transList) {
      // Don't output the default state here.
      if (trans.getName().equals("Default") == false) {
        _source.print("    void(*");
        _source.print(trans.getName());
        _source.print(")(struct ");
        _source.print(fsmClassName);
        _source.print(" *const fsm");

        params = trans.getParameters();
        for (SmcParameter param : params) {
          _source.print(", ");
          _source.print(param.getType());
          _source.print(" ");
          _source.print(param.getName());
        }

        _source.println(");");
      }
    }
    _source.print("    void(*Default)(struct ");
    _source.print(fsmClassName);
    _source.println(" *const fsm);");

    _source.println("    STATE_MEMBERS");

    // The base class has been defined.
    _source.println("};");
    _source.println();

    // Generate the map classes. The maps will, in turn,
    // generate the state classes.
    for (SmcMap map : fsm.getMaps()) {
      map.accept(this);
    }

    // Generate the FSM context class.
    _source.println();
    _source.print("struct ");
    _source.print(fsmClassName);
    _source.println(" {");
    _source.print("    struct ");
    _source.print(context);
    _source.println(" *_owner;");
    _source.print("    FSM_MEMBERS(");
    _source.print(context);
    _source.println(")");

    // Put the closing brace on the context class.
    _source.println("};");
    _source.println();

    // The state name "map::state" must be changed to
    // "map_state".
    if ((index = startStateName.indexOf("::")) >= 0) {
      cState = startStateName.substring(0, index) + "_" + startStateName.substring(index + 2);
    } else {
      cState = startStateName;
    }

    _source.print("#ifdef NO_");
    _source.print(targetfileCaps);
    _source.println("_MACRO");

    // Constructor
    _source.print("extern void ");
    _source.print(fsmClassName);
    _source.print("_Init");
    _source.print("(struct ");
    _source.print(fsmClassName);
    _source.print(" *const fsm, struct ");
    _source.print(context);
    _source.println(" *const owner);");

    // EnterStartState method.
    if (fsm.hasEntryActions() == true) {
      _source.print("extern void ");
      _source.print(fsmClassName);
      _source.print("_EnterStartState(struct ");
      _source.print(fsmClassName);
      _source.println(" *const fsm);");
    }

    // Generate a method for every transition in every map
    // *except* the default transition.
    for (SmcTransition trans : transList) {
      if (trans.getName().equals("Default") == false) {
        _source.print("extern void ");
        _source.print(fsmClassName);
        _source.print("_");
        _source.print(trans.getName());
        _source.print("(struct ");
        _source.print(fsmClassName);
        _source.print(" *const fsm");

        params = trans.getParameters();
        for (SmcParameter param : params) {
          _source.print(", ");
          _source.print(param.getType());
          _source.print(" ");
          _source.print(param.getName());
        }
        _source.println(");");
      }
    }

    _source.println("#else");

    // Constructor
    _source.print("#define ");
    _source.print(fsmClassName);
    _source.println("_Init(fsm, owner) \\");
    _source.print("    FSM_INIT((fsm), &");
    _source.print(cState);
    _source.println("); \\");
    _source.println("    (fsm)->_owner = (owner)");

    // EnterStartState method.
    if (fsm.hasEntryActions() == true) {
      _source.println();
      _source.print("#define ");
      _source.print(fsmClassName);
      _source.println("_EnterStartState(fsm) \\");
      _source.println("    ENTRY_STATE(getState(fsm))");
    }

    // Generate a method for every transition in every map
    // *except* the default transition.
    for (SmcTransition trans : transList) {
      if (trans.getName().equals("Default") == false) {
        _source.println();
        _source.print("#define ");
        _source.print(fsmClassName);
        _source.print("_");
        _source.print(trans.getName());
        _source.print("(fsm");

        params = trans.getParameters();
        for (SmcParameter param : params) {
          _source.print(", ");
          _source.print(param.getName());
        }
        _source.println(") \\");

        _source.println("    assert(getState(fsm) != NULL); \\");
        _source.print("    setTransition((fsm), \"");
        _source.print(trans.getName());
        _source.println("\"); \\");
        _source.print("    getState(fsm)->");
        _source.print(trans.getName());
        _source.print("((fsm)");
        for (SmcParameter param : params) {
          _source.print(", (");
          _source.print(param.getName());
          _source.print(")");
        }
        _source.println("); \\");
        _source.println("    setTransition((fsm), NULL)");
      }
    }

    _source.println("#endif");
    _source.println();
    _source.println("#endif");

    _source.println();
    _source.println("/*");
    _source.println(" * Local variables:");
    _source.println(" *  buffer-read-only: t");
    _source.println(" * End:");
    _source.println(" */");

    return;
  } // end of visit(SmcFSM)