Daikon and arrays

[Tsarsko Petrovich]

I have been working with Daikon and reached the following problem:

If I have an object storing a collection of objects, Daikon is able to infer these two invariants:

this.author.books != null
this.author.books[] elements != null

Now, if I start storing multiple objects, each one with a collection of objects, Daikon is only able to infer:

this.authors[].books elements != null

Why is Daikon not able to also infer that this.authors.books != null?

Thank you for reading.

[Michael Ernst]

> Why is Daikon not able to also infer that this.authors.books != null?

It is hard to judge based on the limited information in your message.  Is `this.authors` of a type that has a books field?  From the output you gave, it looks like `this.authors` is a collection or array, so the expression `this.authors.books` would not make any sense.

All this is speculation, however, because your problem report is incomplete.  Please provide all the details that were requested in the issue template and the bug reporting section of the manual.

Mike

--
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/7beae650-9776-41c7-8227-9af58f8bb3b3%40googlegroups.com.