Problems with the annotate example

[tei...@gmail.com]

Hello,

I have installed Daikon in Windows Subsystem for Linux and the installation and rebuild worked as expected. The StackAr example from the User Manual works fine till step 5. I can capture the invariants in a file and I can also use PrintInvariants, but if I use the Annotate program I get errors. If I use the cd .. command first (which leads me to $DAIKONDIR/examples/java-examples) I get

$ java daikon.tools.jtb.Annotate StackArTester.inv.gz DataStructures/StackAr.java

Exception in thread "main" java.io.FileNotFoundException: StackArTester.inv.gz (No such file or directory)

this is obvious to me since StackArTester.inv.gz war created in $DAIKONDIR/examples/java-examples/StackAr.

If I start the command there I get:

$ java daikon.tools.jtb.Annotate StackArTester.inv.gz DataStructures/StackAr.java

Didn't find class DataStructures.StackAr.

Be sure to compile Java classes before calling Annotate.

But in DataStructures there is a StackAr.java as well as a StackAr.class file. The command generates a StackAr.java-escannotated file in DataStractures but its empty.

Do you have any advice what I'm doing wrong?

Thanks in advance

Andreas

[Tsarsko Petrovich]

I am having the same problem. Did you find a solution?

[Michael Ernst]

There is an error in the instructions.

The command

cd ..
java -cp $DAIKONDIR/daikon.jar daikon.tools.jtb.Annotate StackArTester.inv.gz DataStructures/StackAr.java

should actually be

java -cp .:$DAIKONDIR/daikon.jar daikon.tools.jtb.Annotate StackArTester.inv.gz DataStructures/StackAr.java

Sorry about that.  It is fixed in commit abd46aa6.

                    -Mike

On Sun, Jun 7, 2020 at 10:25 AM Tsarsko Petrovich <tsar...@gmail.com> wrote:

I am having the same problem. Did you find a solution?

--
You received this message because you are subscribed to the Google Groups "Daikon discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to daikon-discus...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/daikon-discuss/b42c34ef-2f9a-4c91-83e0-6ff7675dccc3o%40googlegroups.com.