Skip to content
This repository has been archived by the owner on Mar 12, 2020. It is now read-only.

Commit

Permalink
Call the correct executeAction method
Browse files Browse the repository at this point in the history
  • Loading branch information
tdauth committed Mar 12, 2019
1 parent 8065a4b commit cf10cf5
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ trait GuiStateMachine {
* @return The current state which the transition of a leads to.
*/
def executeAction(from: State, a: Action, to: State): State
def executeAction(fromSutState: SutState, a: Action, toSutState: SutState): State
def executeAction(fromSutState: SutState, a: Action, toSutState: SutState): State = executeAction(getState(fromSutState), a, getState(toSutState))

def getAllStates: Map[SutState, State]

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -50,8 +50,6 @@ class GuiStateMachineImpl extends GuiStateMachine with Serializable {
to
}

override def executeAction(fromSutState: SutState, a: Action, toSutState: SutState): State = executeAction(StateImpl(fromSutState), a, StateImpl(toSutState))

override def getAllStates: Map[SutState, State] = this.synchronized { states }

override def getAllExploredActions: Set[Action] = this.synchronized { allExploredActions }
Expand Down

0 comments on commit cf10cf5

Please sign in to comment.