Hi,
thanks for the replies and sorry for the delay, it took me some time
to extract the application part which throws the VerifyError.
Sure you can have access to the APK and to the sources as well - if
they are of any need.
The APK can be found here: 
http://vsis-www.informatik.uni-hamburg.de/projects/jadex-android/AndroidVerifyTest.apk
And the whole eclipse project, containing the sources, here:
http://vsis-www.informatik.uni-hamburg.de/projects/jadex-android/AndroidVerifyTest.rar

Before filing a bug, I would feel much better if someone else could
have a look and approve that there's really something not working as
it should.

If you have a look at the sources, don't let all the classes confuse
you, the Activity test.verify.AndroidVerifyTestActivity is the
entrypoint which simply instantiates the Class upon which the
VerifyError is throws. All the other classes and packages are just
dependencies.

Thanks in advance,
Dirk

On 28 Sep., 04:06, DanH <danhi...@ieee.org> wrote:
> VerifyError occurs for two basic reasons:
>
> 1) An error in the bytecodes.
> 2) An error due to a mismatch between two different class files.
>
> It's really unusual to find a case for reason (1) but you apparently
> "lucked out".
> If this is code that runs OK in a regular Java environment but fails
> on Android then I would suspect a bug in the Android verifier (or
> perhaps a "feechur" -- some sort of limitation/restriction).
>
> Apparently fadden suspects a bug in the Android verifier as well.
>
> On Sep 25, 2:33 pm, Dirk <dirkb...@googlemail.com> wrote:
>
> > Hi,
> > I'm currently trying to port the famous complex event processing
> > runtime "Esper" to the Android (2.2) platform and am facing a
> > VerifyError, which I - although reading several other post on
> > VerifyErrors - do not understand.
>
> > The project I am trying to build and run contains only Java sources
> > (no libraries). Therefore, I assume, that if these are compiled
> > successfully, they would pass the verification process. But during
> > runtime, I get the following error:
>
> > 09-25 18:33:27.549: WARN/dalvikvm(300): VFY: invalid switch start: at
> > 8, switch offset -31132, count 34530
> > 09-25 18:33:27.549: WARN/dalvikvm(300): VFY:  rejected Lcom/espertech/
> > esper/epl/generated/EsperEPL2GrammarParser
> > $DFA156;.specialStateTransition (ILorg/antlr/runtime/IntStream;)I
> > 09-25 18:33:27.549: WARN/dalvikvm(300): Verifier rejected class Lcom/
> > espertech/esper/epl/generated/EsperEPL2GrammarParser$DFA156;
> > 09-25 18:33:27.559: DEBUG/AndroidRuntime(300): Shutting down VM
> > 09-25 18:33:27.559: WARN/dalvikvm(300): threadid=1: thread exiting
> > with uncaught exception (group=0x4001d800)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300): FATAL EXCEPTION: main
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300): java.lang.VerifyError:
> > com.espertech.esper.epl.generated.EsperEPL2GrammarParser$DFA156
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > com.espertech.esper.epl.generated.EsperEPL2GrammarParser.<init>(EsperEPL2GrammarParser.java:
> > 28870)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > com.espertech.esper.epl.generated.EsperEPL2GrammarParser.<init>(EsperEPL2GrammarParser.java:
> > 338)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > com.espertech.esper.epl.parse.ParseHelper.parse(ParseHelper.java:108)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > com.espertech.esper.core.EPAdministratorImpl.compileEPL(EPAdministratorImpl.java:
> > 299)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > com.espertech.esper.core.EPAdministratorImpl.createEPLStmt(EPAdministratorImpl.java:
> > 142)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > com.espertech.esper.core.EPAdministratorImpl.createEPL(EPAdministratorImpl.java:
> > 94)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > esper.android.EsperAndroidTest.onCreate(EsperAndroidTest.java:39)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > android.app.Instrumentation.callActivityOnCreate(Instrumentation.java:
> > 1047)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > android.app.ActivityThread.performLaunchActivity(ActivityThread.java:
> > 2627)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > android.app.ActivityThread.handleLaunchActivity(ActivityThread.java:
> > 2679)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > android.app.ActivityThread.access$2300(ActivityThread.java:125)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > android.app.ActivityThread$H.handleMessage(ActivityThread.java:2033)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > android.os.Handler.dispatchMessage(Handler.java:99)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > android.os.Looper.loop(Looper.java:123)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > android.app.ActivityThread.main(ActivityThread.java:4627)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > java.lang.reflect.Method.invokeNative(Native Method)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > java.lang.reflect.Method.invoke(Method.java:521)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > com.android.internal.os.ZygoteInit
> > $MethodAndArgsCaller.run(ZygoteInit.java:868)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > com.android.internal.os.ZygoteInit.main(ZygoteInit.java:626)
> > 09-25 18:33:27.589: ERROR/AndroidRuntime(300):     at
> > dalvik.system.NativeStart.main(Native Method)
>
> > The source of "EsperEPL2GrammarParser" is quite big ( > 40,000 lines)
> > and so is the above mentioned inner class DFA156, which mainly
> > contains a switch-statement (> 60 cases) and each case contains
> > several (> 50?) if-then-else statements. Just an idea ... when reading
> > the error message above (invalid switch start: at 8, switch offset
> > -31132, count 34530) my alarm bells ring, cause some values around
> > 32768 (16 bit range) always make me nervous.
>
> > Nevertheless, I am confused with this VerifyError and would appreciate
> > any help getting closer to the error's source. What can I do to
> > encircle the error ?
>
> > Thanks in advance,
> > Cheers Dirk

-- 
You received this message because you are subscribed to the Google
Groups "Android Developers" group.
To post to this group, send email to android-developers@googlegroups.com
To unsubscribe from this group, send email to
android-developers+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/android-developers?hl=en

Reply via email to