Fixed issue with object casts. Now the method returns an empty array if we recieve...
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / compiler / problem /
drwxr-xr-x   ..
-rw-r--r-- 1902 AbortCompilation.java
-rw-r--r-- 974 AbortCompilationUnit.java
-rw-r--r-- 949 AbortMethod.java
-rw-r--r-- 956 AbortType.java
-rw-r--r-- 9087 DefaultProblem.java
-rw-r--r-- 5899 DefaultProblemFactory.java
-rw-r--r-- 5559 ProblemHandler.java
-rw-r--r-- 139702 ProblemReporter.java
-rw-r--r-- 1028 ProblemSeverities.java
-rw-r--r-- 891 ShouldNotImplement.java
-rw-r--r-- 18417 messages.properties