Sha256: dc0470391f9e4dc1f4fb9f302e75def4b6b4b7a0ee1ea13f07b3decb3406f8f5
Contents?: true
Size: 381 Bytes
Versions: 7
Compression:
Stored size: 381 Bytes
Contents
schema Service {
running is false
procedure start {
conditions {
this.running is false
}
effects {
this.running is true
}
}
procedure stop {
conditions {
this.running is true
}
effects {
this.running is false
}
}
}
schema Client {
refer isref Service
procedure redirect(s isref Service) {
conditions { }
effects {
this.refer is s
}
}
}
Version data entries
7 entries across 7 versions & 2 rubygems