From 23b8136af27b0baaa8fcb5272a613d5f2ee447fa Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 17 Jun 2008 13:16:15 +0000 Subject: started examples-3.0 with examples that are tested to work --- examples-3.0/tutorial/smart/House.gf | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 examples-3.0/tutorial/smart/House.gf (limited to 'examples-3.0/tutorial/smart/House.gf') diff --git a/examples-3.0/tutorial/smart/House.gf b/examples-3.0/tutorial/smart/House.gf new file mode 100644 index 000000000..e156792f1 --- /dev/null +++ b/examples-3.0/tutorial/smart/House.gf @@ -0,0 +1,35 @@ +abstract House = { + +flags startcat = Utterance ; + +cat + Utterance ; + Command ; + Question ; + Kind ; + Action Kind ; + Device Kind ; + Location ; + +fun + UCommand : Command -> Utterance ; + UQuestion : Question -> Utterance ; + + CAction : (k : Kind) -> Action k -> Device k -> Command ; + QAction : (k : Kind) -> Action k -> Device k -> Question ; + + DKindOne : (k : Kind) -> Device k ; + DKindMany : (k : Kind) -> Device k ; + DLoc : (k : Kind) -> Device k -> Location -> Device k ; + + light, fan : Kind ; + + switchOn, switchOff : (k : Kind) -> Action k ; + + dim : Action light ; + + kitchen, livingRoom : Location ; + + +} + -- cgit v1.2.3