Organized imports
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / compiler / parser / Parser.java
index f668f45..50dc61f 100644 (file)
@@ -1,13 +1,15 @@
-/*******************************************************************************
- * Copyright (c) 2002 Klaus Hartlage - www.eclipseproject.de All rights
- * reserved. This program and the accompanying material are made available under
- * the terms of the Common Public License v1.0 which accompanies this
- * distribution, and is available at http://www.eclipse.org/legal/cpl-v10.html
+/***********************************************************************************************************************************
+ * Copyright (c) 2002 www.phpeclipse.de All rights reserved. This program and the accompanying material are made available under the
+ * terms of the Common Public License v1.0 which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/cpl-v10.html
  * 
- * Contributors: Klaus Hartlage - www.eclipseproject.de
- ******************************************************************************/
+ * Contributors: www.phpeclipse.de
+ **********************************************************************************************************************************/
 package net.sourceforge.phpdt.internal.compiler.parser;
+
 import java.util.ArrayList;
+import java.util.HashMap;
+import java.util.HashSet;
 
 import net.sourceforge.phpdt.core.compiler.CharOperation;
 import net.sourceforge.phpdt.core.compiler.ITerminalSymbols;
@@ -19,41 +21,78 @@ import net.sourceforge.phpdt.internal.compiler.lookup.TypeConstants;
 import net.sourceforge.phpdt.internal.compiler.problem.ProblemReporter;
 import net.sourceforge.phpdt.internal.compiler.problem.ProblemSeverities;
 import net.sourceforge.phpdt.internal.compiler.util.Util;
+import net.sourceforge.phpdt.internal.ui.util.PHPFileUtil;
 import net.sourceforge.phpeclipse.builder.IdentifierIndexManager;
+import net.sourceforge.phpeclipse.internal.compiler.ast.AND_AND_Expression;
+import net.sourceforge.phpeclipse.internal.compiler.ast.ASTNode;
 import net.sourceforge.phpeclipse.internal.compiler.ast.AbstractMethodDeclaration;
-import net.sourceforge.phpeclipse.internal.compiler.ast.AstNode;
+import net.sourceforge.phpeclipse.internal.compiler.ast.BinaryExpression;
+import net.sourceforge.phpeclipse.internal.compiler.ast.Block;
+import net.sourceforge.phpeclipse.internal.compiler.ast.BreakStatement;
 import net.sourceforge.phpeclipse.internal.compiler.ast.CompilationUnitDeclaration;
+import net.sourceforge.phpeclipse.internal.compiler.ast.ConditionalExpression;
+import net.sourceforge.phpeclipse.internal.compiler.ast.ContinueStatement;
+import net.sourceforge.phpeclipse.internal.compiler.ast.EqualExpression;
+import net.sourceforge.phpeclipse.internal.compiler.ast.Expression;
 import net.sourceforge.phpeclipse.internal.compiler.ast.FieldDeclaration;
+import net.sourceforge.phpeclipse.internal.compiler.ast.FieldReference;
+import net.sourceforge.phpeclipse.internal.compiler.ast.IfStatement;
 import net.sourceforge.phpeclipse.internal.compiler.ast.ImportReference;
+import net.sourceforge.phpeclipse.internal.compiler.ast.InstanceOfExpression;
 import net.sourceforge.phpeclipse.internal.compiler.ast.MethodDeclaration;
+import net.sourceforge.phpeclipse.internal.compiler.ast.OR_OR_Expression;
+import net.sourceforge.phpeclipse.internal.compiler.ast.OperatorIds;
+import net.sourceforge.phpeclipse.internal.compiler.ast.ReturnStatement;
 import net.sourceforge.phpeclipse.internal.compiler.ast.SingleTypeReference;
+import net.sourceforge.phpeclipse.internal.compiler.ast.Statement;
+import net.sourceforge.phpeclipse.internal.compiler.ast.StringLiteral;
+import net.sourceforge.phpeclipse.internal.compiler.ast.StringLiteralDQ;
+import net.sourceforge.phpeclipse.internal.compiler.ast.StringLiteralSQ;
 import net.sourceforge.phpeclipse.internal.compiler.ast.TypeDeclaration;
+import net.sourceforge.phpeclipse.internal.compiler.ast.TypeReference;
+import net.sourceforge.phpeclipse.ui.overlaypages.ProjectPrefUtil;
 
 import org.eclipse.core.resources.IFile;
-public class Parser //extends PHPParserSuperclass
-    implements ITerminalSymbols, CompilerModifiers, ParserBasicInformation {
-  //internal data for the automat
+import org.eclipse.core.resources.IProject;
+import org.eclipse.core.resources.IResource;
+import org.eclipse.core.runtime.IPath;
+
+public class Parser implements ITerminalSymbols, CompilerModifiers, ParserBasicInformation {
   protected final static int StackIncrement = 255;
+
   protected int stateStackTop;
-  protected int[] stack = new int[StackIncrement];
+
+  //  protected int[] stack = new int[StackIncrement];
+
   public int firstToken; // handle for multiple parsing goals
+
   public int lastAct; //handle for multiple parsing goals
-  protected RecoveredElement currentElement;
+
+  //  protected RecoveredElement currentElement;
+
   public static boolean VERBOSE_RECOVERY = false;
+
   protected boolean diet = false; //tells the scanner to jump over some
+
   // parts of the code/expressions like
   // method bodies
   //scanner token
   public Scanner scanner;
-  private ArrayList phpList;
-  private int currentPHPString;
-  private boolean phpEnd;
+
+  //  private ArrayList phpList;
+
+  //  private int currentPHPString;
+
+  //  private boolean phpEnd;
+
   // private static HashMap keywordMap = null;
   private String str;
+
   // current character
   //  char ch;
   // current token
   int token;
+
   // row counter for syntax errors:
   //int rowCount;
   // column counter for syntax errors:
@@ -62,42 +101,47 @@ public class Parser //extends PHPParserSuperclass
   //
   //   // current identifier
   //   String identifier;
-  Long longNumber;
-  Double doubleNumber;
-  private String stringValue;
+  //  Long longNumber;
+
+  //  Double doubleNumber;
+
+  //  private String stringValue;
+
   /** Contains the current expression. */
   // private StringBuffer expression;
   //private boolean phpMode;
   protected int modifiers;
+
   protected int modifiersSourceStart;
-//  protected IdentifierIndexManager indexManager;
-  
+
   protected Parser(ProblemReporter problemReporter) {
     this.problemReporter = problemReporter;
     this.options = problemReporter.options;
-    this.currentPHPString = 0;
+    //    this.currentPHPString = 0;
     //         PHPParserSuperclass.fileToParse = fileToParse;
-    this.phpList = null;
-//    this.indexManager = null;
+    //    this.phpList = null;
+    //    this.indexManager = null;
     this.str = "";
     this.token = TokenNameEOF;
     //    this.chIndx = 0;
     //    this.rowCount = 1;
     //    this.columnCount = 0;
-    this.phpEnd = false;
+    //    this.phpEnd = false;
     //   getNextToken();
     this.initializeScanner();
   }
+
   public void setFileToParse(IFile fileToParse) {
-    this.currentPHPString = 0;
+    //    this.currentPHPString = 0;
     //    PHPParserSuperclass.fileToParse = fileToParse;
-    this.phpList = null;
-//    this.indexManager = null;
+    //    this.phpList = null;
+    //    this.indexManager = null;
     this.str = "";
     this.token = TokenNameEOF;
-    this.phpEnd = false;
+    //    this.phpEnd = false;
     this.initializeScanner();
   }
+
   /**
    * ClassDeclaration Constructor.
    * 
@@ -113,24 +157,26 @@ public class Parser //extends PHPParserSuperclass
     //        keywordMap.put(PHP_KEYWORS[i], new Integer(PHP_KEYWORD_TOKEN[i]));
     //      }
     //    }
-    this.currentPHPString = 0;
+    //    this.currentPHPString = 0;
     //    PHPParserSuperclass.fileToParse = fileToParse;
-    this.phpList = null;
+    //    this.phpList = null;
     this.includesList = null;
     this.str = "";
     this.token = TokenNameEOF;
     //    this.chIndx = 0;
     //    this.rowCount = 1;
     //    this.columnCount = 0;
-    this.phpEnd = false;
+    //    this.phpEnd = false;
     //   getNextToken();
     this.initializeScanner();
   }
+
   public void initializeScanner() {
     this.scanner = new Scanner(false /* comment */, false /* whitespace */, this.options
         .getSeverity(CompilerOptions.NonExternalizedString) != ProblemSeverities.Ignore /* nls */, false, false,
-        this.options.taskTags/* taskTags */, this.options.taskPriorites/* taskPriorities */);
+        this.options.taskTags/* taskTags */, this.options.taskPriorites/* taskPriorities */, true/* isTaskCaseSensitive */);
   }
+
   /**
    * Create marker for the parse error
    */
@@ -139,8 +185,7 @@ public class Parser //extends PHPParserSuperclass
   //    setMarker(fileToParse, message, charStart, charEnd, errorLevel);
   //  }
   /**
-   * This method will throw the SyntaxError. It will add the good lines and
-   * columns to the Error
+   * This method will throw the SyntaxError. It will add the good lines and columns to the Error
    * 
    * @param error
    *          the error message
@@ -152,9 +197,9 @@ public class Parser //extends PHPParserSuperclass
     int problemEndPosition = scanner.getCurrentTokenEndPosition();
     throwSyntaxError(error, problemStartPosition, problemEndPosition + 1);
   }
+
   /**
-   * This method will throw the SyntaxError. It will add the good lines and
-   * columns to the Error
+   * This method will throw the SyntaxError. It will add the good lines and columns to the Error
    * 
    * @param error
    *          the error message
@@ -165,35 +210,33 @@ public class Parser //extends PHPParserSuperclass
   //    throw new SyntaxError(startRow, 0, " ", error);
   //  }
   private void throwSyntaxError(String error, int problemStartPosition, int problemEndPosition) {
-    problemReporter.phpParsingError(new String[]{error}, problemStartPosition, problemEndPosition, referenceContext,
-        compilationUnit.compilationResult);
+    if (referenceContext != null) {
+      problemReporter.phpParsingError(new String[] { error }, problemStartPosition, problemEndPosition, referenceContext,
+          compilationUnit.compilationResult);
+    }
     throw new SyntaxError(1, 0, " ", error);
   }
+
+  private void reportSyntaxError(String error) {
+    int problemStartPosition = scanner.getCurrentTokenStartPosition();
+    int problemEndPosition = scanner.getCurrentTokenEndPosition();
+    reportSyntaxError(error, problemStartPosition, problemEndPosition + 1);
+  }
+
   private void reportSyntaxError(String error, int problemStartPosition, int problemEndPosition) {
-    problemReporter.phpParsingError(new String[]{error}, problemStartPosition, problemEndPosition, referenceContext,
-        compilationUnit.compilationResult);
+    if (referenceContext != null) {
+      problemReporter.phpParsingError(new String[] { error }, problemStartPosition, problemEndPosition, referenceContext,
+          compilationUnit.compilationResult);
+    }
   }
+
   private void reportSyntaxWarning(String error, int problemStartPosition, int problemEndPosition) {
-    problemReporter.phpParsingWarning(new String[]{error}, problemStartPosition, problemEndPosition, referenceContext,
-        compilationUnit.compilationResult);
+    if (referenceContext != null) {
+      problemReporter.phpParsingWarning(new String[] { error }, problemStartPosition, problemEndPosition, referenceContext,
+          compilationUnit.compilationResult);
+    }
   }
-  /**
-   * Method Declaration.
-   * 
-   * @see
-   */
-  //  private void getChar() {
-  //    if (str.length() > chIndx) {
-  //      ch = str.charAt(chIndx++);
-  //
-  //      return;
-  //    }
-  //
-  //    chIndx = str.length() + 1;
-  //    ch = ' ';
-  //    // token = TokenNameEOF;
-  //    phpEnd = true;
-  //  }
+
   /**
    * gets the next token from input
    */
@@ -209,57 +252,79 @@ public class Parser //extends PHPParserSuperclass
     } catch (InvalidInputException e) {
       token = TokenNameERROR;
       String detailedMessage = e.getMessage();
-      
-      if (detailedMessage==Scanner.UNTERMINATED_STRING) {
+
+      if (detailedMessage == Scanner.UNTERMINATED_STRING) {
         throwSyntaxError("Unterminated string.");
-      } else if (detailedMessage==Scanner.UNTERMINATED_COMMENT) {
+      } else if (detailedMessage == Scanner.UNTERMINATED_COMMENT) {
         throwSyntaxError("Unterminated commment.");
       }
     }
     return;
   }
+
   public void init(String s) {
     this.str = s;
     this.token = TokenNameEOF;
+    this.includesList = new ArrayList();
     //    this.chIndx = 0;
     //    this.rowCount = 1;
     //    this.columnCount = 0;
-    this.phpEnd = false;
+    //    this.phpEnd = false;
     //    this.phpMode = false;
     /* scanner initialization */
     scanner.setSource(s.toCharArray());
     scanner.setPHPMode(false);
+    astPtr = 0;
   }
+
   protected void initialize(boolean phpMode) {
     initialize(phpMode, null);
   }
+
   protected void initialize(boolean phpMode, IdentifierIndexManager indexManager) {
     compilationUnit = null;
     referenceContext = null;
-    includesList = new ArrayList();
-//    this.indexManager = indexManager;
+    this.includesList = new ArrayList();
+    //    this.indexManager = indexManager;
     this.str = "";
     this.token = TokenNameEOF;
     //    this.chIndx = 0;
     //    this.rowCount = 1;
     //    this.columnCount = 0;
-    this.phpEnd = false;
+    //    this.phpEnd = false;
     //    this.phpMode = phpMode;
     scanner.setPHPMode(phpMode);
+    astPtr = 0;
   }
+
   /**
-   * Parses a string with php tags i.e. '<body> <?php phpinfo() ?>
-   * </body>'
+   * Parses a string with php tags i.e. '<body> <?php phpinfo() ?> </body>'
    */
   public void parse(String s) {
+    parse(s, null);
+  }
+
+  /**
+   * Parses a string with php tags i.e. '<body> <?php phpinfo() ?> </body>'
+   */
+  public void parse(String s, HashMap variables) {
+    fMethodVariables = variables;
+    fStackUnassigned = new ArrayList();
     init(s);
     parse();
   }
+
   /**
-   * Parses a string with php tags i.e. '<body> <?php phpinfo() ?>
-   * </body>'
+   * Parses a string with php tags i.e. '<body> <?php phpinfo() ?> </body>'
    */
   protected void parse() {
+    if (scanner.compilationUnit != null) {
+      IResource resource = scanner.compilationUnit.getResource();
+      if (resource != null && resource instanceof IFile) {
+        // set the package name
+        consumePackageDeclarationName((IFile) resource);
+      }
+    }
     getNextToken();
     do {
       try {
@@ -292,58 +357,96 @@ public class Parser //extends PHPParserSuperclass
         }
         break;
       } catch (SyntaxError sytaxErr1) {
-        // setMarker(sytaxErr1.getMessage(), sytaxErr1.getLine(),
-        // ERROR);
-        //        setMarker(sytaxErr1.getMessage(),
-        // scanner.getCurrentTokenStartPosition(),
-        // scanner.getCurrentTokenEndPosition(), ERROR);
-        try {
-          // if an error occured,
-          // try to find keywords 'class' or 'function'
-          // to parse the rest of the string
-          while (token != TokenNameEOF && token != TokenNameERROR) {
-            if (token == TokenNameabstract || token == TokenNamefinal || token == TokenNameclass || token == TokenNamefunction) {
-              break;
-            }
-            getNextToken();
-          }
-          if (token == TokenNameEOF || token == TokenNameERROR) {
-            break;
-          }
-        } catch (SyntaxError sytaxErr2) {
-          //    setMarker(sytaxErr2.getMessage(), sytaxErr2.getLine(),
-          // ERROR);
-          //          setMarker(sytaxErr2.getMessage(),
-          // scanner.getCurrentTokenStartPosition(),
-          // scanner.getCurrentTokenEndPosition(), ERROR);
-          break;
-        }
+        break;
+        //        // if an error occured,
+        //        // try to find keywords 'abstract' 'final' 'class' or 'function'
+        //        // to parse the rest of the string
+        //        boolean tokenize = scanner.tokenizeStrings;
+        //        if (!tokenize) {
+        //          scanner.tokenizeStrings = true;
+        //        }
+        //        try {
+        //          while (token != TokenNameEOF) {
+        //            if (token == TokenNameabstract || token == TokenNamefinal || token == TokenNameclass || token == TokenNamefunction) {
+        //              break;
+        //            }
+        //            getNextToken();
+        //          }
+        //          if (token == TokenNameEOF) {
+        //            break;
+        //          }
+        //        } catch (SyntaxError sytaxErr2) {
+        //          break;
+        //        } finally {
+        //          scanner.tokenizeStrings = tokenize;
+        //        }
       }
     } while (true);
 
     endParse(0);
   }
 
+  /**
+   * Parses a string with php tags i.e. '<body> <?php phpinfo() ?> </body>'
+   */
+  public void parseFunction(String s, HashMap variables) {
+    init(s);
+    scanner.phpMode = true;
+    parseFunction(variables);
+  }
+
+  /**
+   * Parses a string with php tags i.e. '<body> <?php phpinfo() ?> </body>'
+   */
+  protected void parseFunction(HashMap variables) {
+    getNextToken();
+    boolean hasModifiers = member_modifiers();
+    if (token == TokenNamefunction) {
+      if (!hasModifiers) {
+        checkAndSetModifiers(AccPublic);
+      }
+      this.fMethodVariables = variables;
+
+      MethodDeclaration methodDecl = new MethodDeclaration(null);
+      methodDecl.declarationSourceStart = scanner.getCurrentTokenStartPosition();
+      methodDecl.modifiers = this.modifiers;
+      methodDecl.type = MethodDeclaration.METHOD_DEFINITION;
+      try {
+        getNextToken();
+        functionDefinition(methodDecl);
+      } catch (SyntaxError sytaxErr1) {
+        return;
+      } finally {
+        int sourceEnd = methodDecl.sourceEnd;
+        if (sourceEnd <= 0 || methodDecl.declarationSourceStart > sourceEnd) {
+          sourceEnd = methodDecl.declarationSourceStart + 1;
+        }
+        methodDecl.sourceEnd = sourceEnd;
+        methodDecl.declarationSourceEnd = sourceEnd;
+      }
+    }
+  }
+
   protected CompilationUnitDeclaration endParse(int act) {
 
     this.lastAct = act;
 
-    if (currentElement != null) {
-      currentElement.topElement().updateParseTree();
-      if (VERBOSE_RECOVERY) {
-        System.out.print(Util.bind("parser.syntaxRecovery")); //$NON-NLS-1$
-        System.out.println("--------------------------"); //$NON-NLS-1$
-        System.out.println(compilationUnit);
-        System.out.println("----------------------------------"); //$NON-NLS-1$
-      }
-    } else {
-      if (diet & VERBOSE_RECOVERY) {
-        System.out.print(Util.bind("parser.regularParse")); //$NON-NLS-1$
-        System.out.println("--------------------------"); //$NON-NLS-1$
-        System.out.println(compilationUnit);
-        System.out.println("----------------------------------"); //$NON-NLS-1$
-      }
+    //    if (currentElement != null) {
+    //      currentElement.topElement().updateParseTree();
+    //      if (VERBOSE_RECOVERY) {
+    //        System.out.print(Util.bind("parser.syntaxRecovery")); //$NON-NLS-1$
+    //        System.out.println("--------------------------"); //$NON-NLS-1$
+    //        System.out.println(compilationUnit);
+    //        System.out.println("----------------------------------"); //$NON-NLS-1$
+    //      }
+    //    } else {
+    if (diet & VERBOSE_RECOVERY) {
+      System.out.print(Util.bind("parser.regularParse")); //$NON-NLS-1$
+      System.out.println("--------------------------"); //$NON-NLS-1$
+      System.out.println(compilationUnit);
+      System.out.println("----------------------------------"); //$NON-NLS-1$
     }
+    //    }
     if (scanner.recordLineSeparator) {
       compilationUnit.compilationResult.lineSeparatorPositions = scanner.getLineEnds();
     }
@@ -360,287 +463,141 @@ public class Parser //extends PHPParserSuperclass
     }
     return compilationUnit;
   }
