Changeset 3892

Timestamp:

Aug 26, 2008, 6:41:47 PM (12 years ago)

Author:

orlov

Message:

• Earley parser.

Location:

applications/trunk/LFC

Files:

• .classpath (modified) (1 diff)
• Earley (added)
• Earley/Earley.rf (added)
• lfc.ast (modified) (2 diffs)
• parser/GrammarParser.rf (modified) (1 diff)

applications/trunk/LFC/.classpath

@@ -2 +2 @@
 <classpath>
         <classpathentry kind="src" path="parser"/>
+        <classpathentry kind="src" path="Earley"/>
         <classpathentry kind="con" path="org.refal.rfpdt.launching.rfpContainer"/>
         <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>

applications/trunk/LFC/lfc.ast

@@ -30 +30 @@
          | t.const
          | t.var
-         | (CALL t.name (e.exp) e.args)
-         | (PAREN e.exp)
-         | (IF (e.exp) (e.exp) (e.exp))
-         | (LET (t.assign e.assigns) e.exp)
+         | (CALL t.name (e.exp) e.args)
+         | (PAREN e.exp)
+         | (IF (e.exp) (e.exp) (e.exp))
+         | (LET (t.assign e.assigns) e.exp)
 
 e.args ::= /*empty*/ | (e.exp) e.args
@@ -48 +48 @@
 
 t.name ::= ([characters])
-

applications/trunk/LFC/parser/GrammarParser.rf

@@ -32 +32 @@
 CheckIdentifier e.ident (e.production) =
   {
-    <ScanIdentifier e.ident 0 0> : e () s s = (TYPE e.ident);
+    <ScanIdentifier e.ident 0 0> : e () s s = (TYPE (e.ident));
     $error "Invalid nonterminal name in the left part of the production " e.production;
   };