Re: [Liberty-eiffel] Question about arrays

[Cyril ADRIAN]

yes :-)

although the first form is also valid (provided that `u` is the upper bound).

The {ARRAY...} notation is called a manifest array.

See MANIFEST_NOTATION in the tutorial.

Cyril

2014-09-23 6:33 GMT+02:00 Germán Arias <address@hidden>:

On 2014-09-22 19:36:10 -0600 Germán Arias <address@hidden> wrote:

> On internet I found this to create an array:
>
>             create my_array.make (1, u)
>
> But in Liberty examples I found:
>
> {ARRAY[INTEGER_8] 1, << -1, -1, -1, 0, 1, 1, 1, 0 >> }
>
> What mean the first 1?
>
> Germán.
>
>

Oh, I suppose this is the lower bound, right?

Germán.