fixed additional catches block bug
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / compiler / DocumentElementParser.java
index 2d6c723..4bf670f 100644 (file)
@@ -12,6 +12,7 @@ package net.sourceforge.phpdt.internal.compiler;
 
 import net.sourceforge.phpdt.core.compiler.IProblem;
 import net.sourceforge.phpdt.internal.compiler.env.ICompilationUnit;
+import net.sourceforge.phpdt.internal.compiler.impl.CompilerOptions;
 import net.sourceforge.phpdt.internal.compiler.parser.UnitParser;
 import net.sourceforge.phpdt.internal.compiler.problem.AbortCompilation;
 import net.sourceforge.phpdt.internal.compiler.problem.ProblemReporter;
@@ -52,11 +53,11 @@ public class DocumentElementParser extends UnitParser {
        
 public DocumentElementParser(
        final IDocumentElementRequestor requestor, 
-       IProblemFactory problemFactory) {
-//     CompilerOptions options) {
+       IProblemFactory problemFactory,
+       CompilerOptions options) {
        super(new ProblemReporter(
                DefaultErrorHandlingPolicies.exitAfterAllProblems(), 
-//             options, 
+               options, 
                problemFactory) {
                public void record(IProblem problem, CompilationResult unitResult) {
                        requestor.acceptProblem(problem);
@@ -66,7 +67,7 @@ public DocumentElementParser(
 //     options.sourceLevel >= CompilerOptions.JDK1_4);
        this.requestor = requestor;
        intArrayStack = new int[30][];
-//     this.options = options;
+       this.options = options;
 }
 
 /**