kc3-lang/kc3/test/ic3/array.in

• Show log

  Commit

• Hash : 38f69099
  Author : Thomas de Grivel
  Date : 2023-08-27T18:49:57
  

  test array

Download

• test/ic3/array.in

• a = (u8) {0, 1}
  Array.data(a, (uw) {0})
  Array.data(a, (uw) {1})
  quote a[0]
  quote a[1]
  a[0]
  a[1]
  b = (u8) {{0, 1},
            {2, 3}}
  Array.data(b, (uw) {0, 0})
  Array.data(b, (uw) {0, 1})
  Array.data(b, (uw) {1, 0})
  Array.data(b, (uw) {1, 1})
  b[0][0]
  b[0][1]
  b[1][0]
  b[1][1]
  c = (u8) {{{0, 1},
             {2, 3}},
            {{4, 5},
             {6, 7}}}
  Array.data(c, (uw) {0, 0, 0})
  Array.data(c, (uw) {0, 0, 1})
  Array.data(c, (uw) {0, 1, 0})
  Array.data(c, (uw) {0, 1, 1})
  Array.data(c, (uw) {1, 0, 0})
  Array.data(c, (uw) {1, 0, 1})
  Array.data(c, (uw) {1, 1, 0})
  Array.data(c, (uw) {1, 1, 1})
  c[0][0][0]
  c[0][0][1]
  c[0][1][0]
  c[0][1][1]
  c[1][0][0]
  c[1][0][1]
  c[1][1][0]
  c[1][1][1]
  d = (u8) {{{{0, 1},
              {2, 3}},
             {{4, 5},
              {6, 7}}},
            {{{8, 9},
              {10, 11}},
             {{12, 13},
              {14, 15}}}}
  Array.data(d, (uw) {0, 0, 0, 0})
  Array.data(d, (uw) {0, 0, 0, 1})
  Array.data(d, (uw) {0, 0, 1, 0})
  Array.data(d, (uw) {0, 0, 1, 1})
  Array.data(d, (uw) {0, 1, 0, 0})
  Array.data(d, (uw) {0, 1, 0, 1})
  Array.data(d, (uw) {0, 1, 1, 0})
  Array.data(d, (uw) {0, 1, 1, 1})
  Array.data(d, (uw) {1, 0, 0, 0})
  Array.data(d, (uw) {1, 0, 0, 1})
  Array.data(d, (uw) {1, 0, 1, 0})
  Array.data(d, (uw) {1, 0, 1, 1})
  Array.data(d, (uw) {1, 1, 0, 0})
  Array.data(d, (uw) {1, 1, 0, 1})
  Array.data(d, (uw) {1, 1, 1, 0})
  Array.data(d, (uw) {1, 1, 1, 1})
  d[0][0][0][0]
  d[0][0][0][1]
  d[0][0][1][0]
  d[0][0][1][1]
  d[0][1][0][0]
  d[0][1][0][1]
  d[0][1][1][0]
  d[0][1][1][1]
  d[1][0][0][0]
  d[1][0][0][1]
  d[1][0][1][0]
  d[1][0][1][1]
  d[1][1][0][0]
  d[1][1][0][1]
  d[1][1][1][0]
  d[1][1][1][1]
  

Download