Tutorials
Page tree

Versions Compared

Old Version 10

changes.mady.by.user Unknown User (cds)

Saved on

compared with

New Version 11

changes.mady.by.user Unknown User (cds)

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  1. Add a new method to your synthesis that transforms a State into a corresponding KNode:

    Code Block
    languagejava
    linenumberstrue
    private def KNode createStatetransform(State state) {
    val stateNode = state.createNode().associateWith(state);

    return stateNode;
}