Dear All,
Could you please have a look at the following error message from the JustIce verifier? Why is my code being rejected in Pass 2?
Now verifying: org.kjkoster.lang.brainfuck.runtime.Scheduler
Pass 1: VERIFIED_OK Passed verification.
Pass 2:
VERIFIED_REJECTED
Number of LocalVariableTable attributes of Code attribute '<CODE>' (method 'static void <clinit>()') exceeds number of local variable slots '0' ('There may be no more tha
n one LocalVariableTable attribute per local variable in the Code attribute.').
Warnings:
Pass 2: Class or interface initialization method 'static void <clinit>()' has superfluous access modifier(s) set: everything but ACC_STRICT is ignored.
Pass 2: Attribute '<LineNumberTable: LineNumber(0, 40), LineNumber(10, 45), LineNumber(14, 50), LineNumber(18, 28)
' as an attribute of Code attribute '<CODE>' (method 'static void <clinit>()') will effectively be ignored and is only useful for debuggers and such.Pass 2: Attribute '<LocalVariableTable: >' as an attribute of Code attribute '<CODE>' (method 'static void <clinit>()') will effectively be ignored and is only useful for
debuggers and such.
Thanks in advance,
Kees Jan--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
