From 58bf2cef2937bb7f21fecc5f6957e6cee89eca3b Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Fri, 1 Jun 2012 14:21:26 +0000 Subject: [PATCH] GFEP: updated readme and removed examples folder --- eclipse/examples/foods.zip | Bin 2817 -> 0 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/hello.zip | Bin 1364 -> 0 bytes eclipse/examples/hello/AbsCat.gf | 5 ----- eclipse/examples/hello/HelloAbs.gf | 12 ----------- eclipse/examples/hello/HelloEng.gf | 21 ------------------- eclipse/examples/hello/ResEng.gf | 8 -------- eclipse/index.html | 4 ++-- 14 files changed, 2 insertions(+), 154 deletions(-) delete mode 100644 eclipse/examples/foods.zip delete mode 100644 eclipse/examples/foods/Foods.gf delete mode 100644 eclipse/examples/foods/FoodsEng.gf delete mode 100644 eclipse/examples/foods/FoodsGer.gf delete mode 100644 eclipse/examples/foods/FoodsI.gf delete mode 100644 eclipse/examples/foods/LexFoods.gf delete mode 100644 eclipse/examples/foods/LexFoodsEng.gf delete mode 100644 eclipse/examples/foods/LexFoodsGer.gf delete mode 100644 eclipse/examples/hello.zip delete mode 100644 eclipse/examples/hello/AbsCat.gf delete mode 100644 eclipse/examples/hello/HelloAbs.gf delete mode 100644 eclipse/examples/hello/HelloEng.gf delete mode 100644 eclipse/examples/hello/ResEng.gf diff --git a/eclipse/examples/foods.zip b/eclipse/examples/foods.zip deleted file mode 100644 index 3457a6b8ce739b11772d8da4844c98c5938483f8..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 2817 zcmWIWW@Zs#U|`^2Q0@=3*LmBwhLe$j;RPcDg9w8RLt1`*O0m9AYK0q!;htKgm!1|H z!pXoK6fnonW1F#mX$3a}Bg+eB1_m(UJK=oRVFRA__mx}|KUc~3$W^_RkY0M>aNptL zCoU!vyPxW09>2Hj{08w8-M&9B?@XAm^!?@Y53X|E+o1khGA?3KVz;F3^ocop^`A&G zSA4&JNa_!#Bwu>pvhW`a)xtiGsm3dhe3-lQ)|5$%5%B`kUz_c6uQ*kr|6+skvHrQw zOpePwdG9eto5kYd(tZ%x_k@6Sr^zR7WY(C+I5$5mo7}P4=i-$Vi=USnERQCxpRe|%^YWUhgtj@ArJW7yfE7(t6fQW}TY(x>Mt0jr{tz9QB**QG+#8UB>q$ z0|P@3)?jtbOD7bp7Y=qEG7w;UP(3f{!~mk1SIRc^NFl@l_^~d7*ma@f#CrY0|P(Y%i!GQNx;LYlg|1bHV|leU)g2bR=`y* zm;Q;KW+_*X=xw`fe`NROf2%!qysa^od+TCa?5LK69q3P=48_+*a1D?wJmr zEK6@*;84+h2o+*y5K>btYouf8dd zF-v;)G1{B0Y~lL*h5J(j&Rt}aP&(wNbjVNn#Opp|pJj?)^_MJL*t=ghw}SWcO66yZ z-mf^n`1g-L%$ql@=(aa6D)JTzK0EQbQOyq1SUshWdxbB~*xK>z*P>5aQQStkMpE;H zuSryUwf%ln^QtomGP+*Ls@ zw+4N9CcdOFTd8!riuSer+n0VZ>8~`t=JfaBf=LS>E}Car>3itdE#4akv)9~_T)c-f zUPvEeOlfZRT9Cx)YjM~(ge~E)Fq5A*E zUxh;4KCkcAy~{UQH(fNHUHmgzGRvEBRqiYU1A_=k&H{UhaB1V(>zIAWL7?^hZ*94c ziyoydoEP;`AxJU6D)|yxod30F{u9PmF5kC(S-f-2b_w(8qMMvnd^>V;$^GpoqVk3HudM&Yj2hJ( zn&&&NGB7ZtF)}dlp=Lhv4uhf;^Yq zn5%L5UaelBcG5GouhvR_C|A=EDgCIpS(M+Gfy}|>juk}mnsWA zC#Cu>jM~ZbF|XEeR`j_TP40^APcs^pJBSCI7Sf9N__N3OoYng&$Nx{+zc+Sv=C931 zYu4m!_$i@XVObj_^3Uj*@z*C6|$jUSx^jxm0QFai&|PB z8+(Ek#aPlp7B#aW8~cC_#aM#DiYtvm%w%8?VEF6!mmOwiXb3KEv$BEGAqN8o!#XAg J23rmg4*=A!2;Bex diff --git a/eclipse/examples/foods/Foods.gf b/eclipse/examples/foods/Foods.gf deleted file mode 100644 index 5328473c3..000000000 --- a/eclipse/examples/foods/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/foods/FoodsEng.gf b/eclipse/examples/foods/FoodsEng.gf deleted file mode 100644 index 9337b2f6e..000000000 --- a/eclipse/examples/foods/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/foods/FoodsGer.gf b/eclipse/examples/foods/FoodsGer.gf deleted file mode 100644 index 59e48b548..000000000 --- a/eclipse/examples/foods/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/foods/FoodsI.gf b/eclipse/examples/foods/FoodsI.gf deleted file mode 100644 index a01da068f..000000000 --- a/eclipse/examples/foods/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/foods/LexFoods.gf b/eclipse/examples/foods/LexFoods.gf deleted file mode 100644 index 0d4ca4be4..000000000 --- a/eclipse/examples/foods/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/foods/LexFoodsEng.gf b/eclipse/examples/foods/LexFoodsEng.gf deleted file mode 100644 index 5f4243d35..000000000 --- a/eclipse/examples/foods/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/foods/LexFoodsGer.gf b/eclipse/examples/foods/LexFoodsGer.gf deleted file mode 100644 index 7772416be..000000000 --- a/eclipse/examples/foods/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 deleted file mode 100644 index 2676ac391e1dabed71dcc9917edfbf030c5669fe..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 1364 zcmWIWW@Zs#U|`^2Q0Wh}XRMB!m(Re!(7?dJz|SDVkdc~`ldm6?TI`yau9uz`8p6rI z92_vm&tsdhe`y6b10%}|W(Ec@A=`n}L_Fq~q?=fJ+Oz7oPZb)bvKs1Q930y6^K;Vw?^% z|M`0_Hrw~LhQPfHnYRbOY*_xMF4u-j=A?VU=7T((n#T@qvGP#Vau;E{Y`^GA-?}#m zU*CLeI{!fIO+?X>G7J8cL#IMgtcoRI;nlil5>u-xrwnaL@5dh(vj za}VhqTXz4Yk>)e;Ck>ZAo{RnR>-5Yy&mOM|J{EH8rqQWg^=5N<{HyQCt@+k-By8UW z-ihr|&;0~5Bj=w|6hC2)8j|PjzjgOBFfiO>zz9jlq+$YTAhy?#>yU$h>+6}pf2@vh zODJ_ri0JBVjmVkg$)U45vE0RF&+gSqQnNMX-tRZ`y^;`hG;Gb+*J_Jgc1bU`xaR2M zZvNzkx3%A53tPq01ua}3ly#h+d-~?VK#UQg=Z+So)Gj572wUtB*%;^Z%Tj-V`N}p*wP4MV&qg-NKQq| zrRavDW*lTgcQ7zOvp-5UBF Greeting ; - Goodbye : Recipient -> Farewell ; - World, Parent, Friends : Recipient ; - -} diff --git a/eclipse/examples/hello/HelloEng.gf b/eclipse/examples/hello/HelloEng.gf deleted file mode 100644 index d67843ef0..000000000 --- a/eclipse/examples/hello/HelloEng.gf +++ /dev/null @@ -1,21 +0,0 @@ -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 deleted file mode 100644 index 1ecf97a4d..000000000 --- a/eclipse/examples/hello/ResEng.gf +++ /dev/null @@ -1,8 +0,0 @@ ---# -path=.:../abstract:../common:../../prelude -resource ResEng = { - - param - OtherParam = A | B ; - Gender = Masc | Fem ; - -} ; diff --git a/eclipse/index.html b/eclipse/index.html index 71d3b1457..e855f9181 100644 --- a/eclipse/index.html +++ b/eclipse/index.html @@ -34,7 +34,7 @@ Updated: 1 June 2012

  • This documentation is also available at the MOLTO Project Wiki.
  • Source code repository is at github.com/GrammaticalFramework/gf-eclipse-plugin
  • For reporting bugs and requesting features, please use the GitHub Issue Tracker
    • -
  • Here are some example GF projects for testing out the plugin features.
    • +
  • Here are some example GF projects for testing out the plugin features.
  • Software update site URL for installing through Eclipse: http://www.grammaticalframework.org/eclipse/release/
    • @@ -272,7 +272,7 @@ You will probably want to ignore these directories in your version control syste

    New module wizard

    -

    You can find some small examples at grammaticalframework.org/eclipse/examples. Download the files and manually add them to your Eclipse workspace to experiment with some of the plugin features.

    +

    You can find some small examples here. Download the files and manually add them to your Eclipse workspace to experiment with some of the plugin features.

    Clone module wizard