First try for AST structure. A lot of things to change
[phpeclipse.git] / net.sourceforge.phpeclipse / src / test / PHPParser.jj
index e3b05cf..823b11e 100644 (file)
@@ -29,79 +29,146 @@ import org.eclipse.ui.texteditor.MarkerUtilities;
 import org.eclipse.jface.preference.IPreferenceStore;
 
 import java.util.Hashtable;
+import java.util.Enumeration;
+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.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.compiler.parser.PHPVarDeclaration;
-import net.sourceforge.phpdt.internal.compiler.parser.PHPReqIncDeclaration;
 
 /**
  * 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 final class PHPParser extends PHPParserSuperclass {
 
+  /** The file that is parsed. */
   private static IFile fileToParse;
 
-  /** The current segment */
-  private static PHPSegmentWithChildren currentSegment;
+  /** The current segment. */
+  private static OutlineableWithChildren currentSegment;
 
   private static final String PARSE_ERROR_STRING = "Parse error"; //$NON-NLS-1$
   private static final String PARSE_WARNING_STRING = "Warning"; //$NON-NLS-1$
-  PHPOutlineInfo outlineInfo;
+  static PHPOutlineInfo outlineInfo;
+
+  public static MethodDeclaration currentFunction;
+  private static boolean assigning;
+
+  /** 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;
+  /**
+   * The point where html starts.
+   * It will be used by the token manager to create HTMLCode objects
+   */
+  public static int htmlStart;
 
-  public final void setFileToParse(IFile fileToParse) {
+  //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 final void setFileToParse(final IFile fileToParse) {
     this.fileToParse = fileToParse;
   }
 
