X-Git-Url: http://secure.phpeclipse.com

diff --git a/net.sourceforge.phpeclipse/src/test/PHPParser.jj b/net.sourceforge.phpeclipse/src/test/PHPParser.jj
index a6bce7c..af9d369 100644
--- a/net.sourceforge.phpeclipse/src/test/PHPParser.jj
+++ b/net.sourceforge.phpeclipse/src/test/PHPParser.jj
@@ -29,149 +29,171 @@ import org.eclipse.ui.texteditor.MarkerUtilities;
 import org.eclipse.jface.preference.IPreferenceStore;
 
 import java.util.Hashtable;
+import java.util.ArrayList;
 import java.io.StringReader;
+import java.io.*;
 import java.text.MessageFormat;
 
 import net.sourceforge.phpeclipse.actions.PHPStartApacheAction;
 import net.sourceforge.phpeclipse.PHPeclipsePlugin;
+import net.sourceforge.phpdt.internal.compiler.ast.*;
+import net.sourceforge.phpdt.internal.compiler.parser.OutlineableWithChildren;
+import net.sourceforge.phpdt.internal.compiler.parser.Outlineable;
 import net.sourceforge.phpdt.internal.compiler.parser.PHPOutlineInfo;
-import net.sourceforge.phpdt.internal.compiler.parser.PHPSegmentWithChildren;
-import net.sourceforge.phpdt.internal.compiler.parser.PHPFunctionDeclaration;
-import net.sourceforge.phpdt.internal.compiler.parser.PHPClassDeclaration;
 
 /**
  * A new php parser.
- * This php parser is inspired by the Java 1.2 grammar example 
+ * This php parser is inspired by the Java 1.2 grammar example
  * given with JavaCC. You can get JavaCC at http://www.webgain.com
  * You can test the parser with the PHPParserTestCase2.java
  * @author Matthieu Casanova
+ * @version $Reference: 1.0$
  */
