From 2a382c427cd84af097f6ee9965deaa1aeb63d54d Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 12 Oct 2007 13:46:57 +0000 Subject: [PATCH] demo restaurant info --- examples/restaurant/LexRestaurant.gf | 8 ++++++++ examples/restaurant/LexRestaurantEng.gf | 12 ++++++++++++ examples/restaurant/LexRestaurantFin.gf | 12 ++++++++++++ examples/restaurant/LexRestaurantGer.gf | 12 ++++++++++++ examples/restaurant/LexRestaurantSwe.gf | 12 ++++++++++++ examples/restaurant/Restaurant.gf | 19 +++++++++++++++++++ examples/restaurant/RestaurantEng.gf | 5 +++++ examples/restaurant/RestaurantFin.gf | 5 +++++ examples/restaurant/RestaurantGer.gf | 5 +++++ examples/restaurant/RestaurantI.gf | 21 +++++++++++++++++++++ examples/restaurant/RestaurantSwe.gf | 5 +++++ 11 files changed, 116 insertions(+) create mode 100644 examples/restaurant/LexRestaurant.gf create mode 100644 examples/restaurant/LexRestaurantEng.gf create mode 100644 examples/restaurant/LexRestaurantFin.gf create mode 100644 examples/restaurant/LexRestaurantGer.gf create mode 100644 examples/restaurant/LexRestaurantSwe.gf create mode 100644 examples/restaurant/Restaurant.gf create mode 100644 examples/restaurant/RestaurantEng.gf create mode 100644 examples/restaurant/RestaurantFin.gf create mode 100644 examples/restaurant/RestaurantGer.gf create mode 100644 examples/restaurant/RestaurantI.gf create mode 100644 examples/restaurant/RestaurantSwe.gf diff --git a/examples/restaurant/LexRestaurant.gf b/examples/restaurant/LexRestaurant.gf new file mode 100644 index 000000000..fc25d2080 --- /dev/null +++ b/examples/restaurant/LexRestaurant.gf @@ -0,0 +1,8 @@ +interface LexRestaurant = open Syntax in { + +oper + restaurant_N : N ; + cheap_A : A ; + italian_A, thai_A, swedish_A, french_A : A ; + konkanok_PN : PN ; +} diff --git a/examples/restaurant/LexRestaurantEng.gf b/examples/restaurant/LexRestaurantEng.gf new file mode 100644 index 000000000..029144565 --- /dev/null +++ b/examples/restaurant/LexRestaurantEng.gf @@ -0,0 +1,12 @@ +instance LexRestaurantEng of LexRestaurant = open SyntaxEng, ParadigmsEng in { + +oper + restaurant_N = mkN "restaurant" ; + cheap_A = mkA "cheap" ; + italian_A = mkA "Italian" ; + thai_A = mkA "Thai" ; + swedish_A = mkA "Swedish" ; + french_A = mkA "French" ; + + konkanok_PN = mkPN "Konkanok" ; +} diff --git a/examples/restaurant/LexRestaurantFin.gf b/examples/restaurant/LexRestaurantFin.gf new file mode 100644 index 000000000..1755faa5e --- /dev/null +++ b/examples/restaurant/LexRestaurantFin.gf @@ -0,0 +1,12 @@ +instance LexRestaurantFin of LexRestaurant = open SyntaxFin, ParadigmsFin in { + +oper + restaurant_N = mkN "ravintola" ; + cheap_A = mkA "halpa" ; + italian_A = mkA "italialainen" ; + thai_A = mkA "thaimaalainen" ; + swedish_A = mkA "ruotsalainen" ; + french_A = mkA "ranskalainen" ; + + konkanok_PN = mkPN "Konkanok" ; +} diff --git a/examples/restaurant/LexRestaurantGer.gf b/examples/restaurant/LexRestaurantGer.gf new file mode 100644 index 000000000..349a11fd7 --- /dev/null +++ b/examples/restaurant/LexRestaurantGer.gf @@ -0,0 +1,12 @@ +instance LexRestaurantGer of LexRestaurant = open SyntaxGer, ParadigmsGer in { + +oper + restaurant_N = mkN "Restaurant" "Restaurants" neuter ; + cheap_A = mkA "billig" ; + italian_A = mkA "italienisch" ; + thai_A = mkA "thailändisch" ; + swedish_A = mkA "schwedisch" ; + french_A = mkA "französisch" ; + + konkanok_PN = mkPN "Konkanok" ; +} diff --git a/examples/restaurant/LexRestaurantSwe.gf b/examples/restaurant/LexRestaurantSwe.gf new file mode 100644 index 000000000..57d4e0487 --- /dev/null +++ b/examples/restaurant/LexRestaurantSwe.gf @@ -0,0 +1,12 @@ +instance LexRestaurantSwe of LexRestaurant = open SyntaxSwe, ParadigmsSwe in { + +oper + restaurant_N = mkN "restaurang" ; + cheap_A = mkA "billig" ; + italian_A = mkA "italiensk" ; + thai_A = mkA "thailändsk" ; + swedish_A = mkA "svensk" ; + french_A = mkA "fransk" ; + + konkanok_PN = mkPN "Konkanok" ; +} diff --git a/examples/restaurant/Restaurant.gf b/examples/restaurant/Restaurant.gf new file mode 100644 index 000000000..7b0a586de --- /dev/null +++ b/examples/restaurant/Restaurant.gf @@ -0,0 +1,19 @@ +abstract Restaurant = { + +flags startcat = Descr ; + +cat + Descr ; + Name ; + Nationality ; + PriceLevel ; + +fun + MkDescr : Name -> PriceLevel -> Nationality -> Descr ; + + Cheap : PriceLevel ; + Italian, Thai, Swedish, French : Nationality ; + Konkanok : Name ; + + +} diff --git a/examples/restaurant/RestaurantEng.gf b/examples/restaurant/RestaurantEng.gf new file mode 100644 index 000000000..a6440219a --- /dev/null +++ b/examples/restaurant/RestaurantEng.gf @@ -0,0 +1,5 @@ +--# -path=.:present:prelude + +concrete RestaurantEng of Restaurant = RestaurantI with + (Syntax = SyntaxEng), + (LexRestaurant = LexRestaurantEng) ; diff --git a/examples/restaurant/RestaurantFin.gf b/examples/restaurant/RestaurantFin.gf new file mode 100644 index 000000000..18aa08ced --- /dev/null +++ b/examples/restaurant/RestaurantFin.gf @@ -0,0 +1,5 @@ +--# -path=.:present:prelude + +concrete RestaurantFin of Restaurant = RestaurantI with + (Syntax = SyntaxFin), + (LexRestaurant = LexRestaurantFin) ; diff --git a/examples/restaurant/RestaurantGer.gf b/examples/restaurant/RestaurantGer.gf new file mode 100644 index 000000000..af711766c --- /dev/null +++ b/examples/restaurant/RestaurantGer.gf @@ -0,0 +1,5 @@ +--# -path=.:present:prelude + +concrete RestaurantGer of Restaurant = RestaurantI with + (Syntax = SyntaxGer), + (LexRestaurant = LexRestaurantGer) ; diff --git a/examples/restaurant/RestaurantI.gf b/examples/restaurant/RestaurantI.gf new file mode 100644 index 000000000..c84a738ce --- /dev/null +++ b/examples/restaurant/RestaurantI.gf @@ -0,0 +1,21 @@ +incomplete concrete RestaurantI of Restaurant = open Syntax, LexRestaurant in { + +lincat + Descr = Phr ; + Name = NP ; + Nationality = A ; + PriceLevel = A ; + +lin + MkDescr name price nat = + mkPhr (mkCl name (mkNP indefSgDet (mkCN price (mkCN nat (mkCN restaurant_N))))) ; + + Cheap = cheap_A ; + Italian = italian_A ; + Thai = thai_A ; + Swedish = swedish_A ; + French = french_A ; + Konkanok = mkNP konkanok_PN ; + + +} diff --git a/examples/restaurant/RestaurantSwe.gf b/examples/restaurant/RestaurantSwe.gf new file mode 100644 index 000000000..a8081b7f1 --- /dev/null +++ b/examples/restaurant/RestaurantSwe.gf @@ -0,0 +1,5 @@ +--# -path=.:present:prelude + +concrete RestaurantSwe of Restaurant = RestaurantI with + (Syntax = SyntaxSwe), + (LexRestaurant = LexRestaurantSwe) ;