cvs commit: jakarta-bcel/src/java/org/apache/bcel/verifier/structurals InstConstraintVisitor.java

[email protected] 12 Feb 2003 10:15:29 -0000

Newsgroups	gmane.comp.jakarta.bcel.devel
Message-ID	<[email protected]>

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+"'.");
   			}