You are viewing a plain text version of this content. The canonical link for it is here.
Posted to bcel-dev@jakarta.apache.org by en...@apache.org on 2003/02/12 11:15:29 UTC
cvs commit: jakarta-bcel/src/java/org/apache/bcel/verifier/structurals InstConstraintVisitor.java
enver 2003/02/12 02:15:29
Modified: src/java/org/apache/bcel/verifier/structurals
InstConstraintVisitor.java
Log:
Comment
Revision Changes Path
1.5 +4 -1 jakarta-bcel/src/java/org/apache/bcel/verifier/structurals/InstConstraintVisitor.java
Index: InstConstraintVisitor.java
===================================================================
RCS file: /home/cvs/jakarta-bcel/src/java/org/apache/bcel/verifier/structurals/InstConstraintVisitor.java,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
--- InstConstraintVisitor.java 4 Jul 2002 22:16:42 -0000 1.4
+++ InstConstraintVisitor.java 12 Feb 2003 10:15:29 -0000 1.5
@@ -2541,6 +2541,9 @@
else{
constraintViolated(o, "The stack top type '"+value+"' is not of a reference type as expected.");
}
+ // TODO: This can possibly only be checked using Staerk-et-al's "set-of-object types", not
+ // using "wider cast object types" created during verification.
+ // Comment it out if you encounter problems. See also the analogon at visitPUTFIELD.
if (!(rvalue.isAssignmentCompatibleWith(shouldbe))){
constraintViolated(o, "The stack top type '"+value+"' is not assignment compatible with '"+shouldbe+"'.");
}
---------------------------------------------------------------------
To unsubscribe, e-mail: bcel-dev-unsubscribe@jakarta.apache.org
For additional commands, e-mail: bcel-dev-help@jakarta.apache.org