summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjohn.j.camilleri <john.j.camilleri@chalmers.se>2011-10-17 16:01:07 +0000
committerjohn.j.camilleri <john.j.camilleri@chalmers.se>2011-10-17 16:01:07 +0000
commitd9f7697f7a9f8fb44fa2ead3eecf6ca3c3cad19f (patch)
treeedd9fa3fc1bcd7ed1653a1350541b2e7cb8de6a4
parent83533afd5f8fe3c053b234d365a5a7325c86e594 (diff)
Added Eclipse contents
-rw-r--r--eclipse/beta/artifacts.jarbin0 -> 640 bytes
-rw-r--r--eclipse/beta/content.jarbin0 -> 2366 bytes
-rw-r--r--eclipse/beta/features/org.grammaticalframework.feature_1.0.0.201110141249.jarbin0 -> 963 bytes
-rw-r--r--eclipse/beta/plugins/org.grammaticalframework.eclipse.tests_1.0.0.201110141249.jarbin0 -> 2469 bytes
-rw-r--r--eclipse/beta/plugins/org.grammaticalframework.eclipse.ui_1.0.0.201110141249.jarbin0 -> 361746 bytes
-rw-r--r--eclipse/beta/plugins/org.grammaticalframework.eclipse_1.0.0.201110141249.jarbin0 -> 434519 bytes
-rw-r--r--eclipse/examples/functors/Foods.gf16
-rw-r--r--eclipse/examples/functors/FoodsEng.gf8
-rw-r--r--eclipse/examples/functors/FoodsGer.gf5
-rw-r--r--eclipse/examples/functors/FoodsI.gf28
-rw-r--r--eclipse/examples/functors/LexFoods.gf15
-rw-r--r--eclipse/examples/functors/LexFoodsEng.gf16
-rw-r--r--eclipse/examples/functors/LexFoodsGer.gf18
-rw-r--r--eclipse/examples/hello/AbsCat.gf5
-rw-r--r--eclipse/examples/hello/HelloAbs.gf12
-rw-r--r--eclipse/examples/hello/HelloEng.gf21
-rw-r--r--eclipse/examples/hello/ResEng.gf8
-rw-r--r--eclipse/images/eclipse-after-format.pngbin0 -> 22971 bytes
-rw-r--r--eclipse/images/eclipse-before-format.pngbin0 -> 23370 bytes
-rw-r--r--eclipse/images/eclipse-compileroutput.pngbin0 -> 36757 bytes
-rw-r--r--eclipse/images/eclipse-editor-cat.pngbin0 -> 146282 bytes
-rw-r--r--eclipse/images/eclipse-editor-general.pngbin0 -> 138027 bytes
-rw-r--r--eclipse/images/eclipse-launchconfig.pngbin0 -> 80409 bytes
-rw-r--r--eclipse/images/eclipse-modulewizard-1.pngbin0 -> 43019 bytes
-rw-r--r--eclipse/images/eclipse-projectwizard-1.pngbin0 -> 28803 bytes
-rw-r--r--eclipse/images/eclipse-projectwizard-2.pngbin0 -> 26348 bytes
-rw-r--r--eclipse/index.html14
27 files changed, 166 insertions, 0 deletions
diff --git a/eclipse/beta/artifacts.jar b/eclipse/beta/artifacts.jar
new file mode 100644
index 000000000..081e0ed95
--- /dev/null
+++ b/eclipse/beta/artifacts.jar
Binary files differ
diff --git a/eclipse/beta/content.jar b/eclipse/beta/content.jar
new file mode 100644
index 000000000..645062485
--- /dev/null
+++ b/eclipse/beta/content.jar
Binary files 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
--- /dev/null
+++ b/eclipse/beta/features/org.grammaticalframework.feature_1.0.0.201110141249.jar
Binary files 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
--- /dev/null
+++ b/eclipse/beta/plugins/org.grammaticalframework.eclipse.tests_1.0.0.201110141249.jar
Binary files 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
--- /dev/null
+++ b/eclipse/beta/plugins/org.grammaticalframework.eclipse.ui_1.0.0.201110141249.jar
Binary files 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
--- /dev/null
+++ b/eclipse/beta/plugins/org.grammaticalframework.eclipse_1.0.0.201110141249.jar
Binary files 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
--- /dev/null
+++ b/eclipse/images/eclipse-after-format.png
Binary files differ
diff --git a/eclipse/images/eclipse-before-format.png b/eclipse/images/eclipse-before-format.png
new file mode 100644
index 000000000..5cbaa711a
--- /dev/null
+++ b/eclipse/images/eclipse-before-format.png
Binary files differ
diff --git a/eclipse/images/eclipse-compileroutput.png b/eclipse/images/eclipse-compileroutput.png
new file mode 100644
index 000000000..19c91fe84
--- /dev/null
+++ b/eclipse/images/eclipse-compileroutput.png
Binary files differ
diff --git a/eclipse/images/eclipse-editor-cat.png b/eclipse/images/eclipse-editor-cat.png
new file mode 100644
index 000000000..4145839d7
--- /dev/null
+++ b/eclipse/images/eclipse-editor-cat.png
Binary files differ
diff --git a/eclipse/images/eclipse-editor-general.png b/eclipse/images/eclipse-editor-general.png
new file mode 100644
index 000000000..17a89ccdb
--- /dev/null
+++ b/eclipse/images/eclipse-editor-general.png
Binary files differ
diff --git a/eclipse/images/eclipse-launchconfig.png b/eclipse/images/eclipse-launchconfig.png
new file mode 100644
index 000000000..485e673d5
--- /dev/null
+++ b/eclipse/images/eclipse-launchconfig.png
Binary files differ
diff --git a/eclipse/images/eclipse-modulewizard-1.png b/eclipse/images/eclipse-modulewizard-1.png
new file mode 100644
index 000000000..64391f8e5
--- /dev/null
+++ b/eclipse/images/eclipse-modulewizard-1.png
Binary files differ
diff --git a/eclipse/images/eclipse-projectwizard-1.png b/eclipse/images/eclipse-projectwizard-1.png
new file mode 100644
index 000000000..5826468d7
--- /dev/null
+++ b/eclipse/images/eclipse-projectwizard-1.png
Binary files differ
diff --git a/eclipse/images/eclipse-projectwizard-2.png b/eclipse/images/eclipse-projectwizard-2.png
new file mode 100644
index 000000000..c489e68a1
--- /dev/null
+++ b/eclipse/images/eclipse-projectwizard-2.png
Binary files 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 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
+<HTML>
+<HEAD>
+<TITLE>GF Eclipse Plugin</TITLE>
+</HEAD>
+<BODY>
+<CENTER>
+<H1>GF Eclipse Plugin</H1>
+<P>
+This information has now moved to the <A href="http://www.molto-project.eu/node/1395" title="GF Eclipse Plugin at the MOLTO Project website Wiki">MOLTO Project Wiki</A>.
+</P>
+</CENTER>
+</BODY>
+</HTML>