X-Git-Url: http://secure.phpeclipse.com diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/jdom/SimpleDOMBuilder.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/jdom/SimpleDOMBuilder.java index c923015..aa36b78 100644 --- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/jdom/SimpleDOMBuilder.java +++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/core/jdom/SimpleDOMBuilder.java @@ -12,13 +12,15 @@ package net.sourceforge.phpdt.internal.core.jdom; import java.util.Map; +import net.sourceforge.phpdt.core.JavaCore; import net.sourceforge.phpdt.core.jdom.IDOMCompilationUnit; +import net.sourceforge.phpdt.core.jdom.IDOMFactory; import net.sourceforge.phpdt.internal.compiler.ISourceElementRequestor; import net.sourceforge.phpdt.internal.compiler.SourceElementParser; import net.sourceforge.phpdt.internal.compiler.env.ICompilationUnit; +import net.sourceforge.phpdt.internal.compiler.impl.CompilerOptions; import net.sourceforge.phpdt.internal.compiler.problem.DefaultProblemFactory; import net.sourceforge.phpdt.internal.core.util.CharArrayOps; -import net.sourceforge.phpeclipse.PHPCore; /** * A DOM builder that uses the SourceElementParser @@ -51,7 +53,7 @@ public IDOMCompilationUnit createCompilationUnit(String sourceCode, String name) */ public IDOMCompilationUnit createCompilationUnit(ICompilationUnit compilationUnit) { initializeBuild(compilationUnit.getContents(), true, true); - getParser(PHPCore.getOptions()).parseCompilationUnit(compilationUnit, false); + getParser(JavaCore.getOptions()).parseCompilationUnit(compilationUnit, false); return super.createCompilationUnit(compilationUnit); } /** @@ -213,6 +215,6 @@ protected void exitType(int declarationEnd) { * Creates a new parser. */ protected SourceElementParser getParser(Map settings) { - return new SourceElementParser(this, new DefaultProblemFactory());//, new CompilerOptions(settings)); + return new SourceElementParser(this, new DefaultProblemFactory(), new CompilerOptions(settings)); } }