-  public PHPParser(IFile fileToParse) {
+  public PHPParser() {
+  }
+
+  public PHPParser(final IFile fileToParse) {
     this(new StringReader(""));
     this.fileToParse = fileToParse;
   }
 
-  public static final void phpParserTester(String strEval) throws CoreException, ParseException {
+  /**
+   * Reinitialize the parser.
+   */
+  private static final void init() {
+    nodes = new AstNode[AstStackIncrement];
+    nodePtr = -1;
+    htmlStart = 0;
+  }
+
+  /**
+   * Add an php node on the stack.
+   * @param node the node that will be added to the stack
+   */
+  private static final void pushOnAstNodes(AstNode node) {
+    try {
+      nodes[++nodePtr] = node;
+    } catch (IndexOutOfBoundsException e) {
+      int oldStackLength = nodes.length;
+      AstNode[] oldStack = nodes;
+      nodes = new AstNode[oldStackLength + AstStackIncrement];
+      System.arraycopy(oldStack, 0, nodes, 0, oldStackLength);
+      nodePtr = oldStackLength;
+      nodes[nodePtr] = node;
+    }
+  }
+
+  public static final void phpParserTester(final String strEval) throws CoreException, ParseException {
     PHPParserTokenManager.SwitchTo(PHPParserTokenManager.PHPPARSING);
-    StringReader stream = new StringReader(strEval);
+    final StringReader stream = new StringReader(strEval);
     if (jj_input_stream == null) {
       jj_input_stream = new SimpleCharStream(stream, 1, 1);
     }
     ReInit(new StringReader(strEval));
+    init();
     phpTest();
   }
 
-  public static final void htmlParserTester(String strEval) throws CoreException, ParseException {
-    StringReader stream = new StringReader(strEval);
+  public static final void htmlParserTester(final File fileName) throws CoreException, ParseException {
+    try {
+      final Reader stream = new FileReader(fileName);
+      if (jj_input_stream == null) {
+        jj_input_stream = new SimpleCharStream(stream, 1, 1);
+      }
+      ReInit(stream);
+      init();
+      phpFile();
+    } catch (FileNotFoundException e) {
+      e.printStackTrace();  //To change body of catch statement use Options | File Templates.
+    }
+  }
+
+  public static final void htmlParserTester(final String strEval) throws CoreException, ParseException {
+    final StringReader stream = new StringReader(strEval);
     if (jj_input_stream == null) {
       jj_input_stream = new SimpleCharStream(stream, 1, 1);
     }
     ReInit(stream);
+    init();
     phpFile();
   }
 
-  public final PHPOutlineInfo parseInfo(Object parent, String s) {
+  public final PHPOutlineInfo parseInfo(final Object parent, final String s) {
+    currentSegment = new PHPDocument(parent);
     outlineInfo = new PHPOutlineInfo(parent);
-    currentSegment = outlineInfo.getDeclarations();
-    StringReader stream = new StringReader(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();
+      //PHPeclipsePlugin.log(1,phpDocument.toString());
     } catch (ParseException e) {
       processParseException(e);
     }
@@ -117,6 +184,8 @@ public final class PHPParser extends PHPParserSuperclass {
     if (errorMessage == null) {
       PHPeclipsePlugin.log(e);
       errorMessage = "this exception wasn't handled by the parser please tell us how to reproduce it";
+      errorStart = jj_input_stream.getPosition();
+      errorEnd   = errorStart + 1;
     }
     setMarker(e);
     errorMessage = null;
@@ -124,15 +193,27 @@ public final class PHPParser extends PHPParserSuperclass {
 
   /**
    * Create marker for the parse error
+   * @param e the ParseException
    */
-  private static void setMarker(ParseException e) {
+  private static void setMarker(final ParseException e) {
     try {
-      setMarker(fileToParse,
-                errorMessage,
-                jj_input_stream.tokenBegin,
-                jj_input_stream.tokenBegin + e.currentToken.image.length(),
-                errorLevel,
-                "Line " + e.currentToken.beginLine);
+      if (errorStart == -1) {
+        setMarker(fileToParse,
+                  errorMessage,
+                  jj_input_stream.tokenBegin,
+                  jj_input_stream.tokenBegin + e.currentToken.image.length(),
+                  errorLevel,
+                  "Line " + e.currentToken.beginLine);
+      } else {
+        setMarker(fileToParse,
+                  errorMessage,
+                  errorStart,
+                  errorEnd,
+                  errorLevel,
+                  "Line " + e.currentToken.beginLine);
+        errorStart = -1;
+        errorEnd = -1;
+      }
     } catch (CoreException e2) {
       PHPeclipsePlugin.log(e2);
     }
@@ -141,12 +222,12 @@ public final class PHPParser extends PHPParserSuperclass {
   /**
    * Create markers according to the external parser output
    */
-  private static void createMarkers(String output, IFile file) throws CoreException {
+  private static void createMarkers(final String output, final IFile file) throws CoreException {
     // delete all markers
     file.deleteMarkers(IMarker.PROBLEM, false, 0);
 
     int indx = 0;
-    int brIndx = 0;
+    int brIndx;
     boolean flag = true;
     while ((brIndx = output.indexOf("<br />", indx)) != -1) {
       // newer php error output (tested with 4.2.3)
@@ -163,7 +244,10 @@ public final class PHPParser extends PHPParserSuperclass {
     }
   }
 
-  private static void scanLine(String output, IFile file, int indx, int brIndx) throws CoreException {
+  private static void scanLine(final String output,
+                               final IFile file,
+                               final int indx,
+                               final int brIndx) throws CoreException {
     String current;
     StringBuffer lineNumberBuffer = new StringBuffer(10);
     char ch;
@@ -201,12 +285,13 @@ public final class PHPParser extends PHPParserSuperclass {
     }
   }
 
-  public final void parse(String s) throws CoreException {
-    StringReader stream = new StringReader(s);
+  public final void parse(final String s) throws CoreException {
+    final StringReader stream = new StringReader(s);
     if (jj_input_stream == null) {
       jj_input_stream = new SimpleCharStream(stream, 1, 1);
     }
     ReInit(stream);
+    init();
     try {
       parse();
     } catch (ParseException e) {
@@ -218,15 +303,15 @@ public final 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
@@ -236,7 +321,19 @@ public final class PHPParser extends PHPParserSuperclass {
     }
   }
 
-  public static final void parse() throws ParseException {
+  /**
+   * Put a new html block in the stack.
+   */
+  public static final void createNewHTMLCode() {
+    final int currentPosition = SimpleCharStream.getPosition();
+    if (currentPosition == htmlStart) {
+      return;
+    }
+    final char[] chars = SimpleCharStream.currentBuffer.substring(htmlStart,currentPosition).toCharArray();
+    pushOnAstNodes(new HTMLCode(chars, htmlStart,currentPosition));
+  }
+
+  private static final void parse() throws ParseException {
          phpFile();
   }
 }
@@ -245,14 +342,17 @@ PARSER_END(PHPParser)
 
 <DEFAULT> TOKEN :
 {
-  <PHPSTART : "<?php" | "<?"> : PHPPARSING
+  <PHPSTARTSHORT : "<?">    {PHPParser.createNewHTMLCode();} : PHPPARSING
+| <PHPSTARTLONG  : "<?php"> {PHPParser.createNewHTMLCode();} : PHPPARSING
+| <PHPECHOSTART  : "<?=">   {PHPParser.createNewHTMLCode();} : PHPPARSING
 }
 
 <PHPPARSING> TOKEN :
 {
-  <PHPEND :"?>"> : DEFAULT
+  <PHPEND :"?>"> {PHPParser.htmlStart = SimpleCharStream.getPosition();} : DEFAULT
 }
 
+/* Skip any character if we are not in php mode */
 <DEFAULT> SKIP :
 {
  < ~[] >
@@ -260,7 +360,6 @@ PARSER_END(PHPParser)
 
 
 /* WHITE SPACE */
-
 <PHPPARSING> SKIP :
 {
   " "
@@ -271,11 +370,12 @@ PARSER_END(PHPParser)
 }
 
 /* COMMENTS */
-
-<PHPPARSING> MORE :
+<PHPPARSING> SPECIAL_TOKEN :
 {
   "//" : IN_SINGLE_LINE_COMMENT
 |
+  "#"  : IN_SINGLE_LINE_COMMENT
+|
   <"/**" ~["/"]> { input_stream.backup(1); } : IN_FORMAL_COMMENT
 |
   "/*" : IN_MULTI_LINE_COMMENT
@@ -286,7 +386,7 @@ PARSER_END(PHPParser)
   <SINGLE_LINE_COMMENT: "\n" | "\r" | "\r\n" > : PHPPARSING
 }
 
-<IN_SINGLE_LINE_COMMENT> TOKEN :
+<IN_SINGLE_LINE_COMMENT> SPECIAL_TOKEN :
 {
   <SINGLE_LINE_COMMENT_PHPEND : "?>" > : DEFAULT
 }
@@ -319,76 +419,103 @@ 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">
+| <STATIC             : "static">
+| <CLASSACCESS        : "->">
+| <STATICCLASSACCESS  : "::">
+| <ARRAYASSIGN        : "=>">
 }
 
 /* RESERVED WORDS AND LITERALS */
 
 <PHPPARSING> TOKEN :
 {
-  < BREAK: "break" >
-| < CASE: "case" >
-| < CONST: "const" >
-| < CONTINUE: "continue" >
-| < _DEFAULT: "default" >
-| < DO: "do" >
-| < EXTENDS: "extends" >
-| < FALSE: "false" >
-| < FOR: "for" >
-| < GOTO: "goto" >
-| < NEW: "new" >
-| < NULL: "null" >
-| < RETURN: "return" >
-| < SUPER: "super" >
-| < SWITCH: "switch" >
-| < THIS: "this" >
-| < TRUE: "true" >
-| < WHILE: "while" >
-| < ENDWHILE : "endwhile" >
-| <ENDIF : "endif" >
-| <ENDFOR : "endfor" >
-| <FOREACH : "foreach" >
-| <AS : "as" >
+  <CASE     : "case">
+| <CONST    : "const">
+| <CONTINUE : "continue">
+| <_DEFAULT : "default">
+| <DO       : "do">
+| <EXTENDS  : "extends">
+| <FOR      : "for">
+| <GOTO     : "goto">
+| <NEW      : "new">
+| <NULL     : "null">
+| <RETURN   : "return">
+| <SUPER    : "super">
+| <SWITCH   : "switch">
+| <THIS     : "this">
+| <TRUE     : "true">
+| <FALSE    : "false">
+| <WHILE    : "while">
+| <ENDWHILE : "endwhile">
+| <ENDSWITCH: "endswitch">
+| <ENDIF    : "endif">
+| <ENDFOR   : "endfor">
+| <FOREACH  : "foreach">
+| <AS       : "as" >
 }
 
 /* TYPES */
-
 <PHPPARSING> TOKEN :
 {
-  <STRING : "string">
-| <OBJECT : "object">
-| <BOOL : "bool">
+  <STRING  : "string">
+| <OBJECT  : "object">
+| <BOOL    : "bool">
 | <BOOLEAN : "boolean">
-| <REAL : "real">
-| <DOUBLE : "double">
-| <FLOAT : "float">
-| <INT : "int">
+| <REAL    : "real">
+| <DOUBLE  : "double">
+| <FLOAT   : "float">
+| <INT     : "int">
 | <INTEGER : "integer">
 }
 
+//Misc token
 <PHPPARSING> TOKEN :
 {
-  < _ORL : "OR" >
-| < _ANDL: "AND">
+  <AT                 : "@">
+| <DOLLAR             : "$">
+| <BANG               : "!">
+| <TILDE              : "~">
+| <HOOK               : "?">
+| <COLON              : ":">
 }
 
-/* LITERALS */
+/* OPERATORS */
+<PHPPARSING> TOKEN :
+{
+  <OR_OR              : "||">
+| <AND_AND            : "&&">
+| <INCR               : "++">
+| <DECR               : "--">
+| <PLUS               : "+">
+| <MINUS              : "-">
+| <STAR               : "*">
+| <SLASH              : "/">
+| <BIT_AND            : "&">
+| <BIT_OR             : "|">
+| <XOR                : "^">
+| <REMAINDER          : "%">
+| <LSHIFT             : "<<">
+| <RSIGNEDSHIFT       : ">>">
+| <RUNSIGNEDSHIFT     : ">>>">
+| <_ORL               : "OR">
+| <_ANDL              : "AND">
+}
 
+/* LITERALS */
 <PHPPARSING> TOKEN :
 {
   < INTEGER_LITERAL:
@@ -416,18 +543,18 @@ MORE :
 |    < STRING_1:
       "\""
       (
-        ~["\""]
-        |
-        "\\\""
+          ~["\"","{","}"]
+        | "\\\""
+        | "\\"
+        | "{" ~["\""] "}"
       )*
       "\""
     >
 |    < STRING_2:
       "'"
       (
-      ~["'"]
-       |
-       "\\'"
+         ~["'"]
+       | "\\'"
       )*
 
       "'"
@@ -436,8 +563,7 @@ MORE :
       "`"
       (
         ~["`"]
-      |
-        "\\`"
+      | "\\`"
       )*
       "`"
     >
@@ -466,104 +592,128 @@ MORE :
 
 <PHPPARSING> TOKEN :
 {
-  < LPAREN: "(" >
-| < RPAREN: ")" >
-| < LBRACE: "{" >
-| < RBRACE: "}" >
-| < LBRACKET: "[" >
-| < RBRACKET: "]" >
-| < SEMICOLON: ";" >
-| < COMMA: "," >
-| < DOT: "." >
+  <LPAREN    : "(">
+| <RPAREN    : ")">
+| <LBRACE    : "{">
+| <RBRACE    : "}">
+| <LBRACKET  : "[">
+| <RBRACKET  : "]">
+| <SEMICOLON : ";">
+| <COMMA     : ",">
+| <DOT       : ".">
 }
 
-/* OPERATORS */
 
+/* COMPARATOR */
 <PHPPARSING> TOKEN :
 {
-  <AT     : "@">
-| <DOLLAR : "$">
-| <ASSIGN: "=" >
-| <GT: ">" >
-| <LT: "<" >
-| <BANG: "!" >
-| <HOOK: "?" >
-| <COLON: ":" >
-| <EQ: "==" >
-| <LE: "<=" >
-| <GE: ">=" >
-| <NE: "!=" >
-| <DIF: "<>" >
-| <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: ">>=" >
-| <BANGDOUBLEEQUAL: "!==" >
-| <TRIPLEEQUAL: "===" >
-| <TILDEEQUAL: "~=" >
+  <GT                 : ">">
+| <LT                 : "<">
+| <EQUAL_EQUAL        : "==">
+| <LE                 : "<=">
+| <GE                 : ">=">
+| <NOT_EQUAL          : "!=">
+| <DIF                : "<>">
+| <BANGDOUBLEEQUAL    : "!==">
+| <TRIPLEEQUAL        : "===">
 }
 
+/* ASSIGNATION */
 <PHPPARSING> TOKEN :
 {
-  < DOLLAR_ID: <DOLLAR> <IDENTIFIER>  >
+  <ASSIGN             : "=">
+| <PLUSASSIGN         : "+=">
+| <MINUSASSIGN        : "-=">
+| <STARASSIGN         : "*=">
+| <SLASHASSIGN        : "/=">
+| <ANDASSIGN          : "&=">
+| <ORASSIGN           : "|=">
+| <XORASSIGN          : "^=">
+| <DOTASSIGN          : ".=">
+| <REMASSIGN          : "%=">
+| <TILDEEQUAL         : "~=">
+| <LSHIFTASSIGN       : "<<=">
+| <RSIGNEDSHIFTASSIGN : ">>=">
 }
 
-/*****************************************
- * THE JAVA LANGUAGE GRAMMAR STARTS HERE *
- *****************************************/
-
-/*
- * Program structuring syntax follows.
- */
+<PHPPARSING> TOKEN :
+{
+  < DOLLAR_ID: <DOLLAR> <IDENTIFIER>  >
+}
 
 void phpTest() :
 {}
 {
   Php()
   <EOF>
+  {PHPParser.createNewHTMLCode();}
 }
 
 void phpFile() :
 {}
 {
   try {
-  (<PHPSTART> Php()
+    (PhpBlock())*
+    <EOF>
+  } catch (TokenMgrError e) {
+    PHPeclipsePlugin.log(e);
+    errorStart   = SimpleCharStream.getPosition();
+    errorEnd     = errorStart + 1;
+    errorMessage = e.getMessage();
+    errorLevel   = ERROR;
+    throw generateParseException();
+  }
+}
+
+/**
+ * A php block is a <?= expression [;]?>
+ * or <?php somephpcode ?>
+ * or <? somephpcode ?>
+ */
+void PhpBlock() :
+{
+  final int start = jj_input_stream.getPosition();
+}
+{
+  phpEchoBlock()
+|
+  [ <PHPSTARTLONG>
+    | <PHPSTARTSHORT>
+    {try {
+      setMarker(fileToParse,
+                "You should use '<?php' instead of '<?' it will avoid some problems with XML",
+                start,
+                jj_input_stream.getPosition(),
+                INFO,
+                "Line " + token.beginLine);
+    } catch (CoreException e) {
+      PHPeclipsePlugin.log(e);
+    }}
+  ]
+  Php()
   try {
     <PHPEND>
   } catch (ParseException e) {
     errorMessage = "'?>' expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
-    )*
-  <EOF>
-  } catch (TokenMgrError e) {
-    errorMessage = e.getMessage();
-    errorLevel   = ERROR;
-    throw generateParseException();
-  }
+}
+
+PHPEchoBlock phpEchoBlock() :
+{
+  final Expression expr;
+  final int pos = SimpleCharStream.getPosition();
+  PHPEchoBlock echoBlock;
+}
+{
+  <PHPECHOSTART> expr = Expression() [ <SEMICOLON> ] <PHPEND>
+  {
+  echoBlock = new PHPEchoBlock(expr,pos,SimpleCharStream.getPosition());
+  pushOnAstNodes(echoBlock);
+  return echoBlock;}
 }
 
 void Php() :
@@ -572,64 +722,108 @@ void Php() :
   (BlockStatement())*
 }
 
-void ClassDeclaration() :
+ClassDeclaration ClassDeclaration() :
 {
-  PHPClassDeclaration classDeclaration;
-  Token className;
-  final int pos = jj_input_stream.bufpos;
+  final ClassDeclaration classDeclaration;
+  final Token className;
+  Token superclassName = null;
+  final int pos;
 }
 {
-  <CLASS> className = <IDENTIFIER> [ <EXTENDS> <IDENTIFIER> ]
-  {
-    if (currentSegment != null) {
-      classDeclaration = new PHPClassDeclaration(currentSegment,className.image,pos);
-      currentSegment.add(classDeclaration);
-      currentSegment = classDeclaration;
-    }
+  <CLASS>
+  try {
+    {pos = jj_input_stream.getPosition();}
+    className = <IDENTIFIER>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', identifier expected";
+    errorLevel   = ERROR;
+    errorStart   = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = jj_input_stream.getPosition() + 1;
+    throw e;
   }
-  ClassBody()
+  [
+    <EXTENDS>
+    try {
+      superclassName = <IDENTIFIER>
+    } catch (ParseException e) {
+      errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', identifier expected";
+      errorLevel   = ERROR;
+      errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+      errorEnd   = jj_input_stream.getPosition() + 1;
+      throw e;
+    }
+  ]
   {
-    if (currentSegment != null) {
-      currentSegment = (PHPSegmentWithChildren) currentSegment.getParent();
+    if (superclassName == null) {
+      classDeclaration = new ClassDeclaration(currentSegment,
+                                              className.image.toCharArray(),
+                                              superclassName.image.toCharArray(),
+                                              pos,
+                                              0);
+    } else {
+      classDeclaration = new ClassDeclaration(currentSegment,
+                                              className.image.toCharArray(),
+                                              pos,
+                                              0);
     }
+      currentSegment.add(classDeclaration);
+      currentSegment = classDeclaration;
   }
+  ClassBody(classDeclaration)
+  {currentSegment = (OutlineableWithChildren) currentSegment.getParent();
+   classDeclaration.sourceEnd = SimpleCharStream.getPosition();
+   pushOnAstNodes(classDeclaration);
+   return classDeclaration;}
 }
 
-void ClassBody() :
+void ClassBody(ClassDeclaration classDeclaration) :
 {}
 {
   try {
     <LBRACE>
   } catch (ParseException e) {
-    errorMessage = "'{' expected";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image + "', '{' expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
-  ( ClassBodyDeclaration() )*
+  ( ClassBodyDeclaration(classDeclaration) )*
   try {
     <RBRACE>
   } catch (ParseException e) {
-    errorMessage = "'var', 'function' or '}' expected";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', 'var', 'function' or '}' expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
 }
 
-void ClassBodyDeclaration() :
-{}
+/**
+ * A class can contain only methods and fields.
+ */
+void ClassBodyDeclaration(ClassDeclaration classDeclaration) :
 {
-  MethodDeclaration()
-|
-  FieldDeclaration()
+  MethodDeclaration method;
+  FieldDeclaration field;
+}
+{
+  method = MethodDeclaration() {classDeclaration.addMethod(method);}
+| field = FieldDeclaration()   {classDeclaration.addVariable(field);}
 }
 
-void FieldDeclaration() :
+/**
+ * A class field declaration : it's var VariableDeclarator() (, VariableDeclarator())*;.
+ */
+FieldDeclaration FieldDeclaration() :
 {
-  PHPVarDeclaration variableDeclaration;
+  VariableDeclaration variableDeclaration;
 }
 {
   <VAR> variableDeclaration = VariableDeclarator()
   {
+    outlineInfo.addVariable(new String(variableDeclaration.name));
     if (currentSegment != null) {
       currentSegment.add(variableDeclaration);
     }
@@ -645,1177 +839,1584 @@ void FieldDeclaration() :
   try {
     <SEMICOLON>
   } catch (ParseException e) {
-    errorMessage = "';' expected after variable declaration";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected after variable declaration";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
 }
 
-PHPVarDeclaration VariableDeclarator() :
+VariableDeclaration VariableDeclarator() :
 {
-  String varName;
-  String varValue = null;
-  final int pos = jj_input_stream.bufpos;
+  final String varName, varValue;
+  Expression initializer = null;
+  final int pos = jj_input_stream.getPosition();
 }
 {
   varName = VariableDeclaratorId()
   [
     <ASSIGN>
     try {
-      varValue = VariableInitializer()
+      initializer = VariableInitializer()
     } catch (ParseException e) {
       errorMessage = "Literal expression expected in variable initializer";
       errorLevel   = ERROR;
+      errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+      errorEnd   = jj_input_stream.getPosition() + 1;
       throw e;
     }
   ]
-  {
-    if (varValue == null) {
-      return new PHPVarDeclaration(currentSegment,varName,pos);
-    }
-    return new PHPVarDeclaration(currentSegment,varName,pos,varValue);
-  }
+  {return new VariableDeclaration(currentSegment,
+                                  varName.toCharArray(),
+                                  initializer,
+                                  pos);}
 }
 
+/**
+ * A Variable name.
+ * @return the variable name (with suffix)
+ */
 String VariableDeclaratorId() :
 {
   String expr;
+  Expression expression;
   final StringBuffer buff = new StringBuffer();
+  final int pos = SimpleCharStream.getPosition();
+  ConstantIdentifier ex;
 }
 {
   try {
-    expr = Variable()
-    {buff.append(expr);}
-    ( LOOKAHEAD(2) expr = VariableSuffix()
-    {buff.append(expr);}
+    expr = Variable()   {buff.append(expr);}
+    ( LOOKAHEAD(2)
+      {ex = new ConstantIdentifier(expr.toCharArray(),
+                                   pos,
+                                   SimpleCharStream.getPosition());}
+      expression = VariableSuffix(ex)
+      {buff.append(expression.toStringExpression());}
     )*
     {return buff.toString();}
   } catch (ParseException e) {
     errorMessage = "'$' expected for variable identifier";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
 }
 
 String Variable():
 {
-  String expr = null;
-  Token token;
+  final StringBuffer buff;
+  Expression expression = null;
+  final Token token;
+  final String expr;
 }
 {
-  token = <DOLLAR_ID> [<LBRACE> expr = Expression() <RBRACE>]
+  token = <DOLLAR_ID> [<LBRACE> expression = Expression() <RBRACE>]
   {
-    if (expr == null) {
-      return token.image;
+    if (expression == null && !assigning) {
+      return token.image.substring(1);
     }
-    return token + "{" + expr + "}";
+    buff = new StringBuffer(token.image);
+    buff.append('{');
+    buff.append(expression.toStringExpression());
+    buff.append('}');
+    return buff.toString();
   }
 |
   <DOLLAR> expr = VariableName()
-  {return "$" + expr;}
+  {return expr;}
 }
 
 String VariableName():
 {
-String expr = null;
-Token token;
+  final StringBuffer buff;
+  String expr = null;
+  Expression expression = null;
+  final Token token;
 }
 {
-  <LBRACE> expr = Expression() <RBRACE>
-  {return "{"+expr+"}";}
+  <LBRACE> expression = Expression() <RBRACE>
+  {buff = new StringBuffer('{');
+   buff.append(expression.toStringExpression());
+   buff.append('}');
+   return buff.toString();}
 |
-  token = <IDENTIFIER> [<LBRACE> expr = Expression() <RBRACE>]
+  token = <IDENTIFIER> [<LBRACE> expression = Expression() <RBRACE>]
   {
-    if (expr == null) {
+    if (expression == null) {
       return token.image;
     }
-    return token + "{" + expr + "}";
+    buff = new StringBuffer(token.image);
+    buff.append('{');
+    buff.append(expression.toStringExpression());
+    buff.append('}');
+    return buff.toString();
   }
 |
   <DOLLAR> expr = VariableName()
-  {return "$" + expr;}
-|
-  token = <DOLLAR_ID> [expr = VariableName()]
   {
-  if (expr == null) {
-    return token.image;
-  }
-  return token.image + expr;
+    buff = new StringBuffer('$');
+    buff.append(expr);
+    return buff.toString();
   }
+|
+  token = <DOLLAR_ID> {return token.image;}
 }
 
-String VariableInitializer() :
+Expression VariableInitializer() :
 {
-  String expr;
-  Token token;
+  final Expression expr;
+  final Token token;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
   expr = Literal()
   {return expr;}
 |
   <MINUS> (token = <INTEGER_LITERAL> | token = <FLOATING_POINT_LITERAL>)
-  {return "-" + token.image;}
+  {return new PrefixedUnaryExpression(new NumberLiteral(token.image.toCharArray(),
+                                                        pos,
+                                                        SimpleCharStream.getPosition()),
+                                      OperatorIds.MINUS,
+                                      pos);}
 |
   <PLUS> (token = <INTEGER_LITERAL> | token = <FLOATING_POINT_LITERAL>)
-  {return "+" + token.image;}
+  {return new PrefixedUnaryExpression(new NumberLiteral(token.image.toCharArray(),
+                                                        pos,
+                                                        SimpleCharStream.getPosition()),
+                                      OperatorIds.PLUS,
+                                      pos);}
 |
   expr = ArrayDeclarator()
   {return expr;}
 |
   token = <IDENTIFIER>
-  {return token.image;}
+  {return new ConstantIdentifier(token.image.toCharArray(),pos,SimpleCharStream.getPosition());}
 }
 
-String ArrayVariable() :
+ArrayVariableDeclaration ArrayVariable() :
 {
-String expr;
-final StringBuffer buff = new StringBuffer();
+Expression expr;
+Expression expr2 = null;
 }
 {
-  expr = Expression()
-  {buff.append(expr);}
-   [<ARRAYASSIGN> expr = Expression()
-   {buff.append("=>").append(expr);}]
-  {return buff.toString();}
+  expr = Expression() [<ARRAYASSIGN> expr2 = Expression()]
+  {return new ArrayVariableDeclaration(expr,expr2);}
 }
 
-String ArrayInitializer() :
+ArrayVariableDeclaration[] ArrayInitializer() :
 {
-String expr = null;
-final StringBuffer buff = new StringBuffer("(");
+  ArrayVariableDeclaration expr;
+  final ArrayList list = new ArrayList();
 }
 {
   <LPAREN> [ expr = ArrayVariable()
-            {buff.append(expr);}
+            {list.add(expr);}
             ( LOOKAHEAD(2) <COMMA> expr = ArrayVariable()
-            {buff.append(",").append(expr);}
-            )* ]
+            {list.add(expr);}
+            )*
+           ]
+           [<COMMA> {list.add(null);}]
   <RPAREN>
-  {
-    buff.append(")");
-    return buff.toString();
-  }
+  {return (ArrayVariableDeclaration[]) list.toArray();}
 }
 
-void MethodDeclaration() :
+/**
+ * A Method Declaration.
+ * <b>function</b> MetodDeclarator() Block()
+ */
+MethodDeclaration MethodDeclaration() :
 {
-  PHPFunctionDeclaration functionDeclaration;
+  final MethodDeclaration functionDeclaration;
+  Token functionToken;
+  final Block block;
 }
 {
-  <FUNCTION> functionDeclaration = MethodDeclarator()
+  functionToken = <FUNCTION>
+  try {
+    functionDeclaration = MethodDeclarator()
+    {outlineInfo.addVariable(new String(functionDeclaration.name));}
+  } catch (ParseException e) {
+    if (errorMessage != null) {
+      throw e;
+    }
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', function identifier expected";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
   {
     if (currentSegment != null) {
       currentSegment.add(functionDeclaration);
       currentSegment = functionDeclaration;
     }
+    currentFunction = functionDeclaration;
   }
-  Block()
+  block = Block()
   {
+    functionDeclaration.statements = block.statements;
+    currentFunction = null;
     if (currentSegment != null) {
-      currentSegment = (PHPSegmentWithChildren) currentSegment.getParent();
+      currentSegment = (OutlineableWithChildren) currentSegment.getParent();
     }
+    return functionDeclaration;
   }
 }
 
-PHPFunctionDeclaration MethodDeclarator() :
+/**
+ * A MethodDeclarator.
+ * [&] IDENTIFIER(parameters ...).
+ * @return a function description for the outline
+ */
+MethodDeclaration MethodDeclarator() :
 {
-  Token identifier;
-  StringBuffer methodDeclaration = new StringBuffer();
-  String formalParameters;
-  final int pos = jj_input_stream.bufpos;
+  final Token identifier;
+  Token reference = null;
+  final Hashtable formalParameters;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  [ <BIT_AND> {methodDeclaration.append("&");} ]
+  [ reference = <BIT_AND> ]
   identifier = <IDENTIFIER>
-  {methodDeclaration.append(identifier);}
-    formalParameters = FormalParameters()
-  {
-    methodDeclaration.append(formalParameters);
-    return new PHPFunctionDeclaration(currentSegment,methodDeclaration.toString(),pos);
-  }
+  formalParameters = FormalParameters()
+  {return new MethodDeclaration(currentSegment,
+                                 identifier.image.toCharArray(),
+                                 formalParameters,
+                                 reference != null,
+                                 pos,
+                                 SimpleCharStream.getPosition());}
 }
 
-String FormalParameters() :
+/**
+ * FormalParameters follows method identifier.
+ * (FormalParameter())
+ */
+Hashtable FormalParameters() :
 {
   String expr;
   final StringBuffer buff = new StringBuffer("(");
+  VariableDeclaration var;
+  final Hashtable parameters = new Hashtable();
 }
 {
   try {
   <LPAREN>
   } catch (ParseException e) {
-    errorMessage = "Formal parameter expected after function identifier";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', '(' expected after function identifier";
     errorLevel   = ERROR;
-    jj_consume_token(token.kind);
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
   }
-            [ expr = FormalParameter()
-              {buff.append(expr);}
-            (
-                <COMMA> expr = FormalParameter()
-                {buff.append(",").append(expr);}
-            )*
+            [ var = FormalParameter()
+              {parameters.put(new String(var.name),var);}
+              (
+                <COMMA> var = FormalParameter()
+                {parameters.put(new String(var.name),var);}
+              )*
             ]
   try {
     <RPAREN>
   } catch (ParseException e) {
     errorMessage = "')' expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
- {
-  buff.append(")");
-  return buff.toString();
- }
+ {return parameters;}
 }
 
-String FormalParameter() :
+/**
+ * A formal parameter.
+ * $varname[=value] (,$varname[=value])
+ */
+VariableDeclaration FormalParameter() :
 {
-  PHPVarDeclaration variableDeclaration;
-  final StringBuffer buff = new StringBuffer();
+  final VariableDeclaration variableDeclaration;
+  Token token = null;
 }
 {
-  [<BIT_AND> {buff.append("&");}] variableDeclaration = VariableDeclarator()
+  [token = <BIT_AND>] variableDeclaration = VariableDeclarator()
   {
-    buff.append(variableDeclaration.toString());
-    return buff.toString();
-  }
-}
-
-String Type() :
-{}
-{
-  <STRING>
-  {return "string";}
-|
-  <BOOL>
-  {return "bool";}
-|
-  <BOOLEAN>
-  {return "boolean";}
-|
-  <REAL>
-  {return "real";}
-|
-  <DOUBLE>
-  {return "double";}
-|
-  <FLOAT>
-  {return "float";}
-|
-  <INT>
-  {return "int";}
-|
-  <INTEGER>
-  {return "integer";}
-|
-  <OBJECT>
-  {return "object";}
+    if (token != null) {
+      variableDeclaration.setReference(true);
+    }
+    return variableDeclaration;}
+}
+
+ConstantIdentifier Type() :
+{final int pos;}
+{
+  <STRING>             {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.STRING,
+                                        pos,pos-6);}
+| <BOOL>               {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.BOOL,
+                                        pos,pos-4);}
+| <BOOLEAN>            {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.BOOLEAN,
+                                        pos,pos-7);}
+| <REAL>               {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.REAL,
+                                        pos,pos-4);}
+| <DOUBLE>             {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.DOUBLE,
+                                        pos,pos-5);}
+| <FLOAT>              {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.FLOAT,
+                                        pos,pos-5);}
+| <INT>                {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.INT,
+                                        pos,pos-3);}
+| <INTEGER>            {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.INTEGER,
+                                        pos,pos-7);}
+| <OBJECT>             {pos = SimpleCharStream.getPosition();
+                        return new ConstantIdentifier(Types.OBJECT,
+                                        pos,pos-6);}
+}
+
+Expression Expression() :
+{
+  final Expression expr;
+}
+{
+  expr = PrintExpression()       {return expr;}
+| expr = ListExpression()        {return expr;}
+| LOOKAHEAD(varAssignation())
+  expr = varAssignation()        {return expr;}
+| expr = ConditionalExpression() {return expr;}
 }
 
-String Expression() :
+/**
+ * A Variable assignation.
+ * varName (an assign operator) any expression
+ */
+VarAssignation varAssignation() :
 {
-  String expr;
-  String assignOperator = null;
-  String expr2 = null;
+  String varName;
+  final Expression expression;
+  final int assignOperator;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  expr = PrintExpression()
-  {return expr;}
-|
-  expr = ConditionalExpression()
-  [
-    assignOperator = AssignmentOperator()
+  varName = VariableDeclaratorId()
+  assignOperator = AssignmentOperator()
     try {
-      expr2 = Expression()
+      expression = Expression()
     } catch (ParseException e) {
+      if (errorMessage != null) {
+        throw e;
+      }
       errorMessage = "expression expected";
       errorLevel   = ERROR;
+      errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+      errorEnd   = jj_input_stream.getPosition() + 1;
       throw e;
     }
-  ]
-  {
-    if (expr2 == null) {
-      return expr;
-    } else {
-      return expr + assignOperator + expr2;
-    }
-  }
+    {return new VarAssignation(varName.toCharArray(),
+                               expression,
+                               assignOperator,
+                               pos,
+                               SimpleCharStream.getPosition());}
 }
 
-String AssignmentOperator() :
+int AssignmentOperator() :
 {}
 {
-  <ASSIGN>
-{return "=";}
-| <STARASSIGN>
-{return "*=";}
-| <SLASHASSIGN>
-{return "/=";}
-| <REMASSIGN>
-{return "%=";}
-| <PLUSASSIGN>
-{return "+=";}
-| <MINUSASSIGN>
-{return "-=";}
-| <LSHIFTASSIGN>
-{return "<<=";}
-| <RSIGNEDSHIFTASSIGN>
-{return ">>=";}
-| <ANDASSIGN>
-{return "&=";}
-| <XORASSIGN>
-{return "|=";}
-| <ORASSIGN>
-{return "|=";}
-| <DOTASSIGN>
-{return ".=";}
-| <TILDEEQUAL>
-{return "~=";}
-}
-
-String ConditionalExpression() :
+  <ASSIGN>             {return VarAssignation.EQUAL;}
+| <STARASSIGN>         {return VarAssignation.STAR_EQUAL;}
+| <SLASHASSIGN>        {return VarAssignation.SLASH_EQUAL;}
+| <REMASSIGN>          {return VarAssignation.REM_EQUAL;}
+| <PLUSASSIGN>         {return VarAssignation.PLUS_EQUAL;}
+| <MINUSASSIGN>        {return VarAssignation.MINUS_EQUAL;}
+| <LSHIFTASSIGN>       {return VarAssignation.LSHIFT_EQUAL;}
+| <RSIGNEDSHIFTASSIGN> {return VarAssignation.RSIGNEDSHIFT_EQUAL;}
+| <ANDASSIGN>          {return VarAssignation.AND_EQUAL;}
+| <XORASSIGN>          {return VarAssignation.XOR_EQUAL;}
+| <ORASSIGN>           {return VarAssignation.OR_EQUAL;}
+| <DOTASSIGN>          {return VarAssignation.DOT_EQUAL;}
+| <TILDEEQUAL>         {return VarAssignation.TILDE_EQUAL;}
+}
+
+Expression ConditionalExpression() :
 {
-  String expr;
-  String expr2 = null;
-  String expr3 = null;
+  final Expression expr;
+  Expression expr2 = null;
+  Expression expr3 = null;
 }
 {
   expr = ConditionalOrExpression() [ <HOOK> expr2 = Expression() <COLON> expr3 = ConditionalExpression() ]
 {
   if (expr3 == null) {
     return expr;
-  } else {
-    return expr + "?" + expr2 + ":" + expr3;
   }
+  return new ConditionalExpression(expr,expr2,expr3);
 }
 }
 
-String ConditionalOrExpression() :
+Expression ConditionalOrExpression() :
 {
-  String expr;
-  Token operator;
-  String expr2 = null;
-  final 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;
-  final 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;
-  final 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;
-  final 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;
-  final 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() :
 {
-  final String expr;
-  String expr2 = null;
-  final StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
 }
 {
   expr = EqualityExpression()
-  {
-    buff.append(expr);
-  }
   (
     <BIT_AND> expr2 = EqualityExpression()
-  {
-    buff.append("&");
-    buff.append(expr2);
-  }
+    {expr = new BinaryExpression(expr,expr2,OperatorIds.AND);}
   )*
-  {
-    return buff.toString();
-  }
+  {return expr;}
 }
 
-String EqualityExpression() :
+Expression EqualityExpression() :
 {
-  String expr;
-  Token operator;
-  String expr2;
-  final StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
+  int operator;
 }
 {
   expr = RelationalExpression()
-  {buff.append(expr);}
   (
-  (   operator = <EQ>
-    | operator = <DIF>
-    | operator = <NE>
-    | operator = <BANGDOUBLEEQUAL>
-    | operator = <TRIPLEEQUAL>
+  (   <EQUAL_EQUAL>      {operator = OperatorIds.EQUAL_EQUAL;}
+    | <DIF>              {operator = OperatorIds.DIF;}
+    | <NOT_EQUAL>        {operator = OperatorIds.DIF;}
+    | <BANGDOUBLEEQUAL>  {operator = OperatorIds.BANG_EQUAL_EQUAL;}
+    | <TRIPLEEQUAL>      {operator = OperatorIds.EQUAL_EQUAL_EQUAL;}
   )
-  expr2 = RelationalExpression()
+  try {
+    expr2 = RelationalExpression()
+  } catch (ParseException e) {
+    if (errorMessage != null) {
+      throw e;
+    }
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', expression expected";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
   {
-    buff.append(operator.image);
-    buff.append(expr2);
+    expr = new BinaryExpression(expr,expr2,operator);
   }
   )*
-  {return buff.toString();}
+  {return expr;}
 }
 
-String RelationalExpression() :
+Expression RelationalExpression() :
 {
-  String expr;
-  Token operator;
-  String expr2;
-  final 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;
-  final StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
+  int operator;
 }
 {
   expr = AdditiveExpression()
-  {buff.append(expr);}
   (
-  (operator = <LSHIFT> | operator = <RSIGNEDSHIFT> | operator = <RUNSIGNEDSHIFT> ) expr = AdditiveExpression()
-  {
-    buff.append(operator.image);
-    buff.append(expr);
-  }
+  ( <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;
-  final StringBuffer buff = new StringBuffer();
+  Expression expr,expr2;
+  int operator;
 }
 {
   expr = MultiplicativeExpression()
-  {buff.append(expr);}
   (
-   ( operator = <PLUS> | operator = <MINUS> ) expr = MultiplicativeExpression()
-  {
-    buff.append(operator.image);
-    buff.append(expr);
-  }
+   ( <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;
-  final StringBuffer buff = new StringBuffer();}
+  Expression expr,expr2;
+  int operator;
+}
 {
-  expr = UnaryExpression()
-  {buff.append(expr);}
-  (
-  ( operator = <STAR> | operator = <SLASH> | operator = <REM> ) expr = UnaryExpression()
-  {
-    buff.append(operator.image);
-    buff.append(expr);
+  try {
+    expr = UnaryExpression()
+  } catch (ParseException e) {
+    if (errorMessage != null) {
+      throw e;
+    }
+    errorMessage = "unexpected token '"+e.currentToken.next.image+"'";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
   }
+  (
+   (  <STAR>      {operator = OperatorIds.MULTIPLY;}
+    | <SLASH>     {operator = OperatorIds.DIVIDE;}
+    | <REMAINDER> {operator = OperatorIds.REMAINDER;})
+    expr2 = UnaryExpression()
+    {expr = new BinaryExpression(expr,expr2,operator);}
   )*
-  {return buff.toString();}
+  {return expr;}
 }
 
 /**
  * An unary expression starting with @, & or nothing
  */
-String UnaryExpression() :
+Expression UnaryExpression() :
 {
-  String expr;
-  Token token;
-  final StringBuffer buff = new StringBuffer();
+  Expression expr;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  token = <BIT_AND> expr = UnaryExpressionNoPrefix()
-  {
-    if (token == null) {
-      return expr;
-    }
-    return token.image + expr;
-  }
+  <BIT_AND> expr = UnaryExpressionNoPrefix()
+  {return new PrefixedUnaryExpression(expr,OperatorIds.AND,pos);}
 |
-  (<AT> {buff.append("@");})* expr = UnaryExpressionNoPrefix()
-  {return buff.append(expr).toString();}
+  expr = AtUnaryExpression()
+  {return expr;}
 }
 
-String UnaryExpressionNoPrefix() :
+Expression AtUnaryExpression() :
 {
-  String expr;
-  Token token;
+  Expression expr;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  ( token = <PLUS> | token = <MINUS> ) expr = UnaryExpression()
-  {
-    return token.image + expr;
-  }
+  <AT>
+  expr = AtUnaryExpression()
+  {return new PrefixedUnaryExpression(expr,OperatorIds.AT,pos);}
 |
-  expr = PreIncrementExpression()
-  {return expr;}
-|
-  expr = PreDecrementExpression()
-  {return expr;}
-|
-  expr = UnaryExpressionNotPlusMinus()
+  expr = UnaryExpressionNoPrefix()
   {return expr;}
 }
 
 
-String PreIncrementExpression() :
+Expression UnaryExpressionNoPrefix() :
 {
-String expr;
+  Expression expr;
+  int operator;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  <INCR> expr = PrimaryExpression()
-  {return "++"+expr;}
+  (  <PLUS>  {operator = OperatorIds.PLUS;}
+   | <MINUS> {operator = OperatorIds.MINUS;})
+   expr = UnaryExpression()
+  {return new PrefixedUnaryExpression(expr,operator,pos);}
+|
+  expr = PreIncDecExpression()
+  {return expr;}
+|
+  expr = UnaryExpressionNotPlusMinus()
+  {return expr;}
 }
 
-String PreDecrementExpression() :
+
+Expression PreIncDecExpression() :
 {
-String expr;
+final Expression expr;
+final int operator;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  <DECR> expr = PrimaryExpression()
-  {return "--"+expr;}
+  (  <INCR> {operator = OperatorIds.PLUS_PLUS;}
+   | <DECR> {operator = OperatorIds.MINUS_MINUS;})
+   expr = PrimaryExpression()
+  {return new PrefixedUnaryExpression(expr,operator,pos);}
 }
 
-String UnaryExpressionNotPlusMinus() :
+Expression UnaryExpressionNotPlusMinus() :
 {
-  String expr;
+  Expression expr;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  <BANG> expr = UnaryExpression()
-  {return "!" + expr;}
-|
-  LOOKAHEAD( <LPAREN> Type() <RPAREN> )
-  expr = CastExpression()
-  {return expr;}
-|
-  expr = PostfixExpression()
-  {return expr;}
-|
-  expr = Literal()
+  <BANG> expr = UnaryExpression() {return new PrefixedUnaryExpression(expr,OperatorIds.NOT,pos);}
+| 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   = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
   {return expr;}
-|
-  <LPAREN> expr = Expression()<RPAREN>
-  {return "("+expr+")";}
 }
 
-String CastExpression() :
+CastExpression CastExpression() :
 {
-final String type, expr;
+final ConstantIdentifier type;
+final Expression expr;
+final int pos = SimpleCharStream.getPosition();
 }
 {
-  <LPAREN> type = Type() <RPAREN> expr = UnaryExpression()
-  {return "(" + type + ")" + expr;}
+  <LPAREN>
+  (type = Type()
+  | <ARRAY> {type = new ConstantIdentifier(Types.ARRAY,pos,SimpleCharStream.getPosition());})
+  <RPAREN> expr = UnaryExpression()
+  {return new CastExpression(type,expr,pos,SimpleCharStream.getPosition());}
 }
 
-String PostfixExpression() :
+Expression PostfixExpression() :
 {
-  String expr;
-  Token operator = null;
+  Expression expr;
+  int operator = -1;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  expr = PrimaryExpression() [ operator = <INCR> | operator = <DECR> ]
+  expr = PrimaryExpression()
+  [ <INCR> {operator = OperatorIds.PLUS_PLUS;}
+  | <DECR> {operator = OperatorIds.MINUS_MINUS;}]
   {
-    if (operator == null) {
+    if (operator == -1) {
       return expr;
     }
-    return expr + operator.image;
+    return new PostfixedUnaryExpression(expr,operator,pos);
   }
 }
 
-String PrimaryExpression() :
+Expression PrimaryExpression() :
 {
-  Token identifier;
-  String expr;
+  final Token identifier;
+  Expression expr;
   final StringBuffer buff = new StringBuffer();
+  final int pos = SimpleCharStream.getPosition();
 }
 {
   LOOKAHEAD(2)
   identifier = <IDENTIFIER> <STATICCLASSACCESS> expr = ClassIdentifier()
-  {buff.append(identifier.image).append("::").append(expr);}
-  (
-  expr = PrimarySuffix()
-  {buff.append(expr);}
-  )*
-  {return buff.toString();}
+  {expr = new ClassAccess(new ConstantIdentifier(identifier.image.toCharArray(),
+                                                 pos,
+                                                 SimpleCharStream.getPosition()),
+                          expr,
+                          ClassAccess.STATIC);}
+  (expr = PrimarySuffix(expr))*
+  {return expr;}
 |
-  expr = PrimaryPrefix()  {buff.append(expr);}
-  ( expr = PrimarySuffix()  {buff.append(expr);} )*
-  {return buff.toString();}
+  expr = PrimaryPrefix()
+  (expr = PrimarySuffix(expr))*
+  {return expr;}
 |
   expr = ArrayDeclarator()
-  {return "array" + expr;}
+  {return expr;}
 }
 
-String ArrayDeclarator() :
+ArrayInitializer ArrayDeclarator() :
 {
-  final String expr;
+  final ArrayVariableDeclaration[] vars;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  <ARRAY> expr = ArrayInitializer()
-  {return "array" + expr;}
+  <ARRAY> vars = ArrayInitializer()
+  {return new ArrayInitializer(vars,pos,SimpleCharStream.getPosition());}
 }
 
-String PrimaryPrefix() :
+Expression PrimaryPrefix() :
 {
-  String expr;
-  Token token = null;
+  final Expression expr;
+  final Token token;
+  final String var;
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  token = <IDENTIFIER>           {return new ConstantIdentifier(token.image.toCharArray(),
+                                                                pos,
+                                                                SimpleCharStream.getPosition());}
+| <NEW> expr = ClassIdentifier() {return new PrefixedUnaryExpression(expr,
+                                                                     OperatorIds.NEW,
+                                                                     pos);}
+| var = VariableDeclaratorId()  {return new ConstantIdentifier(var.toCharArray(),
+                                                               pos,
+                                                               SimpleCharStream.getPosition());}
+}
+
+PrefixedUnaryExpression classInstantiation() :
+{
+  Expression expr;
+  final StringBuffer buff;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  token = <IDENTIFIER>
-  {return token.image;}
-|
   <NEW> expr = ClassIdentifier()
-  {
-    return "new " + expr;
-  }
-|  
-  expr = VariableDeclaratorId()
-  {return expr;}
+  [
+    {buff = new StringBuffer(expr.toStringExpression());}
+    expr = PrimaryExpression()
+    {buff.append(expr.toStringExpression());
+    expr = new ConstantIdentifier(buff.toString().toCharArray(),
+                                  pos,
+                                  SimpleCharStream.getPosition());}
+  ]
+  {return new PrefixedUnaryExpression(expr,
+                                      OperatorIds.NEW,
+                                      pos);}
 }
 
-String ClassIdentifier():
+ConstantIdentifier ClassIdentifier():
 {
-  String expr;
-  Token token;
+  final String expr;
+  final Token token;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  token = <IDENTIFIER>
-  {return token.image;}
-|
-  expr = VariableDeclaratorId()
-  {return expr;}
+  token = <IDENTIFIER>          {return new ConstantIdentifier(token.image.toCharArray(),
+                                                               pos,
+                                                               SimpleCharStream.getPosition());}
+| expr = VariableDeclaratorId() {return new ConstantIdentifier(expr.toCharArray(),
+                                                               pos,
+                                                               SimpleCharStream.getPosition());}
 }
 
-String PrimarySuffix() :
+AbstractSuffixExpression PrimarySuffix(Expression prefix) :
 {
-  String expr;
+  final AbstractSuffixExpression expr;
 }
 {
-  expr = Arguments()
-  {return expr;}
-|
-  expr = VariableSuffix()
-  {return expr;}
+  expr = Arguments(prefix)      {return expr;}
+| expr = VariableSuffix(prefix) {return expr;}
 }
 
-String VariableSuffix() :
+AbstractSuffixExpression VariableSuffix(Expression prefix) :
 {
   String expr = null;
+  final int pos = SimpleCharStream.getPosition();
+  Expression expression = null;
 }
 {
-  <CLASSACCESS> expr = VariableName()
-  {return "->" + expr;}
-| 
-  <LBRACKET> [ expr = Expression() ]
+  <CLASSACCESS>
+  try {
+    expr = VariableName()
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', function call or field access expected";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
+  {return new ClassAccess(prefix,
+                          new ConstantIdentifier(expr.toCharArray(),pos,SimpleCharStream.getPosition()),
+                          ClassAccess.NORMAL);}
+|
+  <LBRACKET> [ expression = Expression() | expression = Type() ]  //Not good
   try {
     <RBRACKET>
   } catch (ParseException e) {
     errorMessage = "']' expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
-  {
-    if(expr == null) {
-      return "[]";
-    }
-    return "[" + expr + "]";
-  }
+  {return new ArrayDeclarator(prefix,expression,SimpleCharStream.getPosition());}
 }
 
-String Literal() :
+Literal Literal() :
 {
-  String expr;
-  Token token;
+  final Token token;
+  final int pos;
 }
 {
-  token = <INTEGER_LITERAL>
-  {return token.image;}
-|
-  token = <FLOATING_POINT_LITERAL>
-  {return token.image;}
-|
-  token = <STRING_LITERAL>
-  {return token.image;}
-|
-  expr = BooleanLiteral()
-  {return expr;}
-|
-  expr = NullLiteral()
-  {return expr;}
+  token = <INTEGER_LITERAL>        {pos = SimpleCharStream.getPosition();
+                                    return new NumberLiteral(token.image.toCharArray(),pos-token.image.length(),pos);}
+| token = <FLOATING_POINT_LITERAL> {pos = SimpleCharStream.getPosition();
+                                    return new NumberLiteral(token.image.toCharArray(),pos-token.image.length(),pos);}
+| token = <STRING_LITERAL>         {pos = SimpleCharStream.getPosition();
+                                    return new StringLiteral(token.image.toCharArray(),pos-token.image.length(),pos);}
+| <TRUE>                           {pos = SimpleCharStream.getPosition();
+                                    return new TrueLiteral(pos-4,pos);}
+| <FALSE>                          {pos = SimpleCharStream.getPosition();
+                                    return new FalseLiteral(pos-4,pos);}
+| <NULL>                           {pos = SimpleCharStream.getPosition();
+                                    return new NullLiteral(pos-4,pos);}
 }
 
-String BooleanLiteral() :
-{}
+FunctionCall Arguments(Expression func) :
 {
-  <TRUE>
-  {return "true";}
-|
-  <FALSE>
-  {return "false";}
+ArgumentDeclaration[] args = null;
 }
-
-String NullLiteral() :
-{}
 {
-  <NULL>
-  {return "null";}
-}
-
-String Arguments() :
-{
-String expr = null;
-}
-{
-  <LPAREN> [ expr = ArgumentList() ]
+  <LPAREN> [ args = ArgumentList() ]
   try {
     <RPAREN>
   } catch (ParseException e) {
-    errorMessage = "')' expected to close the argument list";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', ')' expected to close the argument list";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
-  {
-  if (expr == null) {
-    return "()";
-  }
-  return "(" + expr + ")";
-  }
+  {return new FunctionCall(func,args,SimpleCharStream.getPosition());}
 }
 
-String ArgumentList() :
+ArgumentDeclaration[] ArgumentList() :
 {
-String expr;
-final StringBuffer buff = new StringBuffer();
+Expression expr;
+final ArrayList list = new ArrayList();
 }
 {
   expr = Expression()
-  {buff.append(expr);}
+  {list.add(expr);}
   ( <COMMA>
       try {
         expr = Expression()
+        {list.add(expr);}
       } catch (ParseException e) {
-        errorMessage = "expression expected after a comma in argument list";
+        errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. An expression expected after a comma in argument list";
         errorLevel   = ERROR;
+        errorStart   = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+        errorEnd     = jj_input_stream.getPosition() + 1;
         throw e;
       }
-    {
-      buff.append(",").append("expr");
-    }
    )*
-   {return buff.toString();}
+   {return (ArgumentDeclaration[]) list.toArray();}
 }
 
-/*
- * Statement syntax follows.
+/**
+ * A Statement without break.
  */
-
-void Statement() :
-{}
+Statement StatementNoBreak() :
+{
+  final Statement statement;
+  Token token = null;
+}
 {
   LOOKAHEAD(2)
-  Expression()
+  statement = Expression()
   try {
-    (<SEMICOLON> | "?>")
+    <SEMICOLON>
   } catch (ParseException e) {
-    errorMessage = "';' expected";
-    errorLevel   = ERROR;
-    throw e;
+    if (e.currentToken.next.kind != 4) {
+      errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected";
+      errorLevel   = ERROR;
+      errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+      errorEnd   = jj_input_stream.getPosition() + 1;
+      throw e;
+    }
   }
-|
-  LOOKAHEAD(2)
-  LabeledStatement()
-|
-  Block()
-|
-  EmptyStatement()
-|
-  StatementExpression()
+  {return statement;}
+| LOOKAHEAD(2)
+  statement = LabeledStatement() {return statement;}
+| statement = Block()            {return statement;}
+| statement = EmptyStatement()   {return statement;}
+| statement = StatementExpression()
   try {
     <SEMICOLON>
   } catch (ParseException e) {
-    errorMessage = "';' expected after expression";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected";
     errorLevel   = ERROR;
+    errorStart   = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = jj_input_stream.getPosition() + 1;
     throw e;
   }
-|
-  SwitchStatement()
-|
-  IfStatement()
-|
-  WhileStatement()
-|
-  DoStatement()
-|
-  ForStatement()
-|
-  ForeachStatement()
-|
-  BreakStatement()
-|
-  ContinueStatement()
-|
-  ReturnStatement()
-|
-  EchoStatement()
-|
-  [<AT>] IncludeStatement()
-|
-  StaticStatement()
-|
-  GlobalStatement()
+  {return statement;}
+| statement = SwitchStatement()         {return statement;}
+| statement = IfStatement()             {return statement;}
+| statement = WhileStatement()          {return statement;}
+| statement = DoStatement()             {return statement;}
+| statement = ForStatement()            {return statement;}
+| statement = ForeachStatement()        {return statement;}
+| statement = ContinueStatement()       {return statement;}
+| statement = ReturnStatement()         {return statement;}
+| statement = EchoStatement()           {return statement;}
+| [token=<AT>] statement = IncludeStatement()
+  {if (token != null) {
+    ((InclusionStatement)statement).silent = true;
+  }
+  return statement;}
+| statement = StaticStatement()         {return statement;}
+| statement = GlobalStatement()         {return statement;}
 }
 
-void IncludeStatement() :
+/**
+ * A Normal statement.
+ */
+Statement Statement() :
 {
-  String expr;
-  final int pos = jj_input_stream.bufpos;
+  final Statement statement;
 }
 {
-  <REQUIRE>
-  expr = Expression()
-  {
-    if (currentSegment != null) {
-      currentSegment.add(new PHPReqIncDeclaration(currentSegment, "require",pos,expr));
-    }
-  }
+  statement = StatementNoBreak() {return statement;}
+| statement = BreakStatement()   {return statement;}
+}
+
+/**
+ * An html block inside a php syntax.
+ */
+HTMLBlock htmlBlock() :
+{
+  final int startIndex = nodePtr;
+  AstNode[] blockNodes;
+  int nbNodes;
+}
+{
+  <PHPEND> (phpEchoBlock())*
   try {
-    (<SEMICOLON> | "?>")
+    (<PHPSTARTLONG> | <PHPSTARTSHORT>)
   } catch (ParseException e) {
-    errorMessage = "';' expected";
+    errorMessage = "End of file unexpected, '<?php' expected";
     errorLevel   = ERROR;
+    errorStart   = jj_input_stream.getPosition();
+    errorEnd     = jj_input_stream.getPosition();
     throw e;
   }
-|
-  <REQUIRE_ONCE>
-  expr = Expression()
   {
-    if (currentSegment != null) {
-      currentSegment.add(new PHPReqIncDeclaration(currentSegment, "require_once",pos,expr));
+  nbNodes = nodePtr-startIndex;
+  blockNodes = new AstNode[nbNodes];
+  System.arraycopy(nodes,startIndex,blockNodes,0,nbNodes);
+  return new HTMLBlock(nodes);}
+}
+
+/**
+ * An include statement. It's "include" an expression;
+ */
+InclusionStatement IncludeStatement() :
+{
+  final Expression expr;
+  final Token token;
+  final int keyword;
+  final int pos = jj_input_stream.getPosition();
+  final InclusionStatement inclusionStatement;
+}
+{
+      (  <REQUIRE>      {keyword = InclusionStatement.REQUIRE;}
+       | <REQUIRE_ONCE> {keyword = InclusionStatement.REQUIRE_ONCE;}
+       | <INCLUDE>      {keyword = InclusionStatement.INCLUDE;}
+       | <INCLUDE_ONCE> {keyword = InclusionStatement.INCLUDE_ONCE;})
+  try {
+    expr = Expression()
+  } catch (ParseException e) {
+    if (errorMessage != null) {
+      throw e;
     }
+    errorMessage = "unexpected token '"+ e.currentToken.next.image+"', expression expected";
+    errorLevel   = ERROR;
+    errorStart   = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
+  {inclusionStatement = new InclusionStatement(currentSegment,
+                                               keyword,
+                                               expr,
+                                               pos);
+   currentSegment.add(inclusionStatement);
   }
   try {
-    (<SEMICOLON> | "?>")
+    <SEMICOLON>
   } catch (ParseException e) {
-    errorMessage = "';' expected";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected";
     errorLevel   = ERROR;
+    errorStart   = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = jj_input_stream.getPosition() + 1;
     throw e;
   }
-|
-  <INCLUDE>
-  expr = Expression()
-  {
-    if (currentSegment != null) {
-      currentSegment.add(new PHPReqIncDeclaration(currentSegment, "include",pos,expr));
-    }
-  }
+  {return inclusionStatement;}
+}
+
+PrintExpression PrintExpression() :
+{
+  final Expression expr;
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <PRINT> expr = Expression() {return new PrintExpression(expr,pos,SimpleCharStream.getPosition());}
+}
+
+ListExpression ListExpression() :
+{
+  String expr = null;
+  Expression expression = null;
+  ArrayList list = new ArrayList();
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <LIST>
   try {
-    (<SEMICOLON> | "?>")
+    <LPAREN>
   } catch (ParseException e) {
-    errorMessage = "';' expected";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', '(' expected";
     errorLevel   = ERROR;
+    errorStart   = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd     = jj_input_stream.getPosition() + 1;
     throw e;
   }
-|
-  <INCLUDE_ONCE>
-  expr = Expression()
-  {
-    if (currentSegment != null) {
-      currentSegment.add(new PHPReqIncDeclaration(currentSegment, "include_once",pos,expr));
+  [
+    expr = VariableDeclaratorId()
+    {list.add(expr);}
+  ]
+  {if (expr == null) list.add(null);}
+  (
+    try {
+      <COMMA>
+    } catch (ParseException e) {
+      errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', ',' expected";
+      errorLevel   = ERROR;
+      errorStart   = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+      errorEnd     = jj_input_stream.getPosition() + 1;
+      throw e;
     }
-  }
+    expr = VariableDeclaratorId()
+    {list.add(expr);}
+  )*
   try {
-    (<SEMICOLON> | "?>")
+    <RPAREN>
   } catch (ParseException e) {
-    errorMessage = "';' expected";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"', ')' expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
+  [ <ASSIGN> expression = Expression()
+    {return new ListExpression((String[]) list.toArray(),expression,pos,SimpleCharStream.getPosition());}]
+  {return new ListExpression((String[]) list.toArray(),null,pos,SimpleCharStream.getPosition());}
 }
 
-String PrintExpression() :
-{
-  final StringBuffer buff = new StringBuffer("print ");
-  String expr;
-}
+/**
+ * An echo statement.
+ * echo anyexpression (, otherexpression)*
+ */
+EchoStatement EchoStatement() :
 {
-  <PRINT> expr = Expression()
-  {
-    buff.append(expr);
-    return buff.toString();
-  }
+  final ArrayList expressions = new ArrayList();
+  Expression expr;
+  final int pos = SimpleCharStream.getPosition();
 }
-
-void EchoStatement() :
-{}
 {
-  <ECHO> Expression() (<COMMA> Expression())*
+  <ECHO> expr = Expression()
+  {expressions.add(expr);}
+  (
+    <COMMA> expr = Expression()
+    {expressions.add(expr);}
+  )*
   try {
-    (<SEMICOLON> | "?>")
+    <SEMICOLON>
+    {return new EchoStatement((Expression[]) expressions.toArray(),pos);}
   } catch (ParseException e) {
-    errorMessage = "';' expected after 'echo' statement";
-    errorLevel   = ERROR;
-    throw e;
+    if (e.currentToken.next.kind != 4) {
+      errorMessage = "';' expected after 'echo' statement";
+      errorLevel   = ERROR;
+      errorStart   = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+      errorEnd     = jj_input_stream.getPosition() + 1;
+      throw e;
+    }
   }
 }
 
-void GlobalStatement() :
-{}
+GlobalStatement GlobalStatement() :
+{
+   final int pos = jj_input_stream.getPosition();
+   String expr;
+   ArrayList vars = new ArrayList();
+   GlobalStatement global;
+}
 {
-  <GLOBAL> VariableDeclaratorId() (<COMMA> VariableDeclaratorId())*
+  <GLOBAL>
+    expr = VariableDeclaratorId()
+    {vars.add(expr);}
+  (<COMMA>
+    expr = VariableDeclaratorId()
+    {vars.add(expr);}
+  )*
   try {
-    (<SEMICOLON> | "?>")
+    <SEMICOLON>
+    {global = new GlobalStatement(currentSegment,
+                                  (String[]) vars.toArray(),
+                                  pos,
+                                  SimpleCharStream.getPosition());
+    currentSegment.add(global);
+    return global;}
   } catch (ParseException e) {
-    errorMessage = "';' expected";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. a ';' was expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
 }
 
-void StaticStatement() :
-{}
+StaticStatement StaticStatement() :
+{
+  final int pos = SimpleCharStream.getPosition();
+  final ArrayList vars = new ArrayList();
+  VariableDeclaration expr;
+}
 {
-  <STATIC> VariableDeclarator() (<COMMA> VariableDeclarator())*
+  <STATIC> expr = VariableDeclarator() {vars.add(new String(expr.name));}
+  (<COMMA> expr = VariableDeclarator() {vars.add(new String(expr.name));})*
   try {
-    (<SEMICOLON> | "?>")
+    <SEMICOLON>
+    {return new StaticStatement((String[])vars.toArray(),
+                                pos,
+                                SimpleCharStream.getPosition());}
   } catch (ParseException e) {
-    errorMessage = "';' expected";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. a ';' was expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
 }
 
-void LabeledStatement() :
-{}
+LabeledStatement LabeledStatement() :
+{
+  final int pos = SimpleCharStream.getPosition();
+  final Token label;
+  final Statement statement;
+}
 {
-  <IDENTIFIER> <COLON> Statement()
+  label = <IDENTIFIER> <COLON> statement = Statement()
+  {return new LabeledStatement(label.image.toCharArray(),statement,pos,SimpleCharStream.getPosition());}
 }
 
-void Block() :
-{}
+/**
+ * A Block is
+ * {
+ * statements
+ * }.
+ * @return a block
+ */
+Block Block() :
+{
+  final int pos = SimpleCharStream.getPosition();
+}
 {
   try {
     <LBRACE>
   } catch (ParseException e) {
     errorMessage = "'{' expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
+  ( BlockStatement() | htmlBlock())*
+  try {
+    <RBRACE>
+  } catch (ParseException e) {
+    errorMessage = "unexpected token : '"+ e.currentToken.image +"', '}' expected";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
-  ( BlockStatement() )*
-  <RBRACE>
 }
 
-void BlockStatement() :
-{}
+Statement BlockStatement() :
 {
-  Statement()
-|
-  ClassDeclaration()
-|
-  MethodDeclaration()
+  final Statement statement;
+}
+{
+  statement = Statement()         {return statement;}
+| statement = ClassDeclaration()  {return statement;}
+| statement = MethodDeclaration() {return statement;}
 }
 
-void LocalVariableDeclaration() :
-{}
+/**
+ * A Block statement that will not contain any 'break'
+ */
+Statement BlockStatementNoBreak() :
+{
+  final Statement statement;
+}
 {
-  VariableDeclarator() ( <COMMA> VariableDeclarator() )*
+  statement = StatementNoBreak()  {return statement;}
+| statement = ClassDeclaration()  {return statement;}
+| statement = MethodDeclaration() {return statement;}
 }
 
-void EmptyStatement() :
-{}
+VariableDeclaration[] LocalVariableDeclaration() :
+{
+  final ArrayList list = new ArrayList();
+  VariableDeclaration var;
+}
+{
+  var = LocalVariableDeclarator()
+  {list.add(var);}
+  ( <COMMA> var = LocalVariableDeclarator() {list.add(var);})*
+  {return (VariableDeclaration[]) list.toArray();}
+}
+
+VariableDeclaration LocalVariableDeclarator() :
+{
+  final String varName;
+  Expression init = null;
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  varName = VariableDeclaratorId() [ <ASSIGN> init = Expression() ]
+  {return new VariableDeclaration(varName.toCharArray(),init,pos);}
+}
+
+EmptyStatement EmptyStatement() :
+{
+  final int pos;
+}
 {
   <SEMICOLON>
+  {pos = SimpleCharStream.getPosition();
+   return new EmptyStatement(pos-1,pos);}
 }
 
-void StatementExpression() :
-{}
+Statement StatementExpression() :
 {
-  PreIncrementExpression()
-|
-  PreDecrementExpression()
+  Expression expr;
+}
+{
+  expr = PreIncDecExpression() {return expr;}
 |
-  PrimaryExpression()
-  [
-   <INCR>
-  |
-    <DECR>
-  |
-    AssignmentOperator() Expression()
-  ]
+  expr = PrimaryExpression()
+  [ <INCR> {expr = new PostfixedUnaryExpression(expr,
+                                                OperatorIds.PLUS_PLUS,
+                                                SimpleCharStream.getPosition());}
+  | <DECR> {expr = new PostfixedUnaryExpression(expr,
+                                                OperatorIds.MINUS_MINUS,
+                                                SimpleCharStream.getPosition());}
+  | AssignmentOperator() Expression() ]
 }
 
-void SwitchStatement() :
-{}
+SwitchStatement SwitchStatement() :
+{
+  final Expression variable;
+  final AbstractCase[] cases;
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <SWITCH>
+  try {
+    <LPAREN>
+  } catch (ParseException e) {
+    errorMessage = "'(' expected after 'switch'";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    variable = Expression()
+  } catch (ParseException e) {
+    if (errorMessage != null) {
+      throw e;
+    }
+    errorMessage = "expression expected";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    <RPAREN>
+  } catch (ParseException e) {
+    errorMessage = "')' expected";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
+  (cases = switchStatementBrace() | cases = switchStatementColon(pos, pos + 6))
+  {return new SwitchStatement(variable,cases,pos,SimpleCharStream.getPosition());}
+}
+
+AbstractCase[] switchStatementBrace() :
 {
-  <SWITCH> <LPAREN> Expression() <RPAREN> <LBRACE>
-    ( SwitchLabel() ( BlockStatement() )* )*
-  <RBRACE>
+  AbstractCase cas;
+  final ArrayList cases = new ArrayList();
+}
+{
+  <LBRACE>
+ ( cas = switchLabel0() {cases.add(cas);})*
+  try {
+    <RBRACE>
+    {return (AbstractCase[]) cases.toArray();}
+  } catch (ParseException e) {
+    errorMessage = "'}' expected";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
+}
+/**
+ * A Switch statement with : ... endswitch;
+ * @param start the begin offset of the switch
+ * @param end the end offset of the switch
+ */
+AbstractCase[] switchStatementColon(final int start, final int end) :
+{
+  AbstractCase cas;
+  final ArrayList cases = new ArrayList();
+}
+{
+  <COLON>
+  {try {
+  setMarker(fileToParse,
+            "Ugly syntax detected, you should switch () {...} instead of switch (): ... enswitch;",
+            start,
+            end,
+            INFO,
+            "Line " + token.beginLine);
+  } catch (CoreException e) {
+    PHPeclipsePlugin.log(e);
+  }}
+  ( cas = switchLabel0() {cases.add(cas);})*
+  try {
+    <ENDSWITCH>
+  } catch (ParseException e) {
+    errorMessage = "'endswitch' expected";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    <SEMICOLON>
+    {return (AbstractCase[]) cases.toArray();}
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'endswitch' keyword";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
 }
 
-void SwitchLabel() :
-{}
+AbstractCase switchLabel0() :
 {
-  <CASE> Expression() <COLON>
-|
-  <_DEFAULT> <COLON>
+  final Expression expr;
+  Statement statement;
+  final ArrayList stmts = new ArrayList();
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  expr = SwitchLabel()
+  ( statement = BlockStatementNoBreak() {stmts.add(statement);}
+  | statement = htmlBlock()             {stmts.add(statement);})*
+  [ statement = BreakStatement()        {stmts.add(statement);}]
+  {if (expr == null) {//it's a default
+    return new DefaultCase((Statement[]) stmts.toArray(),pos,SimpleCharStream.getPosition());
+  }
+  return new Case(expr,(Statement[]) stmts.toArray(),pos,SimpleCharStream.getPosition());}
 }
 
-void IfStatement() :
-/*
- * The disambiguating algorithm of JavaCC automatically binds dangling
- * else's to the innermost if statement.  The LOOKAHEAD specification
- * is to tell JavaCC that we know what we are doing.
+/**
+ * A SwitchLabel.
+ * case Expression() :
+ * default :
+ * @return the if it was a case and null if not
  */
+Expression SwitchLabel() :
+{
+  final Token token;
+  final Expression expr;
+}
 {
-  Token token;
-  final int pos = jj_input_stream.bufpos;
+  token = <CASE>
+  try {
+    expr = Expression()
+  } catch (ParseException e) {
+    if (errorMessage != null) throw e;
+    errorMessage = "expression expected after 'case' keyword";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
+  try {
+    <COLON>
+    {return expr;}
+  } catch (ParseException e) {
+    errorMessage = "':' expected after case expression";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
+|
+  token = <_DEFAULT>
+  try {
+    <COLON>
+    {return null;}
+  } catch (ParseException e) {
+    errorMessage = "':' expected after 'default' keyword";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
 }
+
+Break BreakStatement() :
 {
-  token = <IF> Condition("if") IfStatement0(pos,pos+token.image.length())
+  Expression expression = null;
+  final int start = SimpleCharStream.getPosition();
+}
+{
+  <BREAK> [ expression = Expression() ]
+  try {
+    <SEMICOLON>
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'break' keyword";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
+  {return new Break(expression, start, SimpleCharStream.getPosition());}
 }
 
-void Condition(String keyword) :
-{}
+IfStatement IfStatement() :
+{
+  final int pos = jj_input_stream.getPosition();
+  Expression condition;
+  IfStatement ifStatement;
+}
+{
+  <IF> condition = Condition("if") ifStatement = IfStatement0(condition, pos,pos+2)
+  {return ifStatement;}
+}
+
+
+Expression Condition(final String keyword) :
+{
+  final Expression condition;
+}
 {
   try {
     <LPAREN>
   } catch (ParseException e) {
     errorMessage = "'(' expected after " + keyword + " keyword";
     errorLevel   = ERROR;
-    throw e;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length();
+    errorEnd   = errorStart +1;
+    processParseException(e);
   }
-  Expression()
+  condition = Expression()
   try {
      <RPAREN>
+     {return condition;}
   } catch (ParseException e) {
     errorMessage = "')' expected after " + keyword + " keyword";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
 }
 
-void IfStatement0(int start,int end) :
+IfStatement IfStatement0(Expression condition, final int start,final int end) :
 {
+  Statement statement;
+  ElseIf elseifStatement;
+  Else elseStatement = null;
+  ArrayList stmts = new ArrayList();
+  ArrayList elseifs = new ArrayList();
+  int pos = SimpleCharStream.getPosition();
 }
 {
-  <COLON> (Statement())* (ElseIfStatementColon())* [ElseStatementColon()]
+  <COLON>
+  (  statement = Statement() {stmts.add(statement);}
+   | statement = htmlBlock() {stmts.add(statement);})*
+   (elseifStatement = ElseIfStatementColon() {elseifs.add(elseifStatement);})*
+   [elseStatement = ElseStatementColon()]
 
   {try {
   setMarker(fileToParse,
@@ -1832,50 +2433,111 @@ void IfStatement0(int start,int end) :
   } catch (ParseException e) {
     errorMessage = "'endif' expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
   try {
     <SEMICOLON>
+    {return new IfStatement(condition,
+                            (ElseIf[]) elseifs.toArray(),
+                            elseStatement,
+                            pos,
+                            SimpleCharStream.getPosition());}
   } catch (ParseException e) {
-    errorMessage = "';' expected 'endif' keyword";
+    errorMessage = "';' expected after 'endif' keyword";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
 |
-  Statement() ( LOOKAHEAD(1) ElseIfStatement() )* [ LOOKAHEAD(1) <ELSE> Statement() ]
+  (statement = Statement() | statement = htmlBlock())
+  {stmts.add(statement);}
+  ( LOOKAHEAD(1) elseifStatement = ElseIfStatement() {elseifs.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 = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+      errorEnd   = jj_input_stream.getPosition() + 1;
+      throw e;
+    }
+  ]
+  {return new IfStatement(condition,
+                          (ElseIf[]) elseifs.toArray(),
+                          elseStatement,
+                          pos,
+                          SimpleCharStream.getPosition());}
 }
 
-void ElseIfStatementColon() :
-{}
+ElseIf ElseIfStatementColon() :
 {
-  <ELSEIF> Condition("elseif") <COLON> (Statement())*
+  Expression condition;
+  Statement statement;
+  final ArrayList list = new ArrayList();
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <ELSEIF> condition = Condition("elseif")
+  <COLON> (  statement = Statement() {list.add(statement);}
+           | statement = htmlBlock() {list.add(statement);})*
+  {return new ElseIf(condition,(Statement[]) list.toArray(),pos,SimpleCharStream.getPosition());}
 }
 
-void ElseStatementColon() :
-{}
+Else ElseStatementColon() :
 {
-  <ELSE> <COLON> (Statement())*
+  Statement statement;
+  final ArrayList list = new ArrayList();
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <ELSE> <COLON> (  statement = Statement() {list.add(statement);}
+                  | statement = htmlBlock() {list.add(statement);})*
+  {return new Else((Statement[]) list.toArray(),pos,SimpleCharStream.getPosition());}
 }
 
-void ElseIfStatement() :
-{}
+ElseIf ElseIfStatement() :
 {
-  <ELSEIF> Condition("elseif") Statement()
+  Expression condition;
+  Statement statement;
+  final ArrayList list = new ArrayList();
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <ELSEIF> condition = Condition("elseif") statement = Statement() {list.add(statement);/*todo:do better*/}
+  {return new ElseIf(condition,(Statement[]) list.toArray(),pos,SimpleCharStream.getPosition());}
 }
 
-void WhileStatement() :
+WhileStatement WhileStatement() :
 {
-  Token token;
-  final int pos = jj_input_stream.bufpos;
+  final Expression condition;
+  final Statement action;
+  final int pos = SimpleCharStream.getPosition();
 }
 {
-  token = <WHILE> Condition("while") WhileStatement0(pos,pos + token.image.length())
+  <WHILE>
+    condition = Condition("while")
+    action    = WhileStatement0(pos,pos + 5)
+    {return new WhileStatement(condition,action,pos,SimpleCharStream.getPosition());}
 }
 
-void WhileStatement0(final int start, final int end) :
-{}
+Statement WhileStatement0(final int start, final int end) :
 {
-  <COLON> (Statement())*
+  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;",
@@ -1891,34 +2553,53 @@ void WhileStatement0(final int start, final int end) :
   } catch (ParseException e) {
     errorMessage = "'endwhile' expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
   try {
-    (<SEMICOLON> | "?>")
+    <SEMICOLON>
+    {return new Block((Statement[]) stmts.toArray(),pos,SimpleCharStream.getPosition());}
   } catch (ParseException e) {
     errorMessage = "';' expected after 'endwhile' keyword";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
 |
-  Statement()
+  statement = Statement()
+  {return statement;}
 }
 
-void DoStatement() :
-{}
+DoStatement DoStatement() :
+{
+  final Statement action;
+  final Expression condition;
+  final int pos = SimpleCharStream.getPosition();
+}
 {
-  <DO> Statement() <WHILE> Condition("while")
+  <DO> action = Statement() <WHILE> condition = Condition("while")
   try {
-    (<SEMICOLON> | "?>")
+    <SEMICOLON>
+    {return new DoStatement(condition,action,pos,SimpleCharStream.getPosition());}
   } catch (ParseException e) {
-    errorMessage = "';' expected";
+    errorMessage = "unexpected token : '"+ e.currentToken.next.image +"'. A ';' was expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
 }
 
-void ForeachStatement() :
-{}
+ForeachStatement ForeachStatement() :
+{
+  Statement statement;
+  Expression expression;
+  final StringBuffer buff = new StringBuffer();
+  final int pos = SimpleCharStream.getPosition();
+  ArrayVariableDeclaration variable;
+}
 {
   <FOREACH>
     try {
@@ -1926,13 +2607,17 @@ void ForeachStatement() :
   } catch (ParseException e) {
     errorMessage = "'(' expected after 'foreach' keyword";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
   try {
-    Variable()
+    expression = Expression()
   } catch (ParseException e) {
     errorMessage = "variable expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
   try {
@@ -1940,37 +2625,56 @@ void ForeachStatement() :
   } catch (ParseException e) {
     errorMessage = "'as' expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
   try {
-    Variable()
+    variable = ArrayVariable()
   } catch (ParseException e) {
     errorMessage = "variable expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
-  [ <ARRAYASSIGN> Expression() ]
   try {
     <RPAREN>
   } catch (ParseException e) {
     errorMessage = "')' expected after 'foreach' keyword";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
   try {
-  Statement()
+    statement = Statement()
   } catch (ParseException e) {
     if (errorMessage != null) throw e;
     errorMessage = "statement expected";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
+  {return new ForeachStatement(expression,
+                               variable,
+                               statement,
+                               pos,
+                               SimpleCharStream.getPosition());}
+
 }
 
-void ForStatement() :
+ForStatement ForStatement() :
 {
-Token token;
-final int pos = jj_input_stream.bufpos;
+final Token token;
+final int pos = SimpleCharStream.getPosition();
+Statement[] initializations = null;
+Expression condition = null;
+Statement[] increments = null;
+Statement action;
+final ArrayList list = new ArrayList();
+final int startBlock, endBlock;
 }
 {
   token = <FOR>
@@ -1979,13 +2683,20 @@ final int pos = jj_input_stream.bufpos;
   } catch (ParseException e) {
     errorMessage = "'(' expected after 'for' keyword";
     errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
     throw e;
   }
-     [ ForInit() ] <SEMICOLON> [ Expression() ] <SEMICOLON> [ ForUpdate() ] <RPAREN>
+     [ initializations = ForInit() ] <SEMICOLON>
+     [ condition = Expression() ] <SEMICOLON>
+     [ increments = StatementExpressionList() ] <RPAREN>
     (
-      Statement()
+      action = Statement()
+      {return new ForStatement(initializations,condition,increments,action,pos,SimpleCharStream.getPosition());}
     |
-      <COLON> (Statement())*
+      <COLON>
+      {startBlock = SimpleCharStream.getPosition();}
+      (action = Statement() {list.add(action);})*
       {
         try {
         setMarker(fileToParse,
@@ -1998,58 +2709,87 @@ final int pos = jj_input_stream.bufpos;
           PHPeclipsePlugin.log(e);
         }
       }
+      {endBlock = SimpleCharStream.getPosition();}
       try {
         <ENDFOR>
       } catch (ParseException e) {
         errorMessage = "'endfor' expected";
         errorLevel   = ERROR;
+        errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+        errorEnd   = jj_input_stream.getPosition() + 1;
         throw e;
       }
       try {
         <SEMICOLON>
+        {return new ForStatement(initializations,condition,increments,new Block((Statement[])list.toArray(),startBlock,endBlock),pos,SimpleCharStream.getPosition());}
       } catch (ParseException e) {
-        errorMessage = "';' expected 'endfor' keyword";
+        errorMessage = "';' expected after 'endfor' keyword";
         errorLevel   = ERROR;
+        errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+        errorEnd   = jj_input_stream.getPosition() + 1;
         throw e;
       }
     )
 }
 
-void ForInit() :
-{}
+Statement[] ForInit() :
+{
+  Statement[] statements;
+}
 {
   LOOKAHEAD(LocalVariableDeclaration())
-  LocalVariableDeclaration()
+  statements = LocalVariableDeclaration()
+  {return statements;}
 |
-  StatementExpressionList()
+  statements = StatementExpressionList()
+  {return statements;}
 }
 
-void StatementExpressionList() :
-{}
+Statement[] StatementExpressionList() :
 {
-  StatementExpression() ( <COMMA> StatementExpression() )*
+  final ArrayList list = new ArrayList();
+  Statement expr;
 }
-
-void ForUpdate() :
-{}
 {
-  StatementExpressionList()
+  expr = StatementExpression()   {list.add(expr);}
+  (<COMMA> StatementExpression() {list.add(expr);})*
+  {return (Statement[]) list.toArray();}
 }
 
-void BreakStatement() :
-{}
+Continue ContinueStatement() :
 {
-  <BREAK> [ <IDENTIFIER> ] <SEMICOLON>
+  Expression expr = null;
+  final int pos = SimpleCharStream.getPosition();
 }
-
-void ContinueStatement() :
-{}
 {
-  <CONTINUE> [ <IDENTIFIER> ] <SEMICOLON>
+  <CONTINUE> [ expr = Expression() ]
+  try {
+    <SEMICOLON>
+    {return new Continue(expr,pos,SimpleCharStream.getPosition());}
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'continue' statement";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
 }
 
-void ReturnStatement() :
-{}
+ReturnStatement ReturnStatement() :
 {
-  <RETURN> [ Expression() ] <SEMICOLON>
+  Expression expr = null;
+  final int pos = SimpleCharStream.getPosition();
+}
+{
+  <RETURN> [ expr = Expression() ]
+  try {
+    <SEMICOLON>
+    {return new ReturnStatement(expr,pos,SimpleCharStream.getPosition());}
+  } catch (ParseException e) {
+    errorMessage = "';' expected after 'return' statement";
+    errorLevel   = ERROR;
+    errorStart = jj_input_stream.getPosition() - e.currentToken.next.image.length() + 1;
+    errorEnd   = jj_input_stream.getPosition() + 1;
+    throw e;
+  }
 }
\ No newline at end of file