-public class PHPParser extends PHPParserSuperclass {
+public final class PHPParser extends PHPParserSuperclass {
 
+  /** The file that is parsed. */
   private static IFile fileToParse;
 
-  /** The current segment */
-  private static PHPSegmentWithChildren currentSegment;
+  /** The current segment. */
+  private static OutlineableWithChildren currentSegment;
 
   private static final String PARSE_ERROR_STRING = "Parse error"; //$NON-NLS-1$
   private static final String PARSE_WARNING_STRING = "Warning"; //$NON-NLS-1$
-  public static final int ERROR = 2;
-  public static final int WARNING = 1;
-  public static final int INFO = 0;
-  PHPOutlineInfo outlineInfo;
+  static PHPOutlineInfo outlineInfo;
+
+  /** The error level of the current ParseException. */
   private static int errorLevel = ERROR;
+  /** The message of the current ParseException. If it's null it's because the parse exception wasn't handled */
   private static String errorMessage;
 
-  public PHPParser() {
-  }
+  private static int errorStart = -1;
+  private static int errorEnd = -1;
+  private static PHPDocument phpDocument;
+
+  private static final char[] SYNTAX_ERROR_CHAR = {'s','y','n','t','a','x',' ','e','r','r','o','r'};
+  /**
+   * The point where html starts.
+   * It will be used by the token manager to create HTMLCode objects
+   */
+  public static int htmlStart;
+
+  //ast stack
+  private final static int AstStackIncrement = 100;
+  /** The stack of node. */
+  private static AstNode[] nodes;
+  /** The cursor in expression stack. */
+  private static int nodePtr;
 
-  public void setFileToParse(IFile fileToParse) {
+  public final void setFileToParse(final IFile fileToParse) {
     this.fileToParse = fileToParse;
   }
 
-  public PHPParser(IFile fileToParse) {
+  public PHPParser() {
+  }
+
+  public PHPParser(final IFile fileToParse) {
     this(new StringReader(""));
     this.fileToParse = fileToParse;
   }
 
-  public void phpParserTester(String strEval) throws CoreException, ParseException {
-    PHPParserTokenManager.SwitchTo(PHPParserTokenManager.PHPPARSING);
-    StringReader stream = new StringReader(strEval);
-    if (jj_input_stream == null) {
-      jj_input_stream = new SimpleCharStream(stream, 1, 1);
-    }
-    ReInit(new StringReader(strEval));
-    phpTest();
+  /**
+   * Reinitialize the parser.
+   */
+  private static final void init() {
+    nodes = new AstNode[AstStackIncrement];
+    nodePtr = -1;
+    htmlStart = 0;
   }
 
-  public void htmlParserTester(String strEval) throws CoreException, ParseException {
-    StringReader stream = new StringReader(strEval);
-    if (jj_input_stream == null) {
-      jj_input_stream = new SimpleCharStream(stream, 1, 1);
+  /**
+   * Add an php node on the stack.
+   * @param node the node that will be added to the stack
+   */
+  private static final void pushOnAstNodes(final AstNode node) {
+    try {
+      nodes[++nodePtr] = node;
+    } catch (IndexOutOfBoundsException e) {
+      final int oldStackLength = nodes.length;
+      final AstNode[] oldStack = nodes;
+      nodes = new AstNode[oldStackLength + AstStackIncrement];
+      System.arraycopy(oldStack, 0, nodes, 0, oldStackLength);
+      nodePtr = oldStackLength;
+      nodes[nodePtr] = node;
     }
-    ReInit(stream);
-    phpFile();
   }
 
-  public PHPOutlineInfo parseInfo(Object parent, String s) {
-    outlineInfo = new PHPOutlineInfo(parent);
-    currentSegment = outlineInfo.getDeclarations();
-    StringReader stream = new StringReader(s);
+  public final PHPOutlineInfo parseInfo(final Object parent, final String s) {
+    phpDocument = new PHPDocument(parent,"_root".toCharArray());
+    currentSegment = phpDocument;
+    outlineInfo = new PHPOutlineInfo(parent, currentSegment);
+    final StringReader stream = new StringReader(s);
     if (jj_input_stream == null) {
       jj_input_stream = new SimpleCharStream(stream, 1, 1);
     }
     ReInit(stream);
+    init();
     try {
       parse();
-    } catch (ParseException e) {
-      if (errorMessage == null) {
-        PHPeclipsePlugin.log(e);
-      } else {
-        setMarker(errorMessage, e.currentToken.beginLine, errorLevel);
-        errorMessage = null;
+      phpDocument.nodes = new AstNode[nodes.length];
+      System.arraycopy(nodes,0,phpDocument.nodes,0,nodes.length);
+      if (PHPeclipsePlugin.DEBUG) {
+        PHPeclipsePlugin.log(1,phpDocument.toString());
       }
+    } catch (ParseException e) {
+      processParseException(e);
     }
     return outlineInfo;
   }
 
-
   /**
-   * Create marker for the parse error
+   * This method will process the parse exception.
+   * If the error message is null, the parse exception wasn't catched and a trace is written in the log
+   * @param e the ParseException
    */
-  private static void setMarker(String message, int lineNumber, int errorLevel) {
-    try {
-      setMarker(fileToParse, message, lineNumber, errorLevel);
-    } catch (CoreException e) {
+  private static void processParseException(final ParseException e) {
+    if (errorMessage == null) {
       PHPeclipsePlugin.log(e);
+      errorMessage = "this exception wasn't handled by the parser please tell us how to reproduce it";
+      errorStart = SimpleCharStream.getPosition();
+      errorEnd   = errorStart + 1;
     }
-  }
-
-  public static void setMarker(IFile file, String message, int lineNumber, int errorLevel) throws CoreException {
-    if (file != null) {
-      Hashtable attributes = new Hashtable();
-      MarkerUtilities.setMessage(attributes, message);
-      switch (errorLevel) {
-        case ERROR :
-          attributes.put(IMarker.SEVERITY, new Integer(IMarker.SEVERITY_ERROR));
-          break;
-        case WARNING :
-          attributes.put(IMarker.SEVERITY, new Integer(IMarker.SEVERITY_WARNING));
-          break;
-        case INFO :
-          attributes.put(IMarker.SEVERITY, new Integer(IMarker.SEVERITY_INFO));
-          break;
-      }
-      MarkerUtilities.setLineNumber(attributes, lineNumber);
-      MarkerUtilities.createMarker(file, attributes, IMarker.PROBLEM);
-    }
+    setMarker(e);
+    errorMessage = null;
+    if (PHPeclipsePlugin.DEBUG) PHPeclipsePlugin.log(e);
   }
 
   /**
-   * Create markers according to the external parser output
+   * Create marker for the parse error
+   * @param e the ParseException
    */
-  private static void createMarkers(String output, IFile file) throws CoreException {
-    // delete all markers
-    file.deleteMarkers(IMarker.PROBLEM, false, 0);
-
-    int indx = 0;
-    int brIndx = 0;
-    boolean flag = true;
-    while ((brIndx = output.indexOf("<br />", indx)) != -1) {
-      // newer php error output (tested with 4.2.3)
-      scanLine(output, file, indx, brIndx);
-      indx = brIndx + 6;
-      flag = false;
-    }
-    if (flag) {
-      while ((brIndx = output.indexOf("<br>", indx)) != -1) {
-        // older php error output (tested with 4.2.3)
-        scanLine(output, file, indx, brIndx);
-        indx = brIndx + 4;
+  private static void setMarker(final ParseException e) {
+    try {
+      if (errorStart == -1) {
+        setMarker(fileToParse,
+                  errorMessage,
+                  SimpleCharStream.tokenBegin,
+                  SimpleCharStream.tokenBegin + e.currentToken.image.length(),
+                  errorLevel,
+                  "Line " + e.currentToken.beginLine);
+      } else {
+        setMarker(fileToParse,
+                  errorMessage,
+                  errorStart,
+                  errorEnd,
+                  errorLevel,
+                  "Line " + e.currentToken.beginLine);
+        errorStart = -1;
+        errorEnd = -1;
       }
+    } catch (CoreException e2) {
+      PHPeclipsePlugin.log(e2);
     }
   }
 
-  private static void scanLine(String output, IFile file, int indx, int brIndx) throws CoreException {
+  private static void scanLine(final String output,
+                               final IFile file,
+                               final int indx,
+                               final int brIndx) throws CoreException {
     String current;
     StringBuffer lineNumberBuffer = new StringBuffer(10);
     char ch;
@@ -209,17 +231,17 @@ public class PHPParser extends PHPParserSuperclass {
     }
   }
 
-  public void parse(String s) throws CoreException {
-    ReInit(new StringReader(s));
+  public final void parse(final String s) throws CoreException {
+    final StringReader stream = new StringReader(s);
+    if (jj_input_stream == null) {
+      jj_input_stream = new SimpleCharStream(stream, 1, 1);
+    }
+    ReInit(stream);
+    init();
     try {
       parse();
     } catch (ParseException e) {
-      if (errorMessage == null) {
-        PHPeclipsePlugin.log(e);
-      } else {
-        setMarker(errorMessage, e.currentToken.beginLine, errorLevel);
-        errorMessage = null;
-      }
+      processParseException(e);
     }
   }
 
@@ -227,15 +249,15 @@ public class PHPParser extends PHPParserSuperclass {
    * Call the php parse command ( php -l -f &lt;filename&gt; )
    * and create markers according to the external parser output
    */
-  public static void phpExternalParse(IFile file) {
-    IPreferenceStore store = PHPeclipsePlugin.getDefault().getPreferenceStore();
-    String filename = file.getLocation().toString();
+  public static void phpExternalParse(final IFile file) {
+    final IPreferenceStore store = PHPeclipsePlugin.getDefault().getPreferenceStore();
+    final String filename = file.getLocation().toString();
 
-    String[] arguments = { filename };
-    MessageFormat form = new MessageFormat(store.getString(PHPeclipsePlugin.EXTERNAL_PARSER_PREF));
-    String command = form.format(arguments);
+    final String[] arguments = { filename };
+    final MessageFormat form = new MessageFormat(store.getString(PHPeclipsePlugin.EXTERNAL_PARSER_PREF));
+    final String command = form.format(arguments);
 
-    String parserResult = PHPStartApacheAction.getParserOutput(command, "External parser: ");
+    final String parserResult = PHPStartApacheAction.getParserOutput(command, "External parser: ");
 
     try {
       // parse the buffer to find the errors and warnings
@@ -245,7 +267,38 @@ public class PHPParser extends PHPParserSuperclass {
     }
   }
 
-  public void parse() throws ParseException {
+  /**
+   * Put a new html block in the stack.
+   */
+  public static final void createNewHTMLCode() {
+    final int currentPosition = SimpleCharStream.getPosition();
+    if (currentPosition == htmlStart || currentPosition > SimpleCharStream.currentBuffer.length()) {
+      return;
+    }
+    final char[] chars = SimpleCharStream.currentBuffer.substring(htmlStart,currentPosition+1).toCharArray();
+    pushOnAstNodes(new HTMLCode(chars, htmlStart,currentPosition));
+  }
+
+  /**
+   * Create a new task.
+   */
+  public static final void createNewTask() {
+    final int currentPosition = SimpleCharStream.getPosition();
+    final String  todo = SimpleCharStream.currentBuffer.substring(currentPosition+1,
+                                                                  SimpleCharStream.currentBuffer.indexOf("\n",
+                                                                                                         currentPosition)-1);
+    try {
+      setMarker(fileToParse,
+                "todo : " + todo,
+                SimpleCharStream.getBeginLine(),
+                TASK,
+                "Line "+SimpleCharStream.getBeginLine());
+    } catch (CoreException e) {
+      PHPeclipsePlugin.log(e);
+    }
+  }
+
+  private static final void parse() throws ParseException {
 	  phpFile();
   }
 }
@@ -254,14 +307,17 @@ PARSER_END(PHPParser)
 
 <DEFAULT> TOKEN :
 {
-  <PHPSTART : "<?php" | "<?"> : PHPPARSING
+  <PHPSTARTSHORT : "<?">    {PHPParser.createNewHTMLCode();} : PHPPARSING
+| <PHPSTARTLONG  : "<?php"> {PHPParser.createNewHTMLCode();} : PHPPARSING
+| <PHPECHOSTART  : "<?=">   {PHPParser.createNewHTMLCode();} : PHPPARSING
 }
 
 <PHPPARSING> TOKEN :
 {
-  <PHPEND :"?>"> : DEFAULT
+  <PHPEND :"?>"> {PHPParser.htmlStart = SimpleCharStream.getPosition();} : DEFAULT
 }
 
+/* Skip any character if we are not in php mode */
 <DEFAULT> SKIP :
 {
  < ~[] >
@@ -269,7 +325,6 @@ PARSER_END(PHPParser)
 
 
 /* WHITE SPACE */
-
 <PHPPARSING> SKIP :
 {
   " "
@@ -280,32 +335,33 @@ PARSER_END(PHPParser)
 }
 
 /* COMMENTS */
-
-<PHPPARSING> MORE :
+<PHPPARSING> SPECIAL_TOKEN :
 {
   "//" : IN_SINGLE_LINE_COMMENT
-|
-  <"/**" ~["/"]> { input_stream.backup(1); } : IN_FORMAL_COMMENT
-|
-  "/*" : IN_MULTI_LINE_COMMENT
+| "#"  : IN_SINGLE_LINE_COMMENT
+| <"/**" ~["/"]> { input_stream.backup(1); } : IN_FORMAL_COMMENT
+| "/*" : IN_MULTI_LINE_COMMENT
 }
 
-<IN_SINGLE_LINE_COMMENT>
-SPECIAL_TOKEN :
+<IN_SINGLE_LINE_COMMENT> SPECIAL_TOKEN :
 {
-  <SINGLE_LINE_COMMENT: "\n" | "\r" | "\r\n" | "?>" > : PHPPARSING
+  <SINGLE_LINE_COMMENT: "\n" | "\r" | "\r\n" > : PHPPARSING
+| "?>" : DEFAULT
 }
 
-<IN_FORMAL_COMMENT>
-SPECIAL_TOKEN :
+<IN_SINGLE_LINE_COMMENT,IN_FORMAL_COMMENT,IN_MULTI_LINE_COMMENT> SPECIAL_TOKEN :
 {
-  <FORMAL_COMMENT: "*/" > : PHPPARSING
+ "todo" {PHPParser.createNewTask();}
 }
 
-<IN_MULTI_LINE_COMMENT>
-SPECIAL_TOKEN :
+<IN_FORMAL_COMMENT> SPECIAL_TOKEN :
 {
-  <MULTI_LINE_COMMENT: "*/" > : PHPPARSING
+  "*/" : PHPPARSING
+}
+
+<IN_MULTI_LINE_COMMENT> SPECIAL_TOKEN :
+{
+  "*/" : PHPPARSING
 }
 
 <IN_SINGLE_LINE_COMMENT,IN_FORMAL_COMMENT,IN_MULTI_LINE_COMMENT>
@@ -324,121 +380,138 @@ MORE :
 | <ELSEIF   : "elseif">
 | <ELSE     : "else">
 | <ARRAY    : "array">
+| <BREAK    : "break">
+| <LIST     : "list">
 }
 
 /* LANGUAGE CONSTRUCT */
 <PHPPARSING> TOKEN :
 {
-  <PRINT : "print">
-| <ECHO : "echo">
-| <INCLUDE : "include">
-| <REQUIRE : "require">
-| <INCLUDE_ONCE : "include_once">
-| <REQUIRE_ONCE : "require_once">
-| <GLOBAL : "global">
-| <STATIC : "static">
-| <CLASSACCESS: "->">
-| <STATICCLASSACCESS: "::">
-| <ARRAYASSIGN: "=>">
+  <PRINT              : "print">
+| <ECHO               : "echo">
+| <INCLUDE            : "include">
+| <REQUIRE            : "require">
+| <INCLUDE_ONCE       : "include_once">
+| <REQUIRE_ONCE       : "require_once">
+| <GLOBAL             : "global">
+| <DEFINE             : "define">
+| <STATIC             : "static">
+| <CLASSACCESS        : "->">
+| <STATICCLASSACCESS  : "::">
+| <ARRAYASSIGN        : "=>">
 }
 
 /* RESERVED WORDS AND LITERALS */
 
 <PHPPARSING> TOKEN :
 {
-  < BREAK: "break" >
-| < CASE: "case" >
-| < CONST: "const" >
-| < CONTINUE: "continue" >
-| < _DEFAULT: "default" >
-| < DO: "do" >
-| < EXTENDS: "extends" >
-| < FALSE: "false" >
-| < FOR: "for" >
-| < GOTO: "goto" >
-| < NEW: "new" >
-| < NULL: "null" >
-| < RETURN: "return" >
-| < SUPER: "super" >
-| < SWITCH: "switch" >
-| < THIS: "this" >
-| < TRUE: "true" >
-| < WHILE: "while" >
-| < ENDWHILE : "endwhile" >
+  <CASE     : "case">
+| <CONST    : "const">
+| <CONTINUE : "continue">
+| <_DEFAULT : "default">
+| <DO       : "do">
+| <EXTENDS  : "extends">
+| <FOR      : "for">
+| <GOTO     : "goto">
+| <NEW      : "new">
+| <NULL     : "null">
+| <RETURN   : "return">
+| <SUPER    : "super">
+| <SWITCH   : "switch">
+| <THIS     : "this">
+| <TRUE     : "true">
+| <FALSE    : "false">
+| <WHILE    : "while">
+| <ENDWHILE : "endwhile">
+| <ENDSWITCH: "endswitch">
+| <ENDIF    : "endif">
+| <ENDFOR   : "endfor">
+| <FOREACH  : "foreach">
+| <AS       : "as" >
 }
 
 /* TYPES */
-
 <PHPPARSING> TOKEN :
 {
-  <STRING : "string">
-| <OBJECT : "object">
-| <BOOL : "bool">
+  <STRING  : "string">
+| <OBJECT  : "object">
+| <BOOL    : "bool">
 | <BOOLEAN : "boolean">
-| <REAL : "real">
-| <DOUBLE : "double">
-| <FLOAT : "float">
-| <INT : "int">
+| <REAL    : "real">
+| <DOUBLE  : "double">
+| <FLOAT   : "float">
+| <INT     : "int">
 | <INTEGER : "integer">
 }
 
+//Misc token
 <PHPPARSING> TOKEN :
 {
-  < _ORL : "OR" >
-| < _ANDL: "AND">
+  <AT                 : "@">
+| <DOLLAR             : "$">
+| <BANG               : "!">
+| <TILDE              : "~">
+| <HOOK               : "?">
+| <COLON              : ":">
 }
 
-/* LITERALS */
+/* OPERATORS */
+<PHPPARSING> TOKEN :
+{
+  <OR_OR              : "||">
+| <AND_AND            : "&&">
+| <PLUS_PLUS          : "++">
+| <MINUS_MINUS        : "--">
+| <PLUS               : "+">
+| <MINUS              : "-">
+| <STAR               : "*">
+| <SLASH              : "/">
+| <BIT_AND            : "&">
+| <BIT_OR             : "|">
+| <XOR                : "^">
+| <REMAINDER          : "%">
+| <LSHIFT             : "<<">
+| <RSIGNEDSHIFT       : ">>">
+| <RUNSIGNEDSHIFT     : ">>>">
+| <_ORL               : "OR">
+| <_ANDL              : "AND">
+}
 
+/* LITERALS */
 <PHPPARSING> TOKEN :
 {
-  < INTEGER_LITERAL:
+  <INTEGER_LITERAL:
         <DECIMAL_LITERAL> (["l","L"])?
       | <HEX_LITERAL> (["l","L"])?
       | <OCTAL_LITERAL> (["l","L"])?
   >
 |
-  < #DECIMAL_LITERAL: ["1"-"9"] (["0"-"9"])* >
+  <#DECIMAL_LITERAL: ["1"-"9"] (["0"-"9"])* >
 |
-  < #HEX_LITERAL: "0" ["x","X"] (["0"-"9","a"-"f","A"-"F"])+ >
+  <#HEX_LITERAL: "0" ["x","X"] (["0"-"9","a"-"f","A"-"F"])+ >
 |
-  < #OCTAL_LITERAL: "0" (["0"-"7"])* >
+  <#OCTAL_LITERAL: "0" (["0"-"7"])* >
 |
-  < FLOATING_POINT_LITERAL:
+  <FLOATING_POINT_LITERAL:
         (["0"-"9"])+ "." (["0"-"9"])* (<EXPONENT>)? (["f","F","d","D"])?
       | "." (["0"-"9"])+ (<EXPONENT>)? (["f","F","d","D"])?
       | (["0"-"9"])+ <EXPONENT> (["f","F","d","D"])?
       | (["0"-"9"])+ (<EXPONENT>)? ["f","F","d","D"]
   >
 |
-  < #EXPONENT: ["e","E"] (["+","-"])? (["0"-"9"])+ >
+  <#EXPONENT: ["e","E"] (["+","-"])? (["0"-"9"])+ >
 |
-  < STRING_LITERAL: (<STRING_1> | <STRING_2> | <STRING_3>)>
-|    < STRING_1:
-      "\""
-      (   (~["\""])
-        | "\\\""
-      )*
-      "\""
-    >
-|    < STRING_2:
-      "'"
-      (   (~["'"]))*
-
-      "'"
-    >
-|   < STRING_3:
-      "`"
-      (   (~["`"]))*
-      "`"
-    >
+  <STRING_LITERAL: (<STRING_1> | <STRING_2> | <STRING_3>)>
+|   <STRING_1: "\"" ( ~["\"","\\"] | "\\" ~[] )* "\"">
+|   <STRING_2: "'"  ( ~["'","\\"]  | "\\" ~[] )* "'">
+|   <STRING_3: "`"  ( ~["`","\\"]  | "\\" ~[] )* "`">
 }
 
 /* IDENTIFIERS */
 
 <PHPPARSING> TOKEN :
 {
-  < IDENTIFIER: (<LETTER>|<SPECIAL>) (<LETTER>|<DIGIT>|<SPECIAL>)* >
+  <IDENTIFIER: (<LETTER>|<SPECIAL>) (<LETTER>|<DIGIT>|<SPECIAL>)* >
 |
   < #LETTER:
       ["a"-"z"] | ["A"-"Z"]
@@ -449,7 +522,7 @@ MORE :
   >
 |
   < #SPECIAL:
-    "_"
+    "_" | ["\u007f"-"\u00ff"]
   >
 }
 
@@ -457,87 +530,122 @@ MORE :
 
 <PHPPARSING> TOKEN :
 {
-  < LPAREN: "(" >
-| < RPAREN: ")" >
-| < LBRACE: "{" >
-| < RBRACE: "}" >
-| < LBRACKET: "[" >
-| < RBRACKET: "]" >
-| < SEMICOLON: ";" >
-| < COMMA: "," >
-| < DOT: "." >
+  <LPAREN    : "(">
+| <RPAREN    : ")">
+| <LBRACE    : "{">
+| <RBRACE    : "}">
+| <LBRACKET  : "[">
+| <RBRACKET  : "]">
+| <SEMICOLON : ";">
+| <COMMA     : ",">
+| <DOT       : ".">
 }
 
-/* OPERATORS */
 
+/* COMPARATOR */
 <PHPPARSING> TOKEN :
 {
-  <AT     : "@">
-| <DOLLAR : "$">
-| < ASSIGN: "=" >
-| < GT: ">" >
-| < LT: "<" >
-| < BANG: "!" >
-| < HOOK: "?" >
-| < COLON: ":" >
-| < EQ: "==" >
-| < LE: "<=" >
-| < GE: ">=" >
-| < NE: "!=" >
-| < SC_OR: "||" >
-| < SC_AND: "&&" >
-| < INCR: "++" >
-| < DECR: "--" >
-| < PLUS: "+" >
-| < MINUS: "-" >
-| < STAR: "*" >
-| < SLASH: "/" >
-| < BIT_AND: "&" >
-| < BIT_OR: "|" >
-| < XOR: "^" >
-| < REM: "%" >
-| < LSHIFT: "<<" >
-| < RSIGNEDSHIFT: ">>" >
-| < RUNSIGNEDSHIFT: ">>>" >
-| < PLUSASSIGN: "+=" >
-| < MINUSASSIGN: "-=" >
-| < STARASSIGN: "*=" >
-| < SLASHASSIGN: "/=" >
-| < ANDASSIGN: "&=" >
-| < ORASSIGN: "|=" >
-| < XORASSIGN: "^=" >
-| < DOTASSIGN: ".=" >
-| < REMASSIGN: "%=" >
-| < LSHIFTASSIGN: "<<=" >
-| < RSIGNEDSHIFTASSIGN: ">>=" >
-| < RUNSIGNEDSHIFTASSIGN: ">>>=" >
+  <GT                 : ">">
+| <LT                 : "<">
+| <EQUAL_EQUAL        : "==">
+| <LE                 : "<=">
+| <GE                 : ">=">
+| <NOT_EQUAL          : "!=">
+| <DIF                : "<>">
+| <BANGDOUBLEEQUAL    : "!==">
+| <TRIPLEEQUAL        : "===">
 }
 
+/* ASSIGNATION */
 <PHPPARSING> TOKEN :
 {
-  < DOLLAR_ID: <DOLLAR> <IDENTIFIER>  >
+  <ASSIGN             : "=">
+| <PLUSASSIGN         : "+=">
+| <MINUSASSIGN        : "-=">
+| <STARASSIGN         : "*=">
+| <SLASHASSIGN        : "/=">
+| <ANDASSIGN          : "&=">
+| <ORASSIGN           : "|=">
+| <XORASSIGN          : "^=">
+| <DOTASSIGN          : ".=">
+| <REMASSIGN          : "%=">
+| <TILDEEQUAL         : "~=">
+| <LSHIFTASSIGN       : "<<=">
+| <RSIGNEDSHIFTASSIGN : ">>=">
 }
 
-/*****************************************
- * THE JAVA LANGUAGE GRAMMAR STARTS HERE *
- *****************************************/
-
-/*
- * Program structuring syntax follows.
- */
+<PHPPARSING> TOKEN :
+{
+  <DOLLAR_ID: <DOLLAR> <IDENTIFIER>>
+}
 
-void phpTest() :
+void phpFile() :
 {}
 {
+  try {
+    (PhpBlock())*
+    {PHPParser.createNewHTMLCode();}
+  } catch (TokenMgrError e) {
+    PHPeclipsePlugin.log(e);
+    errorStart   = SimpleCharStream.getPosition();
+    errorEnd     = errorStart + 1;
+    errorMessage = e.getMessage();
+    errorLevel   = ERROR;
+    throw generateParseException();
+  }
+}
+
+/**
+ * A php block is a <?= expression [;]?>
+ * or <?php somephpcode ?>
+ * or <? somephpcode ?>
+ */
+void PhpBlock() :
+{
+  final int start = SimpleCharStream.getPosition();
+  final PHPEchoBlock phpEchoBlock;
+}
+{
+  phpEchoBlock = phpEchoBlock()
+  {pushOnAstNodes(phpEchoBlock);}
+|
+  [   <PHPSTARTLONG>
+    | <PHPSTARTSHORT>
+    {try {
+      setMarker(fileToParse,
+                "You should use '<?php' instead of '<?' it will avoid some problems with XML",
+                start,
+                SimpleCharStream.getPosition(),
+                INFO,
+                "Line " + token.beginLine);
+    } catch (CoreException e) {
+      PHPeclipsePlugin.log(e);
+    }}
+  ]
   Php()
-  <EOF>
+  try {
+    <PHPEND>
+  } catch (ParseException e) {
+    errorMessage = "'?>' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    processParseException(e);
+  }
 }
 
-void phpFile() :
-{}
+PHPEchoBlock phpEchoBlock() :
 {
-  (<PHPSTART> Php() <PHPEND>)*
-  <EOF>
+  final Expression expr;
+  final int pos = SimpleCharStream.getPosition();
+  final PHPEchoBlock echoBlock;
+}
+{
+  <PHPECHOSTART> expr = Expression() [ <SEMICOLON> ] <PHPEND>
+  {
+  echoBlock = new PHPEchoBlock(expr,pos,SimpleCharStream.getPosition());
+  pushOnAstNodes(echoBlock);
+  return echoBlock;}
 }
 
 void Php() :
@@ -546,1094 +654,2256 @@ void Php() :
   (BlockStatement())*
 }
 
-void ClassDeclaration() :
+ClassDeclaration ClassDeclaration() :
 {
-  PHPClassDeclaration classDeclaration;
-  Token className;
-  int pos = jj_input_stream.bufpos;
+  final ClassDeclaration classDeclaration;
+  final Token className,superclassName;
+  final int pos;
+  char[] classNameImage = SYNTAX_ERROR_CHAR;
+  char[] superclassNameImage = null;
 }
 {
-  <CLASS> className = <IDENTIFIER> [ <EXTENDS> <IDENTIFIER> ]
-  {
-    classDeclaration = new PHPClassDeclaration(currentSegment,className.image,pos);
-    currentSegment.add(classDeclaration);
-    currentSegment = classDeclaration;
+  <CLASS>
+  {pos = SimpleCharStream.getPosition();}
+  try {
+    className = <IDENTIFIER>
+    {classNameImage = className.image.toCharArray();}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', identifier expected";
+    errorLevel   = ERROR;
+    errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = SimpleCharStream.getPosition() + 1;
+    processParseException(e);
   }
-  ClassBody()
+  [
+    <EXTENDS>
+    try {
+      superclassName = <IDENTIFIER>
+      {superclassNameImage = superclassName.image.toCharArray();}
+    } catch (ParseException e) {
+      errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', identifier expected";
+      errorLevel   = ERROR;
+      errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+      errorEnd   = SimpleCharStream.getPosition() + 1;
+      processParseException(e);
+      superclassNameImage = SYNTAX_ERROR_CHAR;
+    }
+  ]
   {
-    currentSegment = (PHPSegmentWithChildren) currentSegment.getParent();
+    if (superclassNameImage == null) {
+      classDeclaration = new ClassDeclaration(currentSegment,
+                                              classNameImage,
+                                              pos,
+                                              0);
+    } else {
+      classDeclaration = new ClassDeclaration(currentSegment,
+                                              classNameImage,
+                                              superclassNameImage,
+                                              pos,
+                                              0);
+    }
+      currentSegment.add(classDeclaration);
+      currentSegment = classDeclaration;
   }
+  ClassBody(classDeclaration)
+  {currentSegment = (OutlineableWithChildren) currentSegment.getParent();
+   classDeclaration.sourceEnd = SimpleCharStream.getPosition();
+   pushOnAstNodes(classDeclaration);
+   return classDeclaration;}
 }
 
-void ClassBody() :
+void ClassBody(final ClassDeclaration classDeclaration) :
 {}
 {
-  <LBRACE> ( ClassBodyDeclaration() )* <RBRACE>
+  try {
+    <LBRACE>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image + "', '{' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  ( ClassBodyDeclaration(classDeclaration) )*
+  try {
+    <RBRACE>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', 'var', 'function' or '}' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
 }
 
-void ClassBodyDeclaration() :
-{}
+/**
+ * A class can contain only methods and fields.
+ */
+void ClassBodyDeclaration(final ClassDeclaration classDeclaration) :
 {
-  MethodDeclaration()
-|
-  FieldDeclaration()
+  final MethodDeclaration method;
+  final FieldDeclaration field;
+}
+{
+  method = MethodDeclaration() {classDeclaration.addMethod(method);}
+| field = FieldDeclaration()   {classDeclaration.addField(field);}
 }
 
-void FieldDeclaration() :
-{}
+/**
+ * A class field declaration : it's var VariableDeclarator() (, VariableDeclarator())*;.
+ */
+FieldDeclaration FieldDeclaration() :
 {
-  <VAR> VariableDeclarator() ( <COMMA> VariableDeclarator() )* <SEMICOLON>
+  VariableDeclaration variableDeclaration;
+  final VariableDeclaration[] list;
+  final ArrayList arrayList = new ArrayList();
+  final int pos = SimpleCharStream.getPosition();
 }
+{
+  <VAR> variableDeclaration = VariableDeclarator()
+  {arrayList.add(variableDeclaration);
+   outlineInfo.addVariable(new String(variableDeclaration.name));}
+  ( <COMMA> variableDeclaration = VariableDeclarator()
+      {arrayList.add(variableDeclaration);
+       outlineInfo.addVariable(new String(variableDeclaration.name));}
+  )*
+  try {
+    <SEMICOLON>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected after variable declaration";
+    errorLevel   = ERROR;
+    errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = SimpleCharStream.getPosition() + 1;
+    processParseException(e);
+  }
 
-String VariableDeclarator() :
+  {list = new VariableDeclaration[arrayList.size()];
+   arrayList.toArray(list);
+   return new FieldDeclaration(list,
+                               pos,
+                               SimpleCharStream.getPosition(),
+                               currentSegment);}
+}
+
+VariableDeclaration VariableDeclarator() :
 {
-  String expr;
-  StringBuffer buff = new StringBuffer();
+  final String varName;
+  Expression initializer = null;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  expr = VariableDeclaratorId()
-  {buff.append(expr);}
-  [ <ASSIGN> expr = VariableInitializer()
-    {buff.append("=").append(expr);}
+  varName = VariableDeclaratorId()
+  [
+    <ASSIGN>
+    try {
+      initializer = VariableInitializer()
+    } catch (ParseException e) {
+      errorMessage = "Literal expression expected in variable initializer";
+      errorLevel   = ERROR;
+      errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+      errorEnd   = SimpleCharStream.getPosition() + 1;
+      throw e;
+    }
   ]
-  {return buff.toString();}
+  {
+  if (initializer == null) {
+    return new VariableDeclaration(currentSegment,
+                                  varName.toCharArray(),
+                                  pos,
+                                  SimpleCharStream.getPosition());
+  }
+    return new VariableDeclaration(currentSegment,
+                                    varName.toCharArray(),
+                                    initializer,
+                                    pos);
+  }
 }
 
+/**
+ * A Variable name.
+ * @return the variable name (with suffix)
+ */
 String VariableDeclaratorId() :
 {
-  String expr;
-  StringBuffer buff = new StringBuffer();
+  final String expr;
+  Expression expression = null;
+  final int pos = SimpleCharStream.getPosition();
+  ConstantIdentifier ex;
 }
 {
-  expr = Variable()
-  {buff.append(expr);}
-  ( LOOKAHEAD(2) expr = VariableSuffix()
-  {buff.append(expr);}
-  )*
-  {return buff.toString();}
+  try {
+    expr = Variable()
+    ( LOOKAHEAD(2)
+      {ex = new ConstantIdentifier(expr.toCharArray(),
+                                   pos,
+                                   SimpleCharStream.getPosition());}
+      expression = VariableSuffix(ex)
+    )*
+    {
+     if (expression == null) {
+       return expr;
+     }
+     return expression.toStringExpression();
+    }
+  } catch (ParseException e) {
+    errorMessage = "'$' expected for variable identifier";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
 }
 
+/**
+ * Return a variablename without the $.
+ * @return a variable name
+ */
 String Variable():
 {
-  String expr = null;
-  Token token;
+  final StringBuffer buff;
+  Expression expression = null;
+  final Token token;
+  final String expr;
 }
 {
-  token = <DOLLAR_ID> [<LBRACE> expr = Expression() <RBRACE>]
+  token = <DOLLAR_ID> [<LBRACE> expression = Expression() <RBRACE>]
   {
-    if (expr == null) {
-      return token.image;
+    if (expression == null) {
+      return token.image.substring(1);
     }
-    return token + "{" + expr + "}";
+    buff = new StringBuffer(token.image);
+    buff.append("{");
+    buff.append(expression.toStringExpression());
+    buff.append("}");
+    return buff.toString();
   }
 |
   <DOLLAR> expr = VariableName()
-  {return "$" + expr;}
+  {return expr;}
 }
 
+/**
+ * A Variable name (without the $)
+ * @return a variable name String
+ */
 String VariableName():
 {
-String expr = null;
-Token token;
+  final StringBuffer buff;
+  final String expr;
+  Expression expression = null;
+  final Token token;
 }
 {
-  <LBRACE> expr = Expression() <RBRACE>
-  {return "{"+expr+"}";}
+  <LBRACE> expression = Expression() <RBRACE>
+  {buff = new StringBuffer("{");
+   buff.append(expression.toStringExpression());
+   buff.append("}");
+   return buff.toString();}
 |
-  token = <IDENTIFIER> [<LBRACE> expr = Expression() <RBRACE>]
+  token = <IDENTIFIER> [<LBRACE> expression = Expression() <RBRACE>]
   {
-    if (expr == null) {
+    if (expression == null) {
       return token.image;
     }
-    return token + "{" + expr + "}";
-  }|
+    buff = new StringBuffer(token.image);
+    buff.append("{");
+    buff.append(expression.toStringExpression());
+    buff.append("}");
+    return buff.toString();
+  }
+|
   <DOLLAR> expr = VariableName()
-  {return "$" + expr;}
+  {
+    buff = new StringBuffer("$");
+    buff.append(expr);
+    return buff.toString();
+  }
+|
+  token = <DOLLAR_ID> {return token.image;}
 }
 
-String VariableInitializer() :
+Expression VariableInitializer() :
 {
-  String expr;
+  final Expression expr;
+  final Token token;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  expr = Expression()
+  expr = Literal()
   {return expr;}
+|
+  <MINUS> (token = <INTEGER_LITERAL> | token = <FLOATING_POINT_LITERAL>)
+  {return new PrefixedUnaryExpression(new NumberLiteral(token.image.toCharArray(),
+                                                        pos,
+                                                        SimpleCharStream.getPosition()),
+                                      OperatorIds.MINUS,
+                                      pos);}
+|
+  <PLUS> (token = <INTEGER_LITERAL> | token = <FLOATING_POINT_LITERAL>)
+  {return new PrefixedUnaryExpression(new NumberLiteral(token.image.toCharArray(),
+                                                        pos,
+                                                        SimpleCharStream.getPosition()),
+                                      OperatorIds.PLUS,
+                                      pos);}
+|
+  expr = ArrayDeclarator()
+  {return expr;}
+|
+  token = <IDENTIFIER>
+  {return new ConstantIdentifier(token.image.toCharArray(),pos,SimpleCharStream.getPosition());}
 }
 
-String ArrayVariable() :
+ArrayVariableDeclaration ArrayVariable() :
 {
-String expr;
-StringBuffer buff = new StringBuffer();
+final Expression expr,expr2;
 }
 {
   expr = Expression()
-  {buff.append(expr);}
-   [<ARRAYASSIGN> expr = Expression()
-   {buff.append("=>").append(expr);}]
-  {return buff.toString();}
+  [<ARRAYASSIGN> expr2 = Expression()
+  {return new ArrayVariableDeclaration(expr,expr2);}
+  ]
+  {return new ArrayVariableDeclaration(expr,SimpleCharStream.getPosition());}
 }
 
-String ArrayInitializer() :
+ArrayVariableDeclaration[] ArrayInitializer() :
 {
-String expr = null;
-StringBuffer buff = new StringBuffer("(");
+  ArrayVariableDeclaration expr;
+  final ArrayList list = new ArrayList();
 }
 {
   <LPAREN> [ expr = ArrayVariable()
-            {buff.append(expr);}
+            {list.add(expr);}
             ( LOOKAHEAD(2) <COMMA> expr = ArrayVariable()
-            {buff.append(",").append(expr);}
-            )* ]
+            {list.add(expr);}
+            )*
+           ]
+           [<COMMA> {list.add(null);}]
   <RPAREN>
   {
-    buff.append(")");
-    return buff.toString();
-  }
+  final ArrayVariableDeclaration[] vars = new ArrayVariableDeclaration[list.size()];
+  list.toArray(vars);
+  return vars;}
 }
 
-void MethodDeclaration() :
+/**
+ * A Method Declaration.
+ * <b>function</b> MetodDeclarator() Block()
+ */
+MethodDeclaration MethodDeclaration() :
 {
-  PHPFunctionDeclaration functionDeclaration;
+  final MethodDeclaration functionDeclaration;
+  final Block block;
+  final OutlineableWithChildren seg = currentSegment;
 }
 {
-  <FUNCTION> functionDeclaration = MethodDeclarator()
-  {
-    currentSegment.add(functionDeclaration);
-    currentSegment = functionDeclaration;
-  }
-  ( Block() | <SEMICOLON> )
-  {
-    currentSegment = (PHPSegmentWithChildren) currentSegment.getParent();
+  <FUNCTION>
+  try {
+    functionDeclaration = MethodDeclarator()
+    {outlineInfo.addVariable(new String(functionDeclaration.name));}
+  } catch (ParseException e) {
+    if (errorMessage != null)  throw e;
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', function identifier expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
   }
+  {currentSegment = functionDeclaration;}
+  block = Block()
+  {functionDeclaration.statements = block.statements;
+   currentSegment = seg;
+   return functionDeclaration;}
 }
 
-PHPFunctionDeclaration MethodDeclarator() :
+/**
+ * A MethodDeclarator.
+ * [&] IDENTIFIER(parameters ...).
+ * @return a function description for the outline
+ */
+MethodDeclaration MethodDeclarator() :
 {
-  Token identifier;
-  StringBuffer methodDeclaration = new StringBuffer();
-  String formalParameters;
-  int pos = jj_input_stream.bufpos;
+  final Token identifier;
+  Token reference = null;
+  final Hashtable formalParameters;
+  final int pos = SimpleCharStream.getPosition();
+  char[] identifierChar = SYNTAX_ERROR_CHAR;
 }
 {
-  [ <BIT_AND> {methodDeclaration.append("&");}]
-  identifier = <IDENTIFIER> formalParameters = FormalParameters()
-  {
-    methodDeclaration.append(identifier).append(formalParameters);
-    return new PHPFunctionDeclaration(currentSegment,methodDeclaration.toString(),pos);
+  [reference = <BIT_AND>]
+  try {
+    identifier = <IDENTIFIER>
+    {identifierChar = identifier.image.toCharArray();}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', function identifier expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    processParseException(e);
   }
+  formalParameters = FormalParameters()
+  {return new MethodDeclaration(currentSegment,
+                                identifierChar,
+                                formalParameters,
+                                reference != null,
+                                pos,
+                                SimpleCharStream.getPosition());}
 }
 
-String FormalParameters() :
+/**
+ * FormalParameters follows method identifier.
+ * (FormalParameter())
+ */
+Hashtable FormalParameters() :
 {
-  String expr;
-  StringBuffer buff = new StringBuffer("(");
+  VariableDeclaration var;
+  final Hashtable parameters = new Hashtable();
 }
 {
-  <LPAREN> [ expr = FormalParameter() {buff.append(expr);}
-            ( <COMMA> expr = FormalParameter()
-            {buff.append(",").append(expr);}
-            )* ] <RPAREN>
- {
-  buff.append(")");
-  return buff.toString();
- }
+  try {
+  <LPAREN>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', '(' expected after function identifier";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    processParseException(e);
+  }
+            [ var = FormalParameter()
+              {parameters.put(new String(var.name),var);}
+              (
+                <COMMA> var = FormalParameter()
+                {parameters.put(new String(var.name),var);}
+              )*
+            ]
+  try {
+    <RPAREN>
+  } catch (ParseException e) {
+    errorMessage = "')' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    processParseException(e);
+  }
+ {return parameters;}
 }
 
-String FormalParameter() :
+/**
+ * A formal parameter.
+ * $varname[=value] (,$varname[=value])
+ */
+VariableDeclaration FormalParameter() :
 {
-  String expr;
-  StringBuffer buff = new StringBuffer();
+  final VariableDeclaration variableDeclaration;
+  Token token = null;
 }
 {
-  [<BIT_AND> {buff.append("&");}] expr = VariableDeclarator()
+  [token = <BIT_AND>] variableDeclaration = VariableDeclarator()
   {
-    buff.append(expr);
-    return buff.toString();
-  }
+    if (token != null) {
+      variableDeclaration.setReference(true);
+    }
+    return variableDeclaration;}
 }
 
-String Type() :
-{}
+ConstantIdentifier Type() :
+{final int pos;}
 {
-  <STRING>
-  {return "string";}
-|
-  <BOOL>
-  {return "bool";}
-|
-  <BOOLEAN>
-  {return "boolean";}
-|
-  <REAL>
-  {return "real";}
-|
-  <DOUBLE>
-  {return "double";}
-|
-  <FLOAT>
-  {return "float";}
-|
-  <INT>
-  {return "int";}
-|
-  <INTEGER>
-  {return "integer";}
+  <STRING>             {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.STRING,pos,pos-6);}
+| <BOOL>               {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.BOOL,pos,pos-4);}
+| <BOOLEAN>            {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.BOOLEAN,pos,pos-7);}
+| <REAL>               {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.REAL,pos,pos-4);}
+| <DOUBLE>             {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.DOUBLE,pos,pos-5);}
+| <FLOAT>              {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.FLOAT,pos,pos-5);}
+| <INT>                {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.INT,pos,pos-3);}
+| <INTEGER>            {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.INTEGER,pos,pos-7);}
+| <OBJECT>             {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.OBJECT,pos,pos-6);}
 }
 
-String Expression() :
+Expression Expression() :
 {
-  String expr;
-  String assignOperator = null;
-  String expr2 = null;
+  final Expression expr;
+  Expression initializer = null;
+  int assignOperator = -1;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  expr = PrintExpression()
-  {return expr;}
-|
-  expr = ConditionalExpression()
-  [
-    assignOperator = AssignmentOperator()
-    expr2 = Expression()
-  ]
+  LOOKAHEAD(2)
+  expr = ConditionalExpression() [ assignOperator = AssignmentOperator() initializer = Expression() ]
   {
-    if (expr2 == null) {
-      return expr;
-    } else {
-      return expr + assignOperator + expr2;
-    }
-  }
+    if (assignOperator == -1) return expr;
+    return new VarAssignation(expr,
+                               initializer,
+                               assignOperator,
+                               pos,
+                               SimpleCharStream.getPosition());
+  return expr;}
+| expr = ExpressionWBang()       {return expr;}
+}
+
+Expression ExpressionWBang() :
+{
+  final Expression expr;
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <BANG> expr = ExpressionWBang() {return new PrefixedUnaryExpression(expr,OperatorIds.NOT,pos);}
+| expr = ExpressionNoBang() {return expr;}
 }
 
-String AssignmentOperator() :
+Expression ExpressionNoBang() :
+{
+  final Expression expr;
+}
 {
-  Token assignOperator;
+  expr = PrintExpression()       {return expr;}
+| expr = ListExpression()        {return expr;}
 }
+
+/**
+ * Any assignement operator.
+ * @return the assignement operator id
+ */
+int AssignmentOperator() :
+{}
 {
-  <ASSIGN>
-{return "=";}
-| <STARASSIGN>
-{return "*=";}
-| <SLASHASSIGN>
-{return "/=";}
-| <REMASSIGN>
-{return "%=";}
-| <PLUSASSIGN>
-{return "+=";}
-| <MINUSASSIGN>
-{return "-=";}
-| <LSHIFTASSIGN>
-{return "<<=";}
-| <RSIGNEDSHIFTASSIGN>
-{return ">>=";}
-| <RUNSIGNEDSHIFTASSIGN>
-{return ">>>=";}
-| <ANDASSIGN>
-{return "&=";}
-| <XORASSIGN>
-{return "|=";}
-| <ORASSIGN>
-{return "|=";}
-| <DOTASSIGN>
-{return ".=";}
+  <ASSIGN>             {return VarAssignation.EQUAL;}
+| <STARASSIGN>         {return VarAssignation.STAR_EQUAL;}
+| <SLASHASSIGN>        {return VarAssignation.SLASH_EQUAL;}
+| <REMASSIGN>          {return VarAssignation.REM_EQUAL;}
+| <PLUSASSIGN>         {return VarAssignation.PLUS_EQUAL;}
+| <MINUSASSIGN>        {return VarAssignation.MINUS_EQUAL;}
+| <LSHIFTASSIGN>       {return VarAssignation.LSHIFT_EQUAL;}
+| <RSIGNEDSHIFTASSIGN> {return VarAssignation.RSIGNEDSHIFT_EQUAL;}
+| <ANDASSIGN>          {return VarAssignation.AND_EQUAL;}
+| <XORASSIGN>          {return VarAssignation.XOR_EQUAL;}
+| <ORASSIGN>           {return VarAssignation.OR_EQUAL;}
+| <DOTASSIGN>          {return VarAssignation.DOT_EQUAL;}
+| <TILDEEQUAL>         {return VarAssignation.TILDE_EQUAL;}
 }
 
-String ConditionalExpression() :
+Expression ConditionalExpression() :
 {
-  String expr;
-  String expr2 = null;
-  String expr3 = null;
+  final Expression expr;
+  Expression expr2 = null;
+  Expression expr3 = null;
 }
 {
   expr = ConditionalOrExpression() [ <HOOK> expr2 = Expression() <COLON> expr3 = ConditionalExpression() ]
 {
   if (expr3 == null) {
     return expr;
-  } else {
-    return expr + "?" + expr2 + ":" + expr3;
   }
+  return new ConditionalExpression(expr,expr2,expr3);
 }
 }
 
-String ConditionalOrExpression() :
+Expression ConditionalOrExpression() :
 {
-  String expr;
-  Token operator;
-  String expr2 = null;
-  StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
+  int operator;
 }
 {
   expr = ConditionalAndExpression()
-  {
-    buff.append(expr);
-  }
   (
-    (operator = <SC_OR> | operator = <_ORL>) expr2 = ConditionalAndExpression()
+    (
+        <OR_OR> {operator = OperatorIds.OR_OR;}
+      | <_ORL>  {operator = OperatorIds.ORL;}
+    ) expr2 = ConditionalAndExpression()
     {
-      buff.append(operator.image);
-      buff.append(expr2);
+      expr = new BinaryExpression(expr,expr2,operator);
     }
   )*
-  {
-    return buff.toString();
-  }
+  {return expr;}
 }
 
-String ConditionalAndExpression() :
+Expression ConditionalAndExpression() :
 {
-  String expr;
-  Token operator;
-  String expr2 = null;
-  StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
+  int operator;
 }
 {
   expr = ConcatExpression()
-  {
-    buff.append(expr);
-  }
   (
-  (operator = <SC_AND> | operator = <_ANDL>) expr2 = ConcatExpression()
-    {
-      buff.append(operator.image);
-      buff.append(expr2);
-    }
+  (  <AND_AND> {operator = OperatorIds.AND_AND;}
+   | <_ANDL>   {operator = OperatorIds.ANDL;})
+   expr2 = ConcatExpression() {expr = new BinaryExpression(expr,expr2,operator);}
   )*
-  {
-    return buff.toString();
-  }
+  {return expr;}
 }
 
-String ConcatExpression() :
+Expression ConcatExpression() :
 {
-  String expr;
-  String expr2 = null;
-  StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
 }
 {
   expr = InclusiveOrExpression()
-  {
-    buff.append(expr);
-  }
   (
-  <DOT> expr2 = InclusiveOrExpression()
-  {
-    buff.append(".");
-    buff.append(expr2);
-  }
+    <DOT> expr2 = InclusiveOrExpression()
+    {expr = new BinaryExpression(expr,expr2,OperatorIds.DOT);}
   )*
-  {
-    return buff.toString();
-  }
+  {return expr;}
 }
 
-String InclusiveOrExpression() :
+Expression InclusiveOrExpression() :
 {
-  String expr;
-  String expr2 = null;
-  StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
 }
 {
   expr = ExclusiveOrExpression()
-  {
-    buff.append(expr);
-  }
-  (
-  <BIT_OR> expr2 = ExclusiveOrExpression()
-  {
-    buff.append("|");
-    buff.append(expr2);
-  }
+  (<BIT_OR> expr2 = ExclusiveOrExpression()
+   {expr = new BinaryExpression(expr,expr2,OperatorIds.OR);}
   )*
-  {
-    return buff.toString();
-  }
+  {return expr;}
 }
 
-String ExclusiveOrExpression() :
+Expression ExclusiveOrExpression() :
 {
-  String expr;
-  String expr2 = null;
-  StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
 }
 {
   expr = AndExpression()
-  {
-    buff.append(expr);
-  }
   (
     <XOR> expr2 = AndExpression()
-  {
-    buff.append("^");
-    buff.append(expr2);
-  }
+    {expr = new BinaryExpression(expr,expr2,OperatorIds.XOR);}
   )*
-  {
-    return buff.toString();
-  }
+  {return expr;}
 }
 
-String AndExpression() :
+Expression AndExpression() :
 {
-  String expr;
-  String expr2 = null;
-  StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
 }
 {
   expr = EqualityExpression()
-  {
-    buff.append(expr);
-  }
   (
     <BIT_AND> expr2 = EqualityExpression()
-  {
-    buff.append("&");
-    buff.append(expr2);
-  }
+    {expr = new BinaryExpression(expr,expr2,OperatorIds.AND);}
   )*
-  {
-    return buff.toString();
-  }
+  {return expr;}
 }
 
-String EqualityExpression() :
+Expression EqualityExpression() :
 {
-  String expr;
-  Token operator;
-  String expr2;
-  StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
+  int operator;
 }
 {
   expr = RelationalExpression()
-  {buff.append(expr);}
   (
-  ( operator = <EQ> | operator = <NE> ) expr2 = RelationalExpression()
+  (   <EQUAL_EQUAL>      {operator = OperatorIds.EQUAL_EQUAL;}
+    | <DIF>              {operator = OperatorIds.DIF;}
+    | <NOT_EQUAL>        {operator = OperatorIds.DIF;}
+    | <BANGDOUBLEEQUAL>  {operator = OperatorIds.BANG_EQUAL_EQUAL;}
+    | <TRIPLEEQUAL>      {operator = OperatorIds.EQUAL_EQUAL_EQUAL;}
+  )
+  try {
+    expr2 = RelationalExpression()
+  } catch (ParseException e) {
+    if (errorMessage != null) {
+      throw e;
+    }
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', expression expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
   {
-    buff.append(operator.image);
-    buff.append(expr2);
+    expr = new BinaryExpression(expr,expr2,operator);
   }
   )*
-  {return buff.toString();}
+  {return expr;}
 }
 
-String RelationalExpression() :
+Expression RelationalExpression() :
 {
-  String expr;
-  Token operator;
-  String expr2;
-  StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
+  int operator;
 }
 {
   expr = ShiftExpression()
-  {buff.append(expr);}
   (
-  ( operator = <LT> | operator = <GT> | operator = <LE> | operator = <GE> ) expr2 = ShiftExpression()
-  {
-    buff.append(operator.image);
-    buff.append(expr2);
-  }
+  ( <LT> {operator = OperatorIds.LESS;}
+  | <GT> {operator = OperatorIds.GREATER;}
+  | <LE> {operator = OperatorIds.LESS_EQUAL;}
+  | <GE> {operator = OperatorIds.GREATER_EQUAL;})
+   expr2 = ShiftExpression()
+  {expr = new BinaryExpression(expr,expr2,operator);}
   )*
-  {return buff.toString();}
+  {return expr;}
 }
 
-String ShiftExpression() :
+Expression ShiftExpression() :
 {
-  String expr;
-  Token operator;
-  String expr2;
-  StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
+  int operator;
 }
 {
   expr = AdditiveExpression()
-  {buff.append(expr);}
   (
-  (operator = <LSHIFT> | operator = <RSIGNEDSHIFT> | operator = <RUNSIGNEDSHIFT> ) expr2 = AdditiveExpression()
-  {
-    buff.append(operator.image);
-    buff.append(expr2);
-  }
+  ( <LSHIFT>         {operator = OperatorIds.LEFT_SHIFT;}
+  | <RSIGNEDSHIFT>   {operator = OperatorIds.RIGHT_SHIFT;}
+  | <RUNSIGNEDSHIFT> {operator = OperatorIds.UNSIGNED_RIGHT_SHIFT;})
+  expr2 = AdditiveExpression()
+  {expr = new BinaryExpression(expr,expr2,operator);}
   )*
-  {return buff.toString();}
+  {return expr;}
 }
 
-String AdditiveExpression() :
+Expression AdditiveExpression() :
 {
-  String expr;
-  Token operator;
-  String expr2;
-  StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
+  int operator;
 }
 {
   expr = MultiplicativeExpression()
-  {buff.append(expr);}
   (
-   ( operator = <PLUS> | operator = <MINUS> ) expr2 = MultiplicativeExpression()
-  {
-    buff.append(operator.image);
-    buff.append(expr2);
-  }
+   ( <PLUS>  {operator = OperatorIds.PLUS;}
+   | <MINUS> {operator = OperatorIds.MINUS;} )
+   expr2 = MultiplicativeExpression()
+  {expr = new BinaryExpression(expr,expr2,operator);}
    )*
-  {return buff.toString();}
+  {return expr;}
 }
 
-String MultiplicativeExpression() :
+Expression MultiplicativeExpression() :
 {
-  String expr;
-  Token operator;
-  String expr2;
-  StringBuffer buff = new StringBuffer();}
+  Expression expr,expr2;
+  int operator;
+}
 {
-  expr = UnaryExpression()
-  {buff.append(expr);}
-  (
-  ( operator = <STAR> | operator = <SLASH> | operator = <REM> ) expr2 = UnaryExpression()
-  {
-    buff.append(operator.image);
-    buff.append(expr2);
+  try {
+    expr = UnaryExpression()
+  } catch (ParseException e) {
+    if (errorMessage != null) throw e;
+    errorMessage = "unexpected token '"+e.currentToken.next.image+"'";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
   }
+  (
+   (  <STAR>      {operator = OperatorIds.MULTIPLY;}
+    | <SLASH>     {operator = OperatorIds.DIVIDE;}
+    | <REMAINDER> {operator = OperatorIds.REMAINDER;})
+    expr2 = UnaryExpression()
+    {expr = new BinaryExpression(expr,expr2,operator);}
   )*
-  {return buff.toString();}
+  {return expr;}
 }
 
-String UnaryExpression() :
+/**
+ * An unary expression starting with @, & or nothing
+ */
+Expression UnaryExpression() :
 {
-  String expr;
-  StringBuffer buff = new StringBuffer();
+  final Expression expr;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  <AT> expr = UnaryExpression()
-  {return "@" + expr;}
+  <BIT_AND> expr = UnaryExpressionNoPrefix()
+  {return new PrefixedUnaryExpression(expr,OperatorIds.AND,pos);}
 |
-  ( <PLUS> {buff.append("+");}| <MINUS> {buff.append("-");}) expr = UnaryExpression()
-  {
-    buff.append(expr);
-    return buff.toString();
-  }
-|
-  expr = PreIncrementExpression()
-  {return expr;}
+  expr = AtUnaryExpression() {return expr;}
+}
+
+Expression AtUnaryExpression() :
+{
+  final Expression expr;
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <AT>
+  expr = AtUnaryExpression()
+  {return new PrefixedUnaryExpression(expr,OperatorIds.AT,pos);}
 |
-  expr = PreDecrementExpression()
+  expr = UnaryExpressionNoPrefix()
   {return expr;}
-|
-  expr = UnaryExpressionNotPlusMinus()
-  {return buff.toString();}
 }
 
-String PreIncrementExpression() :
+
+Expression UnaryExpressionNoPrefix() :
 {
-String expr;
+  final Expression expr;
+  final int operator;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  <INCR> expr = PrimaryExpression()
-  {return "++"+expr;}
+  (  <PLUS>  {operator = OperatorIds.PLUS;}
+   | <MINUS> {operator = OperatorIds.MINUS;})
+   expr = UnaryExpression()
+  {return new PrefixedUnaryExpression(expr,operator,pos);}
+|
+  expr = PreIncDecExpression()
+  {return expr;}
+|
+  expr = UnaryExpressionNotPlusMinus()
+  {return expr;}
 }
 
-String PreDecrementExpression() :
+
+Expression PreIncDecExpression() :
 {
-String expr;
+final Expression expr;
+final int operator;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  <DECR> expr = PrimaryExpression()
-  {return "--"+expr;}
+  (  <PLUS_PLUS> {operator = OperatorIds.PLUS_PLUS;}
+   | <MINUS_MINUS> {operator = OperatorIds.MINUS_MINUS;})
+   expr = PrimaryExpression()
+  {return new PrefixedUnaryExpression(expr,operator,pos);}
 }
 
-String UnaryExpressionNotPlusMinus() :
+Expression UnaryExpressionNotPlusMinus() :
 {
-  String expr;
+  final Expression expr;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  <BANG> expr = UnaryExpression()
-  {return "!" + expr;}
-|
-  LOOKAHEAD( <LPAREN> Type() <RPAREN> )
-  expr = CastExpression()
-  {return expr;}
-|
-  expr = PostfixExpression()
-  {return expr;}
-|
-  expr = Literal()
+  LOOKAHEAD( <LPAREN> (Type() | <ARRAY>) <RPAREN> )
+  expr = CastExpression()         {return expr;}
+| <BANG> expr = UnaryExpression() {return new PrefixedUnaryExpression(expr,OperatorIds.NOT,pos);}
+| expr = PostfixExpression()      {return expr;}
+| expr = Literal()                {return expr;}
+| <LPAREN> expr = Expression()
+  try {
+    <RPAREN>
+  } catch (ParseException e) {
+    errorMessage = "')' expected";
+    errorLevel   = ERROR;
+    errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
   {return expr;}
-|
-  <LPAREN> expr = Expression()<RPAREN>
-  {return "("+expr+")";}
 }
 
-String CastExpression() :
+CastExpression CastExpression() :
 {
-String type;
-String expr;
+final ConstantIdentifier type;
+final Expression expr;
+final int pos = SimpleCharStream.getPosition();
 }
 {
-  <LPAREN> type = Type() <RPAREN> expr = UnaryExpression()
-  {return "(" + type + ")" + expr;}
+  <LPAREN>
+  (type = Type()
+  | <ARRAY> {type = new ConstantIdentifier(Types.ARRAY,pos,SimpleCharStream.getPosition());})
+  <RPAREN> expr = UnaryExpression()
+  {return new CastExpression(type,expr,pos,SimpleCharStream.getPosition());}
 }
 
-String PostfixExpression() :
+Expression PostfixExpression() :
 {
-  String expr;
-  Token operator = null;
+  final Expression expr;
+  int operator = -1;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  expr = PrimaryExpression() [ operator = <INCR> | operator = <DECR> ]
+  expr = PrimaryExpression()
+  [ <PLUS_PLUS> {operator = OperatorIds.PLUS_PLUS;}
+  | <MINUS_MINUS> {operator = OperatorIds.MINUS_MINUS;}]
   {
-    if (operator == null) {
+    if (operator == -1) {
       return expr;
     }
-    return expr + operator.image;
+    return new PostfixedUnaryExpression(expr,operator,pos);
   }
 }
 
-String PrimaryExpression() :
+Expression PrimaryExpression() :
 {
-  Token identifier;
-  String expr;
-  StringBuffer buff = new StringBuffer();
+  final Token identifier;
+  Expression expr;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  LOOKAHEAD(2)
-  identifier = <IDENTIFIER> <STATICCLASSACCESS> expr = ClassIdentifier()
-  {buff.append(identifier.image).append("::").append(expr);}
-  (
-  expr = PrimarySuffix()
-  {buff.append(expr);}
-  )*
-  {return buff.toString();}
-|
   expr = PrimaryPrefix()
-  {buff.append(expr);}
   (
-  expr = PrimarySuffix()
-  {buff.append(expr);}
-  )*
-  {return buff.toString();}
+  LOOKAHEAD(PrimarySuffix())
+  expr = PrimarySuffix(expr))*
+  {return expr;}
 |
-  <ARRAY> expr = ArrayInitializer()
-  {return "array" + expr;}
+  expr = ArrayDeclarator()
+  {return expr;}
 }
 
-String PrimaryPrefix() :
+Expression PrimaryPrefix() :
 {
-  String expr;
-  Token token = null;
+  final Expression expr;
+  final Token token;
+  final String var;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  token = <IDENTIFIER>
-  {return token.image;}
-|
-  [token = <BIT_AND>] <NEW> expr = ClassIdentifier()
-  {
-    if (token == null) {
-      return "new " + expr;
-    }
-    return "new " + expr;
-  }
-|  
-  expr = VariableDeclaratorId()
-  {return expr;}
+  token = <IDENTIFIER>           {return new ConstantIdentifier(token.image.toCharArray(),
+                                                                pos,
+                                                                SimpleCharStream.getPosition());}
+| <NEW> expr = ClassIdentifier() {return new PrefixedUnaryExpression(expr,
+                                                                     OperatorIds.NEW,
+                                                                     pos);}
+| var = VariableDeclaratorId()  {return new VariableDeclaration(currentSegment,
+                                                                var.toCharArray(),
+                                                                pos,
+                                                                SimpleCharStream.getPosition());}
 }
 
-String ClassIdentifier():
+AbstractSuffixExpression PrimarySuffix(final Expression prefix) :
 {
-  String expr;
-  Token token;
+  final AbstractSuffixExpression suffix;
+  final Expression expr;
 }
 {
-  token = <IDENTIFIER>
-  {return token.image;}
-|
-  expr = VariableDeclaratorId()
-  {return expr;}
+  suffix = Arguments(prefix)      {return suffix;}
+| suffix = VariableSuffix(prefix) {return suffix;}
+| <STATICCLASSACCESS> expr = ClassIdentifier()
+  {suffix = new ClassAccess(prefix,
+                          expr,
+                          ClassAccess.STATIC);
+   return suffix;}
 }
 
-String PrimarySuffix() :
+/**
+ * An array declarator.
+ * array(vars)
+ * @return an array
+ */
+ArrayInitializer ArrayDeclarator() :
 {
-  String expr;
+  final ArrayVariableDeclaration[] vars;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  expr = Arguments()
-  {return expr;}
-|
-  expr = VariableSuffix()
-  {return expr;}
+  <ARRAY> vars = ArrayInitializer()
+  {return new ArrayInitializer(vars,pos,SimpleCharStream.getPosition());}
 }
 
-String VariableSuffix() :
+PrefixedUnaryExpression classInstantiation() :
 {
-  String expr = null;
+  Expression expr;
+  final StringBuffer buff;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  <CLASSACCESS> expr = VariableName()
-  {return "->" + expr;}
-| 
-  <LBRACKET> [ expr = Expression() ] <RBRACKET>
-  {
-    if(expr == null) {
-      return "[]";
-    }
-    return "[" + expr + "]";
-  }
+  <NEW> expr = ClassIdentifier()
+  [
+    {buff = new StringBuffer(expr.toStringExpression());}
+    expr = PrimaryExpression()
+    {buff.append(expr.toStringExpression());
+    expr = new ConstantIdentifier(buff.toString().toCharArray(),
+                                  pos,
+                                  SimpleCharStream.getPosition());}
+  ]
+  {return new PrefixedUnaryExpression(expr,
+                                      OperatorIds.NEW,
+                                      pos);}
 }
 
-String Literal() :
+ConstantIdentifier ClassIdentifier():
 {
-  String expr;
-  Token token;
+  final String expr;
+  final Token token;
+  final int pos = SimpleCharStream.getPosition();
+  final ConstantIdentifier type;
 }
 {
-  token = <INTEGER_LITERAL>
-  {return token.image;}
-|
-  token = <FLOATING_POINT_LITERAL>
-  {return token.image;}
-|
+  token = <IDENTIFIER>          {return new ConstantIdentifier(token.image.toCharArray(),
+                                                               pos,
+                                                               SimpleCharStream.getPosition());}
+| type = Type()          {return type;}
+| expr = VariableDeclaratorId() {return new ConstantIdentifier(expr.toCharArray(),
+                                                               pos,
+                                                               SimpleCharStream.getPosition());}
+}
+
+AbstractSuffixExpression VariableSuffix(final Expression prefix) :
+{
+  String expr = null;
+  final int pos = SimpleCharStream.getPosition();
+  Expression expression = null;
+}
+{
+  <CLASSACCESS>
   try {
-    token = <STRING_LITERAL>
-  {return token.image;}
-  } catch (TokenMgrError e) {
-    errorMessage = "unterminated string";
+    expr = VariableName()
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', function call or field access expected";
     errorLevel   = ERROR;
-    throw generateParseException();
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
   }
+  {return new ClassAccess(prefix,
+                          new ConstantIdentifier(expr.toCharArray(),pos,SimpleCharStream.getPosition()),
+                          ClassAccess.NORMAL);}
 |
-  expr = BooleanLiteral()
-  {return expr;}
-|
-  expr = NullLiteral()
-  {return expr;}
+  <LBRACKET> [ expression = Expression() | expression = Type() ]  //Not good
+  try {
+    <RBRACKET>
+  } catch (ParseException e) {
+    errorMessage = "']' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  {return new ArrayDeclarator(prefix,expression,SimpleCharStream.getPosition());}
 }
 
-String BooleanLiteral() :
-{}
+Literal Literal() :
 {
-  <TRUE>
-  {return "true";}
-|
-  <FALSE>
-  {return "false";}
+  final Token token;
+  final int pos;
 }
-
-String NullLiteral() :
-{}
 {
-  <NULL>
-  {return "null";}
+  token = <INTEGER_LITERAL>        {pos = SimpleCharStream.getPosition();
+                                    return new NumberLiteral(token.image.toCharArray(),pos-token.image.length(),pos);}
+| token = <FLOATING_POINT_LITERAL> {pos = SimpleCharStream.getPosition();
+                                    return new NumberLiteral(token.image.toCharArray(),pos-token.image.length(),pos);}
+| token = <STRING_LITERAL>         {pos = SimpleCharStream.getPosition();
+                                    return new StringLiteral(token.image.toCharArray(),pos-token.image.length());}
+| <TRUE>                           {pos = SimpleCharStream.getPosition();
+                                    return new TrueLiteral(pos-4,pos);}
+| <FALSE>                          {pos = SimpleCharStream.getPosition();
+                                    return new FalseLiteral(pos-4,pos);}
+| <NULL>                           {pos = SimpleCharStream.getPosition();
+                                    return new NullLiteral(pos-4,pos);}
 }
 
-String Arguments() :
+FunctionCall Arguments(final Expression func) :
 {
-String expr = null;
+Expression[] args = null;
 }
 {
-  <LPAREN> [ expr = ArgumentList() ]
+  <LPAREN> [ args = ArgumentList() ]
   try {
     <RPAREN>
   } catch (ParseException e) {
-    errorMessage = "')' expected to close the argument list";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', ')' expected to close the argument list";
     errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
     throw e;
   }
-  {
-  if (expr == null) {
-    return "()";
-  }
-  return "(" + expr + ")";
-  }
+  {return new FunctionCall(func,args,SimpleCharStream.getPosition());}
 }
 
-String ArgumentList() :
+/**
+ * An argument list is a list of arguments separated by comma :
+ * argumentDeclaration() (, argumentDeclaration)*
+ * @return an array of arguments
+ */
+Expression[] ArgumentList() :
 {
-String expr;
-StringBuffer buff = new StringBuffer();
+Expression arg;
+final ArrayList list = new ArrayList();
 }
 {
-  expr = Expression()
-  {buff.append(expr);}
+  arg = Expression()
+  {list.add(arg);}
   ( <COMMA>
       try {
-        expr = Expression()
+        arg = Expression()
+        {list.add(arg);}
       } catch (ParseException e) {
-        errorMessage = "expression expected after a comma in argument list";
+        errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. An expression expected after a comma in argument list";
         errorLevel   = ERROR;
+        errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+        errorEnd     = SimpleCharStream.getPosition() + 1;
         throw e;
       }
-    {
-      buff.append(",").append("expr");
-    }
    )*
-   {return buff.toString();}
+   {
+   final Expression[] arguments = new Expression[list.size()];
+   list.toArray(arguments);
+   return arguments;}
 }
 
-/*
- * Statement syntax follows.
+/**
+ * A Statement without break.
  */
-
-void Statement() :
-{}
+Statement StatementNoBreak() :
+{
+  final Statement statement;
+  Token token = null;
+}
 {
   LOOKAHEAD(2)
-  Expression()  (<SEMICOLON> | "?>")
-|
-  LOOKAHEAD(2)
-  LabeledStatement()
-|
-  Block()
-|
-  EmptyStatement()
-|
-  StatementExpression()
+  statement = Expression()
+  try {
+    <SEMICOLON>
+  } catch (ParseException e) {
+    if (e.currentToken.next.kind != PHPParserConstants.PHPEND) {
+      errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected";
+      errorLevel   = ERROR;
+      errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+      errorEnd   = SimpleCharStream.getPosition() + 1;
+      throw e;
+    }
+  }
+  {return statement;}
+| LOOKAHEAD(2)
+  statement = LabeledStatement() {return statement;}
+| statement = Block()            {return statement;}
+| statement = EmptyStatement()   {return statement;}
+| statement = StatementExpression()
   try {
     <SEMICOLON>
   } catch (ParseException e) {
-    errorMessage = "';' expected after expression";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected";
     errorLevel   = ERROR;
+    errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = SimpleCharStream.getPosition() + 1;
     throw e;
   }
-|
-  SwitchStatement()
-|
-  IfStatement()
-|
-  WhileStatement()
-|
-  DoStatement()
-|
-  ForStatement()
-|
-  BreakStatement()
-|
-  ContinueStatement()
-|
-  ReturnStatement()
-|
-  EchoStatement()
-|
-  IncludeStatement()
-|
-  StaticStatement()
-|
-  GlobalStatement()
+  {return statement;}
+| statement = SwitchStatement()         {return statement;}
+| statement = IfStatement()             {return statement;}
+| statement = WhileStatement()          {return statement;}
+| statement = DoStatement()             {return statement;}
+| statement = ForStatement()            {return statement;}
+| statement = ForeachStatement()        {return statement;}
+| statement = ContinueStatement()       {return statement;}
+| statement = ReturnStatement()         {return statement;}
+| statement = EchoStatement()           {return statement;}
+| [token=<AT>] statement = IncludeStatement()
+  {if (token != null) {
+    ((InclusionStatement)statement).silent = true;
+  }
+  return statement;}
+| statement = StaticStatement()         {return statement;}
+| statement = GlobalStatement()         {return statement;}
+| statement = defineStatement()         {currentSegment.add((Outlineable)statement);return statement;}
 }
 
-void IncludeStatement() :
-{}
+Define defineStatement() :
 {
-  <REQUIRE> Expression() (<SEMICOLON> | "?>")
-|
-  <REQUIRE_ONCE> Expression() (<SEMICOLON> | "?>")
-|
-  <INCLUDE> Expression() (<SEMICOLON> | "?>")
-|
-  <INCLUDE_ONCE> Expression() (<SEMICOLON> | "?>")
+  final int start = SimpleCharStream.getPosition();
+  Expression defineName,defineValue;
+}
+{
+  <DEFINE>
+  try {
+    <LPAREN>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', '(' expected";
+    errorLevel   = ERROR;
+    errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = SimpleCharStream.getPosition() + 1;
+    processParseException(e);
+  }
+  try {
+    defineName = Expression()
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', expression expected";
+    errorLevel   = ERROR;
+    errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    <COMMA>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', ',' expected";
+    errorLevel   = ERROR;
+    errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = SimpleCharStream.getPosition() + 1;
+    processParseException(e);
+  }
+  try {
+    defineValue = Expression()
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', expression expected";
+    errorLevel   = ERROR;
+    errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    <RPAREN>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', ')' expected";
+    errorLevel   = ERROR;
+    errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = SimpleCharStream.getPosition() + 1;
+    processParseException(e);
+  }
+  {return new Define(currentSegment,
+                     defineName,
+                     defineValue,
+                     start,
+                     SimpleCharStream.getPosition());}
 }
 
-String PrintExpression() :
+/**
+ * A Normal statement.
+ */
+Statement Statement() :
 {
-  StringBuffer buff = new StringBuffer("print ");
-  String expr;
+  final Statement statement;
 }
 {
-  <PRINT> expr = Expression()
+  statement = StatementNoBreak() {return statement;}
+| statement = BreakStatement()   {return statement;}
+}
+
+/**
+ * An html block inside a php syntax.
+ */
+HTMLBlock htmlBlock() :
+{
+  final int startIndex = nodePtr;
+  final AstNode[] blockNodes;
+  final int nbNodes;
+}
+{
+  <PHPEND> (phpEchoBlock())*
+  try {
+    (<PHPSTARTLONG> | <PHPSTARTSHORT>)
+  } catch (ParseException e) {
+    errorMessage = "unexpected end of file , '<?php' expected";
+    errorLevel   = ERROR;
+    errorStart   = SimpleCharStream.getPosition();
+    errorEnd     = SimpleCharStream.getPosition();
+    throw e;
+  }
   {
-    buff.append(expr);
-    return buff.toString();
+  nbNodes    = nodePtr - startIndex;
+  blockNodes = new AstNode[nbNodes];
+  System.arraycopy(nodes,startIndex,blockNodes,0,nbNodes);
+  nodePtr = startIndex;
+  return new HTMLBlock(blockNodes);}
+}
+
+/**
+ * An include statement. It's "include" an expression;
+ */
+InclusionStatement IncludeStatement() :
+{
+  final Expression expr;
+  final int keyword;
+  final int pos = SimpleCharStream.getPosition();
+  final InclusionStatement inclusionStatement;
+}
+{
+      (  <REQUIRE>      {keyword = InclusionStatement.REQUIRE;}
+       | <REQUIRE_ONCE> {keyword = InclusionStatement.REQUIRE_ONCE;}
+       | <INCLUDE>      {keyword = InclusionStatement.INCLUDE;}
+       | <INCLUDE_ONCE> {keyword = InclusionStatement.INCLUDE_ONCE;})
+  try {
+    expr = Expression()
+  } catch (ParseException e) {
+    if (errorMessage != null) {
+      throw e;
+    }
+    errorMessage = "unexpected token '"+ e.currentToken.next.image+"', expression expected";
+    errorLevel   = ERROR;
+    errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = SimpleCharStream.getPosition() + 1;
+    throw e;
   }
+  {inclusionStatement = new InclusionStatement(currentSegment,
+                                               keyword,
+                                               expr,
+                                               pos);
+   currentSegment.add(inclusionStatement);
+  }
+  try {
+    <SEMICOLON>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected";
+    errorLevel   = ERROR;
+    errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  {return inclusionStatement;}
 }
 
-void EchoStatement() :
-{}
+PrintExpression PrintExpression() :
+{
+  final Expression expr;
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <PRINT> expr = Expression() {return new PrintExpression(expr,pos,SimpleCharStream.getPosition());}
+}
+
+ListExpression ListExpression() :
 {
-  <ECHO> Expression() (<COMMA> Expression())*
+  String expr = null;
+  final Expression expression;
+  final ArrayList list = new ArrayList();
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <LIST>
   try {
-    (<SEMICOLON> | "?>")
+    <LPAREN>
   } catch (ParseException e) {
-    errorMessage = "';' expected after 'echo' statement";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', '(' expected";
     errorLevel   = ERROR;
+    errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = SimpleCharStream.getPosition() + 1;
     throw e;
   }
+  [
+    expr = VariableDeclaratorId()
+    {list.add(expr);}
+  ]
+  {if (expr == null) list.add(null);}
+  (
+    try {
+      <COMMA>
+    } catch (ParseException e) {
+      errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', ',' expected";
+      errorLevel   = ERROR;
+      errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+      errorEnd     = SimpleCharStream.getPosition() + 1;
+      throw e;
+    }
+    [expr = VariableDeclaratorId() {list.add(expr);}]
+  )*
+  try {
+    <RPAREN>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', ')' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  [ <ASSIGN> expression = Expression()
+    {
+    final String[] strings = new String[list.size()];
+    list.toArray(strings);
+    return new ListExpression(strings,
+                              expression,
+                              pos,
+                              SimpleCharStream.getPosition());}
+  ]
+  {
+    final String[] strings = new String[list.size()];
+    list.toArray(strings);
+    return new ListExpression(strings,pos,SimpleCharStream.getPosition());}
 }
 
-void GlobalStatement() :
-{}
+/**
+ * An echo statement.
+ * echo anyexpression (, otherexpression)*
+ */
+EchoStatement EchoStatement() :
+{
+  final ArrayList expressions = new ArrayList();
+  Expression expr;
+  final int pos = SimpleCharStream.getPosition();
+}
 {
-  <GLOBAL> VariableDeclaratorId() (<COMMA> VariableDeclaratorId())* (<SEMICOLON> | "?>")
+  <ECHO> expr = Expression()
+  {expressions.add(expr);}
+  (
+    <COMMA> expr = Expression()
+    {expressions.add(expr);}
+  )*
+  try {
+    <SEMICOLON>
+  } catch (ParseException e) {
+    if (e.currentToken.next.kind != 4) {
+      errorMessage = "';' expected after 'echo' statement";
+      errorLevel   = ERROR;
+      errorStart   = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+      errorEnd     = SimpleCharStream.getPosition() + 1;
+      throw e;
+    }
+  }
+  {final Expression[] exprs = new Expression[expressions.size()];
+   expressions.toArray(exprs);
+   return new EchoStatement(exprs,pos);}
 }
 
-void StaticStatement() :
-{}
+GlobalStatement GlobalStatement() :
+{
+   final int pos = SimpleCharStream.getPosition();
+   String expr;
+   final ArrayList vars = new ArrayList();
+   final GlobalStatement global;
+}
 {
-  <STATIC> VariableDeclarator() (<COMMA> VariableDeclarator())* (<SEMICOLON> | "?>")
+  <GLOBAL>
+    expr = VariableDeclaratorId()
+    {vars.add(expr);}
+  (<COMMA>
+    expr = VariableDeclaratorId()
+    {vars.add(expr);}
+  )*
+  try {
+    <SEMICOLON>
+    {
+    final String[] strings = new String[vars.size()];
+    vars.toArray(strings);
+    global = new GlobalStatement(currentSegment,
+                                 strings,
+                                 pos,
+                                 SimpleCharStream.getPosition());
+    currentSegment.add(global);
+    return global;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. a ';' was expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
 }
 
-void LabeledStatement() :
-{}
+StaticStatement StaticStatement() :
+{
+  final int pos = SimpleCharStream.getPosition();
+  final ArrayList vars = new ArrayList();
+  VariableDeclaration expr;
+}
 {
-  <IDENTIFIER> <COLON> Statement()
+  <STATIC> expr = VariableDeclarator() {vars.add(new String(expr.name));}
+  (<COMMA> expr = VariableDeclarator() {vars.add(new String(expr.name));})*
+  try {
+    <SEMICOLON>
+    {
+    final String[] strings = new String[vars.size()];
+    vars.toArray(strings);
+    return new StaticStatement(strings,
+                                pos,
+                                SimpleCharStream.getPosition());}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. a ';' was expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
 }
 
-void Block() :
-{}
+LabeledStatement LabeledStatement() :
+{
+  final int pos = SimpleCharStream.getPosition();
+  final Token label;
+  final Statement statement;
+}
 {
-  <LBRACE> ( BlockStatement() )* <RBRACE>
+  label = <IDENTIFIER> <COLON> statement = Statement()
+  {return new LabeledStatement(label.image.toCharArray(),statement,pos,SimpleCharStream.getPosition());}
 }
 
-void BlockStatement() :
-{}
+/**
+ * A Block is
+ * {
+ * statements
+ * }.
+ * @return a block
+ */
+Block Block() :
 {
-  Statement()
-|
-  ClassDeclaration()
-|
-  MethodDeclaration()
+  final int pos = SimpleCharStream.getPosition();
+  final ArrayList list = new ArrayList();
+  Statement statement;
+}
+{
+  try {
+    <LBRACE>
+  } catch (ParseException e) {
+    errorMessage = "'{' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  ( statement = BlockStatement() {list.add(statement);}
+  | statement = htmlBlock()      {list.add(statement);})*
+  try {
+    <RBRACE>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.image +"', '}' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  {
+  final Statement[] statements = new Statement[list.size()];
+  list.toArray(statements);
+  return new Block(statements,pos,SimpleCharStream.getPosition());}
 }
 
-void LocalVariableDeclaration() :
-{}
+Statement BlockStatement() :
+{
+  final Statement statement;
+}
 {
-  VariableDeclarator() ( <COMMA> VariableDeclarator() )*
+  statement = Statement()         {if (phpDocument == currentSegment) pushOnAstNodes(statement);
+                                   return statement;}
+| statement = ClassDeclaration()  {return statement;}
+| statement = MethodDeclaration() {if (phpDocument == currentSegment) pushOnAstNodes(statement);
+                                   currentSegment.add((MethodDeclaration) statement);
+                                   return statement;}
 }
 
-void EmptyStatement() :
-{}
+/**
+ * A Block statement that will not contain any 'break'
+ */
+Statement BlockStatementNoBreak() :
+{
+  final Statement statement;
+}
+{
+  statement = StatementNoBreak()  {return statement;}
+| statement = ClassDeclaration()  {return statement;}
+| statement = MethodDeclaration() {currentSegment.add((MethodDeclaration) statement);
+                                   return statement;}
+}
+
+VariableDeclaration[] LocalVariableDeclaration() :
+{
+  final ArrayList list = new ArrayList();
+  VariableDeclaration var;
+}
+{
+  var = LocalVariableDeclarator()
+  {list.add(var);}
+  ( <COMMA> var = LocalVariableDeclarator() {list.add(var);})*
+  {
+    final VariableDeclaration[] vars = new VariableDeclaration[list.size()];
+    list.toArray(vars);
+  return vars;}
+}
+
+VariableDeclaration LocalVariableDeclarator() :
+{
+  final String varName;
+  Expression initializer = null;
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  varName = VariableDeclaratorId() [ <ASSIGN> initializer = Expression() ]
+  {
+   if (initializer == null) {
+    return new VariableDeclaration(currentSegment,
+                                  varName.toCharArray(),
+                                  pos,
+                                  SimpleCharStream.getPosition());
+   }
+    return new VariableDeclaration(currentSegment,
+                                    varName.toCharArray(),
+                                    initializer,
+                                    pos);
+  }
+}
+
+EmptyStatement EmptyStatement() :
+{
+  final int pos;
+}
 {
   <SEMICOLON>
+  {pos = SimpleCharStream.getPosition();
+   return new EmptyStatement(pos-1,pos);}
 }
 
-void StatementExpression() :
-/*
- * The last expansion of this production accepts more than the legal
- * Java expansions for StatementExpression.  This expansion does not
- * use PostfixExpression for performance reasons.
- */
-{}
+Expression StatementExpression() :
 {
-  PreIncrementExpression()
-|
-  PreDecrementExpression()
+  final Expression expr,expr2;
+  final int operator;
+}
+{
+  expr = PreIncDecExpression() {return expr;}
 |
-  PrimaryExpression()
-  [
-   <INCR>
-  |
-    <DECR>
-  |
-    AssignmentOperator() Expression()
+  expr = PrimaryExpression()
+  [ <PLUS_PLUS> {return new PostfixedUnaryExpression(expr,
+                                                OperatorIds.PLUS_PLUS,
+                                                SimpleCharStream.getPosition());}
+  | <MINUS_MINUS> {return new PostfixedUnaryExpression(expr,
+                                                OperatorIds.MINUS_MINUS,
+                                                SimpleCharStream.getPosition());}
+  | operator = AssignmentOperator() expr2 = Expression()
+    {return new BinaryExpression(expr,expr2,operator);}
   ]
+  {return expr;}
 }
 
-void SwitchStatement() :
-{}
+SwitchStatement SwitchStatement() :
 {
-  <SWITCH> <LPAREN> Expression() <RPAREN> <LBRACE>
-    ( SwitchLabel() ( BlockStatement() )* )*
-  <RBRACE>
+  final Expression variable;
+  final AbstractCase[] cases;
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <SWITCH>
+  try {
+    <LPAREN>
+  } catch (ParseException e) {
+    errorMessage = "'(' expected after 'switch'";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    variable = Expression()
+  } catch (ParseException e) {
+    if (errorMessage != null) {
+      throw e;
+    }
+    errorMessage = "expression expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    <RPAREN>
+  } catch (ParseException e) {
+    errorMessage = "')' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  (cases = switchStatementBrace() | cases = switchStatementColon(pos, pos + 6))
+  {return new SwitchStatement(variable,cases,pos,SimpleCharStream.getPosition());}
 }
 
-void SwitchLabel() :
-{}
+AbstractCase[] switchStatementBrace() :
 {
-  <CASE> Expression() <COLON>
-|
-  <_DEFAULT> <COLON>
+  AbstractCase cas;
+  final ArrayList cases = new ArrayList();
+}
+{
+  <LBRACE>
+ ( cas = switchLabel0() {cases.add(cas);})*
+  try {
+    <RBRACE>
+    {
+    final AbstractCase[] abcase = new AbstractCase[cases.size()];
+    cases.toArray(abcase);
+    return abcase;}
+  } catch (ParseException e) {
+    errorMessage = "'}' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+}
+/**
+ * A Switch statement with : ... endswitch;
+ * @param start the begin offset of the switch
+ * @param end the end offset of the switch
+ */
+AbstractCase[] switchStatementColon(final int start, final int end) :
+{
+  AbstractCase cas;
+  final ArrayList cases = new ArrayList();
+}
+{
+  <COLON>
+  {try {
+  setMarker(fileToParse,
+            "Ugly syntax detected, you should switch () {...} instead of switch (): ... enswitch;",
+            start,
+            end,
+            INFO,
+            "Line " + token.beginLine);
+  } catch (CoreException e) {
+    PHPeclipsePlugin.log(e);
+  }}
+  ( cas = switchLabel0() {cases.add(cas);})*
+  try {
+    <ENDSWITCH>
+  } catch (ParseException e) {
+    errorMessage = "'endswitch' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    <SEMICOLON>
+    {
+    final AbstractCase[] abcase = new AbstractCase[cases.size()];
+    cases.toArray(abcase);
+    return abcase;}
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'endswitch' keyword";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+}
+
+AbstractCase switchLabel0() :
+{
+  final Expression expr;
+  Statement statement;
+  final ArrayList stmts = new ArrayList();
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  expr = SwitchLabel()
+  ( statement = BlockStatementNoBreak() {stmts.add(statement);}
+  | statement = htmlBlock()             {stmts.add(statement);})*
+  [ statement = BreakStatement()        {stmts.add(statement);}]
+  {
+  final Statement[] stmtsArray = new Statement[stmts.size()];
+  stmts.toArray(stmtsArray);
+  if (expr == null) {//it's a default
+    return new DefaultCase(stmtsArray,pos,SimpleCharStream.getPosition());
+  }
+  return new Case(expr,stmtsArray,pos,SimpleCharStream.getPosition());}
 }
 
-void IfStatement() :
-/*
- * The disambiguating algorithm of JavaCC automatically binds dangling
- * else's to the innermost if statement.  The LOOKAHEAD specification
- * is to tell JavaCC that we know what we are doing.
+/**
+ * A SwitchLabel.
+ * case Expression() :
+ * default :
+ * @return the if it was a case and null if not
  */
-{}
+Expression SwitchLabel() :
 {
-  <IF> Condition("if") Statement() ( LOOKAHEAD(1) ElseIfStatement() )* [ LOOKAHEAD(1) <ELSE> Statement() ]
+  final Expression expr;
+}
+{
+  token = <CASE>
+  try {
+    expr = Expression()
+  } catch (ParseException e) {
+    if (errorMessage != null) throw e;
+    errorMessage = "expression expected after 'case' keyword";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    <COLON>
+    {return expr;}
+  } catch (ParseException e) {
+    errorMessage = "':' expected after case expression";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+|
+  token = <_DEFAULT>
+  try {
+    <COLON>
+    {return null;}
+  } catch (ParseException e) {
+    errorMessage = "':' expected after 'default' keyword";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
 }
 
-void Condition(String keyword) :
-{}
+Break BreakStatement() :
+{
+  Expression expression = null;
+  final int start = SimpleCharStream.getPosition();
+}
+{
+  <BREAK> [ expression = Expression() ]
+  try {
+    <SEMICOLON>
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'break' keyword";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  {return new Break(expression, start, SimpleCharStream.getPosition());}
+}
+
+IfStatement IfStatement() :
+{
+  final int pos = SimpleCharStream.getPosition();
+  final Expression condition;
+  final IfStatement ifStatement;
+}
+{
+  <IF> condition = Condition("if") ifStatement = IfStatement0(condition, pos,pos+2)
+  {return ifStatement;}
+}
+
+
+Expression Condition(final String keyword) :
+{
+  final Expression condition;
+}
 {
   try {
     <LPAREN>
   } catch (ParseException e) {
     errorMessage = "'(' expected after " + keyword + " keyword";
     errorLevel   = ERROR;
-    throw e;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length();
+    errorEnd   = errorStart +1;
+    processParseException(e);
   }
-  Expression()
+  condition = Expression()
   try {
      <RPAREN>
   } catch (ParseException e) {
     errorMessage = "')' expected after " + keyword + " keyword";
     errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    processParseException(e);
+  }
+  {return condition;}
+}
+
+IfStatement IfStatement0(final Expression condition, final int start,final int end) :
+{
+  Statement statement;
+  final Statement stmt;
+  final Statement[] statementsArray;
+  ElseIf elseifStatement;
+  Else elseStatement = null;
+  final ArrayList stmts;
+  final ArrayList elseIfList = new ArrayList();
+  final ElseIf[] elseIfs;
+  int pos = SimpleCharStream.getPosition();
+  final int endStatements;
+}
+{
+  <COLON>
+  {stmts = new ArrayList();}
+  (  statement = Statement() {stmts.add(statement);}
+   | statement = htmlBlock() {stmts.add(statement);})*
+   {endStatements = SimpleCharStream.getPosition();}
+   (elseifStatement = ElseIfStatementColon() {elseIfList.add(elseifStatement);})*
+   [elseStatement = ElseStatementColon()]
+
+  {try {
+  setMarker(fileToParse,
+            "Ugly syntax detected, you should if () {...} instead of if (): ... endif;",
+            start,
+            end,
+            INFO,
+            "Line " + token.beginLine);
+  } catch (CoreException e) {
+    PHPeclipsePlugin.log(e);
+  }}
+  try {
+    <ENDIF>
+  } catch (ParseException e) {
+    errorMessage = "'endif' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
     throw e;
   }
+  try {
+    <SEMICOLON>
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'endif' keyword";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+    {
+    elseIfs = new ElseIf[elseIfList.size()];
+    elseIfList.toArray(elseIfs);
+    if (stmts.size() == 1) {
+      return new IfStatement(condition,
+                             (Statement) stmts.get(0),
+                              elseIfs,
+                              elseStatement,
+                              pos,
+                              SimpleCharStream.getPosition());
+    } else {
+      statementsArray = new Statement[stmts.size()];
+      stmts.toArray(statementsArray);
+      return new IfStatement(condition,
+                             new Block(statementsArray,pos,endStatements),
+                             elseIfs,
+                             elseStatement,
+                             pos,
+                             SimpleCharStream.getPosition());
+    }
+    }
+
+|
+  (stmt = Statement() | stmt = htmlBlock())
+  ( LOOKAHEAD(1) elseifStatement = ElseIfStatement() {elseIfList.add(elseifStatement);})*
+  [ LOOKAHEAD(1)
+    <ELSE>
+    try {
+      {pos = SimpleCharStream.getPosition();}
+      statement = Statement()
+      {elseStatement = new Else(statement,pos,SimpleCharStream.getPosition());}
+    } catch (ParseException e) {
+      if (errorMessage != null) {
+        throw e;
+      }
+      errorMessage = "unexpected token '"+e.currentToken.next.image+"', a statement was expected";
+      errorLevel   = ERROR;
+      errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+      errorEnd   = SimpleCharStream.getPosition() + 1;
+      throw e;
+    }
+  ]
+  {
+    elseIfs = new ElseIf[elseIfList.size()];
+    elseIfList.toArray(elseIfs);
+    return new IfStatement(condition,
+                           stmt,
+                           elseIfs,
+                           elseStatement,
+                           pos,
+                           SimpleCharStream.getPosition());}
 }
 
-void ElseIfStatement() :
-{}
+ElseIf ElseIfStatementColon() :
 {
-  <ELSEIF> Condition("elseif") Statement()
+  final Expression condition;
+  Statement statement;
+  final ArrayList list = new ArrayList();
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <ELSEIF> condition = Condition("elseif")
+  <COLON> (  statement = Statement() {list.add(statement);}
+           | statement = htmlBlock() {list.add(statement);})*
+  {
+  final Statement[] stmtsArray = new Statement[list.size()];
+  list.toArray(stmtsArray);
+  return new ElseIf(condition,stmtsArray ,pos,SimpleCharStream.getPosition());}
 }
 
-void WhileStatement() :
-{}
+Else ElseStatementColon() :
 {
-  <WHILE> Condition("while") WhileStatement0()
+  Statement statement;
+  final ArrayList list = new ArrayList();
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <ELSE> <COLON> (  statement = Statement() {list.add(statement);}
+                  | statement = htmlBlock() {list.add(statement);})*
+  {
+  final Statement[] stmtsArray = new Statement[list.size()];
+  list.toArray(stmtsArray);
+  return new Else(stmtsArray,pos,SimpleCharStream.getPosition());}
 }
 
-void WhileStatement0() :
-{}
+ElseIf ElseIfStatement() :
 {
-  <COLON> (Statement())* <ENDWHILE> (<SEMICOLON> | "?>")
+  final Expression condition;
+  final Statement statement;
+  final ArrayList list = new ArrayList();
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <ELSEIF> condition = Condition("elseif") statement = Statement() {list.add(statement);/*todo:do better*/}
+  {
+  final Statement[] stmtsArray = new Statement[list.size()];
+  list.toArray(stmtsArray);
+  return new ElseIf(condition,stmtsArray,pos,SimpleCharStream.getPosition());}
+}
+
+WhileStatement WhileStatement() :
+{
+  final Expression condition;
+  final Statement action;
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <WHILE>
+    condition = Condition("while")
+    action    = WhileStatement0(pos,pos + 5)
+    {return new WhileStatement(condition,action,pos,SimpleCharStream.getPosition());}
+}
+
+Statement WhileStatement0(final int start, final int end) :
+{
+  Statement statement;
+  final ArrayList stmts = new ArrayList();
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <COLON> (statement = Statement() {stmts.add(statement);})*
+  {try {
+  setMarker(fileToParse,
+            "Ugly syntax detected, you should while () {...} instead of while (): ... endwhile;",
+            start,
+            end,
+            INFO,
+            "Line " + token.beginLine);
+  } catch (CoreException e) {
+    PHPeclipsePlugin.log(e);
+  }}
+  try {
+    <ENDWHILE>
+  } catch (ParseException e) {
+    errorMessage = "'endwhile' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    <SEMICOLON>
+    {
+    final Statement[] stmtsArray = new Statement[stmts.size()];
+    stmts.toArray(stmtsArray);
+    return new Block(stmtsArray,pos,SimpleCharStream.getPosition());}
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'endwhile' keyword";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
 |
-  Statement()
+  statement = Statement()
+  {return statement;}
 }
 
-void DoStatement() :
-{}
+DoStatement DoStatement() :
 {
-  <DO> Statement() <WHILE> Condition("while") (<SEMICOLON> | "?>")
+  final Statement action;
+  final Expression condition;
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <DO> action = Statement() <WHILE> condition = Condition("while")
+  try {
+    <SEMICOLON>
+    {return new DoStatement(condition,action,pos,SimpleCharStream.getPosition());}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
 }
 
-void ForStatement() :
-{}
+ForeachStatement ForeachStatement() :
+{
+  Statement statement;
+  Expression expression;
+  final int pos = SimpleCharStream.getPosition();
+  ArrayVariableDeclaration variable;
+}
+{
+  <FOREACH>
+    try {
+    <LPAREN>
+  } catch (ParseException e) {
+    errorMessage = "'(' expected after 'foreach' keyword";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    expression = Expression()
+  } catch (ParseException e) {
+    errorMessage = "variable expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    <AS>
+  } catch (ParseException e) {
+    errorMessage = "'as' expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    variable = ArrayVariable()
+  } catch (ParseException e) {
+    errorMessage = "variable expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    <RPAREN>
+  } catch (ParseException e) {
+    errorMessage = "')' expected after 'foreach' keyword";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    statement = Statement()
+  } catch (ParseException e) {
+    if (errorMessage != null) throw e;
+    errorMessage = "statement expected";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+  {return new ForeachStatement(expression,
+                               variable,
+                               statement,
+                               pos,
+                               SimpleCharStream.getPosition());}
+
+}
+
+ForStatement ForStatement() :
+{
+final Token token;
+final int pos = SimpleCharStream.getPosition();
+Expression[] initializations = null;
+Expression condition = null;
+Expression[] increments = null;
+Statement action;
+final ArrayList list = new ArrayList();
+final int startBlock, endBlock;
+}
 {
-  <FOR> <LPAREN> [ ForInit() ] <SEMICOLON> [ Expression() ] <SEMICOLON> [ ForUpdate() ] <RPAREN> Statement()
+  token = <FOR>
+  try {
+    <LPAREN>
+  } catch (ParseException e) {
+    errorMessage = "'(' expected after 'for' keyword";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
+     [ initializations = ForInit() ] <SEMICOLON>
+     [ condition = Expression() ] <SEMICOLON>
+     [ increments = StatementExpressionList() ] <RPAREN>
+    (
+      action = Statement()
+      {return new ForStatement(initializations,condition,increments,action,pos,SimpleCharStream.getPosition());}
+    |
+      <COLON>
+      {startBlock = SimpleCharStream.getPosition();}
+      (action = Statement() {list.add(action);})*
+      {
+        try {
+        setMarker(fileToParse,
+                  "Ugly syntax detected, you should for () {...} instead of for (): ... endfor;",
+                  pos,
+                  pos+token.image.length(),
+                  INFO,
+                  "Line " + token.beginLine);
+        } catch (CoreException e) {
+          PHPeclipsePlugin.log(e);
+        }
+      }
+      {endBlock = SimpleCharStream.getPosition();}
+      try {
+        <ENDFOR>
+      } catch (ParseException e) {
+        errorMessage = "'endfor' expected";
+        errorLevel   = ERROR;
+        errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+        errorEnd   = SimpleCharStream.getPosition() + 1;
+        throw e;
+      }
+      try {
+        <SEMICOLON>
+        {
+        final Statement[] stmtsArray = new Statement[list.size()];
+        list.toArray(stmtsArray);
+        return new ForStatement(initializations,condition,increments,new Block(stmtsArray,startBlock,endBlock),pos,SimpleCharStream.getPosition());}
+      } catch (ParseException e) {
+        errorMessage = "';' expected after 'endfor' keyword";
+        errorLevel   = ERROR;
+        errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+        errorEnd   = SimpleCharStream.getPosition() + 1;
+        throw e;
+      }
+    )
 }
 
-void ForInit() :
-{}
+Expression[] ForInit() :
+{
+  final Expression[] exprs;
+}
 {
   LOOKAHEAD(LocalVariableDeclaration())
-  LocalVariableDeclaration()
+  exprs = LocalVariableDeclaration()
+  {return exprs;}
 |
-  StatementExpressionList()
+  exprs = StatementExpressionList()
+  {return exprs;}
 }
 
-void StatementExpressionList() :
-{}
+Expression[] StatementExpressionList() :
 {
-  StatementExpression() ( <COMMA> StatementExpression() )*
+  final ArrayList list = new ArrayList();
+  final Expression expr;
 }
-
-void ForUpdate() :
-{}
 {
-  StatementExpressionList()
+  expr = StatementExpression()   {list.add(expr);}
+  (<COMMA> StatementExpression() {list.add(expr);})*
+  {
+  final Expression[] exprsArray = new Expression[list.size()];
+  list.toArray(exprsArray);
+  return exprsArray;}
 }
 
-void BreakStatement() :
-{}
+Continue ContinueStatement() :
 {
-  <BREAK> [ <IDENTIFIER> ] <SEMICOLON>
+  Expression expr = null;
+  final int pos = SimpleCharStream.getPosition();
 }
-
-void ContinueStatement() :
-{}
 {
-  <CONTINUE> [ <IDENTIFIER> ] <SEMICOLON>
+  <CONTINUE> [ expr = Expression() ]
+  try {
+    <SEMICOLON>
+    {return new Continue(expr,pos,SimpleCharStream.getPosition());}
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'continue' statement";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
 }
 
-void ReturnStatement() :
-{}
+ReturnStatement ReturnStatement() :
+{
+  Expression expr = null;
+  final int pos = SimpleCharStream.getPosition();
+}
 {
-  <RETURN> [ Expression() ] <SEMICOLON>
+  <RETURN> [ expr = Expression() ]
+  try {
+    <SEMICOLON>
+    {return new ReturnStatement(expr,pos,SimpleCharStream.getPosition());}
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'return' statement";
+    errorLevel   = ERROR;
+    errorStart = SimpleCharStream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = SimpleCharStream.getPosition() + 1;
+    throw e;
+  }
 }
\ No newline at end of file