-  //  public PHPOutlineInfo parseInfo(Object parent, String s) {
-  //    PHPOutlineInfo outlineInfo = new PHPOutlineInfo(parent);
-  //    // Stack stack = new Stack();
-  //    // stack.push(outlineInfo.getDeclarations());
-  //    this.str = s;
-  //    this.token = TokenNameEOF;
-  //    // this.chIndx = 0;
-  //    // this.rowCount = 1;
-  //    // this.columnCount = 0;
-  //    this.phpEnd = false;
-  //    this.phpMode = false;
-  //    scanner.setSource(s.toCharArray());
-  //    scanner.setPHPMode(false);
-  //    
-  //    getNextToken();
-  //    parseDeclarations(outlineInfo, outlineInfo.getDeclarations(), false);
-  //    
-  //    return outlineInfo;
-  //  }
-  private boolean isVariable() {
-    return token == TokenNameVariable; //  || token == TokenNamethis;
-  }
-  //  private void parseDeclarations(PHPOutlineInfo outlineInfo,
-  //      OutlineableWithChildren current, boolean goBack) {
-  //    char[] ident;
-  //    // PHPClassDeclaration current = (PHPClassDeclaration) stack.peek();
-  //    PHPSegmentWithChildren temp;
-  //    int counter = 0;
-  //    IPreferenceStore store =
-  // PHPeclipsePlugin.getDefault().getPreferenceStore();
-  //    try {
-  //      while (token != TokenNameEOF && token != TokenNameERROR) {
-  //        if (token == TokenNameVariable) {
-  //          ident = scanner.getCurrentIdentifierSource();
-  //          outlineInfo.addVariable(new String(ident));
-  //          getNextToken();
-  //        } else if (token == TokenNamevar) {
-  //          getNextToken();
-  //          if (token == TokenNameVariable
-  //              && store.getBoolean(PHPeclipsePlugin.PHP_OUTLINE_VAR)) {
-  //            ident = scanner.getCurrentIdentifierSource();
-  //            //substring(1) added because PHPVarDeclaration doesn't
-  //            // need the $ anymore
-  //            String variableName = new String(ident).substring(1);
-  //            outlineInfo.addVariable(variableName);
-  //            getNextToken();
-  //            if (token != TokenNameSEMICOLON) {
-  //              getNextToken();
-  //              ident = scanner.getCurrentTokenSource();
-  //              if (token > TokenNameKEYWORD) {
-  //                current.add(new PHPVarDeclaration(current, variableName,
-  //                // chIndx - ident.length,
-  //                    scanner.getCurrentTokenStartPosition(), new String(ident)));
-  //              } else {
-  //                switch (token) {
-  //                  case TokenNameVariable :
-  //                  case TokenNamethis :
-  //                    current.add(new PHPVarDeclaration(current, variableName,
-  //                    // chIndx -
-  //                        // ident.length,
-  //                        scanner.getCurrentTokenStartPosition(), new String(
-  //                            ident)));
-  //                    break;
-  //                  case TokenNameIdentifier :
-  //                    current.add(new PHPVarDeclaration(current, variableName,
-  //                    // chIndx -
-  //                        // ident.length,
-  //                        scanner.getCurrentTokenStartPosition(), new String(
-  //                            ident)));
-  //                    break;
-  //                  case TokenNameDoubleLiteral :
-  //                    current.add(new PHPVarDeclaration(current, variableName
-  //                        + doubleNumber,
-  //                    // chIndx -
-  //                        // ident.length,
-  //                        scanner.getCurrentTokenStartPosition(), new String(
-  //                            ident)));
-  //                    break;
-  //                  case TokenNameIntegerLiteral :
-  //                    current.add(new PHPVarDeclaration(current, variableName,
-  //                    // chIndx -
-  //                        // ident.length,
-  //                        scanner.getCurrentTokenStartPosition(), new String(
-  //                            ident)));
-  //                    break;
-  //                  case TokenNameStringInterpolated :
-  //                  case TokenNameStringLiteral :
-  //                    current.add(new PHPVarDeclaration(current, variableName,
-  //                    // chIndx -
-  //                        // ident.length,
-  //                        scanner.getCurrentTokenStartPosition(), new String(
-  //                            ident)));
-  //                    break;
-  //                  case TokenNameStringConstant :
-  //                    current.add(new PHPVarDeclaration(current, variableName,
-  //                    // chIndx -
-  //                        // ident.length,
-  //                        scanner.getCurrentTokenStartPosition(), new String(
-  //                            ident)));
-  //                    break;
-  //                  default :
-  //                    current.add(new PHPVarDeclaration(current, variableName,
-  //                    // chIndx -
-  //                        // ident.length
-  //                        scanner.getCurrentTokenStartPosition()));
-  //                    break;
-  //                }
-  //              }
-  //            } else {
-  //              ident = scanner.getCurrentIdentifierSource();
-  //              current.add(new PHPVarDeclaration(current, variableName,
-  //              // chIndx - ident.length
-  //                  scanner.getCurrentTokenStartPosition()));
-  //            }
-  //          }
-  //        } else if (token == TokenNamefunction) {
-  //          getNextToken();
-  //          if (token == TokenNameAND) {
-  //            getNextToken();
-  //          }
-  //          if (token == TokenNameIdentifier
-  //              && store.getBoolean(PHPeclipsePlugin.PHP_OUTLINE_FUNC)) {
-  //            ident = scanner.getCurrentIdentifierSource();
-  //            outlineInfo.addVariable(new String(ident));
-  //            temp = new PHPFunctionDeclaration(current, new String(ident),
-  //            // chIndx - ident.length
-  //                scanner.getCurrentTokenStartPosition());
-  //            current.add(temp);
-  //            getNextToken();
-  //            parseDeclarations(outlineInfo, temp, true);
-  //          }
-  //        } else if (token == TokenNameclass) {
-  //          getNextToken();
-  //          if (token == TokenNameIdentifier
-  //              && store.getBoolean(PHPeclipsePlugin.PHP_OUTLINE_CLASS)) {
-  //            ident = scanner.getCurrentIdentifierSource();
-  //            outlineInfo.addVariable(new String(ident));
-  //            temp = new PHPClassDeclaration(current, new String(ident),
-  //            // chIndx - ident.len
-  //                scanner.getCurrentTokenStartPosition());
-  //            current.add(temp);
-  //            // stack.push(temp);
-  //            getNextToken();
-  //            //skip tokens for classname, extends and others until
-  //            // we have the opening '{'
-  //            while (token != TokenNameLBRACE && token != TokenNameEOF
-  //                && token != TokenNameERROR) {
-  //              getNextToken();
-  //            }
-  //            parseDeclarations(outlineInfo, temp, true);
-  //            // stack.pop();
-  //          }
-  //        } else if ((token == TokenNameLBRACE)
-  //            || (token == TokenNameDOLLAR_LBRACE)) {
-  //          getNextToken();
-  //          counter++;
-  //        } else if (token == TokenNameRBRACE) {
-  //          getNextToken();
-  //          --counter;
-  //          if (counter == 0 && goBack) {
-  //            return;
-  //          }
-  //        } else if (token == TokenNamerequire || token == TokenNamerequire_once
-  //            || token == TokenNameinclude || token == TokenNameinclude_once) {
-  //          ident = scanner.getCurrentTokenSource();
-  //          getNextToken();
-  //          int startPosition = scanner.getCurrentTokenStartPosition();
-  //          expr();
-  //          char[] expr = scanner.getCurrentTokenSource(startPosition);
-  //          outlineInfo.addVariable(new String(ident));
-  //          current.add(new PHPReqIncDeclaration(current, new String(ident),
-  //          // chIndx - ident.length,
-  //              startPosition, new String(expr)));
-  //          getNextToken();
-  //        } else {
-  //          getNextToken();
-  //        }
-  //      }
-  //    } catch (SyntaxError sytaxErr) {
-  //      // try {
-  //      // // setMarker(sytaxErr.getMessage(), sytaxErr.getLine(), ERROR);
-  //      // setMarker(sytaxErr.getMessage(),
-  //      // scanner.getCurrentTokenStartPosition(),
-  //      // scanner.getCurrentTokenEndPosition(), ERROR);
-  //      // } catch (CoreException e) {
-  //      // }
-  //    }
-  //  }
-  private void statementList() {
+
+  private Block statementList() {
+    boolean branchStatement = false;
+    Statement statement;
+    int blockStart = scanner.getCurrentTokenStartPosition();
+    ArrayList blockStatements = new ArrayList();
     do {
-      statement(TokenNameEOF);
-      if ((token == TokenNameRBRACE) || (token == TokenNamecase) || (token == TokenNamedefault) || (token == TokenNameelse)
-          || (token == TokenNameelseif) || (token == TokenNameendif) || (token == TokenNameendfor)
-          || (token == TokenNameendforeach) || (token == TokenNameendwhile) || (token == TokenNameendswitch)
-          || (token == TokenNameEOF) || (token == TokenNameERROR)) {
-        return;
+      try {
+        statement = statement();
+        blockStatements.add(statement);
+        if (branchStatement && statement != null) {
+          //          reportSyntaxError("Unreachable code", statement.sourceStart, statement.sourceEnd);
+          problemReporter.unreachableCode(new String(scanner.getCurrentIdentifierSource()), statement.sourceStart,
+              statement.sourceEnd, referenceContext, compilationUnit.compilationResult);
+        }
+        if ((token == TokenNameRBRACE) || (token == TokenNamecase) || (token == TokenNamedefault) || (token == TokenNameelse)
+            || (token == TokenNameelseif) || (token == TokenNameendif) || (token == TokenNameendfor)
+            || (token == TokenNameendforeach) || (token == TokenNameendwhile) || (token == TokenNameendswitch)
+            || (token == TokenNameenddeclare) || (token == TokenNameEOF) || (token == TokenNameERROR)) {
+          return createBlock(blockStart, blockStatements);
+        }
+        branchStatement = checkUnreachableStatements(statement);
+      } catch (SyntaxError sytaxErr1) {
+        // if an error occured,
+        // try to find keywords
+        // to parse the rest of the string
+        boolean tokenize = scanner.tokenizeStrings;
+        if (!tokenize) {
+          scanner.tokenizeStrings = true;
+        }
+        try {
+          while (token != TokenNameEOF) {
+            if ((token == TokenNameRBRACE) || (token == TokenNamecase) || (token == TokenNamedefault) || (token == TokenNameelse)
+                || (token == TokenNameelseif) || (token == TokenNameendif) || (token == TokenNameendfor)
+                || (token == TokenNameendforeach) || (token == TokenNameendwhile) || (token == TokenNameendswitch)
+                || (token == TokenNameenddeclare) || (token == TokenNameEOF) || (token == TokenNameERROR)) {
+              return createBlock(blockStart, blockStatements);
+            }
+            if (token == TokenNameif || token == TokenNameswitch || token == TokenNamefor || token == TokenNamewhile
+                || token == TokenNamedo || token == TokenNameforeach || token == TokenNamecontinue || token == TokenNamebreak
+                || token == TokenNamereturn || token == TokenNameexit || token == TokenNameecho || token == TokenNameglobal
+                || token == TokenNamestatic || token == TokenNameunset || token == TokenNamefunction || token == TokenNamedeclare
+                || token == TokenNametry || token == TokenNamecatch || token == TokenNamethrow || token == TokenNamefinal
+                || token == TokenNameabstract || token == TokenNameclass || token == TokenNameinterface) {
+              break;
+            }
+            //            System.out.println(scanner.toStringAction(token));
+            getNextToken();
+            //            System.out.println(scanner.toStringAction(token));
+          }
+          if (token == TokenNameEOF) {
+            throw sytaxErr1;
+          }
+        } finally {
+          scanner.tokenizeStrings = tokenize;
+        }
       }
     } while (true);
   }
+
+  /**
+   * @param statement
+   * @return
+   */
+  private boolean checkUnreachableStatements(Statement statement) {
+    if (statement instanceof ReturnStatement || statement instanceof ContinueStatement || statement instanceof BreakStatement) {
+      return true;
+    } else if (statement instanceof IfStatement && ((IfStatement) statement).checkUnreachable) {
+      return true;
+    }
+    return false;
+  }
+
+  /**
+   * @param blockStart
+   * @param blockStatements
+   * @return
+   */
+  private Block createBlock(int blockStart, ArrayList blockStatements) {
+    int blockEnd = scanner.getCurrentTokenEndPosition();
+    Block b = Block.EmptyWith(blockStart, blockEnd);
+    b.statements = new Statement[blockStatements.size()];
+    blockStatements.toArray(b.statements);
+    return b;
+  }
+
   private void functionBody(MethodDeclaration methodDecl) {
     // '{' [statement-list] '}'
     if (token == TokenNameLBRACE) {
       getNextToken();
     } else {
+      methodDecl.sourceEnd = scanner.getCurrentTokenStartPosition() - 1;
       throwSyntaxError("'{' expected in compound-statement.");
     }
     if (token != TokenNameRBRACE) {
       statementList();
     }
     if (token == TokenNameRBRACE) {
-      methodDecl.declarationSourceEnd = scanner.getCurrentTokenEndPosition();
+      methodDecl.sourceEnd = scanner.getCurrentTokenEndPosition();
       getNextToken();
     } else {
+      methodDecl.sourceEnd = scanner.getCurrentTokenStartPosition() - 1;
       throwSyntaxError("'}' expected in compound-statement.");
     }
   }
-  private void statement(int previousToken) {
-    //   if (token > TokenNameKEYWORD && token != TokenNamelist && token !=
-    // TokenNamenew) {
-    //  char[] ident = scanner.getCurrentIdentifierSource();
-    //  String keyword = new String(ident);
-    //    if (token == TokenNameAT) {
-    //      getNextToken();
-    //      if (token != TokenNamerequire && token != TokenNamerequire_once
-    //          && token != TokenNameinclude && token != TokenNameinclude_once
-    //          && token != TokenNameIdentifier && token != TokenNameVariable
-    //          && token != TokenNameStringInterpolated) {
-    //        throwSyntaxError("identifier expected after '@'.");
-    //      }
-    //    }
-    //    if (token == TokenNameinclude || token == TokenNameinclude_once) {
-    //      getNextToken();
-    //      if (token == TokenNameLPAREN) {
-    //        expr();
-    //        if (token == TokenNameSEMICOLON) {
-    //          getNextToken();
-    //        } else {
-    //          if (previousToken != TokenNameAT && token != TokenNameStopPHP) {
-    //            throwSyntaxError("';' expected after 'include' or 'include_once'.");
-    //          }
-    //          // getNextToken();
-    //        }
-    //      } else {
-    //        concatenationExpression();
-    //      }
-    //      return;
-    //    } else if (token == TokenNamerequire || token ==
-    // TokenNamerequire_once)
-    // {
-    //      getNextToken();
-    //      //constant();
-    //      if (token == TokenNameLPAREN) {
-    //        expr();
-    //        if (token == TokenNameSEMICOLON) {
-    //          getNextToken();
-    //        } else {
-    //          if (previousToken != TokenNameAT && token != TokenNameStopPHP) {
-    //            throwSyntaxError("';' expected after 'require' or 'require_once'.");
-    //          }
-    //          // getNextToken();
-    //        }
-    //      } else {
-    //        concatenationExpression();
-    //      }
-    //      return;
-    //    } else
+
+  private Statement statement() {
+    Statement statement = null;
+    Expression expression;
+    int sourceStart = scanner.getCurrentTokenStartPosition();
+    int sourceEnd;
     if (token == TokenNameif) {
+      // T_IF '(' expr ')' statement elseif_list else_single
+      // T_IF '(' expr ')' ':' inner_statement_list new_elseif_list new_else_single T_ENDIF ';'
       getNextToken();
       if (token == TokenNameLPAREN) {
         getNextToken();
       } else {
         throwSyntaxError("'(' expected after 'if' keyword.");
       }
-      expr();
+      expression = expr();
       if (token == TokenNameRPAREN) {
         getNextToken();
       } else {
         throwSyntaxError("')' expected after 'if' condition.");
       }
-      ifStatement();
-      return;
+      // create basic IfStatement
+      IfStatement ifStatement = new IfStatement(expression, null, null, sourceStart, -1);
+      if (token == TokenNameCOLON) {
+        getNextToken();
+        ifStatementColon(ifStatement);
+      } else {
+        ifStatement(ifStatement);
+      }
+      return ifStatement;
     } else if (token == TokenNameswitch) {
       getNextToken();
       if (token == TokenNameLPAREN) {
@@ -655,7 +612,7 @@ public class Parser //extends PHPParserSuperclass
         throwSyntaxError("')' expected after 'switch' condition.");
       }
       switchStatement();
-      return;
+      return statement;
     } else if (token == TokenNamefor) {
       getNextToken();
       if (token == TokenNameLPAREN) {
@@ -694,7 +651,7 @@ public class Parser //extends PHPParserSuperclass
         }
       }
       forStatement();
-      return;
+      return statement;
     } else if (token == TokenNamewhile) {
       getNextToken();
       if (token == TokenNameLPAREN) {
@@ -709,7 +666,7 @@ public class Parser //extends PHPParserSuperclass
         throwSyntaxError("')' expected after 'while' condition.");
       }
       whileStatement();
-      return;
+      return statement;
     } else if (token == TokenNamedo) {
       getNextToken();
       if (token == TokenNameLBRACE) {
@@ -723,7 +680,7 @@ public class Parser //extends PHPParserSuperclass
           throwSyntaxError("'}' expected after 'do' keyword.");
         }
       } else {
-        statement(TokenNameEOF);
+        statement();
       }
       if (token == TokenNamewhile) {
         getNextToken();
@@ -749,7 +706,7 @@ public class Parser //extends PHPParserSuperclass
         }
         getNextToken();
       }
-      return;
+      return statement;
     } else if (token == TokenNameforeach) {
       getNextToken();
       if (token == TokenNameLPAREN) {
@@ -768,7 +725,7 @@ public class Parser //extends PHPParserSuperclass
       foreach_optional_arg();
       if (token == TokenNameEQUAL_GREATER) {
         getNextToken();
-        variable();
+        variable(false, false);
       }
       if (token == TokenNameRPAREN) {
         getNextToken();
@@ -776,21 +733,58 @@ public class Parser //extends PHPParserSuperclass
         throwSyntaxError("')' expected after 'foreach' expression.");
       }
       foreachStatement();
-      return;
-    } else if (token == TokenNamecontinue || token == TokenNamebreak || token == TokenNamereturn) {
+      return statement;
+    } else if (token == TokenNamebreak) {
+      expression = null;
       getNextToken();
       if (token != TokenNameSEMICOLON) {
-        expr();
+        expression = expr();
       }
       if (token == TokenNameSEMICOLON) {
+        sourceEnd = scanner.getCurrentTokenEndPosition();
         getNextToken();
       } else {
         if (token != TokenNameINLINE_HTML) {
-          throwSyntaxError("';' expected after 'continue', 'break' or 'return'.");
+          throwSyntaxError("';' expected after 'break'.");
         }
+        sourceEnd = scanner.getCurrentTokenEndPosition();
         getNextToken();
       }
-      return;
+      return new BreakStatement(null, sourceStart, sourceEnd);
+    } else if (token == TokenNamecontinue) {
+      expression = null;
+      getNextToken();
+      if (token != TokenNameSEMICOLON) {
+        expression = expr();
+      }
+      if (token == TokenNameSEMICOLON) {
+        sourceEnd = scanner.getCurrentTokenEndPosition();
+        getNextToken();
+      } else {
+        if (token != TokenNameINLINE_HTML) {
+          throwSyntaxError("';' expected after 'continue'.");
+        }
+        sourceEnd = scanner.getCurrentTokenEndPosition();
+        getNextToken();
+      }
+      return new ContinueStatement(null, sourceStart, sourceEnd);
+    } else if (token == TokenNamereturn) {
+      expression = null;
+      getNextToken();
+      if (token != TokenNameSEMICOLON) {
+        expression = expr();
+      }
+      if (token == TokenNameSEMICOLON) {
+        sourceEnd = scanner.getCurrentTokenEndPosition();
+        getNextToken();
+      } else {
+        if (token != TokenNameINLINE_HTML) {
+          throwSyntaxError("';' expected after 'return'.");
+        }
+        sourceEnd = scanner.getCurrentTokenEndPosition();
+        getNextToken();
+      }
+      return new ReturnStatement(expression, sourceStart, sourceEnd);
     } else if (token == TokenNameecho) {
       getNextToken();
       expressionList();
@@ -802,10 +796,10 @@ public class Parser //extends PHPParserSuperclass
         }
         getNextToken();
       }
-      return;
+      return statement;
     } else if (token == TokenNameINLINE_HTML) {
       getNextToken();
-      return;
+      return statement;
       //    } else if (token == TokenNameprint) {
       //      getNextToken();
       //      expression();
@@ -829,7 +823,7 @@ public class Parser //extends PHPParserSuperclass
         }
         getNextToken();
       }
-      return;
+      return statement;
     } else if (token == TokenNamestatic) {
       getNextToken();
       static_var_list();
@@ -841,7 +835,7 @@ public class Parser //extends PHPParserSuperclass
         }
         getNextToken();
       }
-      return;
+      return statement;
     } else if (token == TokenNameunset) {
       getNextToken();
       if (token == TokenNameLPAREN) {
@@ -863,14 +857,38 @@ public class Parser //extends PHPParserSuperclass
         }
         getNextToken();
       }
-      return;
+      return statement;
     } else if (token == TokenNamefunction) {
       MethodDeclaration methodDecl = new MethodDeclaration(this.compilationUnit.compilationResult);
       methodDecl.declarationSourceStart = scanner.getCurrentTokenStartPosition();
       methodDecl.modifiers = AccDefault;
+      methodDecl.type = MethodDeclaration.FUNCTION_DEFINITION;
+      try {
+        getNextToken();
+        functionDefinition(methodDecl);
+      } finally {
+        sourceEnd = methodDecl.sourceEnd;
+        if (sourceEnd <= 0 || methodDecl.declarationSourceStart > sourceEnd) {
+          sourceEnd = methodDecl.declarationSourceStart + 1;
+        }
+        methodDecl.declarationSourceEnd = sourceEnd;
+        methodDecl.sourceEnd = sourceEnd;
+      }
+      return statement;
+    } else if (token == TokenNamedeclare) {
+      //T_DECLARE '(' declare_list ')' declare_statement
       getNextToken();
-      functionDefinition(methodDecl);
-      return;
+      if (token != TokenNameLPAREN) {
+        throwSyntaxError("'(' expected in 'declare' statement.");
+      }
+      getNextToken();
+      declare_list();
+      if (token != TokenNameRPAREN) {
+        throwSyntaxError("')' expected in 'declare' statement.");
+      }
+      getNextToken();
+      declare_statement();
+      return statement;
     } else if (token == TokenNametry) {
       getNextToken();
       if (token != TokenNameLBRACE) {
@@ -882,7 +900,7 @@ public class Parser //extends PHPParserSuperclass
         throwSyntaxError("'}' expected in 'try' statement.");
       }
       getNextToken();
-      return;
+      return statement;
     } else if (token == TokenNamecatch) {
       getNextToken();
       if (token != TokenNameLPAREN) {
@@ -910,7 +928,7 @@ public class Parser //extends PHPParserSuperclass
       }
       getNextToken();
       additional_catches();
-      return;
+      return statement;
     } else if (token == TokenNamethrow) {
       getNextToken();
       expr();
@@ -919,34 +937,34 @@ public class Parser //extends PHPParserSuperclass
       } else {
         throwSyntaxError("';' expected after 'throw' exxpression.");
       }
-      return;
+      return statement;
     } else if (token == TokenNamefinal || token == TokenNameabstract || token == TokenNameclass || token == TokenNameinterface) {
-      TypeDeclaration typeDecl = new TypeDeclaration(this.compilationUnit.compilationResult);
-      typeDecl.declarationSourceStart = scanner.getCurrentTokenStartPosition();
-      typeDecl.declarationSourceEnd = scanner.getCurrentTokenEndPosition();
-      typeDecl.name = new char[]{' '};
-      // default super class
-      typeDecl.superclass = new SingleTypeReference(TypeConstants.OBJECT, 0);
-      compilationUnit.types.add(typeDecl);
       try {
+        TypeDeclaration typeDecl = new TypeDeclaration(this.compilationUnit.compilationResult);
+        typeDecl.declarationSourceStart = scanner.getCurrentTokenStartPosition();
+        typeDecl.declarationSourceEnd = scanner.getCurrentTokenEndPosition();
+        typeDecl.name = new char[] { ' ' };
+        // default super class
+        typeDecl.superclass = new SingleTypeReference(TypeConstants.OBJECT, 0);
+        compilationUnit.types.add(typeDecl);
         pushOnAstStack(typeDecl);
         unticked_class_declaration_statement(typeDecl);
-        //        classBody(typeDecl);
       } finally {
+        // reduce stack:
         astPtr--;
         astLengthPtr--;
       }
-      return;
+      return statement;
       //      } else {
       //        throwSyntaxError("Unexpected keyword '" + keyword + "'");
     } else if (token == TokenNameLBRACE) {
       getNextToken();
       if (token != TokenNameRBRACE) {
-        statementList();
+        statement = statementList();
       }
       if (token == TokenNameRBRACE) {
         getNextToken();
-        return;
+        return statement;
       } else {
         throwSyntaxError("'}' expected.");
       }
@@ -956,15 +974,63 @@ public class Parser //extends PHPParserSuperclass
       }
       if (token == TokenNameSEMICOLON) {
         getNextToken();
-        return;
+        return statement;
       } else {
-        if (token != TokenNameINLINE_HTML && token != TokenNameEOF) {
-          throwSyntaxError("';' expected after expression (Found token: " + scanner.toStringAction(token) + ")");
+        if (token == TokenNameRBRACE) {
+          reportSyntaxError("';' expected after expression (Found token: " + scanner.toStringAction(token) + ")");
+        } else {
+          if (token != TokenNameINLINE_HTML && token != TokenNameEOF) {
+            throwSyntaxError("';' expected after expression (Found token: " + scanner.toStringAction(token) + ")");
+          }
+          getNextToken();
         }
-        getNextToken();
       }
     }
+    // may be null
+    return statement;
   }
+
+  private void declare_statement() {
+    // statement
+    //| ':' inner_statement_list T_ENDDECLARE ';'
+    //;
+    if (token == TokenNameCOLON) {
+      getNextToken();
+      // TODO: implement inner_statement_list();
+      statementList();
+      if (token != TokenNameenddeclare) {
+        throwSyntaxError("'enddeclare' expected in 'declare' statement.");
+      }
+      getNextToken();
+      if (token != TokenNameSEMICOLON) {
+        throwSyntaxError("';' expected after 'enddeclare' keyword.");
+      }
+      getNextToken();
+    } else {
+      statement();
+    }
+  }
+
+  private void declare_list() {
+    // T_STRING '=' static_scalar
+    //| declare_list ',' T_STRING '=' static_scalar
+    while (true) {
+      if (token != TokenNameIdentifier) {
+        throwSyntaxError("Identifier expected in 'declare' list.");
+      }
+      getNextToken();
+      if (token != TokenNameEQUAL) {
+        throwSyntaxError("'=' expected in 'declare' list.");
+      }
+      getNextToken();
+      static_scalar();
+      if (token != TokenNameCOMMA) {
+        break;
+      }
+      getNextToken();
+    }
+  }
+
   private void additional_catches() {
     while (token == TokenNamecatch) {
       getNextToken();
@@ -985,21 +1051,25 @@ public class Parser //extends PHPParserSuperclass
         throwSyntaxError("'{' expected in 'catch' statement.");
       }
       getNextToken();
-      statementList();
+      if (token != TokenNameRBRACE) {
+        statementList();
+      }
       if (token != TokenNameRBRACE) {
         throwSyntaxError("'}' expected in 'catch' statement.");
       }
       getNextToken();
     }
   }
+
   private void foreach_variable() {
     // w_variable
     //| '&' w_variable
     if (token == TokenNameAND) {
       getNextToken();
     }
-    w_variable();
+    w_variable(true);
   }
+
   private void foreach_optional_arg() {
     // /* empty */
     //| T_DOUBLE_ARROW foreach_variable
@@ -1008,32 +1078,40 @@ public class Parser //extends PHPParserSuperclass
       foreach_variable();
     }
   }
