You are viewing a plain text version of this content. The canonical link for it is here.
Posted to bcel-user@jakarta.apache.org by Wim Deblauwe <wi...@hotmail.com> on 2004/02/17 10:49:51 UTC

Verifier output - conflicting information in LocalVariableTable

Can someone explain this output from the Verifier in plain English?



Pass 3a, method number 0 ['public void 
<init>(com.barco.bds.is.timedtasks.TimedTask arg1, 
com.barco.bds.is.displaydevice.DisplayDevice arg2)']:
VERIFIED_REJECTED
Instruction invokespecial[183](3) 5 constraint violated: Argument type 
class/interface could not be verified successfully: 'Conflicting information 
in LocalVariableTable '<LocalVariableTable: LocalVariable(start_pc = 25, 
length = 3, index = 2:String monitorName)
LocalVariable(start_pc = 12, length = 24, index = 
3:com.barco.bds.is.monitor.BarcoMonitorAnswer bma)
LocalVariable(start_pc = 36, length = 3, index = 2:String monitorName)
LocalVariable(start_pc = 40, length = 10, index = 3:Exception e)
LocalVariable(start_pc = 0, length = 73, index = 
0:com.barco.bds.is.monitor.BarcoMonitor barcoMonitor)
LocalVariable(start_pc = 7, length = 66, index = 
1:com.barco.bds.is.monitor.BarcoMonitorCmd bmc)
LocalVariable(start_pc = 50, length = 23, index = 2:String monitorName)
LocalVariable(start_pc = 50, length = 23, index = 3:String match)>' found in 
Code attribute '<CODE>' (method 'private static int 
getDynamicDiagonal(com.barco.bds.is.monitor.BarcoMonitor barcoMonitor)
		throws com.barco.bds.is.monitor.SizeNotSupportedException'). At bytecode 
offset '50' a local variable has two different names: 'e' and 'match'.'.


kind regards,

Wim

------------------
Wim Deblauwe
http://www.jroller.com/page/Fester/Weblog

_________________________________________________________________
Het laatste autonieuws.. http://auto.msn.be/


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


Re: Verifier output - conflicting information in LocalVariableTable

Posted by David Hovemeyer <da...@cs.umd.edu>.
On Tue, Feb 17, 2004 at 09:49:51AM +0000, Wim Deblauwe wrote:
> Can someone explain this output from the Verifier in plain English?
> 
> 
> 
> Pass 3a, method number 0 ['public void 
> <init>(com.barco.bds.is.timedtasks.TimedTask arg1, 
> com.barco.bds.is.displaydevice.DisplayDevice arg2)']:
> VERIFIED_REJECTED
> Instruction invokespecial[183](3) 5 constraint violated: Argument type 
> class/interface could not be verified successfully: 'Conflicting 
> information in LocalVariableTable '<LocalVariableTable: 
> LocalVariable(start_pc = 25, length = 3, index = 2:String monitorName)
> LocalVariable(start_pc = 12, length = 24, index = 
> 3:com.barco.bds.is.monitor.BarcoMonitorAnswer bma)
> LocalVariable(start_pc = 36, length = 3, index = 2:String monitorName)
> LocalVariable(start_pc = 40, length = 10, index = 3:Exception e)
> LocalVariable(start_pc = 0, length = 73, index = 
> 0:com.barco.bds.is.monitor.BarcoMonitor barcoMonitor)
> LocalVariable(start_pc = 7, length = 66, index = 
> 1:com.barco.bds.is.monitor.BarcoMonitorCmd bmc)
> LocalVariable(start_pc = 50, length = 23, index = 2:String monitorName)
> LocalVariable(start_pc = 50, length = 23, index = 3:String match)>' found 
> in Code attribute '<CODE>' (method 'private static int 
> getDynamicDiagonal(com.barco.bds.is.monitor.BarcoMonitor barcoMonitor)
> 		throws com.barco.bds.is.monitor.SizeNotSupportedException'). 
> 		At bytecode offset '50' a local variable has two different names: 'e' and 
> 'match'.'.

It would appear that at bytecode offset 50, there are two entries
in the local variable table for index = 3.

-Dave

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