Custom user-defined invariants

[Adwait Godbole]

Hi, I'm trying to define a custom set of invariants. I was successful in doing this following the first method in the manual (modify source and recompile). 

However, I wanted to confirm whether I'm following the second method (external, user-defined-invariant) correctly.  

I compile the invariant file MyInv.java (which is in $DAIKONDIR/java/daikon/inv/unary/scalar/) like so:   

javac -cp "$DAIKONDIR/daikon.jar" MyInv.java

Then, when running daikon I use the cmdline args:

--user-defined-invariant daikon.inv.unary.scalar.MyInv

In particular, does Daikon expect the same interface from the external invariants as the internally defined invariants (and hence is compiling with daikon.jar necessary)? Sorry if this is a repeat question, I couldn't find any on the list.

Thanks,

   --- Adwait

[Adwait Godbole]

I also have a follow-up question: is it possible to define invariants of arity greater than 3?

If so, what would one have to do?

I would assume that one would have to touch Daikon internals

other than just adding a new sub-class of Invariant (for the said arity) and a concrete sub-class of that?

Many thanks,

   --- Adwait