[Checkers] Arrays convention

Mahmood Ali mahmood at MIT.EDU
Thu Jul 10 18:50:02 EDT 2008

Hi Mike,

I am having some difficulty understanding the syntax of arrays vs. elts.

In the JSR 308 proposal, B.3 illustrates ARRAY.IN with the following:

> The type of elements of @A Object[@B][@C] is @A Object[@C].

Is that true?  Or is the component @A Object[@B]?  I think the latter  
is more in the spirit of P1.

- Mahmood

More information about the checkers mailing list