public interface DemoController
type DemoController is modeled by
(model: DemoModel,
view: DemoView)
(DemoModel model, DemoView view):
ensures
this.model = model and
this.view = view
Modifier and Type | Method and Description |
---|---|
void |
processCopyEvent(String input)
Processes event to copy input to output.
|
void |
processResetEvent()
Processes event to reset model.
|
void processResetEvent()
this.model, this.view
this.model.input = "" and
this.model.output = "" and
[this.view has been updated to match this.model]
void processCopyEvent(String input)
input
- string to be copiedthis.model, this.view
this.model.input = input and
this.model.output = input and
[this.view has been updated to match this.model]