4

大根の使い方を学んでいます。Chicoryは不変の検出を行います。しかし、java-examplesの部分では、このコマンドの後にこのエラーが発生します

java daikon.Chicory --daikon DataStructures.StackArTester

私はWindows7でcygwinシェルを使用しています。

-ea -Xmx128M -javaagent:C:\cygwin\home\Will\daikonparent\daikon\java\ChicoryPremain.jar=--daikon --dtrace-file=StackArTester.dtrace.gz DataStructures.StackArTester
entered daikon.chicory.Runtime.setDtrace(.\StackArTester.dtrace.gz, false)...
java.lang.VerifyError: StackMapTable error: bad offset in method DataStructures.StackArTester.push(I)V
        at java.lang.Class.getDeclaredMethods0(Native Method)
        at java.lang.Class.privateGetDeclaredMethods(Class.java:2442)
        at java.lang.Class.getMethod0(Class.java:2685)
        at java.lang.Class.getMethod(Class.java:1620)
        at sun.launcher.LauncherHelper.getMainMethod(LauncherHelper.java:492)
        at sun.launcher.LauncherHelper.checkAndLoadMain(LauncherHelper.java:484)
Chicory warning: no records were printed
Exception in thread "main" Warning: Did not run Daikon because target exited with 1 status
4

1 に答える 1

2

コメントで述べたように、特定のバージョンの Java または JVM、バージョン 5 を対象として、.class ファイルを生成/コンパイルする必要があります。

これを機能させるために私がしたことは次のとおりです。

javac -g -source 5 -target 5 DataStructures/*.java
java daikon.Chicory --daikon DataStructures.StackArTester

ハッピーテスト！

于 2012-11-26T21:13:02.220 に答える