From f6242702f5b1c42a81cad02e44a0f203b80cd497 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 5 Mar 2012 09:50:29 +0000 Subject: GFEP: updated examples --- eclipse/examples/foods.zip | Bin 0 -> 2817 bytes eclipse/examples/foods/Foods.gf | 16 ++++++++++++++++ eclipse/examples/foods/FoodsEng.gf | 8 ++++++++ eclipse/examples/foods/FoodsGer.gf | 5 +++++ eclipse/examples/foods/FoodsI.gf | 28 ++++++++++++++++++++++++++++ eclipse/examples/foods/LexFoods.gf | 15 +++++++++++++++ eclipse/examples/foods/LexFoodsEng.gf | 16 ++++++++++++++++ eclipse/examples/foods/LexFoodsGer.gf | 18 ++++++++++++++++++ eclipse/examples/functors/Foods.gf | 16 ---------------- eclipse/examples/functors/FoodsEng.gf | 8 -------- eclipse/examples/functors/FoodsGer.gf | 5 ----- eclipse/examples/functors/FoodsI.gf | 28 ---------------------------- eclipse/examples/functors/LexFoods.gf | 15 --------------- eclipse/examples/functors/LexFoodsEng.gf | 16 ---------------- eclipse/examples/functors/LexFoodsGer.gf | 18 ------------------ eclipse/examples/hello.zip | Bin 0 -> 1364 bytes 16 files changed, 106 insertions(+), 106 deletions(-) create mode 100644 eclipse/examples/foods.zip create mode 100644 eclipse/examples/foods/Foods.gf create mode 100644 eclipse/examples/foods/FoodsEng.gf create mode 100644 eclipse/examples/foods/FoodsGer.gf create mode 100644 eclipse/examples/foods/FoodsI.gf create mode 100644 eclipse/examples/foods/LexFoods.gf create mode 100644 eclipse/examples/foods/LexFoodsEng.gf create mode 100644 eclipse/examples/foods/LexFoodsGer.gf delete mode 100644 eclipse/examples/functors/Foods.gf delete mode 100644 eclipse/examples/functors/FoodsEng.gf delete mode 100644 eclipse/examples/functors/FoodsGer.gf delete mode 100644 eclipse/examples/functors/FoodsI.gf delete mode 100644 eclipse/examples/functors/LexFoods.gf delete mode 100644 eclipse/examples/functors/LexFoodsEng.gf delete mode 100644 eclipse/examples/functors/LexFoodsGer.gf create mode 100644 eclipse/examples/hello.zip (limited to 'eclipse/examples') diff --git a/eclipse/examples/foods.zip b/eclipse/examples/foods.zip new file mode 100644 index 000000000..3457a6b8c Binary files /dev/null and b/eclipse/examples/foods.zip differ diff --git a/eclipse/examples/foods/Foods.gf b/eclipse/examples/foods/Foods.gf new file mode 100644 index 000000000..5328473c3 --- /dev/null +++ b/eclipse/examples/foods/Foods.gf @@ -0,0 +1,16 @@ +-- Abstract Syntax +abstract Foods = { + + flags startcat = Phrase ; + + cat + Phrase ; Item ; Kind ; Quality ; + + fun + Is : Item -> Quality -> Phrase ; + This, That, These, Those : Kind -> Item ; + QKind : Quality -> Kind -> Kind ; + Wine, Cheese, Fish, Pizza : Kind ; + Very : Quality -> Quality ; + Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ; +} diff --git a/eclipse/examples/foods/FoodsEng.gf b/eclipse/examples/foods/FoodsEng.gf new file mode 100644 index 000000000..9337b2f6e --- /dev/null +++ b/eclipse/examples/foods/FoodsEng.gf @@ -0,0 +1,8 @@ +-- Functor Instantiation +--# -path=.:/home/john/.cabal/share/gf-3.2.9/lib/present +concrete FoodsEng of Foods = FoodsI - [Pizza] with + (Syntax = SyntaxEng), + (LexFoods = LexFoodsEng) ** + open SyntaxEng, ParadigmsEng in { + lin Pizza = mkCN (mkA "Italian") (mkN "pie") ; +} diff --git a/eclipse/examples/foods/FoodsGer.gf b/eclipse/examples/foods/FoodsGer.gf new file mode 100644 index 000000000..59e48b548 --- /dev/null +++ b/eclipse/examples/foods/FoodsGer.gf @@ -0,0 +1,5 @@ +-- Functor Instantiation +--# -path=.:/home/john/.cabal/share/gf-3.2.9/lib/present +concrete FoodsGer of Foods = FoodsI with + (Syntax = SyntaxGer), + (LexFoods = LexFoodsGer) ; diff --git a/eclipse/examples/foods/FoodsI.gf b/eclipse/examples/foods/FoodsI.gf new file mode 100644 index 000000000..a01da068f --- /dev/null +++ b/eclipse/examples/foods/FoodsI.gf @@ -0,0 +1,28 @@ +-- Functor +-- (a module that opens one or more interfaces) +incomplete concrete FoodsI of Foods = open Syntax, LexFoods in { +lincat + Phrase = Cl ; + Item = NP ; + Kind = CN ; + Quality = AP ; +lin + Is item quality = mkCl item quality ; + This kind = mkNP this_Det kind ; + That kind = mkNP that_Det kind ; + These kind = mkNP these_Det kind ; + Those kind = mkNP those_Det kind ; + QKind quality kind = mkCN quality kind ; + Very quality = mkAP very_AdA quality ; + + Wine = mkCN wine_N ; + Pizza = mkCN pizza_N ; + Cheese = mkCN cheese_N ; + Fish = mkCN fish_N ; + Fresh = mkAP fresh_A ; + Warm = mkAP warm_A ; + Italian = mkAP italian_A ; + Expensive = mkAP expensive_A ; + Delicious = mkAP delicious_A ; + Boring = mkAP boring_A ; +} diff --git a/eclipse/examples/foods/LexFoods.gf b/eclipse/examples/foods/LexFoods.gf new file mode 100644 index 000000000..0d4ca4be4 --- /dev/null +++ b/eclipse/examples/foods/LexFoods.gf @@ -0,0 +1,15 @@ +-- Lexicon Interface +-- (a resource which contains only oper TYPES) +interface LexFoods = open Syntax in { +oper + wine_N : N ; + pizza_N : N ; + cheese_N : N ; + fish_N : N ; + fresh_A : A ; + warm_A : A ; + italian_A : A ; + expensive_A : A ; + delicious_A : A ; + boring_A : A ; +} diff --git a/eclipse/examples/foods/LexFoodsEng.gf b/eclipse/examples/foods/LexFoodsEng.gf new file mode 100644 index 000000000..5f4243d35 --- /dev/null +++ b/eclipse/examples/foods/LexFoodsEng.gf @@ -0,0 +1,16 @@ +-- Lexicon Instance +instance LexFoodsEng of LexFoods = open SyntaxEng, ParadigmsEng in { +flags + coding=utf8 ; +oper + wine_N = mkN "wine" ; + pizza_N = mkN "pizza" ; + cheese_N = mkN "cheese" ; + fish_N = mkN "fish" ; + fresh_A = mkA "fresh" ; + warm_A = mkA "warm" ; + italian_A = mkA "Italian" ; + expensive_A = mkA "expensive" ; + delicious_A = mkA "delicious" ; + boring_A = mkA "boring" ; +} diff --git a/eclipse/examples/foods/LexFoodsGer.gf b/eclipse/examples/foods/LexFoodsGer.gf new file mode 100644 index 000000000..7772416be --- /dev/null +++ b/eclipse/examples/foods/LexFoodsGer.gf @@ -0,0 +1,18 @@ +-- Lexicon Instance +instance LexFoodsGer of LexFoods = open SyntaxGer, ParadigmsGer in { +flags + coding=utf8 ; +oper + wine_N = mkN "Wein" ; + pizza_N = mkN "Pizza" "Pizzen" feminine ; + cheese_N = mkN "Käse" "Käsen" masculine ; + fish_N = mkN "Fisch" ; + fresh_A = mkA "frisch" ; + warm_A = mkA "warm" "wärmer" "wärmste" ; + italian_A = mkA "italienisch" ; + expensive_A = mkA "teuer" ; + delicious_A = mkA "köstlich" ; + boring_A = mkA "langweilig" ; + + testy_A = mkA "testy" ; +} diff --git a/eclipse/examples/functors/Foods.gf b/eclipse/examples/functors/Foods.gf deleted file mode 100644 index 5328473c3..000000000 --- a/eclipse/examples/functors/Foods.gf +++ /dev/null @@ -1,16 +0,0 @@ --- Abstract Syntax -abstract Foods = { - - flags startcat = Phrase ; - - cat - Phrase ; Item ; Kind ; Quality ; - - fun - Is : Item -> Quality -> Phrase ; - This, That, These, Those : Kind -> Item ; - QKind : Quality -> Kind -> Kind ; - Wine, Cheese, Fish, Pizza : Kind ; - Very : Quality -> Quality ; - Fresh, Warm, Italian, Expensive, Delicious, Boring : Quality ; -} diff --git a/eclipse/examples/functors/FoodsEng.gf b/eclipse/examples/functors/FoodsEng.gf deleted file mode 100644 index 9337b2f6e..000000000 --- a/eclipse/examples/functors/FoodsEng.gf +++ /dev/null @@ -1,8 +0,0 @@ --- Functor Instantiation ---# -path=.:/home/john/.cabal/share/gf-3.2.9/lib/present -concrete FoodsEng of Foods = FoodsI - [Pizza] with - (Syntax = SyntaxEng), - (LexFoods = LexFoodsEng) ** - open SyntaxEng, ParadigmsEng in { - lin Pizza = mkCN (mkA "Italian") (mkN "pie") ; -} diff --git a/eclipse/examples/functors/FoodsGer.gf b/eclipse/examples/functors/FoodsGer.gf deleted file mode 100644 index 59e48b548..000000000 --- a/eclipse/examples/functors/FoodsGer.gf +++ /dev/null @@ -1,5 +0,0 @@ --- Functor Instantiation ---# -path=.:/home/john/.cabal/share/gf-3.2.9/lib/present -concrete FoodsGer of Foods = FoodsI with - (Syntax = SyntaxGer), - (LexFoods = LexFoodsGer) ; diff --git a/eclipse/examples/functors/FoodsI.gf b/eclipse/examples/functors/FoodsI.gf deleted file mode 100644 index a01da068f..000000000 --- a/eclipse/examples/functors/FoodsI.gf +++ /dev/null @@ -1,28 +0,0 @@ --- Functor --- (a module that opens one or more interfaces) -incomplete concrete FoodsI of Foods = open Syntax, LexFoods in { -lincat - Phrase = Cl ; - Item = NP ; - Kind = CN ; - Quality = AP ; -lin - Is item quality = mkCl item quality ; - This kind = mkNP this_Det kind ; - That kind = mkNP that_Det kind ; - These kind = mkNP these_Det kind ; - Those kind = mkNP those_Det kind ; - QKind quality kind = mkCN quality kind ; - Very quality = mkAP very_AdA quality ; - - Wine = mkCN wine_N ; - Pizza = mkCN pizza_N ; - Cheese = mkCN cheese_N ; - Fish = mkCN fish_N ; - Fresh = mkAP fresh_A ; - Warm = mkAP warm_A ; - Italian = mkAP italian_A ; - Expensive = mkAP expensive_A ; - Delicious = mkAP delicious_A ; - Boring = mkAP boring_A ; -} diff --git a/eclipse/examples/functors/LexFoods.gf b/eclipse/examples/functors/LexFoods.gf deleted file mode 100644 index 0d4ca4be4..000000000 --- a/eclipse/examples/functors/LexFoods.gf +++ /dev/null @@ -1,15 +0,0 @@ --- Lexicon Interface --- (a resource which contains only oper TYPES) -interface LexFoods = open Syntax in { -oper - wine_N : N ; - pizza_N : N ; - cheese_N : N ; - fish_N : N ; - fresh_A : A ; - warm_A : A ; - italian_A : A ; - expensive_A : A ; - delicious_A : A ; - boring_A : A ; -} diff --git a/eclipse/examples/functors/LexFoodsEng.gf b/eclipse/examples/functors/LexFoodsEng.gf deleted file mode 100644 index 5f4243d35..000000000 --- a/eclipse/examples/functors/LexFoodsEng.gf +++ /dev/null @@ -1,16 +0,0 @@ --- Lexicon Instance -instance LexFoodsEng of LexFoods = open SyntaxEng, ParadigmsEng in { -flags - coding=utf8 ; -oper - wine_N = mkN "wine" ; - pizza_N = mkN "pizza" ; - cheese_N = mkN "cheese" ; - fish_N = mkN "fish" ; - fresh_A = mkA "fresh" ; - warm_A = mkA "warm" ; - italian_A = mkA "Italian" ; - expensive_A = mkA "expensive" ; - delicious_A = mkA "delicious" ; - boring_A = mkA "boring" ; -} diff --git a/eclipse/examples/functors/LexFoodsGer.gf b/eclipse/examples/functors/LexFoodsGer.gf deleted file mode 100644 index 7772416be..000000000 --- a/eclipse/examples/functors/LexFoodsGer.gf +++ /dev/null @@ -1,18 +0,0 @@ --- Lexicon Instance -instance LexFoodsGer of LexFoods = open SyntaxGer, ParadigmsGer in { -flags - coding=utf8 ; -oper - wine_N = mkN "Wein" ; - pizza_N = mkN "Pizza" "Pizzen" feminine ; - cheese_N = mkN "Käse" "Käsen" masculine ; - fish_N = mkN "Fisch" ; - fresh_A = mkA "frisch" ; - warm_A = mkA "warm" "wärmer" "wärmste" ; - italian_A = mkA "italienisch" ; - expensive_A = mkA "teuer" ; - delicious_A = mkA "köstlich" ; - boring_A = mkA "langweilig" ; - - testy_A = mkA "testy" ; -} diff --git a/eclipse/examples/hello.zip b/eclipse/examples/hello.zip new file mode 100644 index 000000000..2676ac391 Binary files /dev/null and b/eclipse/examples/hello.zip differ -- cgit v1.2.3