Lines Matching defs:scenario
31 * This class represents the current state of a scenario playback
38 private Scenario scenario;
40 /** The index of the next event to play in the scenario */
44 * Unification map, holding the mappings between scenario SymRefs and
53 public ScenarioIterator(Scenario scenario) {
54 this.scenario = scenario ;
63 return (Scenario.EventCommandList)scenario.getEventList().get(index);
75 * Does the given event match what happened next in the scenario
94 if (index >= scenario.getEventList().size()) {
98 scenario.getEventList().get(index);
112 "scenario =" + this);
149 * Returns a string representing the contents of the scenario
155 " scenario = " + scenario;