23 lines
1.0 KiB
Plaintext
23 lines
1.0 KiB
Plaintext
// 字段类型契约示例：CounterText 同时有原生文本载荷和源 Number 字段。
|
|
// 绑定显示读取该字段，GUI 回调与 Console 赋值受同一契约约束。
|
|
// 增加 value:Number；构造时先传原生 text，再传源字段值。
|
|
class CounterText: TextBlock {
|
|
value: Number
|
|
// 收到 click 后把已有数值改为 10，依赖文字随之更新，不修改原生 text 内容。
|
|
function change(self: CounterText, event: Event): Unit {
|
|
self.value = 10
|
|
}
|
|
}
|
|
// 声明 target 必须是 Block，可接收 CounterText，因为它是 TextBlock 的子类。
|
|
class Model {
|
|
target: Block
|
|
}
|
|
// 构造唯一受检对象，Model、事件回调和 textOf 均引用它。
|
|
counter = CounterText("共享的原生子类对象", 9)
|
|
model = Model(counter)
|
|
button = Button("把 Number 字段改成 10")
|
|
connection = button.on("click", counter.change)
|
|
page = Page()
|
|
page.title = "字段类型契约"
|
|
page.render(Column(24, 16, counter, ui.textOf(counter, "value"), button, TextBlock("GUI 和源码写入同一个受检查的字段")))
|