jakarta-bcel-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From en...@apache.org
Subject cvs commit: jakarta-bcel/src/java/org/apache/bcel/verifier/statics Pass3aVerifier.java
Date Thu, 18 Dec 2003 20:55:12 GMT
enver       2003/12/18 12:55:12

  Modified:    src/java/org/apache/bcel/verifier/statics
                        Pass3aVerifier.java
  Log:
  Actually _working_ with my own verifier there are lots of rough edges I see.
  
  Revision  Changes    Path
  1.7       +5 -5      jakarta-bcel/src/java/org/apache/bcel/verifier/statics/Pass3aVerifier.java
  
  Index: Pass3aVerifier.java
  ===================================================================
  RCS file: /home/cvs/jakarta-bcel/src/java/org/apache/bcel/verifier/statics/Pass3aVerifier.java,v
  retrieving revision 1.6
  retrieving revision 1.7
  diff -u -r1.6 -r1.7
  --- Pass3aVerifier.java	25 Aug 2003 16:50:37 -0000	1.6
  +++ Pass3aVerifier.java	18 Dec 2003 20:55:12 -0000	1.7
  @@ -989,7 +989,7 @@
   				}
   			}
   			if (m == null){
  -				constraintViolated(o, "Referenced method '"+o.getMethodName(cpg)+"' with expected signature
not found in class '"+jc.getClassName()+"'. The native verifier does allow the method to be
declared in some superinterface, which the Java Virtual Machine Specification, Second Edition
does not.");
  +				constraintViolated(o, "Referenced method '"+o.getMethodName(cpg)+"' with expected signature
'"+o.getSignature(cpg)+"' not found in class '"+jc.getClassName()+"'. The native verifier
does allow the method to be declared in some superinterface, which the Java Virtual Machine
Specification, Second Edition does not.");
   			}
   			if (jc.isClass()){
   				constraintViolated(o, "Referenced class '"+jc.getClassName()+"' is a class, but not
an interface as expected.");
  @@ -1020,7 +1020,7 @@
   				}
   			}
   			if (m == null){
  -				constraintViolated(o, "Referenced method '"+o.getMethodName(cpg)+"' with expected signature
not found in class '"+jc.getClassName()+"'. The native verifier does allow the method to be
declared in some superclass or implemented interface, which the Java Virtual Machine Specification,
Second Edition does not.");
  +				constraintViolated(o, "Referenced method '"+o.getMethodName(cpg)+"' with expected signature
'"+o.getSignature(cpg)+"' not found in class '"+jc.getClassName()+"'. The native verifier
does allow the method to be declared in some superclass or implemented interface, which the
Java Virtual Machine Specification, Second Edition does not.");
   			}
   			
   			JavaClass current = Repository.lookupClass(myOwner.getClassName());
  @@ -1083,7 +1083,7 @@
   				}
   			}
   			if (m == null){
  -				constraintViolated(o, "Referenced method '"+o.getMethodName(cpg)+"' with expected signature
not found in class '"+jc.getClassName()+"'. The native verifier possibly allows the method
to be declared in some superclass or implemented interface, which the Java Virtual Machine
Specification, Second Edition does not.");
  +				constraintViolated(o, "Referenced method '"+o.getMethodName(cpg)+"' with expected signature
'"+o.getSignature(cpg) +"' not found in class '"+jc.getClassName()+"'. The native verifier
possibly allows the method to be declared in some superclass or implemented interface, which
the Java Virtual Machine Specification, Second Edition does not.");
   			}
   			
   			if (! (m.isStatic())){ // implies it's not abstract, verified in pass 2.
  @@ -1117,7 +1117,7 @@
   				}
   			}
   			if (m == null){
  -				constraintViolated(o, "Referenced method '"+o.getMethodName(cpg)+"' with expected signature
not found in class '"+jc.getClassName()+"'. The native verifier does allow the method to be
declared in some superclass or implemented interface, which the Java Virtual Machine Specification,
Second Edition does not.");
  +				constraintViolated(o, "Referenced method '"+o.getMethodName(cpg)+"' with expected signature
'"+o.getSignature(cpg)+"' not found in class '"+jc.getClassName()+"'. The native verifier
does allow the method to be declared in some superclass or implemented interface, which the
Java Virtual Machine Specification, Second Edition does not.");
   			}
   			if (! (jc.isClass())){
   				constraintViolated(o, "Referenced class '"+jc.getClassName()+"' is an interface, but
not a class as expected.");
  
  
  

---------------------------------------------------------------------
To unsubscribe, e-mail: bcel-dev-unsubscribe@jakarta.apache.org
For additional commands, e-mail: bcel-dev-help@jakarta.apache.org


Mime
View raw message