Wie initialisiert man ein Array in Eiffel

Question

Wie initialisiert man ein Array mit einer Liste von Zahlen in Eiffel?

In C würde es so aussehen:

int foo [] = {2, 3, 5, 7, 10, 87, 72, 67, 1, 0};

Answer 1

wie folgt aus:

make 
    local 
     foo: ARRAY [INTEGER] 
    do 
     foo := << 2, 3, 5, 7, 10, 87, 72, 67, 1, 0 >> 
    end