projects
/
jpf-core.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
FIX: java.lang.Object should be java/lang/Object.
[jpf-core.git]
/
src
/
main
/
gov
/
nasa
/
jpf
/
vm
/
Types.java
diff --git
a/src/main/gov/nasa/jpf/vm/Types.java
b/src/main/gov/nasa/jpf/vm/Types.java
index fb4add6cc3acba6b8dcb649c53a29451ce15c1b8..ee64f70a8a2ad9c735e44a20b6006288bdfc7aa4 100644
(file)
--- a/
src/main/gov/nasa/jpf/vm/Types.java
+++ b/
src/main/gov/nasa/jpf/vm/Types.java
@@
-415,9
+415,9
@@
public class Types {
*
* int -> int
* int[] -> [I
*
* int -> int
* int[] -> [I
- * String -> java
.lang.
String
- * String[] -> [Ljava
.lang.
String;
- * String[][] -> [[Ljava
.lang.
String;
+ * String -> java
/lang/
String
+ * String[] -> [Ljava
/lang/
String;
+ * String[][] -> [[Ljava
/lang/
String;
*
* <2do> this is really not very efficient
*/
*
* <2do> this is really not very efficient
*/
@@
-1020,7
+1020,7
@@
public class Types {
public static boolean instanceOf (String type, String ofType) {
int bType = getBuiltinTypeFromSignature(type);
public static boolean instanceOf (String type, String ofType) {
int bType = getBuiltinTypeFromSignature(type);
- if ((bType == T_ARRAY) && ofType.equals("Ljava
.lang.
Object;")) {
+ if ((bType == T_ARRAY) && ofType.equals("Ljava
/lang/
Object;")) {
return true;
}
return true;
}