examples/dialogue/Lights.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

abstract Lights = Dialogue ** {

  fun
    Light        : Kind ;
    Room         : Kind ;
    SwitchOnIn   : Oper2 Light Room ;
    SwitchOffIn  : Oper2 Light Room ;
    SwitchOn     : Oper1 Light ;
    SwitchOff    : Oper1 Light ;

    LivingRoom   : Object Room ;
    Kitchen      : Object Room ;

    MorningMode  : Move ;

}