diff --git a/eclipse/beta/artifacts.jar b/eclipse/beta/artifacts.jar new file mode 100644 index 000000000..081e0ed95 Binary files /dev/null and b/eclipse/beta/artifacts.jar differ diff --git a/eclipse/beta/content.jar b/eclipse/beta/content.jar new file mode 100644 index 000000000..645062485 Binary files /dev/null and b/eclipse/beta/content.jar differ diff --git a/eclipse/beta/features/org.grammaticalframework.feature_1.0.0.201110141249.jar b/eclipse/beta/features/org.grammaticalframework.feature_1.0.0.201110141249.jar new file mode 100644 index 000000000..c8267195c Binary files /dev/null and b/eclipse/beta/features/org.grammaticalframework.feature_1.0.0.201110141249.jar differ diff --git a/eclipse/beta/plugins/org.grammaticalframework.eclipse.tests_1.0.0.201110141249.jar b/eclipse/beta/plugins/org.grammaticalframework.eclipse.tests_1.0.0.201110141249.jar new file mode 100644 index 000000000..22938ae5e Binary files /dev/null and b/eclipse/beta/plugins/org.grammaticalframework.eclipse.tests_1.0.0.201110141249.jar differ diff --git a/eclipse/beta/plugins/org.grammaticalframework.eclipse.ui_1.0.0.201110141249.jar b/eclipse/beta/plugins/org.grammaticalframework.eclipse.ui_1.0.0.201110141249.jar new file mode 100644 index 000000000..72289bedf Binary files /dev/null and b/eclipse/beta/plugins/org.grammaticalframework.eclipse.ui_1.0.0.201110141249.jar differ diff --git a/eclipse/beta/plugins/org.grammaticalframework.eclipse_1.0.0.201110141249.jar b/eclipse/beta/plugins/org.grammaticalframework.eclipse_1.0.0.201110141249.jar new file mode 100644 index 000000000..059fc5541 Binary files /dev/null and b/eclipse/beta/plugins/org.grammaticalframework.eclipse_1.0.0.201110141249.jar differ diff --git a/eclipse/examples/functors/Foods.gf b/eclipse/examples/functors/Foods.gf new file mode 100644 index 000000000..5328473c3 --- /dev/null +++ b/eclipse/examples/functors/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/functors/FoodsEng.gf b/eclipse/examples/functors/FoodsEng.gf new file mode 100644 index 000000000..9337b2f6e --- /dev/null +++ b/eclipse/examples/functors/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/functors/FoodsGer.gf b/eclipse/examples/functors/FoodsGer.gf new file mode 100644 index 000000000..59e48b548 --- /dev/null +++ b/eclipse/examples/functors/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/functors/FoodsI.gf b/eclipse/examples/functors/FoodsI.gf new file mode 100644 index 000000000..a01da068f --- /dev/null +++ b/eclipse/examples/functors/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/functors/LexFoods.gf b/eclipse/examples/functors/LexFoods.gf new file mode 100644 index 000000000..0d4ca4be4 --- /dev/null +++ b/eclipse/examples/functors/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/functors/LexFoodsEng.gf b/eclipse/examples/functors/LexFoodsEng.gf new file mode 100644 index 000000000..5f4243d35 --- /dev/null +++ b/eclipse/examples/functors/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/functors/LexFoodsGer.gf b/eclipse/examples/functors/LexFoodsGer.gf new file mode 100644 index 000000000..7772416be --- /dev/null +++ b/eclipse/examples/functors/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/hello/AbsCat.gf b/eclipse/examples/hello/AbsCat.gf new file mode 100644 index 000000000..dac5c07db --- /dev/null +++ b/eclipse/examples/hello/AbsCat.gf @@ -0,0 +1,5 @@ +abstract AbsCat = { + + cat Greeting ; Recipient ; + +}; diff --git a/eclipse/examples/hello/HelloAbs.gf b/eclipse/examples/hello/HelloAbs.gf new file mode 100644 index 000000000..70ab490bf --- /dev/null +++ b/eclipse/examples/hello/HelloAbs.gf @@ -0,0 +1,12 @@ +abstract HelloAbs = AbsCat [Greeting, Recipient] ** { + + flags startcat = Greeting ; + + cat Farewell ; + + fun + Hello : Recipient -> Greeting ; + Goodbye : Recipient -> Farewell ; + World, Parent, Friends : Recipient ; + +} diff --git a/eclipse/examples/hello/HelloEng.gf b/eclipse/examples/hello/HelloEng.gf new file mode 100644 index 000000000..d67843ef0 --- /dev/null +++ b/eclipse/examples/hello/HelloEng.gf @@ -0,0 +1,21 @@ +concrete HelloEng of HelloAbs = ResEng ** { + + lincat + Greeting, Farewell = {s : Str} ; + Recipient = {s : Gender => Str} ; + + lin + Hello recip = {s = "hello" ++ recip.s ! Masc} ; + Goodbye recip = {s = "goodbye" ++ recip.s ! Fem} ; + + World = {s = \\_ => "world"} ; + Parent = { s = table { + Masc => "dad" ; Fem => "mum" + } } ; + Friends = superate "friends" ; + + oper + superate : Str -> Recipient = \s -> + lin Recipient { s = \\_ => "super" ++ s } ; + +} diff --git a/eclipse/examples/hello/ResEng.gf b/eclipse/examples/hello/ResEng.gf new file mode 100644 index 000000000..1ecf97a4d --- /dev/null +++ b/eclipse/examples/hello/ResEng.gf @@ -0,0 +1,8 @@ +--# -path=.:../abstract:../common:../../prelude +resource ResEng = { + + param + OtherParam = A | B ; + Gender = Masc | Fem ; + +} ; diff --git a/eclipse/images/eclipse-after-format.png b/eclipse/images/eclipse-after-format.png new file mode 100644 index 000000000..35ac8f88c Binary files /dev/null and b/eclipse/images/eclipse-after-format.png differ diff --git a/eclipse/images/eclipse-before-format.png b/eclipse/images/eclipse-before-format.png new file mode 100644 index 000000000..5cbaa711a Binary files /dev/null and b/eclipse/images/eclipse-before-format.png differ diff --git a/eclipse/images/eclipse-compileroutput.png b/eclipse/images/eclipse-compileroutput.png new file mode 100644 index 000000000..19c91fe84 Binary files /dev/null and b/eclipse/images/eclipse-compileroutput.png differ diff --git a/eclipse/images/eclipse-editor-cat.png b/eclipse/images/eclipse-editor-cat.png new file mode 100644 index 000000000..4145839d7 Binary files /dev/null and b/eclipse/images/eclipse-editor-cat.png differ diff --git a/eclipse/images/eclipse-editor-general.png b/eclipse/images/eclipse-editor-general.png new file mode 100644 index 000000000..17a89ccdb Binary files /dev/null and b/eclipse/images/eclipse-editor-general.png differ diff --git a/eclipse/images/eclipse-launchconfig.png b/eclipse/images/eclipse-launchconfig.png new file mode 100644 index 000000000..485e673d5 Binary files /dev/null and b/eclipse/images/eclipse-launchconfig.png differ diff --git a/eclipse/images/eclipse-modulewizard-1.png b/eclipse/images/eclipse-modulewizard-1.png new file mode 100644 index 000000000..64391f8e5 Binary files /dev/null and b/eclipse/images/eclipse-modulewizard-1.png differ diff --git a/eclipse/images/eclipse-projectwizard-1.png b/eclipse/images/eclipse-projectwizard-1.png new file mode 100644 index 000000000..5826468d7 Binary files /dev/null and b/eclipse/images/eclipse-projectwizard-1.png differ diff --git a/eclipse/images/eclipse-projectwizard-2.png b/eclipse/images/eclipse-projectwizard-2.png new file mode 100644 index 000000000..c489e68a1 Binary files /dev/null and b/eclipse/images/eclipse-projectwizard-2.png differ diff --git a/eclipse/index.html b/eclipse/index.html new file mode 100644 index 000000000..fc63e114a --- /dev/null +++ b/eclipse/index.html @@ -0,0 +1,14 @@ + + + +GF Eclipse Plugin + + +
+

GF Eclipse Plugin

+

+This information has now moved to the MOLTO Project Wiki. +

+
+ +