Header
  + name := Af_array
Public
  - main <-
  ( + a:Array Int
    
    a := new Array Int capacity 2
    a.add_first 1
    Test.check (a.at 0 = 1)  
    
    a := new Array Int capacity 2
    a.add_first (1, 2)
    Test.check (a.at 0) integer 1  
    Test.check (a.at 1 = 2)  
    
    a := new Array Int capacity 2
    a.add_first (1, 2, 3)
    Test.check (a.at 0 = 1)  
    Test.check (a.at 1 = 2)  
    Test.check (a.at 2 = 3)
        
    a := new Array Int of 2
    a.add_first 1
    Test.check (a.at 0 = 1)
    Test.check (a.at 1 = 2)
    
    a := new Array Int of (3,4)
    a.add_first(1,2)
    Test.check (a.at 0 = 1)
    Test.check (a.at 1 = 2)
    Test.check (a.at 2 = 3)
    Test.check (a.at 3 = 4)
    
    a := new Array Int of 4
    a.add_first(1,2,3)
    Test.check (a.at 0) integer 1
    Test.check (a.at 1 = 2)
    Test.check (a.at 2 = 3)
    Test.check (a.at 3 = 4)
    
    a := new Array Int of (5, 6)
    a.add_first(1,2,3,4)
    Test.check (a.at 0) integer 1
    Test.check (a.at 1 = 2)
    Test.check (a.at 2 = 3)
    Test.check (a.at 3 = 4)
    Test.check (a.at 4 = 5)
    Test.check (a.at 5 = 6)
  )
