public interface DemoModel
type DemoModel is modeled by
(input: string of character,
output: string of character)
default:
ensures
this = ("", "")
String input()
input = this.input
void setInput(String input)
input
- new this.input valuethis.input
this.input = input
String output()
output = this.output
void setOutput(String output)
output
- new this.output valuethis.output
this.output = output