examples
Example of the @Case widget, which is similar to a java switch() statement (we use it to choose between 3 colors):
@Case(choice=color) @When("red") Red @When("yellow") Yellow @When("green") Green
@Case(choice=color) @When("red") Red @When("yellow") Yellow @When("green") Green