dol 0.8.1

DOL (Design Ontology Language) - A declarative specification language for ontology-first development
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

// Chat - Multi-Spirit coordination
// All effects inferred from usage

gen ChatRoom {
    has name: string
    has message_count: Int

    fun tick() {
        if pending() > 0 {
            let msg = recv()
            let from = sender()

            println("[" + this.name + "] " + from.to_string() + ": " + msg)
            broadcast(msg)

            this.message_count = this.message_count + 1
        }
    }
}

gen ChatUser {
    has name: string
    has room: SpiritId

    fun say(msg: string) {
        send(this.room, this.name + ": " + msg)
    }

    fun tick() {
        if pending() > 0 {
            let msg = recv()
            println("[" + this.name + " sees] " + msg)
        }
    }
}