added index manager to the new builder;
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / core / builder /
drwxr-xr-x   ..
-rw-r--r-- 1010 AbortIncrementalBuildException.java
-rw-r--r-- 18753 AbstractImageBuilder.java
-rw-r--r-- 976 AdditionalTypeCollection.java
-rw-r--r-- 9852 BatchImageBuilder.java
-rw-r--r-- 9387 BuildNotifier.java
-rw-r--r-- 4216 ClasspathDirectory.java
-rw-r--r-- 1903 ClasspathLocation.java
-rw-r--r-- 1935 ClasspathMultiDirectory.java
-rw-r--r-- 1267 ImageBuilderInternalException.java
-rw-r--r-- 33781 IncrementalImageBuilder.java
-rw-r--r-- 919 MissingClassFileException.java
-rw-r--r-- 913 MissingSourceFileException.java
-rw-r--r-- 15479 NameEnvironment.java
-rw-r--r-- 29144 PHPBuilder.java
-rw-r--r-- 1188 ProblemFactory.java
-rw-r--r-- 8594 ReferenceCollection.java
-rw-r--r-- 3664 SourceFile.java
-rw-r--r-- 23674 State.java
-rw-r--r-- 1461 WorkQueue.java