public interface AppendUndoController
type AppendUndoController is modeled by
(model: AppendUndoModel,
view: AppendUndoView)
(AppendUndoModel model, AppendUndoView view):
ensures
this.model = model and
this.view = view
| Modifier and Type | Method and Description |
|---|---|
void |
processAppendEvent(String input)
Processes event to append to output.
|
void |
processResetEvent()
Processes event to reset model.
|
void |
processUndoEvent()
Processes event to undo last append to output.
|
void processResetEvent()
this.model, this.view
this.model.input = "" and
this.model.output = <> and
[this.view has been updated to match this.model]
void processAppendEvent(String input)
input - string to be appendedthis.model, this.view
this.model.input = "" and
this.model.output = <input> * #this.model.output and
[this.view has been updated to match this.model]
void processUndoEvent()
this.model, this.view
this.model.output /= <>
#this.model.output = <this.model.input> * this.model.output and
[this.view has been updated to match this.model]