From 1aa8abb074787dde7124a0e548b98dfbf670d409 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 24 May 2006 15:40:15 +0000 Subject: updated dialogue to multimodal ; bug fixes in grammar compilation --- examples/dialogue/Dialogue.gf | 27 ++++++++++++++++++++------- 1 file changed, 20 insertions(+), 7 deletions(-) (limited to 'examples/dialogue/Dialogue.gf') diff --git a/examples/dialogue/Dialogue.gf b/examples/dialogue/Dialogue.gf index 31163cffe..41f805c93 100644 --- a/examples/dialogue/Dialogue.gf +++ b/examples/dialogue/Dialogue.gf @@ -14,14 +14,14 @@ abstract Dialogue = { Oper2 Kind Kind ; fun - MRequest : Action -> Move ; - MConfirm : Action -> Move ; - MAnswer : Proposition -> Move ; - MIssue : Question -> Move ; + IRequest : Action -> Input ; + IConfirm : Action -> Input ; + IAnswer : Proposition -> Input ; + IIssue : Question -> Input ; - MYes : Move ; - MNo : Move ; - MObject : (k : Kind) -> Object k -> Move ; + IYes : Input ; + INo : Input ; + IObject : (k : Kind) -> Object k -> Input ; PAction : Action -> Proposition ; @@ -35,5 +35,18 @@ abstract Dialogue = { OIndef : (k : Kind) -> Object k ; ODef : (k : Kind) -> Object k ; +-- multimodality + cat + Click ; + Input ; -- multimodal asynchronous input + Speech ; -- speech only + fun + OThis : (k : Kind) -> Click -> Object k ; + OThisKind : (k : Kind) -> Click -> Object k ; + + MInput : Input -> Move ; + SInput : Input -> Speech ; + + MkClick : String -> Click ; } -- cgit v1.2.3