+
   private void global_var_list() {
     //  global_var_list:
     // global_var_list ',' global_var
     //| global_var
+    HashSet set = peekVariableSet();
     while (true) {
-      global_var();
+      global_var(set);
       if (token != TokenNameCOMMA) {
         break;
       }
       getNextToken();
     }
   }
-  private void global_var() {
+
+  private void global_var(HashSet set) {
     //global_var:
     // T_VARIABLE
     //| '$' r_variable
     //| '$' '{' expr '}'
     if (token == TokenNameVariable) {
+      if (fMethodVariables != null) {
+        VariableInfo info = new VariableInfo(scanner.getCurrentTokenStartPosition(), VariableInfo.LEVEL_GLOBAL_VAR);
+        fMethodVariables.put(new String(scanner.getCurrentIdentifierSource()), info);
+      }
+      addVariableSet(set);
       getNextToken();
     } else if (token == TokenNameDOLLAR) {
       getNextToken();
-      if (token == TokenNameLPAREN) {
+      if (token == TokenNameLBRACE) {
         getNextToken();
         expr();
-        if (token != TokenNameLPAREN) {
-          throwSyntaxError("')' expected in global variable.");
+        if (token != TokenNameRBRACE) {
+          throwSyntaxError("'}' expected in global variable.");
         }
         getNextToken();
       } else {
@@ -1041,14 +1119,21 @@ public class Parser //extends PHPParserSuperclass
       }
     }
   }
+
   private void static_var_list() {
     //static_var_list:
     // static_var_list ',' T_VARIABLE
     //| static_var_list ',' T_VARIABLE '=' static_scalar
     //| T_VARIABLE
-    //| T_VARIABLE '=' static_scalar
+    //| T_VARIABLE '=' static_scalar,
+    HashSet set = peekVariableSet();
     while (true) {
       if (token == TokenNameVariable) {
+        if (fMethodVariables != null) {
+          VariableInfo info = new VariableInfo(scanner.getCurrentTokenStartPosition(), VariableInfo.LEVEL_STATIC_VAR);
+          fMethodVariables.put(new String(scanner.getCurrentIdentifierSource()), info);
+        }
+        addVariableSet(set);
         getNextToken();
         if (token == TokenNameEQUAL) {
           getNextToken();
@@ -1063,6 +1148,7 @@ public class Parser //extends PHPParserSuperclass
       }
     }
   }
+
   private void unset_variables() {
     //    unset_variables:
     //                 unset_variable
@@ -1070,22 +1156,25 @@ public class Parser //extends PHPParserSuperclass
     //    unset_variable:
     //                 variable
     while (true) {
-      variable();
+      variable(false, false);
       if (token != TokenNameCOMMA) {
         break;
       }
       getNextToken();
     }
   }
+
   private final void initializeModifiers() {
     this.modifiers = 0;
     this.modifiersSourceStart = -1;
   }
+
   private final void checkAndSetModifiers(int flag) {
     this.modifiers |= flag;
     if (this.modifiersSourceStart < 0)
       this.modifiersSourceStart = this.scanner.startPosition;
   }
+
   private void unticked_class_declaration_statement(TypeDeclaration typeDecl) {
     initializeModifiers();
     if (token == TokenNameinterface) {
@@ -1100,15 +1189,15 @@ public class Parser //extends PHPParserSuperclass
       if (token == TokenNameIdentifier || token > TokenNameKEYWORD) {
         typeDecl.name = scanner.getCurrentIdentifierSource();
         if (token > TokenNameKEYWORD) {
-          problemReporter.phpKeywordWarning(new String[]{scanner.toStringAction(token)}, scanner.getCurrentTokenStartPosition(), scanner.getCurrentTokenEndPosition(),
-              referenceContext, compilationUnit.compilationResult);
-//          throwSyntaxError("Don't use a keyword for interface declaration [" + scanner.toStringAction(token) + "].",
-//              typeDecl.sourceStart, typeDecl.sourceEnd);
+          problemReporter.phpKeywordWarning(new String[] { scanner.toStringAction(token) }, scanner.getCurrentTokenStartPosition(),
+              scanner.getCurrentTokenEndPosition(), referenceContext, compilationUnit.compilationResult);
+          //          throwSyntaxError("Don't use a keyword for interface declaration [" + scanner.toStringAction(token) + "].",
+          //              typeDecl.sourceStart, typeDecl.sourceEnd);
         }
         getNextToken();
-        interface_extends_list();
+        interface_extends_list(typeDecl);
       } else {
-        typeDecl.name = new char[]{' '};
+        typeDecl.name = new char[] { ' ' };
         throwSyntaxError("Interface name expected after keyword 'interface'.", typeDecl.sourceStart, typeDecl.sourceEnd);
         return;
       }
@@ -1125,17 +1214,17 @@ public class Parser //extends PHPParserSuperclass
       if (token == TokenNameIdentifier || token > TokenNameKEYWORD) {
         typeDecl.name = scanner.getCurrentIdentifierSource();
         if (token > TokenNameKEYWORD) {
-          problemReporter.phpKeywordWarning(new String[]{scanner.toStringAction(token)}, scanner.getCurrentTokenStartPosition(), scanner.getCurrentTokenEndPosition(),
-              referenceContext, compilationUnit.compilationResult);
-//          throwSyntaxError("Don't use a keyword for class declaration [" + scanner.toStringAction(token) + "].",
-//              typeDecl.sourceStart, typeDecl.sourceEnd);
+          problemReporter.phpKeywordWarning(new String[] { scanner.toStringAction(token) }, scanner.getCurrentTokenStartPosition(),
+              scanner.getCurrentTokenEndPosition(), referenceContext, compilationUnit.compilationResult);
+          //          throwSyntaxError("Don't use a keyword for class declaration [" + scanner.toStringAction(token) + "].",
+          //              typeDecl.sourceStart, typeDecl.sourceEnd);
         }
         getNextToken();
         //    extends_from:
         //             /* empty */
         //     | T_EXTENDS fully_qualified_class_name
         if (token == TokenNameextends) {
-          interface_extends_list();
+          interface_extends_list(typeDecl);
           //          getNextToken();
           //          if (token != TokenNameIdentifier) {
           //            throwSyntaxError("Class name expected after keyword
@@ -1144,9 +1233,9 @@ public class Parser //extends PHPParserSuperclass
           //                    .getCurrentTokenEndPosition());
           //          }
         }
-        implements_list();
+        implements_list(typeDecl);
       } else {
-        typeDecl.name = new char[]{' '};
+        typeDecl.name = new char[] { ' ' };
         throwSyntaxError("Class name expected after keyword 'class'.", typeDecl.sourceStart, typeDecl.sourceEnd);
         return;
       }
@@ -1172,6 +1261,7 @@ public class Parser //extends PHPParserSuperclass
       throwSyntaxError("'{' expected at start of class body.");
     }
   }
+
   private void class_entry_type() {
     // T_CLASS
     // | T_ABSTRACT T_CLASS
@@ -1196,7 +1286,22 @@ public class Parser //extends PHPParserSuperclass
       throwSyntaxError("Keyword 'class' 'final' or 'abstract' expected");
     }
   }
-  private void interface_extends_list() {
+
+  private void class_extends(TypeDeclaration typeDecl) {
+    // /* empty */
+    // | T_EXTENDS interface_list
+    if (token == TokenNameextends) {
+      getNextToken();
+
+      if (token == TokenNameIdentifier) {
+        getNextToken();
+      } else {
+        throwSyntaxError("Class name expected after keyword 'extends'.");
+      }
+    }
+  }
+
+  private void interface_extends_list(TypeDeclaration typeDecl) {
     // /* empty */
     // | T_EXTENDS interface_list
     if (token == TokenNameextends) {
@@ -1204,7 +1309,8 @@ public class Parser //extends PHPParserSuperclass
       interface_list();
     }
   }
-  private void implements_list() {
+
+  private void implements_list(TypeDeclaration typeDecl) {
     // /* empty */
     // | T_IMPLEMENTS interface_list
     if (token == TokenNameimplements) {
@@ -1212,6 +1318,7 @@ public class Parser //extends PHPParserSuperclass
       interface_list();
     }
   }
+
   private void interface_list() {
     //  interface_list:
     // fully_qualified_class_name
@@ -1228,6 +1335,7 @@ public class Parser //extends PHPParserSuperclass
       getNextToken();
     } while (true);
   }
+
   //  private void classBody(TypeDeclaration typeDecl) {
   //    //'{' [class-element-list] '}'
   //    if (token == TokenNameLBRACE) {
@@ -1247,11 +1355,45 @@ public class Parser //extends PHPParserSuperclass
   //  }
   private void class_statement_list(ArrayList list) {
     do {
-      class_statement(list);
-    } while (token == TokenNamepublic || token == TokenNameprotected || token == TokenNameprivate || token == TokenNamestatic
-        || token == TokenNameabstract || token == TokenNamefinal || token == TokenNamefunction || token == TokenNamevar
-        || token == TokenNameconst);
+      try {
+        class_statement(list);
+        if (token == TokenNamepublic || token == TokenNameprotected || token == TokenNameprivate || token == TokenNamestatic
+            || token == TokenNameabstract || token == TokenNamefinal || token == TokenNamefunction || token == TokenNamevar
+            || token == TokenNameconst) {
+          continue;
+        }
+        if (token == TokenNameRBRACE) {
+          break;
+        }
+        throwSyntaxError("'}' at end of class statement.");
+      } catch (SyntaxError sytaxErr1) {
+        boolean tokenize = scanner.tokenizeStrings;
+        if (!tokenize) {
+          scanner.tokenizeStrings = true;
+        }
+        try {
+          // if an error occured,
+          // try to find keywords
+          // to parse the rest of the string
+          while (token != TokenNameEOF) {
+            if (token == TokenNamepublic || token == TokenNameprotected || token == TokenNameprivate || token == TokenNamestatic
+                || token == TokenNameabstract || token == TokenNamefinal || token == TokenNamefunction || token == TokenNamevar
+                || token == TokenNameconst) {
+              break;
+            }
+            //            System.out.println(scanner.toStringAction(token));
+            getNextToken();
+          }
+          if (token == TokenNameEOF) {
+            throw sytaxErr1;
+          }
+        } finally {
+          scanner.tokenizeStrings = tokenize;
+        }
+      }
+    } while (true);
   }
+
   private void class_statement(ArrayList list) {
     //    class_statement:
     //         variable_modifiers class_variable_declaration ';'
@@ -1260,7 +1402,7 @@ public class Parser //extends PHPParserSuperclass
     //    '(' parameter_list ')' method_body
     initializeModifiers();
     int declarationSourceStart = scanner.getCurrentTokenStartPosition();
-    
+
     if (token == TokenNamevar) {
       checkAndSetModifiers(AccPublic);
       problemReporter.phpVarDeprecatedWarning(scanner.getCurrentTokenStartPosition(), scanner.getCurrentTokenEndPosition(),
@@ -1268,7 +1410,7 @@ public class Parser //extends PHPParserSuperclass
       getNextToken();
       class_variable_declaration(declarationSourceStart, list);
     } else if (token == TokenNameconst) {
-      checkAndSetModifiers(AccFinal|AccPublic);
+      checkAndSetModifiers(AccFinal | AccPublic);
       class_constant_declaration(declarationSourceStart, list);
       if (token != TokenNameSEMICOLON) {
         throwSyntaxError("';' expected after class const declaration.");
@@ -1283,8 +1425,18 @@ public class Parser //extends PHPParserSuperclass
         MethodDeclaration methodDecl = new MethodDeclaration(this.compilationUnit.compilationResult);
         methodDecl.declarationSourceStart = scanner.getCurrentTokenStartPosition();
         methodDecl.modifiers = this.modifiers;
-        getNextToken();
-        functionDefinition(methodDecl);
+        methodDecl.type = MethodDeclaration.METHOD_DEFINITION;
+        try {
+          getNextToken();
+          functionDefinition(methodDecl);
+        } finally {
+          int sourceEnd = methodDecl.sourceEnd;
+          if (sourceEnd <= 0 || methodDecl.declarationSourceStart > sourceEnd) {
+            sourceEnd = methodDecl.declarationSourceStart + 1;
+          }
+          methodDecl.declarationSourceEnd = sourceEnd;
+          methodDecl.sourceEnd = sourceEnd;
+        }
       } else {
         if (!hasModifiers) {
           throwSyntaxError("'public' 'private' or 'protected' modifier expected for field declarations.");
@@ -1293,6 +1445,7 @@ public class Parser //extends PHPParserSuperclass
       }
     }
   }
+
   private void class_constant_declaration(int declarationSourceStart, ArrayList list) {
     // class_constant_declaration ',' T_STRING '=' static_scalar
     // | T_CONST T_STRING '=' static_scalar
@@ -1325,6 +1478,7 @@ public class Parser //extends PHPParserSuperclass
       getNextToken();
     }
   }
+
   //  private void variable_modifiers() {
   //    // variable_modifiers:
   //    // non_empty_member_modifiers
@@ -1394,6 +1548,7 @@ public class Parser //extends PHPParserSuperclass
     }
     return foundToken;
   }
+
   private void class_variable_declaration(int declarationSourceStart, ArrayList list) {
     //    class_variable_declaration:
     //         class_variable_declaration ',' T_VARIABLE
@@ -1404,15 +1559,18 @@ public class Parser //extends PHPParserSuperclass
     do {
       if (token == TokenNameVariable) {
         classVariable = scanner.getCurrentIdentifierSource();
-      //  indexManager.addIdentifierInformation('v', classVariable, buf, -1, -1);
-        FieldDeclaration fieldDeclaration = new FieldDeclaration(classVariable, scanner
-            .getCurrentTokenStartPosition(), scanner.getCurrentTokenEndPosition());
+        //  indexManager.addIdentifierInformation('v', classVariable, buf, -1, -1);
+        FieldDeclaration fieldDeclaration = new FieldDeclaration(classVariable, scanner.getCurrentTokenStartPosition(), scanner
+            .getCurrentTokenEndPosition());
         fieldDeclaration.modifiers = this.modifiers;
         fieldDeclaration.declarationSourceStart = declarationSourceStart;
         fieldDeclaration.declarationSourceEnd = scanner.getCurrentTokenEndPosition();
         fieldDeclaration.modifiersSourceStart = declarationSourceStart;
-        //        fieldDeclaration.type
         list.add(fieldDeclaration);
+        if (fTypeVariables != null) {
+          VariableInfo info = new VariableInfo(scanner.getCurrentTokenStartPosition(), VariableInfo.LEVEL_CLASS_UNIT);
+          fTypeVariables.put(new String(scanner.getCurrentIdentifierSource()), info);
+        }
         getNextToken();
         if (token == TokenNameEQUAL) {
           getNextToken();
@@ -1435,21 +1593,24 @@ public class Parser //extends PHPParserSuperclass
     }
     getNextToken();
   }
+
   private void functionDefinition(MethodDeclaration methodDecl) {
     boolean isAbstract = false;
     if (astPtr == 0) {
-      compilationUnit.types.add(methodDecl);
+      if (compilationUnit != null) {
+        compilationUnit.types.add(methodDecl);
+      }
     } else {
-      AstNode node = astStack[astPtr];
+      ASTNode node = astStack[astPtr];
       if (node instanceof TypeDeclaration) {
         TypeDeclaration typeDecl = ((TypeDeclaration) node);
         if (typeDecl.methods == null) {
-          typeDecl.methods = new AbstractMethodDeclaration[]{methodDecl};
+          typeDecl.methods = new AbstractMethodDeclaration[] { methodDecl };
         } else {
           AbstractMethodDeclaration[] newMethods;
-          System.arraycopy(typeDecl.methods, 0, newMethods = new AbstractMethodDeclaration[typeDecl.methods.length + 1], 1,
+          System.arraycopy(typeDecl.methods, 0, newMethods = new AbstractMethodDeclaration[typeDecl.methods.length + 1], 0,
               typeDecl.methods.length);
-          newMethods[0] = methodDecl;
+          newMethods[typeDecl.methods.length] = methodDecl;
           typeDecl.methods = newMethods;
         }
         if ((typeDecl.modifiers & AccAbstract) == AccAbstract) {
@@ -1459,16 +1620,25 @@ public class Parser //extends PHPParserSuperclass
         }
       }
     }
-    functionDeclarator(methodDecl);
-    if (token == TokenNameSEMICOLON) {
-      if (!isAbstract) {
-        throwSyntaxError("Body declaration expected for method: " + new String(methodDecl.selector));
+    try {
+      pushFunctionVariableSet();
+      functionDeclarator(methodDecl);
+      if (token == TokenNameSEMICOLON) {
+        if (!isAbstract) {
+          methodDecl.sourceEnd = scanner.getCurrentTokenStartPosition() - 1;
+          throwSyntaxError("Body declaration expected for method: " + new String(methodDecl.selector));
+        }
+        getNextToken();
+        return;
+      }
+      functionBody(methodDecl);
+    } finally {
+      if (!fStackUnassigned.isEmpty()) {
+        fStackUnassigned.remove(fStackUnassigned.size() - 1);
       }
-      getNextToken();
-      return;
     }
-    functionBody(methodDecl);
   }
+
   private void functionDeclarator(MethodDeclaration methodDecl) {
     //identifier '(' [parameter-list] ')'
     if (token == TokenNameAND) {
@@ -1479,21 +1649,21 @@ public class Parser //extends PHPParserSuperclass
     if (Scanner.isIdentifierOrKeyword(token)) {
       methodDecl.selector = scanner.getCurrentIdentifierSource();
       if (token > TokenNameKEYWORD) {
-        problemReporter.phpKeywordWarning(new String[]{scanner.toStringAction(token)}, scanner.getCurrentTokenStartPosition(), scanner.getCurrentTokenEndPosition(),
-            referenceContext, compilationUnit.compilationResult);
-//        reportSyntaxWarning("Don't use keyword for function declaration [" + scanner.toStringAction(token) + "].",
-//          scanner.getCurrentTokenStartPosition(), scanner.getCurrentTokenEndPosition());
+        problemReporter.phpKeywordWarning(new String[] { scanner.toStringAction(token) }, scanner.getCurrentTokenStartPosition(),
+            scanner.getCurrentTokenEndPosition(), referenceContext, compilationUnit.compilationResult);
       }
       getNextToken();
       if (token == TokenNameLPAREN) {
         getNextToken();
       } else {
+        methodDecl.sourceEnd = scanner.getCurrentTokenStartPosition() - 1;
         throwSyntaxError("'(' expected in function declaration.");
       }
       if (token != TokenNameRPAREN) {
-        parameter_list(); 
+        parameter_list(methodDecl);
       }
       if (token != TokenNameRPAREN) {
+        methodDecl.sourceEnd = scanner.getCurrentTokenStartPosition() - 1;
         throwSyntaxError("')' expected in function declaration.");
       } else {
         methodDecl.bodyStart = scanner.getCurrentTokenEndPosition() + 1;
@@ -1501,16 +1671,19 @@ public class Parser //extends PHPParserSuperclass
       }
     } else {
       methodDecl.selector = "<undefined>".toCharArray();
+      methodDecl.sourceEnd = scanner.getCurrentTokenStartPosition() - 1;
       throwSyntaxError("Function name expected after keyword 'function'.");
     }
   }
+
   //
-  private void parameter_list() {
+  private void parameter_list(MethodDeclaration methodDecl) {
     // non_empty_parameter_list
     // | /* empty */
-    non_empty_parameter_list(true);
+    non_empty_parameter_list(methodDecl, true);
   }
-  private void non_empty_parameter_list(boolean empty_allowed) {
+
+  private void non_empty_parameter_list(MethodDeclaration methodDecl, boolean empty_allowed) {
     // optional_class_type T_VARIABLE
     // | optional_class_type '&' T_VARIABLE
     // | optional_class_type '&' T_VARIABLE '=' static_scalar
@@ -1521,15 +1694,29 @@ public class Parser //extends PHPParserSuperclass
     // static_scalar
     // | non_empty_parameter_list ',' optional_class_type T_VARIABLE '='
     // static_scalar
+    char[] typeIdentifier = null;
     if (token == TokenNameIdentifier || token == TokenNameVariable || token == TokenNameAND) {
+      HashSet set = peekVariableSet();
       while (true) {
         if (token == TokenNameIdentifier) {
+          typeIdentifier = scanner.getCurrentIdentifierSource();
           getNextToken();
         }
         if (token == TokenNameAND) {
           getNextToken();
         }
         if (token == TokenNameVariable) {
+          if (fMethodVariables != null) {
+            VariableInfo info;
+            if (methodDecl.type == MethodDeclaration.FUNCTION_DEFINITION) {
+              info = new VariableInfo(scanner.getCurrentTokenStartPosition(), VariableInfo.LEVEL_FUNCTION_DEFINITION);
+            } else {
+              info = new VariableInfo(scanner.getCurrentTokenStartPosition(), VariableInfo.LEVEL_METHOD_DEFINITION);
+            }
+            info.typeIdentifier = typeIdentifier;
+            fMethodVariables.put(new String(scanner.getCurrentIdentifierSource()), info);
+          }
+          addVariableSet(set);
           getNextToken();
           if (token == TokenNameEQUAL) {
             getNextToken();
@@ -1549,35 +1736,38 @@ public class Parser //extends PHPParserSuperclass
       throwSyntaxError("Identifier expected in parameter list.");
     }
   }
+
   private void optional_class_type() {
     // /* empty */
     //| T_STRING
   }
-  private void parameterDeclaration() {
-    //variable
-    //variable-reference
-    if (token == TokenNameAND) {
-      getNextToken();
-      if (isVariable()) {
-        getNextToken();
-      } else {
-        throwSyntaxError("Variable expected after reference operator '&'.");
-      }
-    }
-    //variable '=' constant
-    if (token == TokenNameVariable) {
-      getNextToken();
-      if (token == TokenNameEQUAL) {
-        getNextToken();
-        static_scalar();
-      }
-      return;
-    }
-    //    if (token == TokenNamethis) {
-    //      throwSyntaxError("Reserved word '$this' not allowed in parameter
-    // declaration.");
-    //    }
-  }
+
+  //  private void parameterDeclaration() {
+  //    //variable
+  //    //variable-reference
+  //    if (token == TokenNameAND) {
+  //      getNextToken();
+  //      if (isVariable()) {
+  //        getNextToken();
+  //      } else {
+  //        throwSyntaxError("Variable expected after reference operator '&'.");
+  //      }
+  //    }
+  //    //variable '=' constant
+  //    if (token == TokenNameVariable) {
+  //      getNextToken();
+  //      if (token == TokenNameEQUAL) {
+  //        getNextToken();
+  //        static_scalar();
+  //      }
+  //      return;
+  //    }
+  //    // if (token == TokenNamethis) {
+  //    // throwSyntaxError("Reserved word '$this' not allowed in parameter
+  //    // declaration.");
+  //    // }
+  //  }
+
   private void labeledStatementList() {
     if (token != TokenNamecase && token != TokenNamedefault) {
       throwSyntaxError("'case' or 'default' expected.");
@@ -1608,176 +1798,290 @@ public class Parser //extends PHPParserSuperclass
         //          statementList();
         //        }
         else {
-          throwSyntaxError("':' character after 'case' constant expected (Found token: " + scanner.toStringAction(token) + ")");
+          throwSyntaxError("':' character expected after 'case' constant (Found token: " + scanner.toStringAction(token) + ")");
         }
       } else { // TokenNamedefault
         getNextToken();
-        if (token == TokenNameCOLON) {
+        if (token == TokenNameCOLON || token == TokenNameSEMICOLON) {
           getNextToken();
           if (token == TokenNameRBRACE) {
             // empty default case
             break;
           }
-          statementList();
+          if (token != TokenNamecase) {
+            statementList();
+          }
         } else {
-          throwSyntaxError("':' character after 'default' expected.");
+          throwSyntaxError("':' character expected after 'default'.");
         }
       }
     } while (token == TokenNamecase || token == TokenNamedefault);
   }
-  //  public void labeledStatement() {
-  //    if (token == TokenNamecase) {
-  //      getNextToken();
-  //      constant();
-  //      if (token == TokenNameDDOT) {
-  //        getNextToken();
-  //        statement();
-  //      } else {
-  //        throwSyntaxError("':' character after 'case' constant expected.");
-  //      }
-  //      return;
-  //    } else if (token == TokenNamedefault) {
-  //      getNextToken();
-  //      if (token == TokenNameDDOT) {
-  //        getNextToken();
-  //        statement();
-  //      } else {
-  //        throwSyntaxError("':' character after 'default' expected.");
-  //      }
-  //      return;
-  //    }
-  //  }
-  //  public void expressionStatement() {
-  //  }
-  //  private void inclusionStatement() {
-  //  }
-  //  public void compoundStatement() {
-  //  }
-  //  public void selectionStatement() {
-  //  }
-  //
-  //  public void iterationStatement() {
-  //  }
-  //
-  //  public void jumpStatement() {
-  //  }
-  //
-  //  public void outputStatement() {
-  //  }
-  //
-  //  public void scopeStatement() {
-  //  }
-  //
-  //  public void flowStatement() {
-  //  }
-  //
-  //  public void definitionStatement() {
-  //  }
-  private void ifStatement() {
-    // ':' statement-list [elseif-list] [else-colon-statement] 'endif' ';'
-    if (token == TokenNameCOLON) {
-      getNextToken();
-      if (token != TokenNameendif) {
-        statementList();
-        switch (token) {
-          case TokenNameelse :
-            getNextToken();
-            if (token == TokenNameCOLON) {
-              getNextToken();
-              if (token != TokenNameendif) {
-                statementList();
-              }
-            } else {
-              if (token == TokenNameif) { //'else if'
-                getNextToken();
-                elseifStatementList();
-              } else {
-                throwSyntaxError("':' expected after 'else'.");
-              }
-            }
-            break;
-          case TokenNameelseif :
-            getNextToken();
-            elseifStatementList();
-            break;
+
+  private void ifStatementColon(IfStatement iState) {
+    // T_IF '(' expr ')' ':' inner_statement_list new_elseif_list new_else_single T_ENDIF ';'
+    HashSet assignedVariableSet = null;
+    try {
+      Block b = inner_statement_list();
+      iState.thenStatement = b;
+      checkUnreachable(iState, b);
+    } finally {
+      assignedVariableSet = removeIfVariableSet();
+    }
+    if (token == TokenNameelseif) {
+      try {
+        pushIfVariableSet();
+        new_elseif_list(iState);
+      } finally {
+        HashSet set = removeIfVariableSet();
+        if (assignedVariableSet != null) {
+          assignedVariableSet.addAll(set);
         }
       }
-      if (token != TokenNameendif) {
-        throwSyntaxError("'endif' expected.");
+    }
+    try {
+      pushIfVariableSet();
+      new_else_single(iState);
+    } finally {
+      HashSet set = removeIfVariableSet();
+      if (assignedVariableSet != null) {
+        HashSet topSet = peekVariableSet();
+        if (topSet != null) {
+          topSet.addAll(set);
+          topSet.addAll(assignedVariableSet);
+        }
       }
+    }
+    if (token != TokenNameendif) {
+      throwSyntaxError("'endif' expected.");
+    }
+    getNextToken();
+    if (token != TokenNameSEMICOLON) {
+      reportSyntaxError("';' expected after if-statement.");
+      iState.sourceEnd = scanner.getCurrentTokenStartPosition();
+    } else {
+      iState.sourceEnd = scanner.getCurrentTokenEndPosition();
       getNextToken();
-      if (token != TokenNameSEMICOLON) {
-        throwSyntaxError("';' expected after if-statement.");
+    }
+  }
+
+  private void ifStatement(IfStatement iState) {
+    //  T_IF '(' expr ')' statement elseif_list else_single
+    HashSet assignedVariableSet = null;
+    try {
+      pushIfVariableSet();
+      Statement s = statement();
+      iState.thenStatement = s;
+      checkUnreachable(iState, s);
+    } finally {
+      assignedVariableSet = removeIfVariableSet();
+    }
+
+    if (token == TokenNameelseif) {
+      try {
+        pushIfVariableSet();
+        elseif_list(iState);
+      } finally {
+        HashSet set = removeIfVariableSet();
+        if (assignedVariableSet != null) {
+          assignedVariableSet.addAll(set);
+        }
+      }
+    }
+    try {
+      pushIfVariableSet();
+      else_single(iState);
+    } finally {
+      HashSet set = removeIfVariableSet();
+      if (assignedVariableSet != null) {
+        HashSet topSet = peekVariableSet();
+        if (topSet != null) {
+          topSet.addAll(set);
+          topSet.addAll(assignedVariableSet);
+        }
       }
+    }
+  }
+
+  private void elseif_list(IfStatement iState) {
+    // /* empty */
+    //| elseif_list T_ELSEIF '(' expr ')' statement
+    ArrayList conditionList = new ArrayList();
+    ArrayList statementList = new ArrayList();
+    Expression e;
+    Statement s;
+    while (token == TokenNameelseif) {
       getNextToken();
-    } else {
-      // statement [else-statement]
-      statement(TokenNameEOF);
-      if (token == TokenNameelseif) {
+      if (token == TokenNameLPAREN) {
         getNextToken();
-        if (token == TokenNameLPAREN) {
-          getNextToken();
-        } else {
-          throwSyntaxError("'(' expected after 'elseif' keyword.");
-        }
-        expr();
-        if (token == TokenNameRPAREN) {
-          getNextToken();
-        } else {
-          throwSyntaxError("')' expected after 'elseif' condition.");
-        }
-        ifStatement();
-      } else if (token == TokenNameelse) {
+      } else {
+        throwSyntaxError("'(' expected after 'elseif' keyword.");
+      }
+      e = expr();
+      conditionList.add(e);
+      if (token == TokenNameRPAREN) {
         getNextToken();
-        statement(TokenNameEOF);
+      } else {
+        throwSyntaxError("')' expected after 'elseif' condition.");
       }
+      s = statement();
+      statementList.add(s);
+      checkUnreachable(iState, s);
     }
+    iState.elseifConditions = new Expression[conditionList.size()];
+    iState.elseifStatements = new Statement[statementList.size()];
+    conditionList.toArray(iState.elseifConditions);
+    statementList.toArray(iState.elseifStatements);
   }
-  private void elseifStatementList() {
-    do {
-      elseifStatement();
-      switch (token) {
-        case TokenNameelse :
-          getNextToken();
-          if (token == TokenNameCOLON) {
-            getNextToken();
-            if (token != TokenNameendif) {
-              statementList();
-            }
-            return;
-          } else {
-            if (token == TokenNameif) { //'else if'
-              getNextToken();
-            } else {
-              throwSyntaxError("':' expected after 'else'.");
-            }
-          }
-          break;
-        case TokenNameelseif :
-          getNextToken();
-          break;
-        default :
-          return;
+
+  private void new_elseif_list(IfStatement iState) {
+    // /* empty */
+    //| new_elseif_list T_ELSEIF '(' expr ')' ':' inner_statement_list
+    ArrayList conditionList = new ArrayList();
+    ArrayList statementList = new ArrayList();
+    Expression e;
+    Block b;
+    while (token == TokenNameelseif) {
+      getNextToken();
+      if (token == TokenNameLPAREN) {
+        getNextToken();
+      } else {
+        throwSyntaxError("'(' expected after 'elseif' keyword.");
       }
-    } while (true);
+      e = expr();
+      conditionList.add(e);
+      if (token == TokenNameRPAREN) {
+        getNextToken();
+      } else {
+        throwSyntaxError("')' expected after 'elseif' condition.");
+      }
+      if (token == TokenNameCOLON) {
+        getNextToken();
+      } else {
+        throwSyntaxError("':' expected after 'elseif' keyword.");
+      }
+      b = inner_statement_list();
+      statementList.add(b);
+      checkUnreachable(iState, b);
+    }
+    iState.elseifConditions = new Expression[conditionList.size()];
+    iState.elseifStatements = new Statement[statementList.size()];
+    conditionList.toArray(iState.elseifConditions);
+    statementList.toArray(iState.elseifStatements);
   }
-  private void elseifStatement() {
-    if (token == TokenNameLPAREN) {
+
+  private void else_single(IfStatement iState) {
+    // /* empty */
+    // T_ELSE statement
+    if (token == TokenNameelse) {
       getNextToken();
-      expr();
-      if (token != TokenNameRPAREN) {
-        throwSyntaxError("')' expected in else-if-statement.");
-      }
+      Statement s = statement();
+      iState.elseStatement = s;
+      checkUnreachable(iState, s);
+    } else {
+      iState.checkUnreachable = false;
+    }
+    iState.sourceEnd = scanner.getCurrentTokenStartPosition();
+  }
+
+  private void new_else_single(IfStatement iState) {
+    // /* empty */
+    //| T_ELSE ':' inner_statement_list
+    if (token == TokenNameelse) {
       getNextToken();
-      if (token != TokenNameCOLON) {
-        throwSyntaxError("':' expected in else-if-statement.");
+      if (token == TokenNameCOLON) {
+        getNextToken();
+      } else {
+        throwSyntaxError("':' expected after 'else' keyword.");
       }
-      getNextToken();
-      if (token != TokenNameendif) {
-        statementList();
+      Block b = inner_statement_list();
+      iState.elseStatement = b;
+      checkUnreachable(iState, b);
+    } else {
+      iState.checkUnreachable = false;
+    }
+  }
+
+  private Block inner_statement_list() {
+    // inner_statement_list inner_statement
+    // /* empty */
+    return statementList();
+  }
+
+  /**
+   * @param iState
+   * @param b
+   */
+  private void checkUnreachable(IfStatement iState, Statement s) {
+    if (s instanceof Block) {
+      Block b = (Block) s;
+      if (b.statements == null || b.statements.length == 0) {
+        iState.checkUnreachable = false;
+      } else {
+        int off = b.statements.length - 1;
+        if (!(b.statements[off] instanceof ReturnStatement) && !(b.statements[off] instanceof ContinueStatement)
+            && !(b.statements[off] instanceof BreakStatement)) {
+          if (!(b.statements[off] instanceof IfStatement) || !((IfStatement) b.statements[off]).checkUnreachable) {
+            iState.checkUnreachable = false;
+          }
+        }
+      }
+    } else {
+      if (!(s instanceof ReturnStatement) && !(s instanceof ContinueStatement) && !(s instanceof BreakStatement)) {
+        if (!(s instanceof IfStatement) || !((IfStatement) s).checkUnreachable) {
+          iState.checkUnreachable = false;
+        }
       }
     }
   }
+
+  //  private void elseifStatementList() {
+  //    do {
+  //      elseifStatement();
+  //      switch (token) {
+  //      case TokenNameelse:
+  //        getNextToken();
+  //        if (token == TokenNameCOLON) {
+  //          getNextToken();
+  //          if (token != TokenNameendif) {
+  //            statementList();
+  //          }
+  //          return;
+  //        } else {
+  //          if (token == TokenNameif) { //'else if'
+  //            getNextToken();
+  //          } else {
+  //            throwSyntaxError("':' expected after 'else'.");
+  //          }
+  //        }
+  //        break;
+  //      case TokenNameelseif:
+  //        getNextToken();
+  //        break;
+  //      default:
+  //        return;
+  //      }
+  //    } while (true);
+  //  }
+
+  //  private void elseifStatement() {
+  //    if (token == TokenNameLPAREN) {
+  //      getNextToken();
+  //      expr();
+  //      if (token != TokenNameRPAREN) {
+  //        throwSyntaxError("')' expected in else-if-statement.");
+  //      }
+  //      getNextToken();
+  //      if (token != TokenNameCOLON) {
+  //        throwSyntaxError("':' expected in else-if-statement.");
+  //      }
+  //      getNextToken();
+  //      if (token != TokenNameendif) {
+  //        statementList();
+  //      }
+  //    }
+  //  }
+
   private void switchStatement() {
     if (token == TokenNameCOLON) {
       // ':' [labeled-statement-list] 'endswitch' ';'
@@ -1806,6 +2110,7 @@ public class Parser //extends PHPParserSuperclass
       getNextToken();
     }
   }
+
   private void forStatement() {
     if (token == TokenNameCOLON) {
       getNextToken();
@@ -1819,9 +2124,10 @@ public class Parser //extends PHPParserSuperclass
       }
       getNextToken();
     } else {
-      statement(TokenNameEOF);
+      statement();
     }
   }
+
   private void whileStatement() {
     // ':' statement-list 'endwhile' ';'
     if (token == TokenNameCOLON) {
@@ -1836,9 +2142,10 @@ public class Parser //extends PHPParserSuperclass
       }
       getNextToken();
     } else {
-      statement(TokenNameEOF);
+      statement();
     }
   }
+
   private void foreachStatement() {
     if (token == TokenNameCOLON) {
       getNextToken();
@@ -1852,9 +2159,10 @@ public class Parser //extends PHPParserSuperclass
       }
       getNextToken();
     } else {
-      statement(TokenNameEOF);
+      statement();
     }
   }
+
   //  private void exitStatus() {
   //    if (token == TokenNameLPAREN) {
   //      getNextToken();
@@ -1880,98 +2188,130 @@ public class Parser //extends PHPParserSuperclass
       }
     } while (true);
   }
-  private void expr() {
+
+  private Expression expr() {
     // r_variable
     // | expr_without_variable
     //    if (token!=TokenNameEOF) {
     if (Scanner.TRACE) {
       System.out.println("TRACE: expr()");
     }
-    expr_without_variable(true);
+    return expr_without_variable(true);
     //    }
   }
-  private void expr_without_variable(boolean only_variable) {
-    //         internal_functions_in_yacc
-    // | T_CLONE expr
-    // | T_PRINT expr
-    // | '(' expr ')'
-    // | '@' expr
-    // | '+' expr
-    // | '-' expr
-    // | '!' expr
-    // | '~' expr
-    // | T_INC rw_variable
-    // | T_DEC rw_variable
-    // | T_INT_CAST expr
-    // | T_DOUBLE_CAST expr
-    // | T_STRING_CAST expr
-    // | T_ARRAY_CAST expr
-    // | T_OBJECT_CAST expr
-    // | T_BOOL_CAST expr
-    // | T_UNSET_CAST expr
-    // | T_EXIT exit_expr
-    // | scalar
-    // | T_ARRAY '(' array_pair_list ')'
-    // | '`' encaps_list '`'
-    // | T_LIST '(' assignment_list ')' '=' expr
-    // | T_NEW class_name_reference ctor_arguments
-    // | variable '=' expr
-    // | variable '=' '&' variable
-    // | variable '=' '&' T_NEW class_name_reference ctor_arguments
-    // | variable T_PLUS_EQUAL expr
-    // | variable T_MINUS_EQUAL expr
-    // | variable T_MUL_EQUAL expr
-    // | variable T_DIV_EQUAL expr
-    // | variable T_CONCAT_EQUAL expr
-    // | variable T_MOD_EQUAL expr
-    // | variable T_AND_EQUAL expr
-    // | variable T_OR_EQUAL expr
-    // | variable T_XOR_EQUAL expr
-    // | variable T_SL_EQUAL expr
-    // | variable T_SR_EQUAL expr
-    // | rw_variable T_INC
-    // | rw_variable T_DEC
-    // | expr T_BOOLEAN_OR expr
-    // | expr T_BOOLEAN_AND expr
-    // | expr T_LOGICAL_OR expr
-    // | expr T_LOGICAL_AND expr
-    // | expr T_LOGICAL_XOR expr
-    // | expr '|' expr
-    // | expr '&' expr
-    // | expr '^' expr
-    // | expr '.' expr
-    // | expr '+' expr
-    // | expr '-' expr
-    // | expr '*' expr
-    // | expr '/' expr
-    // | expr '%' expr
-    // | expr T_SL expr
-    // | expr T_SR expr
-    // | expr T_IS_IDENTICAL expr
-    // | expr T_IS_NOT_IDENTICAL expr
-    // | expr T_IS_EQUAL expr
-    // | expr T_IS_NOT_EQUAL expr
-    // | expr '<' expr
-    // | expr T_IS_SMALLER_OR_EQUAL expr
-    // | expr '>' expr
-    // | expr T_IS_GREATER_OR_EQUAL expr
-    // | expr T_INSTANCEOF class_name_reference
-    // | expr '?' expr ':' expr
-    if (Scanner.TRACE) {
-      System.out.println("TRACE: expr_without_variable() PART 1");
-    }
-    switch (token) {
-      case TokenNameisset :
-      case TokenNameempty :
-      case TokenNameeval :
-      case TokenNameinclude :
-      case TokenNameinclude_once :
-      case TokenNamerequire :
-      case TokenNamerequire_once :
+
+  private Expression expr_without_variable(boolean only_variable) {
+    int exprSourceStart = scanner.getCurrentTokenStartPosition();
+    int exprSourceEnd = scanner.getCurrentTokenEndPosition();
+    Expression expression = new Expression();
+    expression.sourceStart = exprSourceStart;
+    // default, may be overwritten
+    expression.sourceEnd = exprSourceEnd;
+    try {
+      //               internal_functions_in_yacc
+      //       | T_CLONE expr
+      //       | T_PRINT expr
+      //       | '(' expr ')'
+      //       | '@' expr
+      //       | '+' expr
+      //       | '-' expr
+      //       | '!' expr
+      //       | '~' expr
+      //       | T_INC rw_variable
+      //       | T_DEC rw_variable
+      //       | T_INT_CAST expr
+      //       | T_DOUBLE_CAST expr
+      //       | T_STRING_CAST expr
+      //       | T_ARRAY_CAST expr
+      //       | T_OBJECT_CAST expr
+      //       | T_BOOL_CAST expr
+      //       | T_UNSET_CAST expr
+      //       | T_EXIT exit_expr
+      //       | scalar
+      //       | T_ARRAY '(' array_pair_list ')'
+      //       | '`' encaps_list '`'
+      //       | T_LIST '(' assignment_list ')' '=' expr
+      //       | T_NEW class_name_reference ctor_arguments
+      //       | variable '=' expr
+      //       | variable '=' '&' variable
+      //       | variable '=' '&' T_NEW class_name_reference ctor_arguments
+      //       | variable T_PLUS_EQUAL expr
+      //       | variable T_MINUS_EQUAL expr
+      //       | variable T_MUL_EQUAL expr
+      //       | variable T_DIV_EQUAL expr
+      //       | variable T_CONCAT_EQUAL expr
+      //       | variable T_MOD_EQUAL expr
+      //       | variable T_AND_EQUAL expr
+      //       | variable T_OR_EQUAL expr
+      //       | variable T_XOR_EQUAL expr
+      //       | variable T_SL_EQUAL expr
+      //       | variable T_SR_EQUAL expr
+      //       | rw_variable T_INC
+      //       | rw_variable T_DEC
+      //       | expr T_BOOLEAN_OR expr
+      //       | expr T_BOOLEAN_AND expr
+      //       | expr T_LOGICAL_OR expr
+      //       | expr T_LOGICAL_AND expr
+      //       | expr T_LOGICAL_XOR expr
+      //       | expr '|' expr
+      //       | expr '&' expr
+      //       | expr '^' expr
+      //       | expr '.' expr
+      //       | expr '+' expr
+      //       | expr '-' expr
+      //       | expr '*' expr
+      //       | expr '/' expr
+      //       | expr '%' expr
+      //       | expr T_SL expr
+      //       | expr T_SR expr
+      //       | expr T_IS_IDENTICAL expr
+      //       | expr T_IS_NOT_IDENTICAL expr
+      //       | expr T_IS_EQUAL expr
+      //       | expr T_IS_NOT_EQUAL expr
+      //       | expr '<' expr
+      //       | expr T_IS_SMALLER_OR_EQUAL expr
+      //       | expr '>' expr
+      //       | expr T_IS_GREATER_OR_EQUAL expr
+      //       | expr T_INSTANCEOF class_name_reference
+      //       | expr '?' expr ':' expr
+      if (Scanner.TRACE) {
+        System.out.println("TRACE: expr_without_variable() PART 1");
+      }
+      switch (token) {
+      case TokenNameisset:
+        //     T_ISSET '(' isset_variables ')'
+        getNextToken();
+        if (token != TokenNameLPAREN) {
+          throwSyntaxError("'(' expected after keyword 'isset'");
+        }
+        getNextToken();
+        isset_variables();
+        if (token != TokenNameRPAREN) {
+          throwSyntaxError("')' expected after keyword 'isset'");
+        }
+        getNextToken();
+        break;
+      case TokenNameempty:
+        getNextToken();
+        if (token != TokenNameLPAREN) {
+          throwSyntaxError("'(' expected after keyword 'empty'");
+        }
+        getNextToken();
+        variable(true, false);
+        if (token != TokenNameRPAREN) {
+          throwSyntaxError("')' expected after keyword 'empty'");
+        }
+        getNextToken();
+        break;
+      case TokenNameeval:
+      case TokenNameinclude:
+      case TokenNameinclude_once:
+      case TokenNamerequire:
+      case TokenNamerequire_once:
         internal_functions_in_yacc();
         break;
       //       | '(' expr ')'
-      case TokenNameLPAREN :
+      case TokenNameLPAREN:
         getNextToken();
         expr();
         if (token == TokenNameRPAREN) {
@@ -1994,24 +2334,24 @@ public class Parser //extends PHPParserSuperclass
       //       | T_OBJECT_CAST expr
       //       | T_BOOL_CAST expr
       //       | T_UNSET_CAST expr
-      case TokenNameclone :
-      case TokenNameprint :
-      case TokenNameAT :
-      case TokenNamePLUS :
-      case TokenNameMINUS :
-      case TokenNameNOT :
-      case TokenNameTWIDDLE :
-      case TokenNameintCAST :
-      case TokenNamedoubleCAST :
-      case TokenNamestringCAST :
-      case TokenNamearrayCAST :
-      case TokenNameobjectCAST :
-      case TokenNameboolCAST :
-      case TokenNameunsetCAST :
+      case TokenNameclone:
+      case TokenNameprint:
+      case TokenNameAT:
+      case TokenNamePLUS:
+      case TokenNameMINUS:
+      case TokenNameNOT:
+      case TokenNameTWIDDLE:
+      case TokenNameintCAST:
+      case TokenNamedoubleCAST:
+      case TokenNamestringCAST:
+      case TokenNamearrayCAST:
+      case TokenNameobjectCAST:
+      case TokenNameboolCAST:
+      case TokenNameunsetCAST:
         getNextToken();
         expr();
         break;
-      case TokenNameexit :
+      case TokenNameexit:
         getNextToken();
         exit_expr();
         break;
@@ -2023,7 +2363,7 @@ public class Parser //extends PHPParserSuperclass
       //       | '`' encaps_list '`'
       //  | common_scalar
       //       | '`' encaps_list '`'
-      case TokenNameEncapsedString0 :
+      case TokenNameEncapsedString0:
         scanner.encapsedStringStack.push(new Character('`'));
         getNextToken();
         try {
@@ -2040,15 +2380,21 @@ public class Parser //extends PHPParserSuperclass
         }
         break;
       //      | '\'' encaps_list '\''
-      case TokenNameEncapsedString1 :
+      case TokenNameEncapsedString1:
         scanner.encapsedStringStack.push(new Character('\''));
         getNextToken();
         try {
+          exprSourceStart = scanner.getCurrentTokenStartPosition();
           if (token == TokenNameEncapsedString1) {
+            expression = new StringLiteralSQ(scanner.getCurrentStringLiteralSource(exprSourceStart), exprSourceStart, scanner
+                .getCurrentTokenEndPosition());
           } else {
             encaps_list();
             if (token != TokenNameEncapsedString1) {
               throwSyntaxError("\'\'\' expected at end of string" + "(Found token: " + scanner.toStringAction(token) + " )");
+            } else {
+              expression = new StringLiteralSQ(scanner.getCurrentStringLiteralSource(exprSourceStart), exprSourceStart, scanner
+                  .getCurrentTokenEndPosition());
             }
           }
         } finally {
@@ -2057,15 +2403,21 @@ public class Parser //extends PHPParserSuperclass
         }
         break;
       //| '"' encaps_list '"'
-      case TokenNameEncapsedString2 :
+      case TokenNameEncapsedString2:
         scanner.encapsedStringStack.push(new Character('"'));
         getNextToken();
         try {
+          exprSourceStart = scanner.getCurrentTokenStartPosition();
           if (token == TokenNameEncapsedString2) {
+            expression = new StringLiteralDQ(scanner.getCurrentStringLiteralSource(exprSourceStart), exprSourceStart, scanner
+                .getCurrentTokenEndPosition());
           } else {
             encaps_list();
             if (token != TokenNameEncapsedString2) {
               throwSyntaxError("'\"' expected at end of string" + "(Found token: " + scanner.toStringAction(token) + " )");
+            } else {
+              expression = new StringLiteralDQ(scanner.getCurrentStringLiteralSource(exprSourceStart), exprSourceStart, scanner
+                  .getCurrentTokenEndPosition());
             }
           }
         } finally {
@@ -2073,22 +2425,30 @@ public class Parser //extends PHPParserSuperclass
           getNextToken();
         }
         break;
-      case TokenNameIntegerLiteral :
-      case TokenNameDoubleLiteral :
-      case TokenNameStringDoubleQuote :
-      case TokenNameStringSingleQuote :
-      case TokenNameStringInterpolated :
-      case TokenNameFILE :
-      case TokenNameLINE :
-      case TokenNameCLASS_C :
-      case TokenNameMETHOD_C :
-      case TokenNameFUNC_C :
+      case TokenNameStringDoubleQuote:
+        expression = new StringLiteralDQ(scanner.getCurrentStringLiteralSource(), scanner.getCurrentTokenStartPosition(), scanner
+            .getCurrentTokenEndPosition());
         common_scalar();
         break;
-      case TokenNameHEREDOC :
+      case TokenNameStringSingleQuote:
+        expression = new StringLiteralSQ(scanner.getCurrentStringLiteralSource(), scanner.getCurrentTokenStartPosition(), scanner
+            .getCurrentTokenEndPosition());
+        common_scalar();
+        break;
+      case TokenNameIntegerLiteral:
+      case TokenNameDoubleLiteral:
+      case TokenNameStringInterpolated:
+      case TokenNameFILE:
+      case TokenNameLINE:
+      case TokenNameCLASS_C:
+      case TokenNameMETHOD_C:
+      case TokenNameFUNC_C:
+        common_scalar();
+        break;
+      case TokenNameHEREDOC:
         getNextToken();
         break;
-      case TokenNamearray :
+      case TokenNamearray:
         //    T_ARRAY '(' array_pair_list ')'
         getNextToken();
         if (token == TokenNameLPAREN) {
@@ -2099,14 +2459,14 @@ public class Parser //extends PHPParserSuperclass
           }
           array_pair_list();
           if (token != TokenNameRPAREN) {
-            throwSyntaxError("')' expected after keyword 'array'" + "(Found token: " + scanner.toStringAction(token) + ")");
+            throwSyntaxError("')' or ',' expected after keyword 'array'" + "(Found token: " + scanner.toStringAction(token) + ")");
           }
           getNextToken();
         } else {
           throwSyntaxError("'(' expected after keyword 'array'" + "(Found token: " + scanner.toStringAction(token) + ")");
         }
         break;
-      case TokenNamelist :
+      case TokenNamelist:
         //    | T_LIST '(' assignment_list ')' '=' expr
         getNextToken();
         if (token == TokenNameLPAREN) {
@@ -2125,16 +2485,19 @@ public class Parser //extends PHPParserSuperclass
           throwSyntaxError("'(' expected after 'list' keyword.");
         }
         break;
-      case TokenNamenew :
+      case TokenNamenew:
         //     | T_NEW class_name_reference ctor_arguments
         getNextToken();
-        class_name_reference();
+        Expression typeRef = class_name_reference();
         ctor_arguments();
+        if (typeRef != null) {
+          expression = typeRef;
+        }
         break;
       //       | T_INC rw_variable
       //       | T_DEC rw_variable
-      case TokenNamePLUS_PLUS :
-      case TokenNameMINUS_MINUS :
+      case TokenNamePLUS_PLUS:
+      case TokenNameMINUS_MINUS:
         getNextToken();
         rw_variable();
         break;
@@ -2154,53 +2517,138 @@ public class Parser //extends PHPParserSuperclass
       //       | variable T_SR_EQUAL expr
       //       | rw_variable T_INC
       //       | rw_variable T_DEC
-      case TokenNameIdentifier :
-      case TokenNameVariable :
-      case TokenNameDOLLAR :
-        variable();
+      case TokenNameIdentifier:
+      case TokenNameVariable:
+      case TokenNameDOLLAR:
+        boolean rememberedVar = false; 
+        Expression lhs = variable(true, true);
+        if (lhs != null && lhs instanceof FieldReference && token != TokenNameEQUAL && token != TokenNamePLUS_EQUAL
+            && token != TokenNameMINUS_EQUAL && token != TokenNameMULTIPLY_EQUAL && token != TokenNameDIVIDE_EQUAL
+            && token != TokenNameDOT_EQUAL && token != TokenNameREMAINDER_EQUAL && token != TokenNameAND_EQUAL
+            && token != TokenNameOR_EQUAL && token != TokenNameXOR_EQUAL && token != TokenNameRIGHT_SHIFT_EQUAL
+            && token != TokenNameLEFT_SHIFT_EQUAL) {
+          FieldReference ref = (FieldReference) lhs;
+          if (!containsVariableSet(ref.token)) {
+            problemReporter.uninitializedLocalVariable(new String(ref.token), ref.sourceStart(), ref.sourceEnd(), referenceContext,
+                compilationUnit.compilationResult);
+            addVariableSet(ref.token);
+          }
+        }
+
         switch (token) {
-          case TokenNameEQUAL :
+        case TokenNameEQUAL:
+          if (lhs != null && lhs instanceof FieldReference) {
+            addVariableSet(((FieldReference) lhs).token);
+          }
+          //          if (lhsVar != null) {
+          //            addVariableSet(lhsVar);
+          //          }
+          getNextToken();
+          if (token == TokenNameAND) {
             getNextToken();
-            if (token == TokenNameAND) {
+            if (token == TokenNamenew) {
+              // | variable '=' '&' T_NEW class_name_reference
+              // ctor_arguments
               getNextToken();
-              if (token == TokenNamenew) {
-                // | variable '=' '&' T_NEW class_name_reference
-                // ctor_arguments
-                getNextToken();
-                class_name_reference();
-                ctor_arguments();
-              } else {
-                variable();
+              SingleTypeReference classRef = class_name_reference();
+              ctor_arguments();
+              if (classRef != null) {
+                if (lhs != null && lhs instanceof FieldReference) {
+                  // example:
+                  // $var = & new Object();
+                  if (fMethodVariables != null) {
+                    VariableInfo lhsInfo = new VariableInfo(((FieldReference) lhs).sourceStart());
+                    lhsInfo.reference = classRef;
+                    lhsInfo.typeIdentifier = classRef.token;
+                    fMethodVariables.put(new String(((FieldReference) lhs).token), lhsInfo);
+                    rememberedVar = true;
+                  }
+                }
               }
             } else {
-              expr();
+              Expression rhs = variable(false, false);
+              if (rhs != null && rhs instanceof FieldReference && lhs != null && lhs instanceof FieldReference) {
+                // example:
+                // $var = &$ref;
+                if (fMethodVariables != null) {
+                  VariableInfo rhsInfo = (VariableInfo) fMethodVariables.get(((FieldReference) rhs).token);
+                  if (rhsInfo != null && rhsInfo.reference != null) {
+                    VariableInfo lhsInfo = new VariableInfo(((FieldReference) lhs).sourceStart());
+                    lhsInfo.reference = rhsInfo.reference;
+                    lhsInfo.typeIdentifier = rhsInfo.typeIdentifier;
+                    fMethodVariables.put(new String(((FieldReference) lhs).token), lhsInfo);
+                    rememberedVar = true;
+                  }
+                }
+              }
             }
-            break;
-          case TokenNamePLUS_EQUAL :
-          case TokenNameMINUS_EQUAL :
-          case TokenNameMULTIPLY_EQUAL :
-          case TokenNameDIVIDE_EQUAL :
-          case TokenNameDOT_EQUAL :
-          case TokenNameREMAINDER_EQUAL :
-          case TokenNameAND_EQUAL :
-          case TokenNameOR_EQUAL :
-          case TokenNameXOR_EQUAL :
-          case TokenNameRIGHT_SHIFT_EQUAL :
-          case TokenNameLEFT_SHIFT_EQUAL :
-            getNextToken();
-            expr();
-            break;
-          case TokenNamePLUS_PLUS :
-          case TokenNameMINUS_MINUS :
-            getNextToken();
-            break;
-          default :
-            if (!only_variable) {
-              throwSyntaxError("Variable expression not allowed (found token '" + scanner.toStringAction(token) + "').");
+          } else {
+            Expression rhs = expr();
+            if (lhs != null && lhs instanceof FieldReference) {
+              if (rhs != null && rhs instanceof FieldReference) {
+                // example:
+                // $var = $ref;
+                if (fMethodVariables != null) {
+                  VariableInfo rhsInfo = (VariableInfo) fMethodVariables.get(((FieldReference) rhs).token);
+                  if (rhsInfo != null && rhsInfo.reference != null) {
+                    VariableInfo lhsInfo = new VariableInfo(((FieldReference) lhs).sourceStart());
+                    lhsInfo.reference = rhsInfo.reference;
+                    lhsInfo.typeIdentifier = rhsInfo.typeIdentifier;
+                    fMethodVariables.put(new String(((FieldReference) lhs).token), lhsInfo);
+                    rememberedVar = true;
+                  }
+                }
+              } else if (rhs != null && rhs instanceof SingleTypeReference) {
+                // example:
+                // $var = new Object();
+                if (fMethodVariables != null) {
+                  VariableInfo lhsInfo = new VariableInfo(((FieldReference) lhs).sourceStart());
+                  lhsInfo.reference = (SingleTypeReference) rhs;
+                  lhsInfo.typeIdentifier = ((SingleTypeReference) rhs).token;
+                  fMethodVariables.put(new String(((FieldReference) lhs).token), lhsInfo);
+                  rememberedVar = true;
+                }
+              }
+            }
+          }
+          if (rememberedVar == false && lhs != null && lhs instanceof FieldReference) {
+            if (fMethodVariables != null) {
+              VariableInfo lhsInfo = new VariableInfo(((FieldReference) lhs).sourceStart());
+              fMethodVariables.put(new String(((FieldReference) lhs).token), lhsInfo);
             }
+          }
+          break;
+        case TokenNamePLUS_EQUAL:
+        case TokenNameMINUS_EQUAL:
+        case TokenNameMULTIPLY_EQUAL:
+        case TokenNameDIVIDE_EQUAL:
+        case TokenNameDOT_EQUAL:
+        case TokenNameREMAINDER_EQUAL:
+        case TokenNameAND_EQUAL:
+        case TokenNameOR_EQUAL:
+        case TokenNameXOR_EQUAL:
+        case TokenNameRIGHT_SHIFT_EQUAL:
+        case TokenNameLEFT_SHIFT_EQUAL:
+          if (lhs != null && lhs instanceof FieldReference) {
+            addVariableSet(((FieldReference) lhs).token);
+          }
+          getNextToken();
+          expr();
+          break;
+        case TokenNamePLUS_PLUS:
+        case TokenNameMINUS_MINUS:
+          getNextToken();
+          break;
+        default:
+          if (!only_variable) {
+            throwSyntaxError("Variable expression not allowed (found token '" + scanner.toStringAction(token) + "').");
+          }
+          if (lhs != null) {
+            expression = lhs;
+          }
         }
         break;
-      default :
+      default:
         if (token != TokenNameINLINE_HTML) {
           if (token > TokenNameKEYWORD) {
             getNextToken();
@@ -2209,96 +2657,129 @@ public class Parser //extends PHPParserSuperclass
             throwSyntaxError("Error in expression (found token '" + scanner.toStringAction(token) + "').");
           }
         }
-        return;
-    }
-    if (Scanner.TRACE) {
-      System.out.println("TRACE: expr_without_variable() PART 2");
-    }
-    // | expr T_BOOLEAN_OR expr
-    // | expr T_BOOLEAN_AND expr
-    // | expr T_LOGICAL_OR expr
-    // | expr T_LOGICAL_AND expr
-    // | expr T_LOGICAL_XOR expr
-    // | expr '|' expr
-    // | expr '&' expr
-    // | expr '^' expr
-    // | expr '.' expr
-    // | expr '+' expr
-    // | expr '-' expr
-    // | expr '*' expr
-    // | expr '/' expr
-    // | expr '%' expr
-    // | expr T_SL expr
-    // | expr T_SR expr
-    // | expr T_IS_IDENTICAL expr
-    // | expr T_IS_NOT_IDENTICAL expr
-    // | expr T_IS_EQUAL expr
-    // | expr T_IS_NOT_EQUAL expr
-    // | expr '<' expr
-    // | expr T_IS_SMALLER_OR_EQUAL expr
-    // | expr '>' expr
-    // | expr T_IS_GREATER_OR_EQUAL expr
-    while (true) {
-      switch (token) {
-        case TokenNameOR_OR :
-        case TokenNameAND_AND :
-        case TokenNameand :
-        case TokenNameor :
-        case TokenNamexor :
-        case TokenNameAND :
-        case TokenNameOR :
-        case TokenNameXOR :
-        case TokenNameDOT :
-        case TokenNamePLUS :
-        case TokenNameMINUS :
-        case TokenNameMULTIPLY :
-        case TokenNameDIVIDE :
-        case TokenNameREMAINDER :
-        case TokenNameLEFT_SHIFT :
-        case TokenNameRIGHT_SHIFT :
-        case TokenNameEQUAL_EQUAL_EQUAL :
-        case TokenNameNOT_EQUAL_EQUAL :
-        case TokenNameEQUAL_EQUAL :
-        case TokenNameNOT_EQUAL :
-        case TokenNameLESS :
-        case TokenNameLESS_EQUAL :
-        case TokenNameGREATER :
-        case TokenNameGREATER_EQUAL :
+        return expression;
+      }
+      if (Scanner.TRACE) {
+        System.out.println("TRACE: expr_without_variable() PART 2");
+      }
+      //       | expr T_BOOLEAN_OR expr
+      //       | expr T_BOOLEAN_AND expr
+      //       | expr T_LOGICAL_OR expr
+      //       | expr T_LOGICAL_AND expr
+      //       | expr T_LOGICAL_XOR expr
+      //       | expr '|' expr
+      //       | expr '&' expr
+      //       | expr '^' expr
+      //       | expr '.' expr
+      //       | expr '+' expr
+      //       | expr '-' expr
+      //       | expr '*' expr
+      //       | expr '/' expr
+      //       | expr '%' expr
+      //       | expr T_SL expr
+      //       | expr T_SR expr
+      //       | expr T_IS_IDENTICAL expr
+      //       | expr T_IS_NOT_IDENTICAL expr
+      //       | expr T_IS_EQUAL expr
+      //       | expr T_IS_NOT_EQUAL expr
+      //       | expr '<' expr
+      //       | expr T_IS_SMALLER_OR_EQUAL expr
+      //       | expr '>' expr
+      //       | expr T_IS_GREATER_OR_EQUAL expr
+      while (true) {
+        switch (token) {
+        case TokenNameOR_OR:
           getNextToken();
-          expr();
+          expression = new OR_OR_Expression(expression, expr(), token);
+          break;
+        case TokenNameAND_AND:
+          getNextToken();
+          expression = new AND_AND_Expression(expression, expr(), token);
+          break;
+        case TokenNameEQUAL_EQUAL:
+          getNextToken();
+          expression = new EqualExpression(expression, expr(), token);
+          break;
+        case TokenNameand:
+        case TokenNameor:
+        case TokenNamexor:
+        case TokenNameAND:
+        case TokenNameOR:
+        case TokenNameXOR:
+        case TokenNameDOT:
+        case TokenNamePLUS:
+        case TokenNameMINUS:
+        case TokenNameMULTIPLY:
+        case TokenNameDIVIDE:
+        case TokenNameREMAINDER:
+        case TokenNameLEFT_SHIFT:
+        case TokenNameRIGHT_SHIFT:
+        case TokenNameEQUAL_EQUAL_EQUAL:
+        case TokenNameNOT_EQUAL_EQUAL:
+        case TokenNameNOT_EQUAL:
+        case TokenNameLESS:
+        case TokenNameLESS_EQUAL:
+        case TokenNameGREATER:
+        case TokenNameGREATER_EQUAL:
+          getNextToken();
+          expression = new BinaryExpression(expression, expr(), token);
           break;
         //  | expr T_INSTANCEOF class_name_reference
         //     | expr '?' expr ':' expr
-        case TokenNameinstanceof :
+        case TokenNameinstanceof:
           getNextToken();
-          class_name_reference();
+          TypeReference classRef = class_name_reference();
+          expression = new InstanceOfExpression(expression, classRef, OperatorIds.INSTANCEOF);
+          expression.sourceStart = exprSourceStart;
+          expression.sourceEnd = scanner.getCurrentTokenEndPosition();
           break;
-        case TokenNameQUESTION :
+        case TokenNameQUESTION:
           getNextToken();
-          expr();
-          if (token == TokenNameCOLON) {
-            getNextToken();
-            expr();
+          Expression valueIfTrue = expr();
+          if (token != TokenNameCOLON) {
+            throwSyntaxError("':' expected in conditional expression.");
           }
+          getNextToken();
+          Expression valueIfFalse = expr();
+
+          expression = new ConditionalExpression(expression, valueIfTrue, valueIfFalse);
           break;
-        default :
-          return;
+        default:
+          return expression;
+        }
+      }
+    } catch (SyntaxError e) {
+      // try to find next token after expression with errors:
+      if (token == TokenNameSEMICOLON) {
+        getNextToken();
+        return expression;
       }
+      if (token == TokenNameRBRACE || token == TokenNameRPAREN || token == TokenNameRBRACKET) {
+        getNextToken();
+        return expression;
+      }
+      throw e;
     }
   }
-  private void class_name_reference() {
+
+  private SingleTypeReference class_name_reference() {
     //  class_name_reference:
     // T_STRING
     //| dynamic_class_name_reference
+    SingleTypeReference ref = null;
     if (Scanner.TRACE) {
       System.out.println("TRACE: class_name_reference()");
     }
     if (token == TokenNameIdentifier) {
+      ref = new SingleTypeReference(scanner.getCurrentIdentifierSource(), scanner.getCurrentTokenStartPosition());
       getNextToken();
     } else {
+      ref = null;
       dynamic_class_name_reference();
     }
+    return ref;
   }
+
   private void dynamic_class_name_reference() {
     //dynamic_class_name_reference:
     // base_variable T_OBJECT_OPERATOR object_property
@@ -2314,6 +2795,7 @@ public class Parser //extends PHPParserSuperclass
       dynamic_class_name_variable_properties();
     }
   }
+
   private void dynamic_class_name_variable_properties() {
     //  dynamic_class_name_variable_properties:
     //                 dynamic_class_name_variable_properties
@@ -2326,6 +2808,7 @@ public class Parser //extends PHPParserSuperclass
       dynamic_class_name_variable_property();
     }
   }
+
   private void dynamic_class_name_variable_property() {
     //  dynamic_class_name_variable_property:
     // T_OBJECT_OPERATOR object_property
@@ -2337,6 +2820,7 @@ public class Parser //extends PHPParserSuperclass
       object_property();
     }
   }
+
   private void ctor_arguments() {
     //  ctor_arguments:
     // /* empty */
@@ -2354,6 +2838,7 @@ public class Parser //extends PHPParserSuperclass
       getNextToken();
     }
   }
+
   private void assignment_list() {
     //  assignment_list:
     // assignment_list ',' assignment_list_element
@@ -2366,13 +2851,16 @@ public class Parser //extends PHPParserSuperclass
       getNextToken();
     }
   }
+
   private void assignment_list_element() {
     //assignment_list_element:
     // variable
     //| T_LIST '(' assignment_list ')'
     //| /* empty */
-    if (token == TokenNameVariable || token == TokenNameDOLLAR) {
-      variable();
+    if (token == TokenNameVariable) {
+      variable(true, false);
+    } else if (token == TokenNameDOLLAR) {
+      variable(false, false);
     } else {
       if (token == TokenNamelist) {
         getNextToken();
@@ -2389,6 +2877,7 @@ public class Parser //extends PHPParserSuperclass
       }
     }
   }
+
   private void array_pair_list() {
     //  array_pair_list:
     // /* empty */
@@ -2398,6 +2887,7 @@ public class Parser //extends PHPParserSuperclass
       getNextToken();
     }
   }
+
   private void non_empty_array_pair_list() {
     //non_empty_array_pair_list:
     // non_empty_array_pair_list ',' expr T_DOUBLE_ARROW expr
@@ -2411,17 +2901,17 @@ public class Parser //extends PHPParserSuperclass
     while (true) {
       if (token == TokenNameAND) {
         getNextToken();
-        variable();
+        variable(true, false);
       } else {
         expr();
         if (token == TokenNameAND) {
           getNextToken();
-          variable();
+          variable(true, false);
         } else if (token == TokenNameEQUAL_GREATER) {
           getNextToken();
           if (token == TokenNameAND) {
             getNextToken();
-            variable();
+            variable(true, false);
           } else {
             expr();
           }
@@ -2436,6 +2926,7 @@ public class Parser //extends PHPParserSuperclass
       }
     }
   }
+
   //  private void variableList() {
   //    do {
   //      variable();
@@ -2446,7 +2937,7 @@ public class Parser //extends PHPParserSuperclass
   //      }
   //    } while (true);
   //  }
-  private void variable_without_objects() {
+  private Expression variable_without_objects(boolean lefthandside, boolean ignoreVar) {
     //  variable_without_objects:
     //                 reference_variable
     //         | simple_indirect_reference reference_variable
@@ -2456,97 +2947,96 @@ public class Parser //extends PHPParserSuperclass
     while (token == TokenNameDOLLAR) {
       getNextToken();
     }
-    reference_variable();
+    return reference_variable(lefthandside, ignoreVar);
   }
-  private void function_call() {
+
+  private Expression function_call(boolean lefthandside, boolean ignoreVar) {
     //  function_call:
     // T_STRING '(' function_call_parameter_list ')'
     //| class_constant '(' function_call_parameter_list ')'
     //| static_member '(' function_call_parameter_list ')'
     //| variable_without_objects '(' function_call_parameter_list ')'
     char[] defineName = null;
-    int startPos=0;
-    int endPos=0;
+    char[] ident = null;
+    int startPos = 0;
+    int endPos = 0;
+    Expression ref = null;
     if (Scanner.TRACE) {
       System.out.println("TRACE: function_call()");
     }
     if (token == TokenNameIdentifier) {
-      defineName = scanner.getCurrentIdentifierSource();
+      ident = scanner.getCurrentIdentifierSource();
+      defineName = ident;
       startPos = scanner.getCurrentTokenStartPosition();
       endPos = scanner.getCurrentTokenEndPosition();
       getNextToken();
       switch (token) {
-        case TokenNamePAAMAYIM_NEKUDOTAYIM :
-          // static member:
-          defineName = null;
+      case TokenNamePAAMAYIM_NEKUDOTAYIM:
+        // static member:
+        defineName = null;
+        getNextToken();
+        if (token == TokenNameIdentifier) {
+          // class _constant
           getNextToken();
-          if (token == TokenNameIdentifier) {
-            // class _constant
-            getNextToken();
-          } else {
-            //        static member:
-            variable_without_objects();
-          }
-          break;
+        } else {
+          //        static member:
+          variable_without_objects(true, false);
+        }
+        break;
       }
     } else {
-      variable_without_objects();
+      ref = variable_without_objects(lefthandside, ignoreVar);
     }
     if (token != TokenNameLPAREN) {
-      if (defineName!=null) {
+      if (defineName != null) {
         // does this identifier contain only uppercase characters?
-        if (defineName.length==3) {
-          if (defineName[0]=='d' &&
-              defineName[1]=='i' &&
-              defineName[2]=='e' ) {
-            defineName=null;
-          } 
-        } else if (defineName.length==4) {
-          if (defineName[0]=='t' &&
-              defineName[1]=='r' &&
-              defineName[2]=='u' &&
-              defineName[3]=='e' ) {
-            defineName=null;
-          } else if (defineName[0]=='n' &&
-              defineName[1]=='u' &&
-              defineName[2]=='l' &&
-              defineName[3]=='l' ) {
-            defineName=null;
+        if (defineName.length == 3) {
+          if (defineName[0] == 'd' && defineName[1] == 'i' && defineName[2] == 'e') {
+            defineName = null;
+          }
+        } else if (defineName.length == 4) {
+          if (defineName[0] == 't' && defineName[1] == 'r' && defineName[2] == 'u' && defineName[3] == 'e') {
+            defineName = null;
+          } else if (defineName[0] == 'n' && defineName[1] == 'u' && defineName[2] == 'l' && defineName[3] == 'l') {
+            defineName = null;
           }
-        } else if (defineName.length==5) {
-          if (defineName[0]=='f' &&
-              defineName[1]=='a' &&
-              defineName[2]=='l' &&
-              defineName[3]=='s' &&
-              defineName[4]=='e' ) {
-            defineName=null;
+        } else if (defineName.length == 5) {
+          if (defineName[0] == 'f' && defineName[1] == 'a' && defineName[2] == 'l' && defineName[3] == 's' && defineName[4] == 'e') {
+            defineName = null;
           }
         }
-        if (defineName!=null) {
-          for (int i=0; i<defineName.length;i++) {
-            if (Character.isLowerCase(defineName[i])) {  
-              problemReporter.phpUppercaseIdentifierWarning(startPos, endPos,
-                referenceContext, compilationUnit.compilationResult);
+        if (defineName != null) {
+          for (int i = 0; i < defineName.length; i++) {
+            if (Character.isLowerCase(defineName[i])) {
+              problemReporter.phpUppercaseIdentifierWarning(startPos, endPos, referenceContext, compilationUnit.compilationResult);
               break;
             }
           }
         }
       }
       // TODO is this ok ?
-      return;
+      return ref;
       //      throwSyntaxError("'(' expected in function call.");
     }
     getNextToken();
     if (token == TokenNameRPAREN) {
       getNextToken();
-      return;
+      return ref;
     }
     non_empty_function_call_parameter_list();
     if (token != TokenNameRPAREN) {
-      throwSyntaxError("')' expected in function call.");
+      String functionName;
+      if (ident == null) {
+        functionName = new String(" ");
+      } else {
+        functionName = new String(ident);
+      }
+      throwSyntaxError("')' expected in function call (" + functionName + ").");
     }
     getNextToken();
+    return ref;
   }
+
   //  private void function_call_parameter_list() {
   //    function_call_parameter_list:
   //           non_empty_function_call_parameter_list { $$ = $1; }
@@ -2566,7 +3056,7 @@ public class Parser //extends PHPParserSuperclass
     while (true) {
       if (token == TokenNameAND) {
         getNextToken();
-        w_variable();
+        w_variable(true);
       } else {
         //        if (token == TokenNameIdentifier || token ==
         // TokenNameVariable
@@ -2582,6 +3072,7 @@ public class Parser //extends PHPParserSuperclass
       getNextToken();
     }
   }
+
   private void fully_qualified_class_name() {
     if (token == TokenNameIdentifier) {
       getNextToken();
@@ -2589,6 +3080,7 @@ public class Parser //extends PHPParserSuperclass
       throwSyntaxError("Class name expected.");
     }
   }
+
   private void static_member() {
     //  static_member:
     // fully_qualified_class_name T_PAAMAYIM_NEKUDOTAYIM
@@ -2601,9 +3093,10 @@ public class Parser //extends PHPParserSuperclass
       throwSyntaxError("'::' expected after class name (static_member).");
     }
     getNextToken();
-    variable_without_objects();
+    variable_without_objects(false, false);
   }
-  private void base_variable_with_function_calls() {
+
+  private Expression base_variable_with_function_calls(boolean lefthandside, boolean ignoreVar) {
     //  base_variable_with_function_calls:
     // base_variable
     //| function_call
@@ -2625,16 +3118,18 @@ public class Parser //extends PHPParserSuperclass
     //      scanner.phpMode = true;
     //    }
     //    if (functionCall) {
-    function_call();
+    return function_call(lefthandside, ignoreVar);
     //    } else {
     //      base_variable();
     //    }
   }
-  private void base_variable() {
+
+  private Expression base_variable() {
     //  base_variable:
     //                 reference_variable
     //         | simple_indirect_reference reference_variable
     //         | static_member
+    Expression ref = null;
     if (Scanner.TRACE) {
       System.out.println("TRACE: base_variable()");
     }
@@ -2644,25 +3139,29 @@ public class Parser //extends PHPParserSuperclass
       while (token == TokenNameDOLLAR) {
         getNextToken();
       }
-      reference_variable();
+      reference_variable(false, false);
     }
+    return ref;
   }
+
   //  private void simple_indirect_reference() {
   //    // simple_indirect_reference:
   //    // '$'
   //    //| simple_indirect_reference '$'
   //  }
-  private void reference_variable() {
+  private Expression reference_variable(boolean lefthandside, boolean ignoreVar) {
     //  reference_variable:
     //                 reference_variable '[' dim_offset ']'
     //         | reference_variable '{' expr '}'
     //         | compound_variable
+    Expression ref = null;
     if (Scanner.TRACE) {
       System.out.println("TRACE: reference_variable()");
     }
-    compound_variable();
+    ref = compound_variable(lefthandside, ignoreVar);
     while (true) {
       if (token == TokenNameLBRACE) {
+        ref = null;
         getNextToken();
         expr();
         if (token != TokenNameRBRACE) {
@@ -2670,6 +3169,11 @@ public class Parser //extends PHPParserSuperclass
         }
         getNextToken();
       } else if (token == TokenNameLBRACKET) {
+        if (ref != null && ref instanceof FieldReference) {
+          FieldReference fref = (FieldReference) ref;
+          addVariableSet(fref.token);
+        }
+        ref = null;
         getNextToken();
         if (token != TokenNameRBRACKET) {
           expr();
@@ -2683,8 +3187,10 @@ public class Parser //extends PHPParserSuperclass
         break;
       }
     }
+    return ref;
   }
-  private void compound_variable() {
+
+  private Expression compound_variable(boolean lefthandside, boolean ignoreVar) {
     //  compound_variable:
     //                 T_VARIABLE
     //         | '$' '{' expr '}'
@@ -2692,14 +3198,30 @@ public class Parser //extends PHPParserSuperclass
       System.out.println("TRACE: compound_variable()");
     }
     if (token == TokenNameVariable) {
+      if (!lefthandside) {
+        if (!containsVariableSet()) {
+          //          reportSyntaxError("The local variable " + new String(scanner.getCurrentIdentifierSource())
+          //              + " may not have been initialized");
+          problemReporter.uninitializedLocalVariable(new String(scanner.getCurrentIdentifierSource()), scanner
+              .getCurrentTokenStartPosition(), scanner.getCurrentTokenEndPosition(), referenceContext,
+              compilationUnit.compilationResult);
+        }
+      } else {
+        if (!ignoreVar) {
+          addVariableSet();
+        }
+      }
+      FieldReference ref = new FieldReference(scanner.getCurrentIdentifierSource(), scanner.getCurrentTokenStartPosition());
       getNextToken();
+      return ref;
     } else {
       // because of simple_indirect_reference
       while (token == TokenNameDOLLAR) {
         getNextToken();
       }
       if (token != TokenNameLBRACE) {
-        throwSyntaxError("'{' expected after compound variable token '$'.");
+        reportSyntaxError("'{' expected after compound variable token '$'.");
+        return null;
       }
       getNextToken();
       expr();
@@ -2708,10 +3230,9 @@ public class Parser //extends PHPParserSuperclass
       }
       getNextToken();
     }
-  }
-  //  private void dim_offset() {
-  //    // dim_offset:
-  //    // /* empty */
+    return null;
+  } //  private void dim_offset() { // // dim_offset: // // /* empty */
+
   //    // | expr
   //    expr();
   //  }
@@ -2723,11 +3244,12 @@ public class Parser //extends PHPParserSuperclass
       System.out.println("TRACE: object_property()");
     }
     if (token == TokenNameVariable || token == TokenNameDOLLAR) {
-      variable_without_objects();
+      variable_without_objects(false, false);
     } else {
       object_dim_list();
     }
   }
+
   private void object_dim_list() {
     //object_dim_list:
     // object_dim_list '[' dim_offset ']'
@@ -2761,6 +3283,7 @@ public class Parser //extends PHPParserSuperclass
       }
     }
   }
+
   private void variable_name() {
     //variable_name:
     // T_STRING
@@ -2785,54 +3308,35 @@ public class Parser //extends PHPParserSuperclass
       getNextToken();
     }
   }
+
   private void r_variable() {
-    variable();
+    variable(false, false);
   }
-  private void w_variable() {
-    variable();
+
+  private void w_variable(boolean lefthandside) {
+    variable(lefthandside, false);
   }
+
   private void rw_variable() {
-    variable();
+    variable(false, false);
   }
-  private void variable() {
+
+  private Expression variable(boolean lefthandside, boolean ignoreVar) {
     //    variable:
     //         base_variable_with_function_calls T_OBJECT_OPERATOR
     //                 object_property method_or_not variable_properties
     // | base_variable_with_function_calls
-    base_variable_with_function_calls();
+    Expression ref = base_variable_with_function_calls(lefthandside, ignoreVar);
     if (token == TokenNameMINUS_GREATER) {
+      ref = null;
       getNextToken();
       object_property();
       method_or_not();
       variable_properties();
     }
-    //    if (token == TokenNameDOLLAR_LBRACE) {
-    //      getNextToken();
-    //      expr();
-    //      ;
-    //      if (token != TokenNameRBRACE) {
-    //        throwSyntaxError("'}' expected after indirect variable token '${'.");
-    //      }
-    //      getNextToken();
-    //    } else {
-    //      if (token == TokenNameVariable) {
-    //        getNextToken();
-    //        if (token == TokenNameLBRACKET) {
-    //          getNextToken();
-    //          expr();
-    //          if (token != TokenNameRBRACKET) {
-    //            throwSyntaxError("']' expected in variable-list.");
-    //          }
-    //          getNextToken();
-    //        } else if (token == TokenNameEQUAL) {
-    //          getNextToken();
-    //          static_scalar();
-    //        }
-    //      } else {
-    //        throwSyntaxError("$-variable expected in variable-list.");
-    //      }
-    //    }
+    return ref;
   }
+
   private void variable_properties() {
     //  variable_properties:
     //                 variable_properties variable_property
@@ -2841,6 +3345,7 @@ public class Parser //extends PHPParserSuperclass
       variable_property();
     }
   }
+
   private void variable_property() {
     //  variable_property:
     //                 T_OBJECT_OPERATOR object_property method_or_not
@@ -2855,6 +3360,7 @@ public class Parser //extends PHPParserSuperclass
       throwSyntaxError("'->' expected in variable_property.");
     }
   }
+
   private void method_or_not() {
     //  method_or_not:
     //                 '(' function_call_parameter_list ')'
@@ -2875,6 +3381,7 @@ public class Parser //extends PHPParserSuperclass
       getNextToken();
     }
   }
+
   private void exit_expr() {
     // /* empty */
     // | '(' ')'
@@ -2893,6 +3400,7 @@ public class Parser //extends PHPParserSuperclass
     }
     getNextToken();
   }
+
   private void encaps_list() {
     //                 encaps_list encaps_var
     //         | encaps_list T_STRING
@@ -2908,71 +3416,65 @@ public class Parser //extends PHPParserSuperclass
     //         | /* empty */
     while (true) {
       switch (token) {
-        case TokenNameSTRING :
-          getNextToken();
-          break;
-        case TokenNameLBRACE :
-          //          scanner.encapsedStringStack.pop();
-          getNextToken();
-          break;
-        case TokenNameRBRACE :
-          //          scanner.encapsedStringStack.pop();
-          getNextToken();
-          break;
-        case TokenNameLBRACKET :
-          //          scanner.encapsedStringStack.pop();
-          getNextToken();
-          break;
-        case TokenNameRBRACKET :
-          //          scanner.encapsedStringStack.pop();
-          getNextToken();
-          break;
-        case TokenNameMINUS_GREATER :
-          //          scanner.encapsedStringStack.pop();
-          getNextToken();
-          break;
-        case TokenNameVariable :
-        case TokenNameDOLLAR_LBRACE :
-        case TokenNameCURLY_OPEN :
-          encaps_var();
-          break;
-        //        case TokenNameDOLLAR :
-        //          getNextToken();
-        //          if (token == TokenNameLBRACE) {
-        //            token = TokenNameDOLLAR_LBRACE;
-        //            encaps_var();
-        //          }
-        //          break;
-        default :
-          char encapsedChar = ((Character) scanner.encapsedStringStack.peek()).charValue();
-          if (encapsedChar == '$') {
-            scanner.encapsedStringStack.pop();
-            encapsedChar = ((Character) scanner.encapsedStringStack.peek()).charValue();
-            switch (encapsedChar) {
-              case '`' :
-                if (token == TokenNameEncapsedString0) {
-                  return;
-                }
-                token = TokenNameSTRING;
-                continue;
-              case '\'' :
-                if (token == TokenNameEncapsedString1) {
-                  return;
-                }
-                token = TokenNameSTRING;
-                continue;
-              case '"' :
-                if (token == TokenNameEncapsedString2) {
-                  return;
-                }
-                token = TokenNameSTRING;
-                continue;
+      case TokenNameSTRING:
+        getNextToken();
+        break;
+      case TokenNameLBRACE:
+        //          scanner.encapsedStringStack.pop();
+        getNextToken();
+        break;
+      case TokenNameRBRACE:
+        //          scanner.encapsedStringStack.pop();
+        getNextToken();
+        break;
+      case TokenNameLBRACKET:
+        //          scanner.encapsedStringStack.pop();
+        getNextToken();
+        break;
+      case TokenNameRBRACKET:
+        //          scanner.encapsedStringStack.pop();
+        getNextToken();
+        break;
+      case TokenNameMINUS_GREATER:
+        //          scanner.encapsedStringStack.pop();
+        getNextToken();
+        break;
+      case TokenNameVariable:
+      case TokenNameDOLLAR_LBRACE:
+      case TokenNameLBRACE_DOLLAR:
+        encaps_var();
+        break;
+      default:
+        char encapsedChar = ((Character) scanner.encapsedStringStack.peek()).charValue();
+        if (encapsedChar == '$') {
+          scanner.encapsedStringStack.pop();
+          encapsedChar = ((Character) scanner.encapsedStringStack.peek()).charValue();
+          switch (encapsedChar) {
+          case '`':
+            if (token == TokenNameEncapsedString0) {
+              return;
             }
+            token = TokenNameSTRING;
+            continue;
+          case '\'':
+            if (token == TokenNameEncapsedString1) {
+              return;
+            }
+            token = TokenNameSTRING;
+            continue;
+          case '"':
+            if (token == TokenNameEncapsedString2) {
+              return;
+            }
+            token = TokenNameSTRING;
+            continue;
           }
-          return;
+        }
+        return;
       }
     }
   }
+
   private void encaps_var() {
     //                 T_VARIABLE
     //         | T_VARIABLE '[' encaps_var_offset ']'
@@ -2981,99 +3483,111 @@ public class Parser //extends PHPParserSuperclass
     //         | T_DOLLAR_OPEN_CURLY_BRACES T_STRING_VARNAME '[' expr ']' '}'
     //         | T_CURLY_OPEN variable '}'
     switch (token) {
-      case TokenNameVariable :
+    case TokenNameVariable:
+      getNextToken();
+      if (token == TokenNameLBRACKET) {
+        getNextToken();
+        expr(); //encaps_var_offset();
+        if (token != TokenNameRBRACKET) {
+          throwSyntaxError("']' expected after variable.");
+        }
+        //          scanner.encapsedStringStack.pop();
+        getNextToken();
+        //          }
+      } else if (token == TokenNameMINUS_GREATER) {
+        getNextToken();
+        if (token != TokenNameIdentifier) {
+          throwSyntaxError("Identifier expected after '->'.");
+        }
+        //          scanner.encapsedStringStack.pop();
+        getNextToken();
+      }
+      //        else {
+      //          // scanner.encapsedStringStack.pop();
+      //          int tempToken = TokenNameSTRING;
+      //          if (!scanner.encapsedStringStack.isEmpty()
+      //              && (token == TokenNameEncapsedString0
+      //                  || token == TokenNameEncapsedString1
+      //                  || token == TokenNameEncapsedString2 || token ==
+      // TokenNameERROR)) {
+      //            char encapsedChar = ((Character)
+      // scanner.encapsedStringStack.peek())
+      //                .charValue();
+      //            switch (token) {
+      //              case TokenNameEncapsedString0 :
+      //                if (encapsedChar == '`') {
+      //                  tempToken = TokenNameEncapsedString0;
+      //                }
+      //                break;
+      //              case TokenNameEncapsedString1 :
+      //                if (encapsedChar == '\'') {
+      //                  tempToken = TokenNameEncapsedString1;
+      //                }
+      //                break;
+      //              case TokenNameEncapsedString2 :
+      //                if (encapsedChar == '"') {
+      //                  tempToken = TokenNameEncapsedString2;
+      //                }
+      //                break;
+      //              case TokenNameERROR :
+      //                if (scanner.source[scanner.currentPosition - 1] == '\\') {
+      //                  scanner.currentPosition--;
+      //                  getNextToken();
+      //                }
+      //                break;
+      //            }
+      //          }
+      //          token = tempToken;
+      //        }
+      break;
+    case TokenNameDOLLAR_LBRACE:
+      getNextToken();
+      if (token == TokenNameDOLLAR_LBRACE) {
+        encaps_var();
+      } else if (token == TokenNameIdentifier) {
         getNextToken();
         if (token == TokenNameLBRACKET) {
           getNextToken();
-          //          if (token == TokenNameRBRACKET) {
-          //            getNextToken();
-          //          } else {
-          expr(); //encaps_var_offset();
+          //            if (token == TokenNameRBRACKET) {
+          //              getNextToken();
+          //            } else {
+          expr();
           if (token != TokenNameRBRACKET) {
-            throwSyntaxError("']' expected after variable.");
-          }
-          //          scanner.encapsedStringStack.pop();
-          getNextToken();
-          //          }
-        } else if (token == TokenNameMINUS_GREATER) {
-          getNextToken();
-          if (token != TokenNameIdentifier) {
-            throwSyntaxError("Identifier expected after '->'.");
+            throwSyntaxError("']' expected after '${'.");
           }
-          //          scanner.encapsedStringStack.pop();
           getNextToken();
+          //            }
         }
-        //        else {
-        //          // scanner.encapsedStringStack.pop();
-        //          int tempToken = TokenNameSTRING;
-        //          if (!scanner.encapsedStringStack.isEmpty()
-        //              && (token == TokenNameEncapsedString0
-        //                  || token == TokenNameEncapsedString1
-        //                  || token == TokenNameEncapsedString2 || token ==
-        // TokenNameERROR)) {
-        //            char encapsedChar = ((Character)
-        // scanner.encapsedStringStack.peek())
-        //                .charValue();
-        //            switch (token) {
-        //              case TokenNameEncapsedString0 :
-        //                if (encapsedChar == '`') {
-        //                  tempToken = TokenNameEncapsedString0;
-        //                }
-        //                break;
-        //              case TokenNameEncapsedString1 :
-        //                if (encapsedChar == '\'') {
-        //                  tempToken = TokenNameEncapsedString1;
-        //                }
-        //                break;
-        //              case TokenNameEncapsedString2 :
-        //                if (encapsedChar == '"') {
-        //                  tempToken = TokenNameEncapsedString2;
-        //                }
-        //                break;
-        //              case TokenNameERROR :
-        //                if (scanner.source[scanner.currentPosition - 1] == '\\') {
-        //                  scanner.currentPosition--;
-        //                  getNextToken();
-        //                }
-        //                break;
-        //            }
-        //          }
-        //          token = tempToken;
-        //        }
-        break;
-      case TokenNameDOLLAR_LBRACE :
+      } else {
+        expr();
+      }
+      if (token != TokenNameRBRACE) {
+        throwSyntaxError("'}' expected.");
+      }
+      getNextToken();
+      break;
+    case TokenNameLBRACE_DOLLAR:
+      getNextToken();
+      if (token == TokenNameLBRACE_DOLLAR) {
+        encaps_var();
+      } else if (token == TokenNameIdentifier || token > TokenNameKEYWORD) {
         getNextToken();
-        if (token == TokenNameIdentifier) {
-          getNextToken();
-          if (token == TokenNameLBRACKET) {
-            getNextToken();
-            //            if (token == TokenNameRBRACKET) {
-            //              getNextToken();
-            //            } else {
-            expr();
-            if (token != TokenNameRBRACKET) {
-              throwSyntaxError("']' expected after '${'.");
-            }
-            getNextToken();
-            //            }
-          }
-          if (token != TokenNameRBRACE) {
-            throwSyntaxError("'}' expected after '${'.");
-          }
-          //          scanner.encapsedStringStack.pop();
+        if (token == TokenNameLBRACKET) {
           getNextToken();
-        } else {
+          //            if (token == TokenNameRBRACKET) {
+          //              getNextToken();
+          //            } else {
           expr();
-          if (token != TokenNameRBRACE) {
-            throwSyntaxError("'}' expected.");
+          if (token != TokenNameRBRACKET) {
+            throwSyntaxError("']' expected.");
           }
-          //          scanner.encapsedStringStack.pop();
           getNextToken();
-        }
-        break;
-      case TokenNameCURLY_OPEN :
-        getNextToken();
-        if (token == TokenNameIdentifier || token > TokenNameKEYWORD) {
+          //            }
+        } else if (token == TokenNameMINUS_GREATER) {
+          getNextToken();
+          if (token != TokenNameIdentifier && token != TokenNameVariable) {
+            throwSyntaxError("String or Variable token expected.");
+          }
           getNextToken();
           if (token == TokenNameLBRACKET) {
             getNextToken();
@@ -3082,149 +3596,200 @@ public class Parser //extends PHPParserSuperclass
             //            } else {
             expr();
             if (token != TokenNameRBRACKET) {
-              throwSyntaxError("']' expected after '{$'.");
+              throwSyntaxError("']' expected after '${'.");
             }
             getNextToken();
             //            }
-          } else if (token == TokenNameMINUS_GREATER) {
-            getNextToken();
-            if (token != TokenNameIdentifier) {
-              throwSyntaxError("String token expected.");
-            }
-            getNextToken();
           }
-          //          if (token != TokenNameRBRACE) {
-          //            throwSyntaxError("'}' expected after '{$'.");
-          //          }
-          //          // scanner.encapsedStringStack.pop();
-          //          getNextToken();
-        } else {
-          expr();
-          if (token != TokenNameRBRACE) {
-            throwSyntaxError("'}' expected.");
-          }
-          //          scanner.encapsedStringStack.pop();
-          getNextToken();
         }
-        break;
+        //          if (token != TokenNameRBRACE) {
+        //            throwSyntaxError("'}' expected after '{$'.");
+        //          }
+        //          // scanner.encapsedStringStack.pop();
+        //          getNextToken();
+      } else {
+        expr();
+        if (token != TokenNameRBRACE) {
+          throwSyntaxError("'}' expected.");
+        }
+        //          scanner.encapsedStringStack.pop();
+        getNextToken();
+      }
+      break;
     }
   }
+
   private void encaps_var_offset() {
     //                 T_STRING
     //         | T_NUM_STRING
     //         | T_VARIABLE
     switch (token) {
-      case TokenNameSTRING :
-        getNextToken();
-        break;
-      case TokenNameIntegerLiteral :
-        getNextToken();
-        break;
-      case TokenNameVariable :
-        getNextToken();
-        break;
-      case TokenNameIdentifier :
-        getNextToken();
-        break;
-      default :
-        throwSyntaxError("Variable or String token expected.");
-        break;
+    case TokenNameSTRING:
+      getNextToken();
+      break;
+    case TokenNameIntegerLiteral:
+      getNextToken();
+      break;
+    case TokenNameVariable:
+      getNextToken();
+      break;
+    case TokenNameIdentifier:
+      getNextToken();
+      break;
+    default:
+      throwSyntaxError("Variable or String token expected.");
+      break;
     }
   }
+
   private void internal_functions_in_yacc() {
-    int start = 0;
-    ImportReference impt = null;
+    //    int start = 0;
     switch (token) {
-      case TokenNameisset :
-        //     T_ISSET '(' isset_variables ')'
-        getNextToken();
-        if (token != TokenNameLPAREN) {
-          throwSyntaxError("'(' expected after keyword 'isset'");
-        }
-        getNextToken();
-        isset_variables();
-        if (token != TokenNameRPAREN) {
-          throwSyntaxError("')' expected after keyword 'isset'");
-        }
-        getNextToken();
-        break;
-      case TokenNameempty :
-        //     T_EMPTY '(' variable ')'
-        getNextToken();
-        if (token != TokenNameLPAREN) {
-          throwSyntaxError("'(' expected after keyword 'empty'");
-        }
-        getNextToken();
-        variable();
-        if (token != TokenNameRPAREN) {
-          throwSyntaxError("')' expected after keyword 'empty'");
-        }
-        getNextToken();
-        break;
-      case TokenNameinclude :
-        //T_INCLUDE expr
-        start = scanner.getCurrentTokenStartPosition();
-        getNextToken();
-        expr();
+    //    case TokenNameisset:
+    //      // T_ISSET '(' isset_variables ')'
+    //      getNextToken();
+    //      if (token != TokenNameLPAREN) {
+    //        throwSyntaxError("'(' expected after keyword 'isset'");
+    //      }
+    //      getNextToken();
+    //      isset_variables();
+    //      if (token != TokenNameRPAREN) {
+    //        throwSyntaxError("')' expected after keyword 'isset'");
+    //      }
+    //      getNextToken();
+    //      break;
+    //    case TokenNameempty:
+    //      // T_EMPTY '(' variable ')'
+    //      getNextToken();
+    //      if (token != TokenNameLPAREN) {
+    //        throwSyntaxError("'(' expected after keyword 'empty'");
+    //      }
+    //      getNextToken();
+    //      variable(false);
+    //      if (token != TokenNameRPAREN) {
+    //        throwSyntaxError("')' expected after keyword 'empty'");
+    //      }
+    //      getNextToken();
+    //      break;
+    case TokenNameinclude:
+      //T_INCLUDE expr
+      checkFileName(token);
+      break;
+    case TokenNameinclude_once:
+      //       T_INCLUDE_ONCE expr
+      checkFileName(token);
+      break;
+    case TokenNameeval:
+      //       T_EVAL '(' expr ')'
+      getNextToken();
+      if (token != TokenNameLPAREN) {
+        throwSyntaxError("'(' expected after keyword 'eval'");
+      }
+      getNextToken();
+      expr();
+      if (token != TokenNameRPAREN) {
+        throwSyntaxError("')' expected after keyword 'eval'");
+      }
+      getNextToken();
+      break;
+    case TokenNamerequire:
+      //T_REQUIRE expr
+      checkFileName(token);
+      break;
+    case TokenNamerequire_once:
+      //       T_REQUIRE_ONCE expr
+      checkFileName(token);
+      break;
+    }
+  }
 
-        impt = new ImportReference(scanner.getCurrentTokenSource(start), start, scanner.getCurrentTokenEndPosition(), false);
-        impt.declarationSourceEnd = impt.sourceEnd;
-        impt.declarationEnd = impt.declarationSourceEnd;
-        //endPosition is just before the ;
-        impt.declarationSourceStart = start;
-        includesList.add(impt);
-        break;
-      case TokenNameinclude_once :
-        //     T_INCLUDE_ONCE expr
-        start = scanner.getCurrentTokenStartPosition();
-        getNextToken();
-        expr();
-        impt = new ImportReference(scanner.getCurrentTokenSource(start), start, scanner.getCurrentTokenEndPosition(), false);
-        impt.declarationSourceEnd = impt.sourceEnd;
-        impt.declarationEnd = impt.declarationSourceEnd;
-        //endPosition is just before the ;
-        impt.declarationSourceStart = start;
-        includesList.add(impt);
-        break;
-      case TokenNameeval :
-        //     T_EVAL '(' expr ')'
+  private void checkFileName(int includeToken) {
+    //<include-token> expr
+    int start = scanner.getCurrentTokenStartPosition();
+    boolean hasLPAREN = false;
+    getNextToken();
+    if (token == TokenNameLPAREN) {
+      hasLPAREN = true;
+      getNextToken();
+    }
+    Expression expression = expr();
+    if (hasLPAREN) {
+      if (token == TokenNameRPAREN) {
         getNextToken();
-        if (token != TokenNameLPAREN) {
-          throwSyntaxError("'(' expected after keyword 'eval'");
+      } else {
+        throwSyntaxError("')' expected for keyword '" + scanner.toStringAction(includeToken) + "'");
+      }
+    }
+    char[] currTokenSource = scanner.getCurrentTokenSource(start);
+    IFile file = null;
+    if (scanner.compilationUnit != null) {
+      IResource resource = scanner.compilationUnit.getResource();
+      if (resource != null && resource instanceof IFile) {
+        file = (IFile) resource;
+      }
+    }
+    char[][] tokens;
+    tokens = new char[1][];
+    tokens[0] = currTokenSource;
+
+    ImportReference impt = new ImportReference(tokens, currTokenSource, start, scanner.getCurrentTokenEndPosition(), false);
+    impt.declarationSourceEnd = impt.sourceEnd;
+    impt.declarationEnd = impt.declarationSourceEnd;
+    //endPosition is just before the ;
+    impt.declarationSourceStart = start;
+    includesList.add(impt);
+
+    if (expression instanceof StringLiteral) {
+      StringLiteral literal = (StringLiteral) expression;
+      char[] includeName = literal.source();
+      if (includeName.length == 0) {
+        reportSyntaxError("Empty filename after keyword '" + scanner.toStringAction(includeToken) + "'", literal.sourceStart,
+            literal.sourceStart + 1);
+      }
+      String includeNameString = new String(includeName);
+      if (literal instanceof StringLiteralDQ) {
+        if (includeNameString.indexOf('$') >= 0) {
+          // assuming that the filename contains a variable => no filename check
+          return;
         }
-        getNextToken();
-        expr();
-        if (token != TokenNameRPAREN) {
-          throwSyntaxError("')' expected after keyword 'eval'");
+      }
+      if (includeNameString.startsWith("http://")) {
+        // assuming external include location
+        return;
+      }
+      if (file != null) {
+        // check the filename:
+        //      System.out.println(new String(compilationUnit.getFileName())+" - "+ expression.toStringExpression());
+        IProject project = file.getProject();
+        if (project != null) {
+          IPath path = PHPFileUtil.determineFilePath(includeNameString, file, project);
+
+          if (path == null) {
+            //              reportSyntaxError("File: " + expression.toStringExpression() + " doesn't exist in project: "
+            //                  + project.getLocation().toString(), literal.sourceStart, literal.sourceEnd);
+            String[] args = { expression.toStringExpression(), project.getLocation().toString() };
+            problemReporter.phpIncludeNotExistWarning(args, literal.sourceStart, literal.sourceEnd, referenceContext,
+                compilationUnit.compilationResult);
+          } else {
+            try {
+              //              String projectPath = ProjectPrefUtil.getDocumentRoot(file.getProject()).toString();
+              //              String filePath = file.getRawLocation().toString();
+              String filePath = path.toString();
+              String ext = file.getRawLocation().getFileExtension();
+              int fileExtensionLength = ext == null ? 0 : ext.length() + 1;
+              int length;
+
+              impt.tokens = CharOperation.splitOn('/', filePath.toCharArray(), 0, filePath.length() - fileExtensionLength);
+              impt.setFile(PHPFileUtil.createFile(path, project));
+            } catch (Exception e) {
+              // the file is outside of the workspace
+            }
+          }
         }
-        getNextToken();
-        break;
-      case TokenNamerequire :
-        //T_REQUIRE expr
-        start = scanner.getCurrentTokenStartPosition();
-        getNextToken();
-        expr();
-        impt = new ImportReference(scanner.getCurrentTokenSource(start), start, scanner.getCurrentTokenEndPosition(), false);
-        impt.declarationSourceEnd = impt.sourceEnd;
-        impt.declarationEnd = impt.declarationSourceEnd;
-        //endPosition is just before the ;
-        impt.declarationSourceStart = start;
-        includesList.add(impt);
-        break;
-      case TokenNamerequire_once :
-        //     T_REQUIRE_ONCE expr
-        start = scanner.getCurrentTokenStartPosition();
-        getNextToken();
-        expr();
-        impt = new ImportReference(scanner.getCurrentTokenSource(start), start, scanner.getCurrentTokenEndPosition(), false);
-        impt.declarationSourceEnd = impt.sourceEnd;
-        impt.declarationEnd = impt.declarationSourceEnd;
-        //endPosition is just before the ;
-        impt.declarationSourceStart = start;
-        includesList.add(impt);
-        break;
+      }
     }
   }
+
   private void isset_variables() {
     // variable
     // | isset_variables ','
@@ -3232,7 +3797,7 @@ public class Parser //extends PHPParserSuperclass
       throwSyntaxError("Variable expected after keyword 'isset'");
     }
     while (true) {
-      variable();
+      variable(true, false);
       if (token == TokenNameCOMMA) {
         getNextToken();
       } else {
@@ -3240,6 +3805,7 @@ public class Parser //extends PHPParserSuperclass
       }
     }
   }
+
   private boolean common_scalar() {
     //  common_scalar:
     // T_LNUMBER
@@ -3251,39 +3817,40 @@ public class Parser //extends PHPParserSuperclass
     // | T_METHOD_C
     // | T_FUNC_C
     switch (token) {
-      case TokenNameIntegerLiteral :
-        getNextToken();
-        return true;
-      case TokenNameDoubleLiteral :
-        getNextToken();
-        return true;
-      case TokenNameStringDoubleQuote :
-        getNextToken();
-        return true;
-      case TokenNameStringSingleQuote :
-        getNextToken();
-        return true;
-      case TokenNameStringInterpolated :
-        getNextToken();
-        return true;
-      case TokenNameFILE :
-        getNextToken();
-        return true;
-      case TokenNameLINE :
-        getNextToken();
-        return true;
-      case TokenNameCLASS_C :
-        getNextToken();
-        return true;
-      case TokenNameMETHOD_C :
-        getNextToken();
-        return true;
-      case TokenNameFUNC_C :
-        getNextToken();
-        return true;
+    case TokenNameIntegerLiteral:
+      getNextToken();
+      return true;
+    case TokenNameDoubleLiteral:
+      getNextToken();
+      return true;
+    case TokenNameStringDoubleQuote:
+      getNextToken();
+      return true;
+    case TokenNameStringSingleQuote:
+      getNextToken();
+      return true;
+    case TokenNameStringInterpolated:
+      getNextToken();
+      return true;
+    case TokenNameFILE:
+      getNextToken();
+      return true;
+    case TokenNameLINE:
+      getNextToken();
+      return true;
+    case TokenNameCLASS_C:
+      getNextToken();
+      return true;
+    case TokenNameMETHOD_C:
+      getNextToken();
+      return true;
+    case TokenNameFUNC_C:
+      getNextToken();
+      return true;
     }
     return false;
   }
+
   private void scalar() {
     //  scalar:
     // T_STRING
@@ -3295,6 +3862,7 @@ public class Parser //extends PHPParserSuperclass
     //| T_START_HEREDOC encaps_list T_END_HEREDOC
     throwSyntaxError("Not yet implemented (scalar).");
   }
+
   private void static_scalar() {
     //    static_scalar: /* compile-time evaluated scalars */
     //         common_scalar
@@ -3307,98 +3875,99 @@ public class Parser //extends PHPParserSuperclass
       return;
     }
     switch (token) {
-      case TokenNameIdentifier :
+    case TokenNameIdentifier:
+      getNextToken();
+      //        static_class_constant:
+      //               T_STRING T_PAAMAYIM_NEKUDOTAYIM T_STRING
+      if (token == TokenNamePAAMAYIM_NEKUDOTAYIM) {
         getNextToken();
-        //        static_class_constant:
-        //             T_STRING T_PAAMAYIM_NEKUDOTAYIM T_STRING
-        if (token == TokenNamePAAMAYIM_NEKUDOTAYIM) {
+        if (token == TokenNameIdentifier) {
           getNextToken();
-          if (token == TokenNameIdentifier) {
-            getNextToken();
-          } else {
-            throwSyntaxError("Identifier expected after '::' operator.");
-          }
+        } else {
+          throwSyntaxError("Identifier expected after '::' operator.");
         }
-        break;
-      case TokenNameEncapsedString0 :
-        try {
-          scanner.currentCharacter = scanner.source[scanner.currentPosition++];
-          while (scanner.currentCharacter != '`') {
-            if (scanner.currentCharacter == '\\') {
-              scanner.currentPosition++;
-            }
-            scanner.currentCharacter = scanner.source[scanner.currentPosition++];
+      }
+      break;
+    case TokenNameEncapsedString0:
+      try {
+        scanner.currentCharacter = scanner.source[scanner.currentPosition++];
+        while (scanner.currentCharacter != '`') {
+          if (scanner.currentCharacter == '\\') {
+            scanner.currentPosition++;
           }
-          getNextToken();
-        } catch (IndexOutOfBoundsException e) {
-          throwSyntaxError("'`' expected at end of static string.");
-        }
-        break;
-      case TokenNameEncapsedString1 :
-        try {
           scanner.currentCharacter = scanner.source[scanner.currentPosition++];
-          while (scanner.currentCharacter != '\'') {
-            if (scanner.currentCharacter == '\\') {
-              scanner.currentPosition++;
-            }
-            scanner.currentCharacter = scanner.source[scanner.currentPosition++];
-          }
-          getNextToken();
-        } catch (IndexOutOfBoundsException e) {
-          throwSyntaxError("'\'' expected at end of static string.");
         }
-        break;
-      case TokenNameEncapsedString2 :
-        try {
-          scanner.currentCharacter = scanner.source[scanner.currentPosition++];
-          while (scanner.currentCharacter != '"') {
-            if (scanner.currentCharacter == '\\') {
-              scanner.currentPosition++;
-            }
-            scanner.currentCharacter = scanner.source[scanner.currentPosition++];
+        getNextToken();
+      } catch (IndexOutOfBoundsException e) {
+        throwSyntaxError("'`' expected at end of static string.");
+      }
+      break;
+    case TokenNameEncapsedString1:
+      try {
+        scanner.currentCharacter = scanner.source[scanner.currentPosition++];
+        while (scanner.currentCharacter != '\'') {
+          if (scanner.currentCharacter == '\\') {
+            scanner.currentPosition++;
           }
-          getNextToken();
-        } catch (IndexOutOfBoundsException e) {
-          throwSyntaxError("'\"' expected at end of static string.");
+          scanner.currentCharacter = scanner.source[scanner.currentPosition++];
         }
-        break;
-      case TokenNamePLUS :
-        getNextToken();
-        static_scalar();
-        break;
-      case TokenNameMINUS :
-        getNextToken();
-        static_scalar();
-        break;
-      case TokenNamearray :
         getNextToken();
-        if (token != TokenNameLPAREN) {
-          throwSyntaxError("'(' expected after keyword 'array'");
+      } catch (IndexOutOfBoundsException e) {
+        throwSyntaxError("'\'' expected at end of static string.");
+      }
+      break;
+    case TokenNameEncapsedString2:
+      try {
+        scanner.currentCharacter = scanner.source[scanner.currentPosition++];
+        while (scanner.currentCharacter != '"') {
+          if (scanner.currentCharacter == '\\') {
+            scanner.currentPosition++;
+          }
+          scanner.currentCharacter = scanner.source[scanner.currentPosition++];
         }
         getNextToken();
-        if (token == TokenNameRPAREN) {
-          getNextToken();
-          break;
-        }
-        non_empty_static_array_pair_list();
-        if (token != TokenNameRPAREN) {
-          throwSyntaxError("')' expected after keyword 'array'");
-        }
+      } catch (IndexOutOfBoundsException e) {
+        throwSyntaxError("'\"' expected at end of static string.");
+      }
+      break;
+    case TokenNamePLUS:
+      getNextToken();
+      static_scalar();
+      break;
+    case TokenNameMINUS:
+      getNextToken();
+      static_scalar();
+      break;
+    case TokenNamearray:
+      getNextToken();
+      if (token != TokenNameLPAREN) {
+        throwSyntaxError("'(' expected after keyword 'array'");
+      }
+      getNextToken();
+      if (token == TokenNameRPAREN) {
         getNextToken();
         break;
-      //      case TokenNamenull :
-      //        getNextToken();
-      //        break;
-      //      case TokenNamefalse :
-      //        getNextToken();
-      //        break;
-      //      case TokenNametrue :
-      //        getNextToken();
-      //        break;
-      default :
-        throwSyntaxError("Static scalar/constant expected.");
+      }
+      non_empty_static_array_pair_list();
+      if (token != TokenNameRPAREN) {
+        throwSyntaxError("')' or ',' expected after keyword 'array'");
+      }
+      getNextToken();
+      break;
+    //      case TokenNamenull :
+    //        getNextToken();
+    //        break;
+    //      case TokenNamefalse :
+    //        getNextToken();
+    //        break;
+    //      case TokenNametrue :
+    //        getNextToken();
+    //        break;
+    default:
+      throwSyntaxError("Static scalar/constant expected.");
     }
   }
+
   private void non_empty_static_array_pair_list() {
     //  non_empty_static_array_pair_list:
     // non_empty_static_array_pair_list ',' static_scalar T_DOUBLE_ARROW
@@ -3421,6 +3990,7 @@ public class Parser //extends PHPParserSuperclass
       }
     }
   }
+
   public void reportSyntaxError() { //int act, int currentKind, int
     // stateStackTop) {
     /* remember current scanner position */
@@ -3510,7 +4080,7 @@ public class Parser //extends PHPParserSuperclass
     try {
       tokenSource = this.scanner.getCurrentTokenSource();
     } catch (Exception e) {
-      tokenSource = new char[]{};
+      tokenSource = new char[] {};
     }
     //                         problemReporter().parseError(
     //                                 this.scanner.startPosition,
@@ -3525,31 +4095,57 @@ public class Parser //extends PHPParserSuperclass
     scanner.startPosition = startPos;
     scanner.currentPosition = currentPos;
   }
+
   public static final int RoundBracket = 0;
+
   public static final int SquareBracket = 1;
+
   public static final int CurlyBracket = 2;
+
   public static final int BracketKinds = 3;
+
   protected int[] nestedMethod; //the ptr is nestedType
+
   protected int nestedType, dimensions;
+
+  //variable set stack
+  final static int VariableStackIncrement = 10;
+
+  HashMap fTypeVariables = null;
+
+  HashMap fMethodVariables = null;
+
+  ArrayList fStackUnassigned = new ArrayList();
+
   //ast stack
   final static int AstStackIncrement = 100;
+
   protected int astPtr;
-  protected AstNode[] astStack = new AstNode[AstStackIncrement];
+
+  protected ASTNode[] astStack = new ASTNode[AstStackIncrement];
+
   protected int astLengthPtr;
+
   protected int[] astLengthStack;
-  AstNode[] noAstNodes = new AstNode[AstStackIncrement];
+
+  ASTNode[] noAstNodes = new ASTNode[AstStackIncrement];
+
   public CompilationUnitDeclaration compilationUnit; /*
                                                       * the result from parse()
                                                       */
+
   protected ReferenceContext referenceContext;
+
   protected ProblemReporter problemReporter;
+
   protected CompilerOptions options;
+
   private ArrayList includesList;
+
   //  protected CompilationResult compilationResult;
   /**
-   * Returns this parser's problem reporter initialized with its reference
-   * context. Also it is assumed that a problem is going to be reported, so
-   * initializes the compilation result's line positions.
+   * Returns this parser's problem reporter initialized with its reference context. Also it is assumed that a problem is going to be
+   * reported, so initializes the compilation result's line positions.
    */
   public ProblemReporter problemReporter() {
     if (scanner.recordLineSeparator) {
@@ -3558,6 +4154,7 @@ public class Parser //extends PHPParserSuperclass
     problemReporter.referenceContext = referenceContext;
     return problemReporter;
   }
+
   /*
    * Reconsider the entire source looking for inconsistencies in {} () []
    */
@@ -3566,13 +4163,13 @@ public class Parser //extends PHPParserSuperclass
     boolean anomaliesDetected = false;
     try {
       char[] source = scanner.source;
-      int[] leftCount = {0, 0, 0};
-      int[] rightCount = {0, 0, 0};
-      int[] depths = {0, 0, 0};
-      int[][] leftPositions = new int[][]{new int[10], new int[10], new int[10]};
-      int[][] leftDepths = new int[][]{new int[10], new int[10], new int[10]};
-      int[][] rightPositions = new int[][]{new int[10], new int[10], new int[10]};
-      int[][] rightDepths = new int[][]{new int[10], new int[10], new int[10]};
+      int[] leftCount = { 0, 0, 0 };
+      int[] rightCount = { 0, 0, 0 };
+      int[] depths = { 0, 0, 0 };
+      int[][] leftPositions = new int[][] { new int[10], new int[10], new int[10] };
+      int[][] leftDepths = new int[][] { new int[10], new int[10], new int[10] };
+      int[][] rightPositions = new int[][] { new int[10], new int[10], new int[10] };
+      int[][] rightDepths = new int[][] { new int[10], new int[10], new int[10] };
       scanner.currentPosition = scanner.initialPosition; //starting
       // point
       // (first-zero-based
@@ -3604,131 +4201,156 @@ public class Parser //extends PHPParserSuperclass
           } while (isWhiteSpace && (scanner.currentPosition < scanner.eofPosition));
           // -------consume token until } is found---------
           switch (scanner.currentCharacter) {
-            case '{' : {
-              int index = leftCount[CurlyBracket]++;
-              if (index == leftPositions[CurlyBracket].length) {
-                System.arraycopy(leftPositions[CurlyBracket], 0, (leftPositions[CurlyBracket] = new int[index * 2]), 0, index);
-                System.arraycopy(leftDepths[CurlyBracket], 0, (leftDepths[CurlyBracket] = new int[index * 2]), 0, index);
-              }
-              leftPositions[CurlyBracket][index] = scanner.startPosition;
-              leftDepths[CurlyBracket][index] = depths[CurlyBracket]++;
+          case '{': {
+            int index = leftCount[CurlyBracket]++;
+            if (index == leftPositions[CurlyBracket].length) {
+              System.arraycopy(leftPositions[CurlyBracket], 0, (leftPositions[CurlyBracket] = new int[index * 2]), 0, index);
+              System.arraycopy(leftDepths[CurlyBracket], 0, (leftDepths[CurlyBracket] = new int[index * 2]), 0, index);
             }
-              break;
-            case '}' : {
-              int index = rightCount[CurlyBracket]++;
-              if (index == rightPositions[CurlyBracket].length) {
-                System.arraycopy(rightPositions[CurlyBracket], 0, (rightPositions[CurlyBracket] = new int[index * 2]), 0, index);
-                System.arraycopy(rightDepths[CurlyBracket], 0, (rightDepths[CurlyBracket] = new int[index * 2]), 0, index);
-              }
-              rightPositions[CurlyBracket][index] = scanner.startPosition;
-              rightDepths[CurlyBracket][index] = --depths[CurlyBracket];
+            leftPositions[CurlyBracket][index] = scanner.startPosition;
+            leftDepths[CurlyBracket][index] = depths[CurlyBracket]++;
+          }
+            break;
+          case '}': {
+            int index = rightCount[CurlyBracket]++;
+            if (index == rightPositions[CurlyBracket].length) {
+              System.arraycopy(rightPositions[CurlyBracket], 0, (rightPositions[CurlyBracket] = new int[index * 2]), 0, index);
+              System.arraycopy(rightDepths[CurlyBracket], 0, (rightDepths[CurlyBracket] = new int[index * 2]), 0, index);
             }
-              break;
-            case '(' : {
-              int index = leftCount[RoundBracket]++;
-              if (index == leftPositions[RoundBracket].length) {
-                System.arraycopy(leftPositions[RoundBracket], 0, (leftPositions[RoundBracket] = new int[index * 2]), 0, index);
-                System.arraycopy(leftDepths[RoundBracket], 0, (leftDepths[RoundBracket] = new int[index * 2]), 0, index);
-              }
-              leftPositions[RoundBracket][index] = scanner.startPosition;
-              leftDepths[RoundBracket][index] = depths[RoundBracket]++;
+            rightPositions[CurlyBracket][index] = scanner.startPosition;
+            rightDepths[CurlyBracket][index] = --depths[CurlyBracket];
+          }
+            break;
+          case '(': {
+            int index = leftCount[RoundBracket]++;
+            if (index == leftPositions[RoundBracket].length) {
+              System.arraycopy(leftPositions[RoundBracket], 0, (leftPositions[RoundBracket] = new int[index * 2]), 0, index);
+              System.arraycopy(leftDepths[RoundBracket], 0, (leftDepths[RoundBracket] = new int[index * 2]), 0, index);
             }
-              break;
-            case ')' : {
-              int index = rightCount[RoundBracket]++;
-              if (index == rightPositions[RoundBracket].length) {
-                System.arraycopy(rightPositions[RoundBracket], 0, (rightPositions[RoundBracket] = new int[index * 2]), 0, index);
-                System.arraycopy(rightDepths[RoundBracket], 0, (rightDepths[RoundBracket] = new int[index * 2]), 0, index);
-              }
-              rightPositions[RoundBracket][index] = scanner.startPosition;
-              rightDepths[RoundBracket][index] = --depths[RoundBracket];
+            leftPositions[RoundBracket][index] = scanner.startPosition;
+            leftDepths[RoundBracket][index] = depths[RoundBracket]++;
+          }
+            break;
+          case ')': {
+            int index = rightCount[RoundBracket]++;
+            if (index == rightPositions[RoundBracket].length) {
+              System.arraycopy(rightPositions[RoundBracket], 0, (rightPositions[RoundBracket] = new int[index * 2]), 0, index);
+              System.arraycopy(rightDepths[RoundBracket], 0, (rightDepths[RoundBracket] = new int[index * 2]), 0, index);
             }
-              break;
-            case '[' : {
-              int index = leftCount[SquareBracket]++;
-              if (index == leftPositions[SquareBracket].length) {
-                System.arraycopy(leftPositions[SquareBracket], 0, (leftPositions[SquareBracket] = new int[index * 2]), 0, index);
-                System.arraycopy(leftDepths[SquareBracket], 0, (leftDepths[SquareBracket] = new int[index * 2]), 0, index);
-              }
-              leftPositions[SquareBracket][index] = scanner.startPosition;
-              leftDepths[SquareBracket][index] = depths[SquareBracket]++;
+            rightPositions[RoundBracket][index] = scanner.startPosition;
+            rightDepths[RoundBracket][index] = --depths[RoundBracket];
+          }
+            break;
+          case '[': {
+            int index = leftCount[SquareBracket]++;
+            if (index == leftPositions[SquareBracket].length) {
+              System.arraycopy(leftPositions[SquareBracket], 0, (leftPositions[SquareBracket] = new int[index * 2]), 0, index);
+              System.arraycopy(leftDepths[SquareBracket], 0, (leftDepths[SquareBracket] = new int[index * 2]), 0, index);
             }
-              break;
-            case ']' : {
-              int index = rightCount[SquareBracket]++;
-              if (index == rightPositions[SquareBracket].length) {
-                System.arraycopy(rightPositions[SquareBracket], 0, (rightPositions[SquareBracket] = new int[index * 2]), 0, index);
-                System.arraycopy(rightDepths[SquareBracket], 0, (rightDepths[SquareBracket] = new int[index * 2]), 0, index);
+            leftPositions[SquareBracket][index] = scanner.startPosition;
+            leftDepths[SquareBracket][index] = depths[SquareBracket]++;
+          }
+            break;
+          case ']': {
+            int index = rightCount[SquareBracket]++;
+            if (index == rightPositions[SquareBracket].length) {
+              System.arraycopy(rightPositions[SquareBracket], 0, (rightPositions[SquareBracket] = new int[index * 2]), 0, index);
+              System.arraycopy(rightDepths[SquareBracket], 0, (rightDepths[SquareBracket] = new int[index * 2]), 0, index);
+            }
+            rightPositions[SquareBracket][index] = scanner.startPosition;
+            rightDepths[SquareBracket][index] = --depths[SquareBracket];
+          }
+            break;
+          case '\'': {
+            if (scanner.getNextChar('\\')) {
+              scanner.scanEscapeCharacter();
+            } else { // consume next character
+              scanner.unicodeAsBackSlash = false;
+              //                                                                       if (((scanner.currentCharacter =
+              // source[scanner.currentPosition++]) ==
+              // '\\') &&
+              // (source[scanner.currentPosition] ==
+              // 'u')) {
+              //                                                                               scanner.getNextUnicodeChar();
+              //                                                                       } else {
+              if (scanner.withoutUnicodePtr != 0) {
+                scanner.withoutUnicodeBuffer[++scanner.withoutUnicodePtr] = scanner.currentCharacter;
               }
-              rightPositions[SquareBracket][index] = scanner.startPosition;
-              rightDepths[SquareBracket][index] = --depths[SquareBracket];
+              //                                                                       }
             }
-              break;
-            case '\'' : {
-              if (scanner.getNextChar('\\')) {
+            scanner.getNextChar('\'');
+            break;
+          }
+          case '"':
+            // consume next character
+            scanner.unicodeAsBackSlash = false;
+            //                                                 if (((scanner.currentCharacter =
+            // source[scanner.currentPosition++]) == '\\') &&
+            // (source[scanner.currentPosition] == 'u')) {
+            //                                                         scanner.getNextUnicodeChar();
+            //                                                 } else {
+            if (scanner.withoutUnicodePtr != 0) {
+              scanner.withoutUnicodeBuffer[++scanner.withoutUnicodePtr] = scanner.currentCharacter;
+            }
+            //                                                 }
+            while (scanner.currentCharacter != '"') {
+              if (scanner.currentCharacter == '\r') {
+                if (source[scanner.currentPosition] == '\n')
+                  scanner.currentPosition++;
+                break; // the string cannot go further that
+                // the line
+              }
+              if (scanner.currentCharacter == '\n') {
+                break; // the string cannot go further that
+                // the line
+              }
+              if (scanner.currentCharacter == '\\') {
                 scanner.scanEscapeCharacter();
-              } else { // consume next character
-                scanner.unicodeAsBackSlash = false;
-                //                                                                     if (((scanner.currentCharacter =
-                // source[scanner.currentPosition++]) ==
-                // '\\') &&
-                // (source[scanner.currentPosition] ==
-                // 'u')) {
-                //                                                                             scanner.getNextUnicodeChar();
-                //                                                                     } else {
-                if (scanner.withoutUnicodePtr != 0) {
-                  scanner.withoutUnicodeBuffer[++scanner.withoutUnicodePtr] = scanner.currentCharacter;
-                }
-                //                                                                     }
               }
-              scanner.getNextChar('\'');
-              break;
-            }
-            case '"' :
               // consume next character
               scanner.unicodeAsBackSlash = false;
-              //                                                       if (((scanner.currentCharacter =
-              // source[scanner.currentPosition++]) == '\\') &&
-              // (source[scanner.currentPosition] == 'u')) {
-              //                                                               scanner.getNextUnicodeChar();
-              //                                                       } else {
+              //                                                               if (((scanner.currentCharacter =
+              // source[scanner.currentPosition++]) == '\\')
+              // && (source[scanner.currentPosition] == 'u'))
+              // {
+              //                                                                       scanner.getNextUnicodeChar();
+              //                                                               } else {
               if (scanner.withoutUnicodePtr != 0) {
                 scanner.withoutUnicodeBuffer[++scanner.withoutUnicodePtr] = scanner.currentCharacter;
               }
-              //                                                       }
-              while (scanner.currentCharacter != '"') {
-                if (scanner.currentCharacter == '\r') {
-                  if (source[scanner.currentPosition] == '\n')
-                    scanner.currentPosition++;
-                  break; // the string cannot go further that
-                  // the line
-                }
-                if (scanner.currentCharacter == '\n') {
-                  break; // the string cannot go further that
-                  // the line
-                }
-                if (scanner.currentCharacter == '\\') {
-                  scanner.scanEscapeCharacter();
+              //                                                               }
+            }
+            break;
+          case '/': {
+            int test;
+            if ((test = scanner.getNextChar('/', '*')) == 0) { //line
+              // comment
+              //get the next char
+              if (((scanner.currentCharacter = source[scanner.currentPosition++]) == '\\')
+                  && (source[scanner.currentPosition] == 'u')) {
+                //-------------unicode traitement
+                // ------------
+                int c1 = 0, c2 = 0, c3 = 0, c4 = 0;
+                scanner.currentPosition++;
+                while (source[scanner.currentPosition] == 'u') {
+                  scanner.currentPosition++;
                 }
-                // consume next character
-                scanner.unicodeAsBackSlash = false;
-                //                                                             if (((scanner.currentCharacter =
-                // source[scanner.currentPosition++]) == '\\')
-                // && (source[scanner.currentPosition] == 'u'))
-                // {
-                //                                                                     scanner.getNextUnicodeChar();
-                //                                                             } else {
-                if (scanner.withoutUnicodePtr != 0) {
-                  scanner.withoutUnicodeBuffer[++scanner.withoutUnicodePtr] = scanner.currentCharacter;
+                if ((c1 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c1 < 0
+                    || (c2 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c2 < 0
+                    || (c3 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c3 < 0
+                    || (c4 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c4 < 0) { //error
+                  // don't
+                  // care of the
+                  // value
+                  scanner.currentCharacter = 'A';
+                } //something different from \n and \r
+                else {
+                  scanner.currentCharacter = (char) (((c1 * 16 + c2) * 16 + c3) * 16 + c4);
                 }
-                //                                                             }
               }
-              break;
-            case '/' : {
-              int test;
-              if ((test = scanner.getNextChar('/', '*')) == 0) { //line
-                // comment
+              while (scanner.currentCharacter != '\r' && scanner.currentCharacter != '\n') {
                 //get the next char
+                scanner.startPosition = scanner.currentPosition;
                 if (((scanner.currentCharacter = source[scanner.currentPosition++]) == '\\')
                     && (source[scanner.currentPosition] == 'u')) {
                   //-------------unicode traitement
@@ -3742,75 +4364,76 @@ public class Parser //extends PHPParserSuperclass
                       || (c2 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c2 < 0
                       || (c3 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c3 < 0
                       || (c4 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c4 < 0) { //error
-                                                                                                               // don't
+                    // don't
                     // care of the
                     // value
                     scanner.currentCharacter = 'A';
-                  } //something different from \n and \r
+                  } //something different from \n
+                  // and \r
                   else {
                     scanner.currentCharacter = (char) (((c1 * 16 + c2) * 16 + c3) * 16 + c4);
                   }
                 }
-                while (scanner.currentCharacter != '\r' && scanner.currentCharacter != '\n') {
-                  //get the next char
-                  scanner.startPosition = scanner.currentPosition;
-                  if (((scanner.currentCharacter = source[scanner.currentPosition++]) == '\\')
-                      && (source[scanner.currentPosition] == 'u')) {
-                    //-------------unicode traitement
-                    // ------------
-                    int c1 = 0, c2 = 0, c3 = 0, c4 = 0;
-                    scanner.currentPosition++;
-                    while (source[scanner.currentPosition] == 'u') {
-                      scanner.currentPosition++;
-                    }
-                    if ((c1 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c1 < 0
-                        || (c2 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c2 < 0
-                        || (c3 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c3 < 0
-                        || (c4 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c4 < 0) { //error
-                                                                                                                 // don't
-                      // care of the
-                      // value
-                      scanner.currentCharacter = 'A';
-                    } //something different from \n
-                    // and \r
-                    else {
-                      scanner.currentCharacter = (char) (((c1 * 16 + c2) * 16 + c3) * 16 + c4);
-                    }
-                  }
-                }
-                if (scanner.recordLineSeparator && ((scanner.currentCharacter == '\r') || (scanner.currentCharacter == '\n'))) {
-                  if (scanner.lineEnds[scanner.linePtr] < scanner.startPosition) {
-                    // only record line positions we
-                    // have not recorded yet
-                    scanner.pushLineSeparator();
-                    if (this.scanner.taskTags != null) {
-                      this.scanner.checkTaskTag(this.scanner.getCurrentTokenStartPosition(), this.scanner
-                          .getCurrentTokenEndPosition());
-                    }
+              }
+              if (scanner.recordLineSeparator && ((scanner.currentCharacter == '\r') || (scanner.currentCharacter == '\n'))) {
+                if (scanner.lineEnds[scanner.linePtr] < scanner.startPosition) {
+                  // only record line positions we
+                  // have not recorded yet
+                  scanner.pushLineSeparator();
+                  if (this.scanner.taskTags != null) {
+                    this.scanner.checkTaskTag(this.scanner.getCurrentTokenStartPosition(), this.scanner
+                        .getCurrentTokenEndPosition());
                   }
                 }
-                break;
               }
-              if (test > 0) { //traditional and annotation
-                // comment
-                boolean star = false;
-                // consume next character
-                scanner.unicodeAsBackSlash = false;
-                //                                                                     if (((scanner.currentCharacter =
-                // source[scanner.currentPosition++]) ==
-                // '\\') &&
-                // (source[scanner.currentPosition] ==
-                // 'u')) {
-                //                                                                             scanner.getNextUnicodeChar();
-                //                                                                     } else {
-                if (scanner.withoutUnicodePtr != 0) {
-                  scanner.withoutUnicodeBuffer[++scanner.withoutUnicodePtr] = scanner.currentCharacter;
+              break;
+            }
+            if (test > 0) { //traditional and annotation
+              // comment
+              boolean star = false;
+              // consume next character
+              scanner.unicodeAsBackSlash = false;
+              //                                                                       if (((scanner.currentCharacter =
+              // source[scanner.currentPosition++]) ==
+              // '\\') &&
+              // (source[scanner.currentPosition] ==
+              // 'u')) {
+              //                                                                               scanner.getNextUnicodeChar();
+              //                                                                       } else {
+              if (scanner.withoutUnicodePtr != 0) {
+                scanner.withoutUnicodeBuffer[++scanner.withoutUnicodePtr] = scanner.currentCharacter;
+              }
+              //                                                                       }
+              if (scanner.currentCharacter == '*') {
+                star = true;
+              }
+              //get the next char
+              if (((scanner.currentCharacter = source[scanner.currentPosition++]) == '\\')
+                  && (source[scanner.currentPosition] == 'u')) {
+                //-------------unicode traitement
+                // ------------
+                int c1 = 0, c2 = 0, c3 = 0, c4 = 0;
+                scanner.currentPosition++;
+                while (source[scanner.currentPosition] == 'u') {
+                  scanner.currentPosition++;
                 }
-                //                                                                     }
-                if (scanner.currentCharacter == '*') {
-                  star = true;
+                if ((c1 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c1 < 0
+                    || (c2 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c2 < 0
+                    || (c3 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c3 < 0
+                    || (c4 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c4 < 0) { //error
+                  // don't
+                  // care of the
+                  // value
+                  scanner.currentCharacter = 'A';
+                } //something different from * and /
+                else {
+                  scanner.currentCharacter = (char) (((c1 * 16 + c2) * 16 + c3) * 16 + c4);
                 }
-                //get the next char
+              }
+              //loop until end of comment */
+              while ((scanner.currentCharacter != '/') || (!star)) {
+                star = scanner.currentCharacter == '*';
+                //get next char
                 if (((scanner.currentCharacter = source[scanner.currentPosition++]) == '\\')
                     && (source[scanner.currentPosition] == 'u')) {
                   //-------------unicode traitement
@@ -3824,59 +4447,33 @@ public class Parser //extends PHPParserSuperclass
                       || (c2 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c2 < 0
                       || (c3 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c3 < 0
                       || (c4 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c4 < 0) { //error
-                                                                                                               // don't
+                    // don't
                     // care of the
                     // value
                     scanner.currentCharacter = 'A';
-                  } //something different from * and /
+                  } //something different from * and
+                  // /
                   else {
                     scanner.currentCharacter = (char) (((c1 * 16 + c2) * 16 + c3) * 16 + c4);
                   }
                 }
-                //loop until end of comment */
-                while ((scanner.currentCharacter != '/') || (!star)) {
-                  star = scanner.currentCharacter == '*';
-                  //get next char
-                  if (((scanner.currentCharacter = source[scanner.currentPosition++]) == '\\')
-                      && (source[scanner.currentPosition] == 'u')) {
-                    //-------------unicode traitement
-                    // ------------
-                    int c1 = 0, c2 = 0, c3 = 0, c4 = 0;
-                    scanner.currentPosition++;
-                    while (source[scanner.currentPosition] == 'u') {
-                      scanner.currentPosition++;
-                    }
-                    if ((c1 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c1 < 0
-                        || (c2 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c2 < 0
-                        || (c3 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c3 < 0
-                        || (c4 = Character.getNumericValue(source[scanner.currentPosition++])) > 15 || c4 < 0) { //error
-                                                                                                                 // don't
-                      // care of the
-                      // value
-                      scanner.currentCharacter = 'A';
-                    } //something different from * and
-                    // /
-                    else {
-                      scanner.currentCharacter = (char) (((c1 * 16 + c2) * 16 + c3) * 16 + c4);
-                    }
-                  }
-                }
-                if (this.scanner.taskTags != null) {
-                  this.scanner.checkTaskTag(this.scanner.getCurrentTokenStartPosition(), this.scanner.getCurrentTokenEndPosition());
-                }
-                break;
+              }
+              if (this.scanner.taskTags != null) {
+                this.scanner.checkTaskTag(this.scanner.getCurrentTokenStartPosition(), this.scanner.getCurrentTokenEndPosition());
               }
               break;
             }
-            default :
-              if (Scanner.isPHPIdentifierStart(scanner.currentCharacter)) {
-                scanner.scanIdentifierOrKeyword(false);
-                break;
-              }
-              if (Character.isDigit(scanner.currentCharacter)) {
-                scanner.scanNumber(false);
-                break;
-              }
+            break;
+          }
+          default:
+            if (Scanner.isPHPIdentifierStart(scanner.currentCharacter)) {
+              scanner.scanIdentifierOrKeyword(false);
+              break;
+            }
+            if (Character.isDigit(scanner.currentCharacter)) {
+              scanner.scanNumber(false);
+              break;
+            }
           }
           //-----------------end switch while
           // try--------------------
@@ -3887,8 +4484,7 @@ public class Parser //extends PHPParserSuperclass
         }
       }
       if (scanner.recordLineSeparator) {
-        //                             compilationUnit.compilationResult.lineSeparatorPositions =
-        // scanner.getLineEnds();
+        compilationUnit.compilationResult.lineSeparatorPositions = scanner.getLineEnds();
       }
       // check placement anomalies against other kinds of brackets
       for (int kind = 0; kind < BracketKinds; kind++) {
@@ -3953,6 +4549,7 @@ public class Parser //extends PHPParserSuperclass
       return anomaliesDetected;
     }
   }
+
   protected void pushOnAstLengthStack(int pos) {
     try {
       astLengthStack[++astLengthPtr] = pos;
@@ -3964,7 +4561,8 @@ public class Parser //extends PHPParserSuperclass
       astLengthStack[astLengthPtr] = pos;
     }
   }
-  protected void pushOnAstStack(AstNode node) {
+
+  protected void pushOnAstStack(ASTNode node) {
     /*
      * add a new obj on top of the ast stack
      */
@@ -3972,8 +4570,8 @@ public class Parser //extends PHPParserSuperclass
       astStack[++astPtr] = node;
     } catch (IndexOutOfBoundsException e) {
       int oldStackLength = astStack.length;
-      AstNode[] oldStack = astStack;
-      astStack = new AstNode[oldStackLength + AstStackIncrement];
+      ASTNode[] oldStack = astStack;
+      astStack = new ASTNode[oldStackLength + AstStackIncrement];
       System.arraycopy(oldStack, 0, astStack, 0, oldStackLength);
       astPtr = oldStackLength;
       astStack[astPtr] = node;
@@ -3995,4 +4593,150 @@ public class Parser //extends PHPParserSuperclass
     // modifiersFlag(int)
     this.scanner.commentPtr = -1;
   }
+
+  protected void consumePackageDeclarationName(IFile file) {
+    // create a package name similar to java package names
+    String projectPath = ProjectPrefUtil.getDocumentRoot(file.getProject()).toString();
+    String filePath = file.getRawLocation().toString();
+    String ext = file.getRawLocation().getFileExtension();
+    int fileExtensionLength = ext == null ? 0 : ext.length() + 1;
+    ImportReference impt;
+    int length;
+    char[][] tokens;
+    if (filePath.startsWith(projectPath)) {
+      tokens = CharOperation
+          .splitOn('/', filePath.toCharArray(), projectPath.length() + 1, filePath.length() - fileExtensionLength);
+    } else {
+      String name = file.getName();
+      tokens = new char[1][];
+      tokens[0] = name.substring(0, name.length() - fileExtensionLength).toCharArray();
+    }
+
+    this.compilationUnit.currentPackage = impt = new ImportReference(tokens, new char[0], 0, 0, true);
+
+    impt.declarationSourceStart = 0;
+    impt.declarationSourceEnd = 0;
+    impt.declarationEnd = 0;
+    //endPosition is just before the ;
+
+  }
+
+  public final static String[] GLOBALS = {
+      "$this",
+      "$_COOKIE",
+      "$_ENV",
+      "$_FILES",
+      "$_GET",
+      "$GLOBALS",
+      "$_POST",
+      "$_REQUEST",
+      "$_SESSION",
+      "$_SERVER" };
+
+  /**
+   *  
+   */
+  private void pushFunctionVariableSet() {
+    HashSet set = new HashSet();
+    if (fStackUnassigned.isEmpty()) {
+      for (int i = 0; i < GLOBALS.length; i++) {
+        set.add(GLOBALS[i]);
+      }
+    }
+    fStackUnassigned.add(set);
+  }
+
+  private void pushIfVariableSet() {
+    if (!fStackUnassigned.isEmpty()) {
+      HashSet set = new HashSet();
+      fStackUnassigned.add(set);
+    }
+  }
+
+  private HashSet removeIfVariableSet() {
+    if (!fStackUnassigned.isEmpty()) {
+      return (HashSet) fStackUnassigned.remove(fStackUnassigned.size() - 1);
+    }
+    return null;
+  }
+
+  /**
+   * Returns the <i>set of assigned variables </i> returns null if no Set is defined at the current scanner position
+   */
+  private HashSet peekVariableSet() {
+    if (!fStackUnassigned.isEmpty()) {
+      return (HashSet) fStackUnassigned.get(fStackUnassigned.size() - 1);
+    }
+    return null;
+  }
+
+  /**
+   * add the current identifier source to the <i>set of assigned variables </i>
+   * 
+   * @param set
+   */
+  private void addVariableSet(HashSet set) {
+    if (set != null) {
+      set.add(new String(scanner.getCurrentTokenSource()));
+    }
+  }
+
+  /**
+   * add the current identifier source to the <i>set of assigned variables </i>
+   *  
+   */
+  private void addVariableSet() {
+    HashSet set = peekVariableSet();
+    if (set != null) {
+      set.add(new String(scanner.getCurrentTokenSource()));
+    }
+  }
+
+  /**
+   * add the current identifier source to the <i>set of assigned variables </i>
+   *  
+   */
+  private void addVariableSet(char[] token) {
+    HashSet set = peekVariableSet();
+    if (set != null) {
+      set.add(new String(token));
+    }
+  }
+
+  /**
+   * check if the current identifier source is in the <i>set of assigned variables </i> Returns true, if no set is defined for the
+   * current scanner position
+   *  
+   */
+  private boolean containsVariableSet() {
+    return containsVariableSet(scanner.getCurrentTokenSource());
+    //    if (!fStackUnassigned.isEmpty()) {
+    //      HashSet set;
+    //      String str = new String(scanner.getCurrentTokenSource());
+    //      for (int i = 0; i < fStackUnassigned.size(); i++) {
+    //        set = (HashSet) fStackUnassigned.get(i);
+    //        if (set.contains(str)) {
+    //          return true;
+    //        }
+    //      }
+    //      return false;
+    //    }
+    //    return true;
+  }
+
+  private boolean containsVariableSet(char[] token) {
+
+    if (!fStackUnassigned.isEmpty()) {
+      HashSet set;
+      String str = new String(token);
+      for (int i = 0; i < fStackUnassigned.size(); i++) {
+        set = (HashSet) fStackUnassigned.get(i);
+        if (set.contains(str)) {
+          return true;
+        }
+      }
+      return false;
+    }
+    return true;
+  }
 }
\ No newline at end of file