Some minor changes
[phpeclipse.git] / net.sourceforge.phpeclipse / src / test / PHPParser.jj
index a6bce7c..9d2846a 100644 (file)
@@ -1,3 +1,4 @@
+
 options {
   LOOKAHEAD = 1;
   CHOICE_AMBIGUITY_CHECK = 2;
@@ -17,6 +18,7 @@ options {
   BUILD_TOKEN_MANAGER = true;
   SANITY_CHECK = true;
   FORCE_LA_CHECK = false;
+  COMMON_TOKEN_ACTION = true;
 }
 
 PARSER_BEGIN(PHPParser)
@@ -29,156 +31,234 @@ 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;
+import net.sourceforge.phpdt.internal.corext.Assert;
 
 /**
  * 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
  */
-public class PHPParser extends PHPParserSuperclass {
+public final class PHPParser extends PHPParserSuperclass {
+
+//todo : fix the variables names bug
+//todo : handle tilde operator
 
-  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 String SYNTAX_ERROR_CHAR = "syntax error";
+  /**
+   * 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 static final boolean PARSER_DEBUG = false;
+
+  public final void setFileToParse(final IFile fileToParse) {
+    PHPParser.fileToParse = fileToParse;
   }
 
-  public void setFileToParse(IFile fileToParse) {
-    this.fileToParse = fileToParse;
+  public PHPParser() {
   }
 
-  public PHPParser(IFile fileToParse) {
+  public PHPParser(final IFile fileToParse) {
     this(new StringReader(""));
-    this.fileToParse = fileToParse;
+    PHPParser.fileToParse = fileToParse;
   }
 
-  public void phpParserTester(String strEval) throws CoreException, ParseException {
-    PHPParserTokenManager.SwitchTo(PHPParserTokenManager.PHPPARSING);
-    StringReader stream = new StringReader(strEval);
+  public static final void phpParserTester(final String strEval) throws ParseException {
+    final StringReader stream = new StringReader(strEval);
     if (jj_input_stream == null) {
       jj_input_stream = new SimpleCharStream(stream, 1, 1);
     }
     ReInit(new StringReader(strEval));
+    init();
+    phpDocument = new PHPDocument(null,"_root".toCharArray());
+    currentSegment = phpDocument;
+    outlineInfo = new PHPOutlineInfo(null, currentSegment);
+    PHPParserTokenManager.SwitchTo(PHPParserTokenManager.PHPPARSING);
     phpTest();
   }
 
-  public void htmlParserTester(String strEval) throws CoreException, ParseException {
-    StringReader stream = new StringReader(strEval);
+  public static final void htmlParserTester(final File fileName) throws FileNotFoundException, ParseException {
+    final Reader stream = new FileReader(fileName);
     if (jj_input_stream == null) {
       jj_input_stream = new SimpleCharStream(stream, 1, 1);
     }
     ReInit(stream);
+    init();
+    phpDocument = new PHPDocument(null,"_root".toCharArray());
+    currentSegment = phpDocument;
+    outlineInfo = new PHPOutlineInfo(null, currentSegment);
     phpFile();
   }
 
-  public PHPOutlineInfo parseInfo(Object parent, String s) {
-    outlineInfo = new PHPOutlineInfo(parent);
-    currentSegment = outlineInfo.getDeclarations();
-    StringReader stream = new StringReader(s);
+  public static final void htmlParserTester(final String strEval) throws ParseException {
+    final StringReader stream = new StringReader(strEval);
     if (jj_input_stream == null) {
       jj_input_stream = new SimpleCharStream(stream, 1, 1);
     }
     ReInit(stream);
-    try {
-      parse();
-    } catch (ParseException e) {
-      if (errorMessage == null) {
-        PHPeclipsePlugin.log(e);
-      } else {
-        setMarker(errorMessage, e.currentToken.beginLine, errorLevel);
-        errorMessage = null;
-      }
-    }
-    return outlineInfo;
+    init();
+    phpDocument = new PHPDocument(null,"_root".toCharArray());
+    currentSegment = phpDocument;
+    outlineInfo = new PHPOutlineInfo(null, currentSegment);
+    phpFile();
   }
 
+  /**
+   * Reinitialize the parser.
+   */
+  private static final void init() {
+    nodes = new AstNode[AstStackIncrement];
+    nodePtr = -1;
+    htmlStart = 0;
+  }
 
   /**
-   * Create marker for the parse error
+   * Add an php node on the stack.
+   * @param node the node that will be added to the stack
    */
-  private static void setMarker(String message, int lineNumber, int errorLevel) {
+  private static final void pushOnAstNodes(final AstNode node) {
     try {
-      setMarker(fileToParse, message, lineNumber, errorLevel);
-    } catch (CoreException e) {
-      PHPeclipsePlugin.log(e);
+      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;
     }
   }
 
-  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;
+  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();
+      phpDocument.nodes = new AstNode[nodes.length];
+      System.arraycopy(nodes,0,phpDocument.nodes,0,nodes.length);
+      if (PHPeclipsePlugin.DEBUG) {
+        PHPeclipsePlugin.log(1,phpDocument.toString());
       }
-      MarkerUtilities.setLineNumber(attributes, lineNumber);
-      MarkerUtilities.createMarker(file, attributes, IMarker.PROBLEM);
+    } catch (ParseException e) {
+      processParseException(e);
     }
+    return outlineInfo;
   }
 
   /**
-   * Create markers according to the external parser output
+   * This function will throw the exception if we are in debug mode
+   * and process it if we are in production mode.
+   * this should be fast since the PARSER_DEBUG is static final so the difference will be at compile time
+   * @param e the exception
+   * @throws ParseException the thrown exception
+   */
+  private static void processParseExceptionDebug(final ParseException e) throws ParseException {
+    if (PARSER_DEBUG) {
+      throw e;
+    }
+    processParseException(e);
+  }
+  /**
+   * 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 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;
+  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 = e.currentToken.sourceStart;
+      errorEnd   = e.currentToken.sourceEnd;
     }
-    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;
+    setMarker(e);
+    errorMessage = null;
+  //  if (PHPeclipsePlugin.DEBUG) PHPeclipsePlugin.log(e);
+  }
+
+  /**
+   * Create marker for the parse error.
+   * @param e the ParseException
+   */
+  private static void setMarker(final ParseException e) {
+    try {
+      if (errorStart == -1) {
+        setMarker(fileToParse,
+                  errorMessage,
+                  e.currentToken.sourceStart,
+                  e.currentToken.sourceEnd,
+                  errorLevel,
+                  "Line " + e.currentToken.beginLine+", "+e.currentToken.sourceStart+':'+e.currentToken.sourceEnd);
+      } else {
+        setMarker(fileToParse,
+                  errorMessage,
+                  errorStart,
+                  errorEnd,
+                  errorLevel,
+                  "Line " + e.currentToken.beginLine+", "+errorStart+':'+errorEnd);
+        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);
+    final StringBuffer lineNumberBuffer = new StringBuffer(10);
     char ch;
     current = output.substring(indx, brIndx);
 
     if (current.indexOf(PARSE_WARNING_STRING) != -1 || current.indexOf(PARSE_ERROR_STRING) != -1) {
-      int onLine = current.indexOf("on line <b>");
+      final int onLine = current.indexOf("on line <b>");
       if (onLine != -1) {
         lineNumberBuffer.delete(0, lineNumberBuffer.length());
         for (int i = onLine; i < current.length(); i++) {
@@ -188,9 +268,9 @@ public class PHPParser extends PHPParserSuperclass {
           }
         }
 
-        int lineNumber = Integer.parseInt(lineNumberBuffer.toString());
+        final int lineNumber = Integer.parseInt(lineNumberBuffer.toString());
 
-        Hashtable attributes = new Hashtable();
+        final Hashtable attributes = new Hashtable();
 
         current = current.replaceAll("\n", "");
         current = current.replaceAll("<b>", "");
@@ -209,17 +289,17 @@ public class PHPParser extends PHPParserSuperclass {
     }
   }
 
-  public void parse(String s) throws CoreException {
-    ReInit(new StringReader(s));
+  public final void parse(final String s) {
+    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 +307,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,23 +325,70 @@ 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 = token.sourceStart;
+    if (currentPosition == htmlStart ||
+          currentPosition < htmlStart ||
+          currentPosition > SimpleCharStream.currentBuffer.length()) {
+      return;
+    }
+    final String html = SimpleCharStream.currentBuffer.substring(htmlStart, currentPosition);
+    pushOnAstNodes(new HTMLCode(html, htmlStart,currentPosition));
+  }
+
+  /** Create a new task. */
+  public static final void createNewTask(final int todoStart) {
+    final String  todo = SimpleCharStream.currentBuffer.substring(todoStart,
+                                                                  SimpleCharStream.currentBuffer.indexOf("\n",
+                                                                                                         todoStart)-1);
+    if (!PARSER_DEBUG) {
+      try {
+        setMarker(fileToParse,
+                  todo,
+                  SimpleCharStream.getBeginLine(),
+                  TASK,
+                  "Line "+SimpleCharStream.getBeginLine());
+      } catch (CoreException e) {
+        PHPeclipsePlugin.log(e);
+      }
+    }
+  }
+
+  private static final void parse() throws ParseException {
          phpFile();
   }
 }
 
 PARSER_END(PHPParser)
 
+TOKEN_MGR_DECLS:
+{
+  // CommonTokenAction: use the begins/ends fields added to the Jack
+  // CharStream class to set corresponding fields in each Token (which was
+  // also extended with new fields). By default Jack doesn't supply absolute
+  // offsets, just line/column offsets
+  static void CommonTokenAction(Token t) {
+    t.sourceStart = input_stream.beginOffset;
+    t.sourceEnd = input_stream.endOffset;
+  } // CommonTokenAction
+} // TOKEN_MGR_DECLS
+
 <DEFAULT> TOKEN :
 {
-  <PHPSTART : "<?php" | "<?"> : PHPPARSING
+  <PHPSTARTSHORT : "<?">    : PHPPARSING
+| <PHPSTARTLONG  : "<?php"> : PHPPARSING
+| <PHPECHOSTART  : "<?=">   : PHPPARSING
 }
 
-<PHPPARSING> TOKEN :
+<PHPPARSING, IN_SINGLE_LINE_COMMENT,IN_VARIABLE> TOKEN :
 {
   <PHPEND :"?>"> : DEFAULT
 }
 
+/* Skip any character if we are not in php mode */
 <DEFAULT> SKIP :
 {
  < ~[] >
@@ -269,7 +396,6 @@ PARSER_END(PHPParser)
 
 
 /* WHITE SPACE */
-
 <PHPPARSING> SKIP :
 {
   " "
@@ -279,33 +405,47 @@ PARSER_END(PHPParser)
 | "\f"
 }
 
+<IN_VARIABLE> SPECIAL_TOKEN :
+{
+  " " : PHPPARSING
+| "\t" : PHPPARSING
+| "\n" : PHPPARSING
+| "\r" : PHPPARSING
+| "\f" : PHPPARSING
+}
 /* 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
+| < ~[] >
 }
 
-<IN_FORMAL_COMMENT>
-SPECIAL_TOKEN :
+<IN_SINGLE_LINE_COMMENT,IN_FORMAL_COMMENT,IN_MULTI_LINE_COMMENT> SPECIAL_TOKEN :
 {
-  <FORMAL_COMMENT: "*/" > : PHPPARSING
+ "todo"
 }
 
-<IN_MULTI_LINE_COMMENT>
-SPECIAL_TOKEN :
+void todo() :
+{Token todoToken;}
+{
+  todoToken = "TODO" {createNewTask(todoToken.sourceStart);}
+}
+<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 +464,205 @@ 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">
+}
+
+<PHPPARSING,IN_VARIABLE> TOKEN :
+{
+  <CLASSACCESS        : "->"> : PHPPARSING
+| <STATICCLASSACCESS  : "::"> : PHPPARSING
+| <ARRAYASSIGN        : "=>"> : PHPPARSING
 }
 
 /* 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">
 }
 
-<PHPPARSING> TOKEN :
+//Misc token
+<PHPPARSING,IN_VARIABLE> TOKEN :
 {
-  < _ORL : "OR" >
-| < _ANDL: "AND">
+  <AT                 : "@"> : PHPPARSING
+| <BANG               : "!"> : PHPPARSING
+| <TILDE              : "~"> : PHPPARSING
+| <HOOK               : "?"> : PHPPARSING
+| <COLON              : ":"> : PHPPARSING
 }
 
-/* LITERALS */
+/* OPERATORS */
+<PHPPARSING,IN_VARIABLE> TOKEN :
+{
+  <OR_OR              : "||"> : PHPPARSING
+| <AND_AND            : "&&"> : PHPPARSING
+| <PLUS_PLUS          : "++"> : PHPPARSING
+| <MINUS_MINUS        : "--"> : PHPPARSING
+| <PLUS               : "+"> : PHPPARSING
+| <MINUS              : "-"> : PHPPARSING
+| <STAR               : "*"> : PHPPARSING
+| <SLASH              : "/"> : PHPPARSING
+| <BIT_AND            : "&"> : PHPPARSING
+| <BIT_OR             : "|"> : PHPPARSING
+| <XOR                : "^"> : PHPPARSING
+| <REMAINDER          : "%">  : PHPPARSING
+| <LSHIFT             : "<<"> : PHPPARSING
+| <RSIGNEDSHIFT       : ">>"> : PHPPARSING
+| <RUNSIGNEDSHIFT     : ">>>"> : PHPPARSING
+| <_ORL               : "OR"> : PHPPARSING
+| <_ANDL              : "AND"> : PHPPARSING
+}
 
+/* 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_LITERAL: (<STRING_2> | <STRING_3>)>
+//|   <STRING_1: "\"" ( ~["\"","\\"] | "\\" ~[] )* "\"">
+|   <STRING_2: "'"  ( ~["'","\\"]  | "\\" ~[] )* "'">
+|   <STRING_3: "`"  ( ~["`","\\"]  | "\\" ~[] )* "`">
+}
+
+<IN_STRING,DOLLAR_IN_STRING> SKIP :
+{
+  <ESCAPED : ("\\" ~[])> : IN_STRING
+}
+
+<PHPPARSING> TOKEN :
+{
+  <DOUBLEQUOTE : "\""> : IN_STRING
+}
+
+
+<IN_STRING> TOKEN :
+{
+  <DOLLARS : "$"> : DOLLAR_IN_STRING
+}
+
+<IN_STRING,DOLLAR_IN_STRING> TOKEN :
+{
+  <DOUBLEQUOTE2 : "\""> : PHPPARSING
+}
+
+<DOLLAR_IN_STRING> TOKEN :
+{
+  <LBRACE1 : "{"> : DOLLAR_IN_STRING_EXPR
+}
+
+<IN_STRING> SPECIAL_TOKEN :
+{
+    <"{"> : SKIPSTRING
+}
+
+<SKIPSTRING> SPECIAL_TOKEN :
+{
+    <"}"> : IN_STRING
+}
+
+<SKIPSTRING> SKIP :
+{
+    <~[]>
+}
+
+<DOLLAR_IN_STRING_EXPR> TOKEN :
+{
+  <RBRACE1 : "}"> : DOLLAR_IN_STRING
+}
+
+<DOLLAR_IN_STRING_EXPR> TOKEN :
+{
+  <ID : (~["}"])*>
+}
 
-      "'"
-    >
-|   < STRING_3:
-      "`"
-      (   (~["`"]))*
-      "`"
-    >
+<IN_STRING> SKIP :
+{
+  <~[]>
 }
 
+<DOLLAR_IN_STRING_EXPR,IN_STRING> SKIP :
+{
+  <~[]>
+}
 /* IDENTIFIERS */
 
-<PHPPARSING> TOKEN :
+
+<PHPPARSING,IN_VARIABLE> TOKEN : {<DOLLAR : "$"> : IN_VARIABLE}
+
+
+<PHPPARSING, IN_VARIABLE, DOLLAR_IN_STRING> TOKEN :
 {
-  < IDENTIFIER: (<LETTER>|<SPECIAL>) (<LETTER>|<DIGIT>|<SPECIAL>)* >
+  <IDENTIFIER: (<LETTER>|<SPECIAL>) (<LETTER>|<DIGIT>|<SPECIAL>)* >
 |
   < #LETTER:
       ["a"-"z"] | ["A"-"Z"]
@@ -449,83 +673,62 @@ MORE :
   >
 |
   < #SPECIAL:
-    "_"
+    "_" | ["\u007f"-"\u00ff"]
   >
 }
 
+<DOLLAR_IN_STRING> SPECIAL_TOKEN :
+{
+ < ~[] > : IN_STRING
+}
 /* SEPARATORS */
 
-<PHPPARSING> TOKEN :
+<PHPPARSING,IN_VARIABLE> TOKEN :
 {
-  < LPAREN: "(" >
-| < RPAREN: ")" >
-| < LBRACE: "{" >
-| < RBRACE: "}" >
-| < LBRACKET: "[" >
-| < RBRACKET: "]" >
-| < SEMICOLON: ";" >
-| < COMMA: "," >
-| < DOT: "." >
+  <LPAREN    : "("> : PHPPARSING
+| <RPAREN    : ")"> : PHPPARSING
+| <LBRACE    : "{"> : PHPPARSING
+| <RBRACE    : "}"> : PHPPARSING
+| <LBRACKET  : "["> : PHPPARSING
+| <RBRACKET  : "]"> : PHPPARSING
+| <SEMICOLON : ";"> : PHPPARSING
+| <COMMA     : ","> : PHPPARSING
+| <DOT       : "."> : PHPPARSING
 }
 
-/* OPERATORS */
 
-<PHPPARSING> TOKEN :
+/* COMPARATOR */
+<PHPPARSING,IN_VARIABLE> 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                 : ">"> : PHPPARSING
+| <LT                 : "<"> : PHPPARSING
+| <EQUAL_EQUAL        : "=="> : PHPPARSING
+| <LE                 : "<="> : PHPPARSING
+| <GE                 : ">="> : PHPPARSING
+| <NOT_EQUAL          : "!="> : PHPPARSING
+| <DIF                : "<>"> : PHPPARSING
+| <BANGDOUBLEEQUAL    : "!=="> : PHPPARSING
+| <TRIPLEEQUAL        : "==="> : PHPPARSING
 }
 
-<PHPPARSING> TOKEN :
+/* ASSIGNATION */
+<PHPPARSING,IN_VARIABLE> TOKEN :
 {
-  < DOLLAR_ID: <DOLLAR> <IDENTIFIER>  >
+  <ASSIGN             : "="> : PHPPARSING
+| <PLUSASSIGN         : "+="> : PHPPARSING
+| <MINUSASSIGN        : "-="> : PHPPARSING
+| <STARASSIGN         : "*="> : PHPPARSING
+| <SLASHASSIGN        : "/="> : PHPPARSING
+| <ANDASSIGN          : "&="> : PHPPARSING
+| <ORASSIGN           : "|="> : PHPPARSING
+| <XORASSIGN          : "^="> : PHPPARSING
+| <DOTASSIGN          : ".="> : PHPPARSING
+| <REMASSIGN          : "%="> : PHPPARSING
+| <TILDEEQUAL         : "~="> : PHPPARSING
+| <LSHIFTASSIGN       : "<<="> : PHPPARSING
+| <RSIGNEDSHIFTASSIGN : ">>="> : PHPPARSING
 }
 
-/*****************************************
- * THE JAVA LANGUAGE GRAMMAR STARTS HERE *
- *****************************************/
-
-/*
- * Program structuring syntax follows.
- */
-
 void phpTest() :
 {}
 {
@@ -536,8 +739,75 @@ void phpTest() :
 void phpFile() :
 {}
 {
-  (<PHPSTART> Php() <PHPEND>)*
-  <EOF>
+  try {
+    (PhpBlock())*
+    {PHPParser.createNewHTMLCode();}
+  } catch (TokenMgrError e) {
+    PHPeclipsePlugin.log(e);
+    errorStart   = SimpleCharStream.beginOffset;
+    errorEnd     = SimpleCharStream.endOffset;
+    errorMessage = e.getMessage();
+    errorLevel   = ERROR;
+    throw generateParseException();
+  }
+}
+
+/**
+ * A php block is a <?= expression [;]?>
+ * or <?php somephpcode ?>
+ * or <? somephpcode ?>
+ */
+void PhpBlock() :
+{
+  final PHPEchoBlock phpEchoBlock;
+  final Token token,phpEnd;
+}
+{
+  phpEchoBlock = phpEchoBlock()
+  {pushOnAstNodes(phpEchoBlock);}
+|
+  [   <PHPSTARTLONG>
+    | token = <PHPSTARTSHORT>
+    {try {
+      setMarker(fileToParse,
+                "You should use '<?php' instead of '<?' it will avoid some problems with XML",
+                token.sourceStart,
+                token.sourceEnd,
+                INFO,
+                "Line " + token.beginLine);
+    } catch (CoreException e) {
+      PHPeclipsePlugin.log(e);
+    }}
+  ]
+  {PHPParser.createNewHTMLCode();}
+  Php()
+  try {
+    phpEnd = <PHPEND>
+   {htmlStart = phpEnd.sourceEnd;}
+  } catch (ParseException e) {
+    errorMessage = "'?>' expected";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    processParseExceptionDebug(e);
+  }
+}
+
+PHPEchoBlock phpEchoBlock() :
+{
+  final Expression expr;
+  final PHPEchoBlock echoBlock;
+  final Token token, token2;
+}
+{
+  token = <PHPECHOSTART> {PHPParser.createNewHTMLCode();}
+  expr = Expression() [ <SEMICOLON> ] token2 = <PHPEND>
+  {
+  htmlStart = token2.sourceEnd;
+
+  echoBlock = new PHPEchoBlock(expr,token.sourceStart,token2.sourceEnd);
+  pushOnAstNodes(echoBlock);
+  return echoBlock;}
 }
 
 void Php() :
@@ -546,1094 +816,2621 @@ void Php() :
   (BlockStatement())*
 }
 
-void ClassDeclaration() :
+ClassDeclaration ClassDeclaration() :
 {
-  PHPClassDeclaration classDeclaration;
-  Token className;
-  int pos = jj_input_stream.bufpos;
+  final ClassDeclaration classDeclaration;
+  Token className = null;
+  final Token superclassName, token, extendsToken;
+  String classNameImage = SYNTAX_ERROR_CHAR;
+  String superclassNameImage = null;
+  final int classEnd;
 }
 {
-  <CLASS> className = <IDENTIFIER> [ <EXTENDS> <IDENTIFIER> ]
-  {
-    classDeclaration = new PHPClassDeclaration(currentSegment,className.image,pos);
-    currentSegment.add(classDeclaration);
-    currentSegment = classDeclaration;
+  token = <CLASS>
+  try {
+    className = <IDENTIFIER>
+    {classNameImage = className.image;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', identifier expected";
+    errorLevel   = ERROR;
+    errorStart   = token.sourceEnd+1;
+    errorEnd     = token.sourceEnd+1;
+    processParseExceptionDebug(e);
   }
-  ClassBody()
+  [
+    extendsToken = <EXTENDS>
+    try {
+      superclassName = <IDENTIFIER>
+      {superclassNameImage = superclassName.image;}
+    } catch (ParseException e) {
+      errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', identifier expected";
+      errorLevel   = ERROR;
+      errorStart = extendsToken.sourceEnd+1;
+      errorEnd   = extendsToken.sourceEnd+1;
+      processParseExceptionDebug(e);
+      superclassNameImage = SYNTAX_ERROR_CHAR;
+    }
+  ]
   {
-    currentSegment = (PHPSegmentWithChildren) currentSegment.getParent();
+    int start, end;
+    if (className == null) {
+      start = token.sourceStart;
+      end = token.sourceEnd;
+    } else {
+      start = className.sourceStart;
+      end = className.sourceEnd;
+    }
+    if (superclassNameImage == null) {
+
+      classDeclaration = new ClassDeclaration(currentSegment,
+                                              classNameImage,
+                                              start,
+                                              end);
+    } else {
+      classDeclaration = new ClassDeclaration(currentSegment,
+                                              classNameImage,
+                                              superclassNameImage,
+                                              start,
+                                              end);
+    }
+      currentSegment.add(classDeclaration);
+      currentSegment = classDeclaration;
   }
+  classEnd = ClassBody(classDeclaration)
+  {currentSegment = (OutlineableWithChildren) currentSegment.getParent();
+   classDeclaration.sourceEnd = classEnd;
+   pushOnAstNodes(classDeclaration);
+   return classDeclaration;}
 }
 
-void ClassBody() :
-{}
+int ClassBody(final ClassDeclaration classDeclaration) :
 {
-  <LBRACE> ( ClassBodyDeclaration() )* <RBRACE>
+Token token;
+}
+{
+  try {
+    <LBRACE>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image + "'. '{' expected";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    processParseExceptionDebug(e);
+  }
+  ( ClassBodyDeclaration(classDeclaration) )*
+  try {
+    token = <RBRACE>
+    {return token.sourceEnd;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. 'var', 'function' or '}' expected";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    processParseExceptionDebug(e);
+    return PHPParser.token.sourceEnd;
+  }
 }
 
-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() {method.analyzeCode();
+                                classDeclaration.addMethod(method);}
+| field = FieldDeclaration()   {classDeclaration.addField(field);}
 }
 
-void FieldDeclaration() :
-{}
+/**
+ * A class field declaration : it's var VariableDeclarator() (, VariableDeclarator())*;.
+ * it is only used by ClassBodyDeclaration()
+ */
+FieldDeclaration FieldDeclaration() :
+{
+  VariableDeclaration variableDeclaration;
+  final VariableDeclaration[] list;
+  final ArrayList arrayList = new ArrayList();
+  final Token token;
+  Token token2 = null;
+  int pos;
+}
 {
-  <VAR> VariableDeclarator() ( <COMMA> VariableDeclarator() )* <SEMICOLON>
+  token = <VAR> variableDeclaration = VariableDeclaratorNoSuffix()
+  {
+    arrayList.add(variableDeclaration);
+    pos = variableDeclaration.sourceEnd;
+  }
+  (
+    <COMMA> variableDeclaration = VariableDeclaratorNoSuffix()
+      {
+        arrayList.add(variableDeclaration);
+        outlineInfo.addVariable(variableDeclaration.name());
+        pos = variableDeclaration.sourceEnd;
+      }
+  )*
+  try {
+    token2 = <SEMICOLON>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected after variable declaration";
+    errorLevel   = ERROR;
+    errorStart   = pos+1;
+    errorEnd     = pos+1;
+    processParseExceptionDebug(e);
+  }
+
+  {list = new VariableDeclaration[arrayList.size()];
+   arrayList.toArray(list);
+   int end;
+   if (token2 == null) {
+     end = list[list.length-1].sourceEnd;
+   } else {
+     end = token2.sourceEnd;
+   }
+   return new FieldDeclaration(list,
+                               token.sourceStart,
+                               end,
+                               currentSegment);}
 }
 
-String VariableDeclarator() :
+/**
+ * a strict variable declarator : there cannot be a suffix here.
+ * It will be used by fields and formal parameters
+ */
+VariableDeclaration VariableDeclaratorNoSuffix() :
 {
-  String expr;
-  StringBuffer buff = new StringBuffer();
+  final Token token, lbrace,rbrace;
+  Expression expr, initializer = null;
+  Token assignToken;
+  Variable variable;
 }
 {
-  expr = VariableDeclaratorId()
-  {buff.append(expr);}
-  [ <ASSIGN> expr = VariableInitializer()
-    {buff.append("=").append(expr);}
+  <DOLLAR>
+  (
+     token = <IDENTIFIER>
+     {variable = new Variable(token.image,token.sourceStart,token.sourceEnd);}
+   |
+     lbrace = <LBRACE> expr = Expression() rbrace = <RBRACE>
+     {variable = new Variable(expr,lbrace.sourceStart,rbrace.sourceEnd);}
+  )
+  [
+    assignToken = <ASSIGN>
+    try {
+      initializer = VariableInitializer()
+    } catch (ParseException e) {
+      errorMessage = "Literal expression expected in variable initializer";
+      errorLevel   = ERROR;
+      errorStart = assignToken.sourceEnd +1;
+      errorEnd   = assignToken.sourceEnd +1;
+      processParseExceptionDebug(e);
+    }
   ]
-  {return buff.toString();}
+  {
+  if (initializer == null) {
+    return new VariableDeclaration(currentSegment,
+                                   variable,
+                                   variable.sourceStart,
+                                   variable.sourceEnd);
+  }
+  return new VariableDeclaration(currentSegment,
+                                 variable,
+                                 initializer,
+                                 VariableDeclaration.EQUAL,
+                                 variable.sourceStart);
+  }
 }
 
-String VariableDeclaratorId() :
+/**
+ * this will be used by static statement
+ */
+VariableDeclaration VariableDeclarator() :
 {
-  String expr;
-  StringBuffer buff = new StringBuffer();
+  final AbstractVariable variable;
+  Expression initializer = null;
+  final Token token;
 }
 {
-  expr = Variable()
-  {buff.append(expr);}
-  ( LOOKAHEAD(2) expr = VariableSuffix()
-  {buff.append(expr);}
-  )*
-  {return buff.toString();}
+  variable = VariableDeclaratorId()
+  [
+    token = <ASSIGN>
+    try {
+      initializer = VariableInitializer()
+    } catch (ParseException e) {
+      errorMessage = "Literal expression expected in variable initializer";
+      errorLevel   = ERROR;
+      errorStart = token.sourceEnd+1;
+      errorEnd   = token.sourceEnd+1;
+      processParseExceptionDebug(e);
+    }
+  ]
+  {
+  if (initializer == null) {
+    return new VariableDeclaration(currentSegment,
+                                   variable,
+                                   variable.sourceStart,
+                                   variable.sourceEnd);
+  }
+    return new VariableDeclaration(currentSegment,
+                                   variable,
+                                   initializer,
+                                   VariableDeclaration.EQUAL,
+                                   variable.sourceStart);
+  }
 }
 
-String Variable():
+/**
+ * A Variable name.
+ * @return the variable name (with suffix)
+ */
+AbstractVariable VariableDeclaratorId() :
 {
-  String expr = null;
-  Token token;
+  final Variable var;
+  AbstractVariable expression = null;
 }
 {
-  token = <DOLLAR_ID> [<LBRACE> expr = Expression() <RBRACE>]
-  {
-    if (expr == null) {
-      return token.image;
+  try {
+    var = Variable()
+    (
+      LOOKAHEAD(2)
+      expression = VariableSuffix(var)
+    )*
+    {
+     if (expression == null) {
+       return var;
+     }
+     return expression;
     }
-    return token + "{" + expr + "}";
+  } catch (ParseException e) {
+    errorMessage = "'$' expected for variable identifier";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    throw e;
   }
-|
-  <DOLLAR> expr = VariableName()
-  {return "$" + expr;}
 }
 
-String VariableName():
+Variable Variable() :
 {
-String expr = null;
-Token token;
+  Variable variable = null;
+  final Token token;
+}
+{
+  token = <DOLLAR> variable = Var()
+  {
+    return variable;
+  }
+}
+
+Variable Var() :
+{
+  Variable variable = null;
+  final Token token,token2;
+  ConstantIdentifier constant;
+  Expression expression;
 }
 {
-  <LBRACE> expr = Expression() <RBRACE>
-  {return "{"+expr+"}";}
+  token = <DOLLAR> variable = Var()
+  {return new Variable(variable,variable.sourceStart,variable.sourceEnd);}
 |
-  token = <IDENTIFIER> [<LBRACE> expr = Expression() <RBRACE>]
+  token = <LBRACE> expression = Expression() token2 = <RBRACE>
   {
-    if (expr == null) {
-      return token.image;
-    }
-    return token + "{" + expr + "}";
-  }|
-  <DOLLAR> expr = VariableName()
-  {return "$" + expr;}
+   return new Variable(expression,
+                       token.sourceStart,
+                       token2.sourceEnd);
+  }
+|
+  token = <IDENTIFIER>
+  {
+   outlineInfo.addVariable('$' + token.image);
+   return new Variable(token.image,token.sourceStart,token.sourceEnd);
+  }
 }
 
-String VariableInitializer() :
+Expression VariableInitializer() :
 {
-  String expr;
+  final Expression expr;
+  final Token token, token2;
 }
 {
-  expr = Expression()
+  expr = Literal()
+  {return expr;}
+|
+  token2 = <MINUS> (token = <INTEGER_LITERAL> | token = <FLOATING_POINT_LITERAL>)
+  {return new PrefixedUnaryExpression(new NumberLiteral(token),
+                                      OperatorIds.MINUS,
+                                      token2.sourceStart);}
+|
+  token2 = <PLUS> (token = <INTEGER_LITERAL> | token = <FLOATING_POINT_LITERAL>)
+  {return new PrefixedUnaryExpression(new NumberLiteral(token),
+                                      OperatorIds.PLUS,
+                                      token2.sourceStart);}
+|
+  expr = ArrayDeclarator()
   {return expr;}
+|
+  token = <IDENTIFIER>
+  {return new ConstantIdentifier(token);}
 }
 
-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);}
-            ( LOOKAHEAD(2) <COMMA> expr = ArrayVariable()
-            {buff.append(",").append(expr);}
-            )* ]
+  <LPAREN>
+    [
+      expr = ArrayVariable()
+      {list.add(expr);}
+      ( LOOKAHEAD(2) <COMMA> expr = ArrayVariable()
+      {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;
+  final Token token;
 }
 {
-  <FUNCTION> functionDeclaration = MethodDeclarator()
-  {
-    currentSegment.add(functionDeclaration);
-    currentSegment = functionDeclaration;
-  }
-  ( Block() | <SEMICOLON> )
-  {
-    currentSegment = (PHPSegmentWithChildren) currentSegment.getParent();
+  token = <FUNCTION>
+  try {
+    functionDeclaration = MethodDeclarator(token.sourceStart)
+    {outlineInfo.addVariable(functionDeclaration.name);}
+  } catch (ParseException e) {
+    if (errorMessage != null)  throw e;
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', function identifier expected";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    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(final int start) :
 {
-  Token identifier;
-  StringBuffer methodDeclaration = new StringBuffer();
-  String formalParameters;
-  int pos = jj_input_stream.bufpos;
+  Token identifier = null;
+  Token reference = null;
+  final ArrayList formalParameters = new ArrayList();
+  String identifierChar = SYNTAX_ERROR_CHAR;
+  int end = start;
 }
 {
-  [ <BIT_AND> {methodDeclaration.append("&");}]
-  identifier = <IDENTIFIER> formalParameters = FormalParameters()
+  [reference = <BIT_AND> {end = reference.sourceEnd;}]
+  try {
+    identifier = <IDENTIFIER>
+    {
+      identifierChar = identifier.image;
+      end = identifier.sourceEnd;
+    }
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', function identifier expected";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceEnd;
+    errorEnd   = e.currentToken.next.sourceStart;
+    processParseExceptionDebug(e);
+  }
+  end = FormalParameters(formalParameters)
   {
-    methodDeclaration.append(identifier).append(formalParameters);
-    return new PHPFunctionDeclaration(currentSegment,methodDeclaration.toString(),pos);
+  int nameStart, nameEnd;
+  if (identifier == null) {
+    if (reference == null) {
+      nameStart = start + 9;
+      nameEnd = start + 10;
+    } else {
+      nameStart = reference.sourceEnd + 1;
+      nameEnd = reference.sourceEnd + 2;
+    }
+  } else {
+      nameStart = identifier.sourceStart;
+      nameEnd = identifier.sourceEnd;
+  }
+  return new MethodDeclaration(currentSegment,
+                               identifierChar,
+                               formalParameters,
+                               reference != null,
+                               nameStart,
+                               nameEnd,
+                               start,
+                               end);
   }
 }
 
-String FormalParameters() :
+/**
+ * FormalParameters follows method identifier.
+ * (FormalParameter())
+ */
+int FormalParameters(final ArrayList parameters) :
 {
-  String expr;
-  StringBuffer buff = new StringBuffer("(");
+  VariableDeclaration var;
+  final Token token;
+  Token tok = PHPParser.token;
+  int end = tok.sourceEnd;
 }
 {
-  <LPAREN> [ expr = FormalParameter() {buff.append(expr);}
-            ( <COMMA> expr = FormalParameter()
-            {buff.append(",").append(expr);}
-            )* ] <RPAREN>
- {
-  buff.append(")");
-  return buff.toString();
- }
+  try {
+  tok = <LPAREN>
+  {end = tok.sourceEnd;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', '(' expected after function identifier";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.next.sourceStart;
+    errorEnd   = e.currentToken.next.sourceEnd;
+    processParseExceptionDebug(e);
+  }
+  [
+    var = FormalParameter()
+    {parameters.add(var);end = var.sourceEnd;}
+    (
+      <COMMA> var = FormalParameter()
+      {parameters.add(var);end = var.sourceEnd;}
+    )*
+  ]
+  try {
+    token = <RPAREN>
+    {end = token.sourceEnd;}
+  } catch (ParseException e) {
+    errorMessage = "')' expected";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.next.sourceStart;
+    errorEnd   = e.currentToken.next.sourceEnd;
+    processParseExceptionDebug(e);
+  }
+ {return end;}
 }
 
-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 = VariableDeclaratorNoSuffix()
   {
-    buff.append(expr);
-    return buff.toString();
-  }
+    outlineInfo.addVariable('$'+variableDeclaration.name());
+    if (token != null) {
+      variableDeclaration.setReference(true);
+    }
+    return variableDeclaration;}
 }
 
-String Type() :
-{}
+ConstantIdentifier Type() :
+{final Token token;}
 {
-  <STRING>
-  {return "string";}
-|
-  <BOOL>
-  {return "bool";}
-|
-  <BOOLEAN>
-  {return "boolean";}
-|
-  <REAL>
-  {return "real";}
-|
-  <DOUBLE>
-  {return "double";}
-|
-  <FLOAT>
-  {return "float";}
-|
-  <INT>
-  {return "int";}
-|
-  <INTEGER>
-  {return "integer";}
+  token = <STRING>    {return new ConstantIdentifier(token);}
+| token = <BOOL>      {return new ConstantIdentifier(token);}
+| token = <BOOLEAN>   {return new ConstantIdentifier(token);}
+| token = <REAL>      {return new ConstantIdentifier(token);}
+| token = <DOUBLE>    {return new ConstantIdentifier(token);}
+| token = <FLOAT>     {return new ConstantIdentifier(token);}
+| token = <INT>       {return new ConstantIdentifier(token);}
+| token = <INTEGER>   {return new ConstantIdentifier(token);}
+| token = <OBJECT>    {return new ConstantIdentifier(token);}
 }
 
-String Expression() :
+Expression Expression() :
 {
-  String expr;
-  String assignOperator = null;
-  String expr2 = null;
+  final Expression expr;
+  Expression initializer = null;
+  int assignOperator = -1;
 }
 {
-  expr = PrintExpression()
-  {return expr;}
-|
+  LOOKAHEAD(1)
   expr = ConditionalExpression()
   [
     assignOperator = AssignmentOperator()
-    expr2 = Expression()
+    try {
+      initializer = Expression()
+    } catch (ParseException e) {
+      if (errorMessage != null) {
+        throw e;
+      }
+      errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', expression expected";
+      errorLevel   = ERROR;
+      errorEnd   = SimpleCharStream.getPosition();
+      throw e;
+    }
   ]
   {
-    if (expr2 == null) {
-      return expr;
-    } else {
-      return expr + assignOperator + expr2;
+    if (assignOperator != -1) {// todo : change this, very very bad :(
+        if (expr instanceof AbstractVariable) {
+          return new VariableDeclaration(currentSegment,
+                                         (AbstractVariable) expr,
+                                         initializer,
+                                         expr.sourceStart,
+                                         initializer.sourceEnd);
+        }
+        String varName = expr.toStringExpression().substring(1);
+        return new VariableDeclaration(currentSegment,
+                                       new Variable(varName,
+                                                    expr.sourceStart,
+                                                    expr.sourceEnd),
+                                       expr.sourceStart,
+                                       initializer.sourceEnd);
     }
+    return expr;
   }
+| expr = ExpressionWBang()       {return expr;}
 }
 
-String AssignmentOperator() :
+Expression ExpressionWBang() :
 {
-  Token assignOperator;
+  final Expression expr;
+  final Token token;
 }
 {
-  <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 ".=";}
+  token = <BANG> expr = ExpressionWBang()
+  {return new PrefixedUnaryExpression(expr,OperatorIds.NOT,token.sourceStart);}
+| expr = ExpressionNoBang() {return expr;}
 }
 
-String ConditionalExpression() :
+Expression ExpressionNoBang() :
 {
-  String expr;
-  String expr2 = null;
-  String expr3 = null;
+  Expression expr;
+}
+{
+  expr = ListExpression()    {return expr;}
+|
+  expr = PrintExpression()   {return expr;}
+}
+
+/**
+ * Any assignement operator.
+ * @return the assignement operator id
+ */
+int AssignmentOperator() :
+{}
+{
+  <ASSIGN>             {return VariableDeclaration.EQUAL;}
+| <STARASSIGN>         {return VariableDeclaration.STAR_EQUAL;}
+| <SLASHASSIGN>        {return VariableDeclaration.SLASH_EQUAL;}
+| <REMASSIGN>          {return VariableDeclaration.REM_EQUAL;}
+| <PLUSASSIGN>         {return VariableDeclaration.PLUS_EQUAL;}
+| <MINUSASSIGN>        {return VariableDeclaration.MINUS_EQUAL;}
+| <LSHIFTASSIGN>       {return VariableDeclaration.LSHIFT_EQUAL;}
+| <RSIGNEDSHIFTASSIGN> {return VariableDeclaration.RSIGNEDSHIFT_EQUAL;}
+| <ANDASSIGN>          {return VariableDeclaration.AND_EQUAL;}
+| <XORASSIGN>          {return VariableDeclaration.XOR_EQUAL;}
+| <ORASSIGN>           {return VariableDeclaration.OR_EQUAL;}
+| <DOTASSIGN>          {return VariableDeclaration.DOT_EQUAL;}
+| <TILDEEQUAL>         {return VariableDeclaration.TILDE_EQUAL;}
+}
+
+Expression ConditionalExpression() :
+{
+  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);
-  }
   (
+    LOOKAHEAD(1)
     <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;
+  Token token;
 }
 {
   expr = RelationalExpression()
-  {buff.append(expr);}
   (
-  ( operator = <EQ> | operator = <NE> ) expr2 = RelationalExpression()
+  (   token = <EQUAL_EQUAL>      {operator = OperatorIds.EQUAL_EQUAL;}
+    | token = <DIF>              {operator = OperatorIds.DIF;}
+    | token = <NOT_EQUAL>        {operator = OperatorIds.DIF;}
+    | token = <BANGDOUBLEEQUAL>  {operator = OperatorIds.BANG_EQUAL_EQUAL;}
+    | token = <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 = token.sourceEnd +1;
+    errorEnd   = token.sourceEnd +1;
+    expr2 = new ConstantIdentifier(SYNTAX_ERROR_CHAR,token.sourceEnd +1,token.sourceEnd +1);
+    processParseExceptionDebug(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);
-  }
+    LOOKAHEAD(1)
+     ( <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 = PHPParser.token.sourceStart;
+    errorEnd   = PHPParser.token.sourceEnd;
+    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;
 }
 {
-  <AT> expr = UnaryExpression()
-  {return "@" + expr;}
-|
-  ( <PLUS> {buff.append("+");}| <MINUS> {buff.append("-");}) expr = UnaryExpression()
-  {
-    buff.append(expr);
-    return buff.toString();
-  }
-|
-  expr = PreIncrementExpression()
-  {return expr;}
-|
-  expr = PreDecrementExpression()
-  {return expr;}
-|
-  expr = UnaryExpressionNotPlusMinus()
-  {return buff.toString();}
+ /* <BIT_AND> expr = UnaryExpressionNoPrefix()             //why did I had that ?
+  {return new PrefixedUnaryExpression(expr,OperatorIds.AND,pos);}
+|      */
+  expr = AtNotTildeUnaryExpression() {return expr;}
 }
 
-String PreIncrementExpression() :
+Expression AtNotTildeUnaryExpression() :
 {
-String expr;
+  final Expression expr;
+  final Token token;
 }
 {
-  <INCR> expr = PrimaryExpression()
-  {return "++"+expr;}
+  token = <AT>
+  expr = AtNotTildeUnaryExpression()
+  {return new PrefixedUnaryExpression(expr,OperatorIds.AT,token.sourceStart);}
+|
+  token = <TILDE>
+  expr = AtNotTildeUnaryExpression()
+  {return new PrefixedUnaryExpression(expr,OperatorIds.TWIDDLE,token.sourceStart);}
+|
+  token = <BANG>
+  expr = AtNotUnaryExpression()
+  {return new PrefixedUnaryExpression(expr,OperatorIds.NOT,token.sourceStart);}
+|
+  expr = UnaryExpressionNoPrefix()
+  {return expr;}
 }
 
-String PreDecrementExpression() :
+/**
+ * An expression prefixed (or not) by one or more @ and !.
+ * @return the expression
+ */
+Expression AtNotUnaryExpression() :
 {
-String expr;
+  final Expression expr;
+  final Token token;
 }
 {
-  <DECR> expr = PrimaryExpression()
-  {return "--"+expr;}
+  token = <AT>
+  expr = AtNotUnaryExpression()
+  {return new PrefixedUnaryExpression(expr,OperatorIds.AT,token.sourceStart);}
+|
+  token = <BANG>
+  expr = AtNotUnaryExpression()
+  {return new PrefixedUnaryExpression(expr,OperatorIds.NOT,token.sourceStart);}
+|
+  expr = UnaryExpressionNoPrefix()
+  {return expr;}
 }
 
-String UnaryExpressionNotPlusMinus() :
+Expression UnaryExpressionNoPrefix() :
 {
-  String expr;
+  final Expression expr;
+  final Token token;
 }
 {
-  <BANG> expr = UnaryExpression()
-  {return "!" + expr;}
+  token = <PLUS> expr = AtNotTildeUnaryExpression()   {return new PrefixedUnaryExpression(expr,
+                                                                                     OperatorIds.PLUS,
+                                                                                     token.sourceStart);}
 |
-  LOOKAHEAD( <LPAREN> Type() <RPAREN> )
-  expr = CastExpression()
-  {return expr;}
+  token = <MINUS> expr = AtNotTildeUnaryExpression()  {return new PrefixedUnaryExpression(expr,
+                                                                                     OperatorIds.MINUS,
+                                                                                     token.sourceStart);}
 |
-  expr = PostfixExpression()
+  expr = PreIncDecExpression()
   {return expr;}
 |
-  expr = Literal()
+  expr = UnaryExpressionNotPlusMinus()
   {return expr;}
-|
-  <LPAREN> expr = Expression()<RPAREN>
-  {return "("+expr+")";}
 }
 
-String CastExpression() :
+
+Expression PreIncDecExpression() :
 {
-String type;
-String expr;
+final Expression expr;
+final int operator;
+final Token token;
 }
 {
-  <LPAREN> type = Type() <RPAREN> expr = UnaryExpression()
-  {return "(" + type + ")" + expr;}
+  (
+      token = <PLUS_PLUS>   {operator = OperatorIds.PLUS_PLUS;}
+    |
+      token = <MINUS_MINUS> {operator = OperatorIds.MINUS_MINUS;}
+  )
+  expr = PrimaryExpression()
+  {return new PrefixedUnaryExpression(expr,operator,token.sourceStart);}
 }
 
-String PostfixExpression() :
+Expression UnaryExpressionNotPlusMinus() :
 {
-  String expr;
-  Token operator = null;
+  final Expression expr;
 }
 {
-  expr = PrimaryExpression() [ operator = <INCR> | operator = <DECR> ]
-  {
-    if (operator == null) {
-      return expr;
-    }
-    return expr + operator.image;
+  LOOKAHEAD( <LPAREN> (Type() | <ARRAY>) <RPAREN> )
+  expr = CastExpression()         {return expr;}
+| expr = PostfixExpression()      {return expr;}
+| expr = Literal()                {return expr;}
+| <LPAREN> expr = Expression()
+  try {
+    <RPAREN>
+  } catch (ParseException e) {
+    errorMessage = "')' expected";
+    errorLevel   = ERROR;
+    errorStart   = expr.sourceEnd +1;
+    errorEnd     = expr.sourceEnd +1;
+    processParseExceptionDebug(e);
   }
+  {return expr;}
 }
 
-String PrimaryExpression() :
+CastExpression CastExpression() :
 {
-  Token identifier;
-  String expr;
-  StringBuffer buff = new StringBuffer();
+final ConstantIdentifier type;
+final Expression expr;
+final Token token,token1;
 }
 {
-  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);}
+  token1 = <LPAREN>
   (
-  expr = PrimarySuffix()
-  {buff.append(expr);}
-  )*
-  {return buff.toString();}
-|
-  <ARRAY> expr = ArrayInitializer()
-  {return "array" + expr;}
+      type = Type()
+    |
+      token = <ARRAY> {type = new ConstantIdentifier(token);}
+  )
+  <RPAREN> expr = UnaryExpression()
+  {return new CastExpression(type,expr,token1.sourceStart,expr.sourceEnd);}
 }
 
-String PrimaryPrefix() :
+Expression PostfixExpression() :
 {
-  String expr;
+  final Expression expr;
+  int operator = -1;
   Token token = null;
 }
 {
-  token = <IDENTIFIER>
-  {return token.image;}
-|
-  [token = <BIT_AND>] <NEW> expr = ClassIdentifier()
+  expr = PrimaryExpression()
+  [
+      token = <PLUS_PLUS>   {operator = OperatorIds.PLUS_PLUS;}
+    |
+      token = <MINUS_MINUS> {operator = OperatorIds.MINUS_MINUS;}
+  ]
   {
-    if (token == null) {
-      return "new " + expr;
+    if (operator == -1) {
+      return expr;
     }
-    return "new " + expr;
+    return new PostfixedUnaryExpression(expr,operator,token.sourceEnd);
   }
-|  
-  expr = VariableDeclaratorId()
-  {return expr;}
 }
 
-String ClassIdentifier():
+Expression PrimaryExpression() :
 {
-  String expr;
-  Token token;
+  Expression expr;
+  Token token = null;
 }
 {
-  token = <IDENTIFIER>
-  {return token.image;}
+  [token = <BIT_AND>] expr = refPrimaryExpression(token)
+  {return expr;}
 |
-  expr = VariableDeclaratorId()
+  expr = ArrayDeclarator()
   {return expr;}
 }
 
-String PrimarySuffix() :
+Expression refPrimaryExpression(final Token reference) :
 {
-  String expr;
+  Expression expr;
+  Expression expr2 = null;
+  final Token identifier;
 }
 {
-  expr = Arguments()
+  identifier = <IDENTIFIER>
+  {
+    expr = new ConstantIdentifier(identifier);
+  }
+  (
+    <STATICCLASSACCESS> expr2 = ClassIdentifier()
+    {expr = new ClassAccess(expr,
+                            expr2,
+                            ClassAccess.STATIC);}
+  )*
+  [ expr2 = Arguments(expr) ]
+  {
+    if (expr2 == null) {
+      if (reference != null) {
+        ParseException e = generateParseException();
+        errorMessage = "you cannot use a constant by reference";
+        errorLevel   = ERROR;
+        errorStart   = reference.sourceStart;
+        errorEnd     = reference.sourceEnd;
+        processParseExceptionDebug(e);
+      }
+      return expr;
+    }
+    return expr2;
+  }
+|
+  expr = VariableDeclaratorId()  //todo use the reference parameter ...
+  [ expr = Arguments(expr) ]
   {return expr;}
 |
-  expr = VariableSuffix()
+  token = <NEW>
+  expr = ClassIdentifier()
+  {
+    int start;
+    if (reference == null) {
+      start = token.sourceStart;
+    } else {
+      start = reference.sourceStart;
+    }
+    expr = new ClassInstantiation(expr,
+                                  reference != null,
+                                  start);
+  }
+  [ expr = Arguments(expr) ]
   {return expr;}
 }
 
-String VariableSuffix() :
+/**
+ * An array declarator.
+ * array(vars)
+ * @return an array
+ */
+ArrayInitializer ArrayDeclarator() :
 {
-  String expr = null;
+  final ArrayVariableDeclaration[] vars;
+  final Token token;
 }
 {
-  <CLASSACCESS> expr = VariableName()
-  {return "->" + expr;}
-| 
-  <LBRACKET> [ expr = Expression() ] <RBRACKET>
-  {
-    if(expr == null) {
-      return "[]";
-    }
-    return "[" + expr + "]";
-  }
+  token = <ARRAY> vars = ArrayInitializer()
+  {return new ArrayInitializer(vars,
+                               token.sourceStart,
+                               PHPParser.token.sourceEnd);}
 }
 
-String Literal() :
+Expression ClassIdentifier():
 {
-  String expr;
+  final Expression expr;
+  final Token token;
+}
+{
+  token = <IDENTIFIER>          {return new ConstantIdentifier(token);}
+| expr = Type()                 {return expr;}
+| expr = VariableDeclaratorId() {return expr;}
+}
+
+/**
+ * Used by Variabledeclaratorid and primarysuffix
+ */
+AbstractVariable VariableSuffix(final AbstractVariable prefix) :
+{
+  Expression expression = null;
+  final Token classAccessToken,lbrace,rbrace;
   Token token;
+  int pos;
 }
 {
-  token = <INTEGER_LITERAL>
-  {return token.image;}
-|
-  token = <FLOATING_POINT_LITERAL>
-  {return token.image;}
-|
+  classAccessToken = <CLASSACCESS>
   try {
-    token = <STRING_LITERAL>
-  {return token.image;}
-  } catch (TokenMgrError e) {
-    errorMessage = "unterminated string";
+    (
+      lbrace = <LBRACE> expression = Expression() rbrace = <RBRACE>
+                {
+                 expression = new Variable(expression,
+                                           lbrace.sourceStart,
+                                           rbrace.sourceEnd);
+                }
+      |
+        token = <IDENTIFIER>
+        {expression = new ConstantIdentifier(token.image,token.sourceStart,token.sourceEnd);}
+      |
+        expression = Variable()
+    )
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', function call or field access expected";
     errorLevel   = ERROR;
-    throw generateParseException();
+    errorStart = classAccessToken.sourceEnd +1;
+    errorEnd   = classAccessToken.sourceEnd +1;
+    processParseExceptionDebug(e);
   }
+  {return new ClassAccess(prefix,
+                          expression,
+                          ClassAccess.NORMAL);}
 |
-  expr = BooleanLiteral()
-  {return expr;}
+  token = <LBRACKET> {pos = token.sourceEnd+1;}
+  [  expression = Expression() {pos = expression.sourceEnd+1;}
+   | expression = Type()       {pos = expression.sourceEnd+1;}]  //Not good
+  try {
+    token = <RBRACKET>
+    {pos = token.sourceEnd;}
+  } catch (ParseException e) {
+    errorMessage = "']' expected";
+    errorLevel   = ERROR;
+    errorStart = pos;
+    errorEnd   = pos;
+    processParseExceptionDebug(e);
+  }
+  {return new ArrayDeclarator(prefix,expression,pos);}
 |
-  expr = NullLiteral()
-  {return expr;}
+  token = <LBRACE> {pos = token.sourceEnd+1;}
+  [  expression = Expression() {pos = expression.sourceEnd+1;}
+   | expression = Type()       {pos = expression.sourceEnd+1;}]  //Not good
+  try {
+    token = <RBRACE>
+    {pos = token.sourceEnd;}
+  } catch (ParseException e) {
+    errorMessage = "']' expected";
+    errorLevel   = ERROR;
+    errorStart = pos;
+    errorEnd   = pos;
+    processParseExceptionDebug(e);
+  }
+  {return new ArrayDeclarator(prefix,expression,pos);}//todo : check braces here
 }
 
-String BooleanLiteral() :
-{}
+Literal Literal() :
 {
-  <TRUE>
-  {return "true";}
-|
-  <FALSE>
-  {return "false";}
+  final Token token;
+  StringLiteral literal;
+}
+{
+  token = <INTEGER_LITERAL>        {return new NumberLiteral(token);}
+| token = <FLOATING_POINT_LITERAL> {return new NumberLiteral(token);}
+| token = <STRING_LITERAL>         {return new StringLiteral(token);}
+| token = <TRUE>                   {return new TrueLiteral(token);}
+| token = <FALSE>                  {return new FalseLiteral(token);}
+| token = <NULL>                   {return new NullLiteral(token);}
+| literal = evaluableString()        {return literal;}
 }
 
-String NullLiteral() :
-{}
+StringLiteral evaluableString() :
 {
-  <NULL>
-  {return "null";}
+  ArrayList list = new ArrayList();
+  Token start,end;
+  Token token,lbrace,rbrace;
+  AbstractVariable var;
+  Expression expr;
+}
+{
+  start = <DOUBLEQUOTE>
+  (
+   <DOLLARS>
+       (
+        token = <IDENTIFIER> {list.add(new Variable(token.image,
+                                                    token.sourceStart,
+                                                    token.sourceEnd));}
+        |
+         lbrace = <LBRACE1>
+         token = <ID>
+         {list.add(new Variable(token.image,
+                                token.sourceStart,
+                                token.sourceEnd));}
+         rbrace = <RBRACE1>
+       )
+   )*
+  end = <DOUBLEQUOTE2>
+  {
+  AbstractVariable[] vars = new AbstractVariable[list.size()];
+  list.toArray(vars);
+  return new StringLiteral(SimpleCharStream.currentBuffer.substring(start.sourceEnd,end.sourceStart),
+                           start.sourceStart,
+                           end.sourceEnd,
+                           vars);
+  }
 }
 
-String Arguments() :
+FunctionCall Arguments(final Expression func) :
 {
-String expr = null;
+Expression[] args = null;
+final Token token,lparen;
 }
 {
-  <LPAREN> [ expr = ArgumentList() ]
+  lparen = <LPAREN> [ args = ArgumentList() ]
   try {
-    <RPAREN>
+    token = <RPAREN>
+    {return new FunctionCall(func,args,token.sourceEnd);}
   } 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;
-    throw e;
+    if (args == null) {
+        errorStart = lparen.sourceEnd+1;
+        errorEnd   = lparen.sourceEnd+2;
+    } else {
+        errorStart = args[args.length-1].sourceEnd+1;
+        errorEnd   = args[args.length-1].sourceEnd+2;
+    }
+    processParseExceptionDebug(e);
   }
   {
-  if (expr == null) {
-    return "()";
-  }
-  return "(" + expr + ")";
-  }
+  int sourceEnd = (args == null && args.length != 0) ? lparen.sourceEnd+1 : args[args.length-1].sourceEnd;
+  return new FunctionCall(func,args,sourceEnd);}
 }
 
-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();
+int pos;
+Token token;
 }
 {
-  expr = Expression()
-  {buff.append(expr);}
-  ( <COMMA>
+  arg = Expression()
+  {list.add(arg);pos = arg.sourceEnd;}
+  ( token = <COMMA> {pos = token.sourceEnd;}
       try {
-        expr = Expression()
+        arg = Expression()
+        {list.add(arg);
+         pos = arg.sourceEnd;}
       } 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;
-        throw e;
+        errorStart   = pos+1;
+        errorEnd     = pos+1;
+        processParseException(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.
+ * @return a statement
  */
-
-void Statement() :
-{}
+Statement StatementNoBreak() :
+{
+  final Statement statement;
+  Token token = null;
+}
 {
   LOOKAHEAD(2)
-  Expression()  (<SEMICOLON> | "?>")
-|
-  LOOKAHEAD(2)
-  LabeledStatement()
-|
-  Block()
-|
-  EmptyStatement()
-|
-  StatementExpression()
+  statement = expressionStatement()     {return statement;}
+| LOOKAHEAD(1)
+  statement = LabeledStatement()        {return statement;}
+| statement = Block()                   {return statement;}
+| statement = EmptyStatement()          {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;
+    statement.sourceStart = token.sourceStart;
+  }
+  return statement;}
+| statement = StaticStatement()         {return statement;}
+| statement = GlobalStatement()         {return statement;}
+| statement = defineStatement()         {currentSegment.add((Outlineable)statement);return statement;}
+}
+
+/**
+ * A statement expression.
+ * expression ;
+ * @return an expression
+ */
+Statement expressionStatement() :
+{
+  final Statement statement;
+  final Token token;
+}
+{
+  statement = Expression()
   try {
-    <SEMICOLON>
+    token = <SEMICOLON>
+    {statement.sourceEnd = token.sourceEnd;}
   } catch (ParseException e) {
-    errorMessage = "';' expected after expression";
+    if (e.currentToken.next.kind != PHPParserConstants.PHPEND) {
+      errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected";
+      errorLevel   = ERROR;
+      errorStart = statement.sourceEnd+1;
+      errorEnd   = statement.sourceEnd+1;
+      processParseExceptionDebug(e);
+    }
+  }
+  {return statement;}
+}
+
+Define defineStatement() :
+{
+  Expression defineName,defineValue;
+  final Token defineToken;
+  Token token;
+  int pos;
+}
+{
+  defineToken = <DEFINE> {pos = defineToken.sourceEnd+1;}
+  try {
+    token = <LPAREN>
+    {pos = token.sourceEnd+1;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', '(' expected";
+    errorLevel   = ERROR;
+    errorStart   = pos;
+    errorEnd     = pos;
+    processParseExceptionDebug(e);
+  }
+  try {
+    defineName = Expression()
+    {pos = defineName.sourceEnd+1;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', expression expected";
+    errorLevel   = ERROR;
+    errorStart   = pos;
+    errorEnd     = pos;
+    processParseExceptionDebug(e);
+    defineName = new StringLiteral(SYNTAX_ERROR_CHAR,pos,pos);
+  }
+  try {
+    token = <COMMA>
+    {pos = defineName.sourceEnd+1;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', ',' expected";
     errorLevel   = ERROR;
+    errorStart   = pos;
+    errorEnd     = pos;
+    processParseExceptionDebug(e);
+  }
+  try {
+    defineValue = Expression()
+    {pos = defineValue.sourceEnd+1;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', expression expected";
+    errorLevel   = ERROR;
+    errorStart   = pos;
+    errorEnd     = pos;
+    processParseExceptionDebug(e);
+    defineValue = new StringLiteral(SYNTAX_ERROR_CHAR,pos,pos);
+  }
+  try {
+    token = <RPAREN>
+    {pos = token.sourceEnd+1;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', ')' expected";
+    errorLevel   = ERROR;
+    errorStart   = pos;
+    errorEnd     = pos;
+    processParseExceptionDebug(e);
+  }
+  {return new Define(currentSegment,
+                     defineName,
+                     defineValue,
+                     defineToken.sourceStart,
+                     pos);}
+}
+
+/**
+ * A Normal statement.
+ */
+Statement Statement() :
+{
+  final Statement statement;
+}
+{
+  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;
+  final Token phpEnd;
+}
+{
+  phpEnd = <PHPEND>
+  {htmlStart = phpEnd.sourceEnd;}
+  (phpEchoBlock())*
+  try {
+    (<PHPSTARTLONG> | <PHPSTARTSHORT>)
+    {PHPParser.createNewHTMLCode();}
+  } catch (ParseException e) {
+    errorMessage = "unexpected end of file , '<?php' expected";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
     throw e;
   }
-|
-  SwitchStatement()
-|
-  IfStatement()
-|
-  WhileStatement()
-|
-  DoStatement()
-|
-  ForStatement()
-|
-  BreakStatement()
-|
-  ContinueStatement()
-|
-  ReturnStatement()
-|
-  EchoStatement()
-|
-  IncludeStatement()
-|
-  StaticStatement()
-|
-  GlobalStatement()
+  {
+  nbNodes    = nodePtr - startIndex;
+  if (nbNodes == 0) {
+    return null;
+  }
+  blockNodes = new AstNode[nbNodes];
+  System.arraycopy(nodes,startIndex+1,blockNodes,0,nbNodes);
+  nodePtr = startIndex;
+  return new HTMLBlock(blockNodes);}
 }
 
-void IncludeStatement() :
-{}
+/**
+ * An include statement. It's "include" an expression;
+ */
+InclusionStatement IncludeStatement() :
 {
-  <REQUIRE> Expression() (<SEMICOLON> | "?>")
-|
-  <REQUIRE_ONCE> Expression() (<SEMICOLON> | "?>")
-|
-  <INCLUDE> Expression() (<SEMICOLON> | "?>")
-|
-  <INCLUDE_ONCE> Expression() (<SEMICOLON> | "?>")
+  Expression expr;
+  final int keyword;
+  final InclusionStatement inclusionStatement;
+  final Token token, token2;
+  int pos;
+}
+{
+      (  token = <REQUIRE>      {keyword = InclusionStatement.REQUIRE;pos=token.sourceEnd;}
+       | token = <REQUIRE_ONCE> {keyword = InclusionStatement.REQUIRE_ONCE;pos=token.sourceEnd;}
+       | token = <INCLUDE>      {keyword = InclusionStatement.INCLUDE;pos=token.sourceEnd;}
+       | token = <INCLUDE_ONCE> {keyword = InclusionStatement.INCLUDE_ONCE;pos=token.sourceEnd;})
+  try {
+    expr = Expression()
+    {pos = expr.sourceEnd;}
+  } catch (ParseException e) {
+    if (errorMessage != null) {
+      throw e;
+    }
+    errorMessage = "unexpected token '"+ e.currentToken.next.image+"', expression expected";
+    errorLevel   = ERROR;
+    errorStart   = e.currentToken.next.sourceStart;
+    errorEnd     = e.currentToken.next.sourceEnd;
+    expr = new ConstantIdentifier(SYNTAX_ERROR_CHAR,pos,pos);
+    processParseExceptionDebug(e);
+  }
+  try {
+    token2 = <SEMICOLON>
+    {pos=token2.sourceEnd;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected";
+    errorLevel   = ERROR;
+    errorStart   = e.currentToken.next.sourceStart;
+    errorEnd     = e.currentToken.next.sourceEnd;
+    processParseExceptionDebug(e);
+  }
+  {
+   inclusionStatement = new InclusionStatement(currentSegment,
+                                               keyword,
+                                               expr,
+                                               token.sourceStart,
+                                               pos);
+   currentSegment.add(inclusionStatement);
+   return inclusionStatement;
+  }
 }
 
-String PrintExpression() :
+PrintExpression PrintExpression() :
 {
-  StringBuffer buff = new StringBuffer("print ");
-  String expr;
+  final Expression expr;
+  final Token printToken;
 }
 {
-  <PRINT> expr = Expression()
+  token = <PRINT> expr = Expression()
+  {return new PrintExpression(expr,token.sourceStart,expr.sourceEnd);}
+}
+
+ListExpression ListExpression() :
+{
+  Expression expr = null;
+  final Expression expression;
+  final ArrayList list = new ArrayList();
+  int pos;
+  final Token listToken, rParen;
+  Token token;
+}
+{
+  listToken = <LIST> {pos = listToken.sourceEnd;}
+  try {
+    token = <LPAREN> {pos = token.sourceEnd;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', '(' expected";
+    errorLevel   = ERROR;
+    errorStart   = listToken.sourceEnd+1;
+    errorEnd     = listToken.sourceEnd+1;
+    processParseExceptionDebug(e);
+  }
+  [
+    expr = VariableDeclaratorId()
+    {list.add(expr);pos = expr.sourceEnd;}
+  ]
+  {if (expr == null) list.add(null);}
+  (
+    try {
+      token = <COMMA>
+      {pos = token.sourceEnd;}
+    } catch (ParseException e) {
+      errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', ',' expected";
+      errorLevel   = ERROR;
+      errorStart   = pos+1;
+      errorEnd     = pos+1;
+      processParseExceptionDebug(e);
+    }
+    [expr = VariableDeclaratorId() {list.add(expr);pos = expr.sourceEnd;}]
+  )*
+  try {
+    rParen = <RPAREN>
+    {pos = rParen.sourceEnd;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', ')' expected";
+    errorLevel   = ERROR;
+    errorStart = pos+1;
+    errorEnd   = pos+1;
+      processParseExceptionDebug(e);
+  }
+  [ <ASSIGN> expression = Expression()
+    {
+    final AbstractVariable[] vars = new AbstractVariable[list.size()];
+    list.toArray(vars);
+    return new ListExpression(vars,
+                              expression,
+                              listToken.sourceStart,
+                              expression.sourceEnd);}
+  ]
+  {
+    final AbstractVariable[] vars = new AbstractVariable[list.size()];
+    list.toArray(vars);
+    return new ListExpression(vars,listToken.sourceStart,pos);}
+}
+
+/**
+ * An echo statement.
+ * echo anyexpression (, otherexpression)*
+ */
+EchoStatement EchoStatement() :
+{
+  final ArrayList expressions = new ArrayList();
+  Expression expr;
+  Token token;
+  Token token2 = null;
+}
+{
+  token = <ECHO> expr = Expression()
+  {expressions.add(expr);}
+  (
+    <COMMA> expr = Expression()
+    {expressions.add(expr);}
+  )*
+  try {
+    token2 = <SEMICOLON>
+  } catch (ParseException e) {
+    if (e.currentToken.next.kind != 4) {
+      errorMessage = "';' expected after 'echo' statement";
+      errorLevel   = ERROR;
+      errorStart   = e.currentToken.sourceEnd;
+      errorEnd     = e.currentToken.sourceEnd;
+      processParseExceptionDebug(e);
+    }
+  }
   {
-    buff.append(expr);
-    return buff.toString();
+   final Expression[] exprs = new Expression[expressions.size()];
+   expressions.toArray(exprs);
+   if (token2 == null) {
+     return new EchoStatement(exprs,token.sourceStart, exprs[exprs.length-1].sourceEnd);
+   }
+   return new EchoStatement(exprs,token.sourceStart, token2.sourceEnd);
+   }
+}
+
+GlobalStatement GlobalStatement() :
+{
+   Variable expr;
+   final ArrayList vars = new ArrayList();
+   final GlobalStatement global;
+   final Token token, token2;
+   int pos;
+}
+{
+  token = <GLOBAL>
+    expr = Variable()
+    {vars.add(expr);pos = expr.sourceEnd+1;}
+  (<COMMA>
+    expr = Variable()
+    {vars.add(expr);pos = expr.sourceEnd+1;}
+  )*
+  try {
+    token2 = <SEMICOLON>
+    {pos = token2.sourceEnd+1;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. a ';' was expected";
+    errorLevel   = ERROR;
+    errorStart = pos;
+    errorEnd   = pos;
+    processParseExceptionDebug(e);
   }
+    {
+    final Variable[] variables = new Variable[vars.size()];
+    vars.toArray(variables);
+    global = new GlobalStatement(currentSegment,
+                                 variables,
+                                 token.sourceStart,
+                                 pos);
+    currentSegment.add(global);
+    return global;}
 }
 
-void EchoStatement() :
-{}
+StaticStatement StaticStatement() :
+{
+  final ArrayList vars = new ArrayList();
+  VariableDeclaration expr;
+  final Token token, token2;
+  int pos;
+}
 {
-  <ECHO> Expression() (<COMMA> Expression())*
+  token = <STATIC> expr = VariableDeclarator() {vars.add(expr);pos = expr.sourceEnd+1;}
+  (
+    <COMMA> expr = VariableDeclarator() {vars.add(expr);pos = expr.sourceEnd+1;}
+  )*
   try {
-    (<SEMICOLON> | "?>")
+    token2 = <SEMICOLON>
+    {pos = token2.sourceEnd+1;}
   } catch (ParseException e) {
-    errorMessage = "';' expected after 'echo' statement";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. a ';' was expected";
     errorLevel   = ERROR;
-    throw e;
+    errorStart = pos;
+    errorEnd   = pos;
+    processParseException(e);
   }
+    {
+    final VariableDeclaration[] variables = new VariableDeclaration[vars.size()];
+    vars.toArray(variables);
+    return new StaticStatement(variables,
+                               token.sourceStart,
+                               pos);}
 }
 
-void GlobalStatement() :
-{}
+LabeledStatement LabeledStatement() :
+{
+  final Token label;
+  final Statement statement;
+}
 {
-  <GLOBAL> VariableDeclaratorId() (<COMMA> VariableDeclaratorId())* (<SEMICOLON> | "?>")
+  label = <IDENTIFIER> <COLON> statement = Statement()
+  {return new LabeledStatement(label.image,statement,label.sourceStart,statement.sourceEnd);}
 }
 
-void StaticStatement() :
-{}
+/**
+ * A Block is
+ * {
+ * statements
+ * }.
+ * @return a block
+ */
+Block Block() :
 {
-  <STATIC> VariableDeclarator() (<COMMA> VariableDeclarator())* (<SEMICOLON> | "?>")
+  final ArrayList list = new ArrayList();
+  Statement statement;
+  final Token token, token2;
+  int pos,start;
+}
+{
+  try {
+    token = <LBRACE>
+    {pos = token.sourceEnd+1;start=token.sourceStart;}
+  } catch (ParseException e) {
+    errorMessage = "'{' expected";
+    errorLevel   = ERROR;
+    pos = PHPParser.token.sourceEnd+1;
+    start=pos;
+    errorStart = pos;
+    errorEnd   = pos;
+    processParseExceptionDebug(e);
+  }
+  ( statement = BlockStatement() {list.add(statement);pos = statement.sourceEnd+1;}
+  | statement = htmlBlock()      {if (statement != null) {
+                                    list.add(statement);
+                                    pos = statement.sourceEnd+1;
+                                  }
+                                  pos = PHPParser.token.sourceEnd+1;
+                                 }
+  )*
+  try {
+    token2 = <RBRACE>
+    {pos = token2.sourceEnd+1;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.image +"', '}' expected";
+    errorLevel   = ERROR;
+    errorStart = pos;
+    errorEnd   = pos;
+    processParseExceptionDebug(e);
+  }
+  {
+  final Statement[] statements = new Statement[list.size()];
+  list.toArray(statements);
+  return new Block(statements,start,pos);}
 }
 
-void LabeledStatement() :
-{}
+Statement BlockStatement() :
 {
-  <IDENTIFIER> <COLON> Statement()
+  final Statement statement;
+}
+{
+  try {
+    statement = Statement()         {if (phpDocument == currentSegment) pushOnAstNodes(statement);
+                                     return statement;}
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.image +"', a statement was expected";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    throw e;
+  }
+| statement = ClassDeclaration()  {return statement;}
+| statement = MethodDeclaration() {if (phpDocument == currentSegment) pushOnAstNodes(statement);
+                                   currentSegment.add((MethodDeclaration) statement);
+                                   ((MethodDeclaration) statement).analyzeCode();
+                                   return statement;}
 }
 
-void Block() :
-{}
+/**
+ * A Block statement that will not contain any 'break'
+ */
+Statement BlockStatementNoBreak() :
 {
-  <LBRACE> ( BlockStatement() )* <RBRACE>
+  final Statement statement;
+}
+{
+  statement = StatementNoBreak()  {return statement;}
+| statement = ClassDeclaration()  {return statement;}
+| statement = MethodDeclaration() {currentSegment.add((MethodDeclaration) statement);
+                                   ((MethodDeclaration) statement).analyzeCode();
+                                   return statement;}
 }
 
-void BlockStatement() :
-{}
+/**
+ * used only by ForInit()
+ */
+Expression[] LocalVariableDeclaration() :
 {
-  Statement()
-|
-  ClassDeclaration()
-|
-  MethodDeclaration()
+  final ArrayList list = new ArrayList();
+  Expression var;
+}
+{
+  var = Expression()
+  {list.add(var);}
+  ( <COMMA> var = Expression() {list.add(var);})*
+  {
+    final Expression[] vars = new Expression[list.size()];
+    list.toArray(vars);
+    return vars;
+  }
 }
 
-void LocalVariableDeclaration() :
-{}
+/**
+ * used only by LocalVariableDeclaration().
+ */
+VariableDeclaration LocalVariableDeclarator() :
+{
+  final Variable varName;
+  Expression initializer = null;
+}
 {
-  VariableDeclarator() ( <COMMA> VariableDeclarator() )*
+  varName = Variable() [ <ASSIGN> initializer = Expression() ]
+  {
+   if (initializer == null) {
+    return new VariableDeclaration(currentSegment,
+                                   varName,
+                                   varName.sourceStart,
+                                   varName.sourceEnd);
+   }
+    return new VariableDeclaration(currentSegment,
+                                   varName,
+                                   initializer,
+                                   VariableDeclaration.EQUAL,
+                                   varName.sourceStart);
+  }
 }
 
-void EmptyStatement() :
-{}
+EmptyStatement EmptyStatement() :
+{
+  final Token token;
+}
 {
-  <SEMICOLON>
+  token = <SEMICOLON>
+  {return new EmptyStatement(token.sourceStart,token.sourceEnd);}
 }
 
-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.
+/**
+ * used only by StatementExpressionList() which is used only by ForInit() and ForStatement()
  */
-{}
+Expression StatementExpression() :
 {
-  PreIncrementExpression()
-|
-  PreDecrementExpression()
+  final Expression expr;
+  final Token operator;
+}
+{
+  expr = PreIncDecExpression() {return expr;}
 |
-  PrimaryExpression()
-  [
-   <INCR>
-  |
-    <DECR>
-  |
-    AssignmentOperator() Expression()
+  expr = PrimaryExpression()
+  [ operator = <PLUS_PLUS> {return new PostfixedUnaryExpression(expr,
+                                                                OperatorIds.PLUS_PLUS,
+                                                                operator.sourceEnd);}
+  | operator = <MINUS_MINUS> {return new PostfixedUnaryExpression(expr,
+                                                                  OperatorIds.MINUS_MINUS,
+                                                                  operator.sourceEnd);}
   ]
+  {return expr;}
 }
 
-void SwitchStatement() :
-{}
+SwitchStatement SwitchStatement() :
+{
+  Expression variable;
+  final AbstractCase[] cases;
+  final Token switchToken,lparenToken,rparenToken;
+  int pos;
+}
 {
-  <SWITCH> <LPAREN> Expression() <RPAREN> <LBRACE>
-    ( SwitchLabel() ( BlockStatement() )* )*
-  <RBRACE>
+  switchToken = <SWITCH> {pos = switchToken.sourceEnd+1;}
+  try {
+    lparenToken = <LPAREN>
+    {pos = lparenToken.sourceEnd+1;}
+  } catch (ParseException e) {
+    errorMessage = "'(' expected after 'switch'";
+    errorLevel   = ERROR;
+    errorStart = pos;
+    errorEnd   = pos;
+    processParseExceptionDebug(e);
+  }
+  try {
+    variable = Expression() {pos = variable.sourceEnd+1;}
+  } catch (ParseException e) {
+    if (errorMessage != null) {
+      throw e;
+    }
+    errorMessage = "expression expected";
+    errorLevel   = ERROR;
+    errorStart = pos;
+    errorEnd   = pos;
+    processParseExceptionDebug(e);
+    variable = new ConstantIdentifier(SYNTAX_ERROR_CHAR,pos,pos);
+  }
+  try {
+    rparenToken = <RPAREN> {pos = rparenToken.sourceEnd+1;}
+  } catch (ParseException e) {
+    errorMessage = "')' expected";
+    errorLevel   = ERROR;
+    errorStart = pos;
+    errorEnd   = pos;
+    processParseExceptionDebug(e);
+  }
+  (  cases = switchStatementBrace()
+   | cases = switchStatementColon(switchToken.sourceStart, switchToken.sourceEnd))
+  {return new SwitchStatement(variable,
+                              cases,
+                              switchToken.sourceStart,
+                              PHPParser.token.sourceEnd);}
 }
 
-void SwitchLabel() :
-{}
+AbstractCase[] switchStatementBrace() :
 {
-  <CASE> Expression() <COLON>
-|
-  <_DEFAULT> <COLON>
+  AbstractCase cas;
+  final ArrayList cases = new ArrayList();
+  Token token;
+  int pos;
+}
+{
+  token = <LBRACE> {pos = token.sourceEnd;}
+ ( cas = switchLabel0() {cases.add(cas);pos = cas.sourceEnd;})*
+  try {
+    token = <RBRACE>
+    {pos = token.sourceEnd;}
+  } catch (ParseException e) {
+    errorMessage = "'}' expected";
+    errorLevel   = ERROR;
+    errorStart = pos+1;
+    errorEnd   = pos+1;
+    processParseExceptionDebug(e);
+  }
+  {
+    final AbstractCase[] abcase = new AbstractCase[cases.size()];
+    cases.toArray(abcase);
+    return abcase;
+  }
 }
 
-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 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();
+  Token token;
+  int pos;
+}
+{
+  token = <COLON> {pos = token.sourceEnd;}
+  {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);pos = cas.sourceEnd;})*
+  try {
+    token = <ENDSWITCH> {pos = token.sourceEnd;}
+  } catch (ParseException e) {
+    errorMessage = "'endswitch' expected";
+    errorLevel   = ERROR;
+    errorStart = pos+1;
+    errorEnd   = pos+1;
+    processParseExceptionDebug(e);
+  }
+  try {
+    token = <SEMICOLON> {pos = token.sourceEnd;}
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'endswitch' keyword";
+    errorLevel   = ERROR;
+    errorStart = pos+1;
+    errorEnd   = pos+1;
+    processParseExceptionDebug(e);
+  }
+  {
+    final AbstractCase[] abcase = new AbstractCase[cases.size()];
+    cases.toArray(abcase);
+    return abcase;
+  }
+}
+
+AbstractCase switchLabel0() :
+{
+  final Expression expr;
+  Statement statement;
+  final ArrayList stmts = new ArrayList();
+  final Token token = PHPParser.token;
+  final int start = PHPParser.token.next.sourceStart;
+}
 {
-  <IF> Condition("if") Statement() ( LOOKAHEAD(1) ElseIfStatement() )* [ LOOKAHEAD(1) <ELSE> Statement() ]
+  expr = SwitchLabel()
+  ( statement = BlockStatementNoBreak() {stmts.add(statement);}
+  | statement = htmlBlock()             {if (statement != null) {stmts.add(statement);}}
+  | statement = BreakStatement()        {stmts.add(statement);})*
+  //[ statement = BreakStatement()        {stmts.add(statement);}]
+  {
+    final int listSize = stmts.size();
+    final Statement[] stmtsArray = new Statement[listSize];
+    stmts.toArray(stmtsArray);
+    if (expr == null) {//it's a default
+      final int end = PHPParser.token.next.sourceStart;
+      return new DefaultCase(stmtsArray,start,end);
+    }
+    if (listSize != 0) {
+      return new Case(expr,stmtsArray,expr.sourceStart,stmtsArray[listSize-1].sourceEnd);
+    } else {
+      return new Case(expr,stmtsArray,expr.sourceStart,expr.sourceEnd);
+    }
+  }
 }
 
-void Condition(String keyword) :
-{}
+/**
+ * A SwitchLabel.
+ * case Expression() :
+ * default :
+ * @return the if it was a case and null if not
+ */
+Expression SwitchLabel() :
+{
+  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 = token.sourceEnd +1;
+    errorEnd   = token.sourceEnd +1;
+    throw e;
+  }
+  try {
+    token = <COLON>
+  } catch (ParseException e) {
+    errorMessage = "':' expected after case expression";
+    errorLevel   = ERROR;
+    errorStart = expr.sourceEnd+1;
+    errorEnd   = expr.sourceEnd+1;
+    processParseExceptionDebug(e);
+  }
+  {return expr;}
+|
+  token = <_DEFAULT>
+  try {
+    <COLON>
+  } catch (ParseException e) {
+    errorMessage = "':' expected after 'default' keyword";
+    errorLevel   = ERROR;
+    errorStart = token.sourceEnd+1;
+    errorEnd   = token.sourceEnd+1;
+    processParseExceptionDebug(e);
+  }
+  {return null;}
+}
+
+Break BreakStatement() :
+{
+  Expression expression = null;
+  final Token token, token2;
+  int pos;
+}
+{
+  token = <BREAK> {pos = token.sourceEnd+1;}
+  [ expression = Expression() {pos = expression.sourceEnd+1;}]
+  try {
+    token2 = <SEMICOLON>
+    {pos = token2.sourceEnd;}
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'break' keyword";
+    errorLevel   = ERROR;
+    errorStart = pos;
+    errorEnd   = pos;
+    processParseExceptionDebug(e);
+  }
+  {return new Break(expression, token.sourceStart, pos);}
+}
+
+IfStatement IfStatement() :
+{
+  final Expression condition;
+  final IfStatement ifStatement;
+  Token token;
+}
+{
+  token = <IF> condition = Condition("if")
+  ifStatement = IfStatement0(condition,token.sourceStart,token.sourceEnd)
+  {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 = PHPParser.token.sourceEnd + 1;
+    errorEnd   = PHPParser.token.sourceEnd + 1;
+    processParseExceptionDebug(e);
   }
-  Expression()
+  condition = Expression()
   try {
      <RPAREN>
   } catch (ParseException e) {
     errorMessage = "')' expected after " + keyword + " keyword";
     errorLevel   = ERROR;
+    errorStart = condition.sourceEnd+1;
+    errorEnd   = condition.sourceEnd+1;
+    processParseExceptionDebug(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() {if (statement != null) {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 = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
     throw e;
   }
+  try {
+    <SEMICOLON>
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'endif' keyword";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    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 = e.currentToken.sourceStart;
+      errorEnd   = e.currentToken.sourceEnd;
+      throw e;
+    }
+  ]
+  {
+    elseIfs = new ElseIf[elseIfList.size()];
+    elseIfList.toArray(elseIfs);
+    return new IfStatement(condition,
+                           stmt,
+                           elseIfs,
+                           elseStatement,
+                           pos,
+                           SimpleCharStream.getPosition());}
 }
 
-void ElseIfStatement() :
-{}
+ElseIf ElseIfStatementColon() :
+{
+  final Expression condition;
+  Statement statement;
+  final ArrayList list = new ArrayList();
+  final Token elseifToken;
+}
 {
-  <ELSEIF> Condition("elseif") Statement()
+  elseifToken = <ELSEIF> condition = Condition("elseif")
+  <COLON> (  statement = Statement() {list.add(statement);}
+           | statement = htmlBlock() {if (statement != null) {list.add(statement);}})*
+  {
+  final int sizeList = list.size();
+  final Statement[] stmtsArray = new Statement[sizeList];
+  list.toArray(stmtsArray);
+  return new ElseIf(condition,stmtsArray ,
+                    elseifToken.sourceStart,
+                    stmtsArray[sizeList-1].sourceEnd);}
 }
 
-void WhileStatement() :
-{}
+Else ElseStatementColon() :
+{
+  Statement statement;
+  final ArrayList list = new ArrayList();
+  final Token elseToken;
+}
 {
-  <WHILE> Condition("while") WhileStatement0()
+  elseToken = <ELSE> <COLON> (  statement = Statement() {list.add(statement);}
+                  | statement = htmlBlock() {if (statement != null) {list.add(statement);}})*
+  {
+  final int sizeList = list.size();
+  final Statement[] stmtsArray = new Statement[sizeList];
+  list.toArray(stmtsArray);
+  return new Else(stmtsArray,elseToken.sourceStart,stmtsArray[sizeList-1].sourceEnd);}
 }
 
-void WhileStatement0() :
-{}
+ElseIf ElseIfStatement() :
+{
+  final Expression condition;
+  //final Statement statement;
+  final Token elseifToken;
+  final Statement[] statement = new Statement[1];
+}
 {
-  <COLON> (Statement())* <ENDWHILE> (<SEMICOLON> | "?>")
+  elseifToken = <ELSEIF> condition = Condition("elseif") statement[0] = Statement()
+  {
+  return new ElseIf(condition,statement,elseifToken.sourceStart,statement[0].sourceEnd);}
+}
+
+WhileStatement WhileStatement() :
+{
+  final Expression condition;
+  final Statement action;
+  final Token whileToken;
+}
+{
+  whileToken = <WHILE>
+    condition = Condition("while")
+    action    = WhileStatement0(whileToken.sourceStart,whileToken.sourceEnd)
+    {return new WhileStatement(condition,action,whileToken.sourceStart,action.sourceEnd);}
+}
+
+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 = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    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 = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    throw e;
+  }
 |
-  Statement()
+  statement = Statement()
+  {return statement;}
 }
 
-void DoStatement() :
-{}
+DoStatement DoStatement() :
 {
-  <DO> Statement() <WHILE> Condition("while") (<SEMICOLON> | "?>")
+  final Statement action;
+  final Expression condition;
+  final Token token;
+  Token token2 = null;
+}
+{
+  token = <DO> action = Statement() <WHILE> condition = Condition("while")
+  try {
+    token2 = <SEMICOLON>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected";
+    errorLevel   = ERROR;
+    errorStart = condition.sourceEnd+1;
+    errorEnd   = condition.sourceEnd+1;
+    processParseExceptionDebug(e);
+  }
+  {
+    if (token2 == null) {
+      return new DoStatement(condition,action,token.sourceStart,condition.sourceEnd);
+    }
+    return new DoStatement(condition,action,token.sourceStart,token2.sourceEnd);
+  }
 }
 
-void ForStatement() :
-{}
+ForeachStatement ForeachStatement() :
 {
-  <FOR> <LPAREN> [ ForInit() ] <SEMICOLON> [ Expression() ] <SEMICOLON> [ ForUpdate() ] <RPAREN> Statement()
+  Statement statement = null;
+  Expression expression = null;
+  ArrayVariableDeclaration variable = null;
+  Token foreachToken;
+  Token lparenToken = null;
+  Token asToken = null;
+  Token rparenToken = null;
+  int pos;
 }
+{
+  foreachToken = <FOREACH>
+  try {
+    lparenToken = <LPAREN>
+    {pos = lparenToken.sourceEnd+1;}
+  } catch (ParseException e) {
+    errorMessage = "'(' expected after 'foreach' keyword";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    processParseExceptionDebug(e);
+    {pos = foreachToken.sourceEnd+1;}
+  }
+  try {
+    expression = Expression()
+    {pos = expression.sourceEnd+1;}
+  } catch (ParseException e) {
+    errorMessage = "variable expected";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    processParseExceptionDebug(e);
+  }
+  try {
+    asToken = <AS>
+    {pos = asToken.sourceEnd+1;}
+  } catch (ParseException e) {
+    errorMessage = "'as' expected";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    processParseExceptionDebug(e);
+  }
+  try {
+    variable = ArrayVariable()
+    {pos = variable.sourceEnd+1;}
+  } catch (ParseException e) {
+    if (errorMessage != null) throw e;
+    errorMessage = "variable expected";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    processParseExceptionDebug(e);
+  }
+  try {
+    rparenToken = <RPAREN>
+    {pos = rparenToken.sourceEnd+1;}
+  } catch (ParseException e) {
+    errorMessage = "')' expected after 'foreach' keyword";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    processParseExceptionDebug(e);
+  }
+  try {
+    statement = Statement()
+    {pos = statement.sourceEnd+1;}
+  } catch (ParseException e) {
+    if (errorMessage != null) throw e;
+    errorMessage = "statement expected";
+    errorLevel   = ERROR;
+    errorStart = e.currentToken.sourceStart;
+    errorEnd   = e.currentToken.sourceEnd;
+    processParseExceptionDebug(e);
+  }
+  {
+   return new ForeachStatement(expression,
+                               variable,
+                               statement,
+                               foreachToken.sourceStart,
+                               pos);}
 
-void ForInit() :
-{}
+}
+
+/**
+ * a for declaration.
+ * @return a node representing the for statement
+ */
+ForStatement ForStatement() :
+{
+final Token token,tokenEndFor,token2,tokenColon;
+int pos;
+Expression[] initializations = null;
+Expression condition = null;
+Expression[] increments = null;
+Statement action;
+final ArrayList list = new ArrayList();
+}
+{
+  token = <FOR>
+  try {
+    <LPAREN>
+  } catch (ParseException e) {
+    errorMessage = "'(' expected after 'for' keyword";
+    errorLevel   = ERROR;
+    errorStart = token.sourceEnd;
+    errorEnd   = token.sourceEnd +1;
+    processParseExceptionDebug(e);
+  }
+     [ initializations = ForInit() ] <SEMICOLON>
+     [ condition = Expression() ] <SEMICOLON>
+     [ increments = StatementExpressionList() ] <RPAREN>
+    (
+      action = Statement()
+      {return new ForStatement(initializations,
+                               condition,
+                               increments,
+                               action,
+                               token.sourceStart,
+                               action.sourceEnd);}
+    |
+      tokenColon = <COLON> {pos = tokenColon.sourceEnd+1;}
+      (action = Statement() {list.add(action);pos = action.sourceEnd+1;})*
+      {
+        try {
+        setMarker(fileToParse,
+                  "Ugly syntax detected, you should for () {...} instead of for (): ... endfor;",
+                  token.sourceStart,
+                  token.sourceEnd,
+                  INFO,
+                  "Line " + token.beginLine);
+        } catch (CoreException e) {
+          PHPeclipsePlugin.log(e);
+        }
+      }
+      try {
+        tokenEndFor = <ENDFOR>
+        {pos = tokenEndFor.sourceEnd+1;}
+      } catch (ParseException e) {
+        errorMessage = "'endfor' expected";
+        errorLevel   = ERROR;
+        errorStart = pos;
+        errorEnd   = pos;
+        processParseExceptionDebug(e);
+      }
+      try {
+        token2 = <SEMICOLON>
+        {pos = token2.sourceEnd+1;}
+      } catch (ParseException e) {
+        errorMessage = "';' expected after 'endfor' keyword";
+        errorLevel   = ERROR;
+        errorStart = pos;
+        errorEnd   = pos;
+        processParseExceptionDebug(e);
+      }
+      {
+      final Statement[] stmtsArray = new Statement[list.size()];
+      list.toArray(stmtsArray);
+      return new ForStatement(initializations,
+                              condition,
+                              increments,
+                              new Block(stmtsArray,
+                                        stmtsArray[0].sourceStart,
+                                        stmtsArray[stmtsArray.length-1].sourceEnd),
+                              token.sourceStart,
+                              pos);}
+    )
+}
+
+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 = Expression()   {list.add(expr);}
+  (<COMMA> Expression() {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 Token token;
+  Token token2 = null;
 }
-
-void ContinueStatement() :
-{}
 {
-  <CONTINUE> [ <IDENTIFIER> ] <SEMICOLON>
+  token = <CONTINUE> [ expr = Expression() ]
+  try {
+    token2 = <SEMICOLON>
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'continue' statement";
+    errorLevel   = ERROR;
+    if (expr == null) {
+      errorStart = token.sourceEnd+1;
+      errorEnd   = token.sourceEnd+1;
+    } else {
+      errorStart = expr.sourceEnd+1;
+      errorEnd   = expr.sourceEnd+1;
+    }
+    processParseExceptionDebug(e);
+  }
+  {
+    if (token2 == null) {
+      if (expr == null) {
+        return new Continue(expr,token.sourceStart,token.sourceEnd);
+      }
+      return new Continue(expr,token.sourceStart,expr.sourceEnd);
+    }
+    return new Continue(expr,token.sourceStart,token2.sourceEnd);
+  }
 }
 
-void ReturnStatement() :
-{}
+ReturnStatement ReturnStatement() :
 {
-  <RETURN> [ Expression() ] <SEMICOLON>
-}
\ No newline at end of file
+  Expression expr = null;
+  final Token token;
+  Token token2 = null;
+}
+{
+  token = <RETURN> [ expr = Expression() ]
+  try {
+    token2 = <SEMICOLON>
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'return' statement";
+    errorLevel   = ERROR;
+    if (expr == null) {
+      errorStart = token.sourceEnd+1;
+      errorEnd   = token.sourceEnd+1;
+    } else {
+      errorStart = expr.sourceEnd+1;
+      errorEnd   = expr.sourceEnd+1;
+    }
+    processParseExceptionDebug(e);
+  }
+  {
+    if (token2 == null) {
+      if (expr == null) {
+        return new ReturnStatement(expr,token.sourceStart,token.sourceEnd);
+      }
+      return new ReturnStatement(expr,token.sourceStart,expr.sourceEnd);
+    }
+    return new ReturnStatement(expr,token.sourceStart,token2.sourceEnd);
+  }
+}
+