From e7dcbcc825d69a8db312f74028051181e0f97563 Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 14 Dec 2009 20:01:41 +0000 Subject: reverse engineered version of the Editor grammar --- src/runtime/javascript/editor-grammar/Editor.gf | 62 +++++++++++++++++++++++++ 1 file changed, 62 insertions(+) create mode 100644 src/runtime/javascript/editor-grammar/Editor.gf (limited to 'src/runtime/javascript/editor-grammar/Editor.gf') diff --git a/src/runtime/javascript/editor-grammar/Editor.gf b/src/runtime/javascript/editor-grammar/Editor.gf new file mode 100644 index 000000000..7df69ba5d --- /dev/null +++ b/src/runtime/javascript/editor-grammar/Editor.gf @@ -0,0 +1,62 @@ +abstract Editor = { + +cat Adjective ; + Noun ; + Verb ; + Determiner ; + Sentence ; + +fun Available : Adjective ; + Next : Adjective ; + Previous : Adjective ; + +fun Bulgarian : Noun ; + Danish : Noun ; + English : Noun ; + Finnish : Noun ; + French : Noun ; + German : Noun ; + Italian : Noun ; + Norwegian : Noun ; + Russian : Noun ; + Spanish : Noun ; + Swedish : Noun ; + +fun Float_N : Noun ; + Integer_N : Noun ; + String_N : Noun ; + + Language : Noun ; + Node : Noun ; + Page : Noun ; + Refinement : Noun ; + Tree : Noun ; + Wrapper : Noun ; + +fun Copy : Verb ; + Cut : Verb ; + Delete : Verb ; + Enter : Verb ; + Parse : Verb ; + Paste : Verb ; + Redo : Verb ; + Refine : Verb ; + Replace : Verb ; + Select : Verb ; + Show : Verb ; + Undo : Verb ; + Wrap : Verb ; + +fun DefPlDet : Determiner ; + DefSgDet : Determiner ; + IndefPlDet : Determiner ; + IndefSgDet : Determiner ; + +fun Command : Verb -> Determiner -> Noun -> Sentence ; + CommandAdj : Verb -> Determiner -> Adjective -> Noun -> Sentence ; + ErrorMessage : Adjective -> Noun -> Sentence ; + Label : Noun -> Sentence ; + RandomlyCommand : Verb -> Determiner -> Noun -> Sentence ; + SingleWordCommand : Verb -> Sentence ; + +} \ No newline at end of file -- cgit v1.2.3