ExpandableArrayTest.mos

// name: ExpandableArray Unit Testing
// status: correct
// cflags: -d=-newInst

runScript("LoadCompilerSources.mos"); getErrorString();

loadString("
package ExpandableArrayTest
  function Test
  protected
    ExpandableArray<Integer> exarray;
  algorithm
    exarray := ExpandableArray.new(2, 1);
    print(ExpandableArray.toString(exarray, \"new(2)\", intString));

    exarray := ExpandableArray.set(2, 2, exarray);
    print(ExpandableArray.toString(exarray, \"set(2, 2)\", intString));

    exarray := ExpandableArray.add(1, exarray);
    print(ExpandableArray.toString(exarray, \"add(1)\", intString));

    exarray := ExpandableArray.add(3, exarray);
    print(ExpandableArray.toString(exarray, \"add(3)\", intString));

    exarray := ExpandableArray.set(5, 6, exarray);
    print(ExpandableArray.toString(exarray, \"set(5, 6)\", intString));

    exarray := ExpandableArray.update(5, 5, exarray);
    print(ExpandableArray.toString(exarray, \"update(5, 5)\", intString));

    exarray := ExpandableArray.shrink(exarray);
    print(ExpandableArray.toString(exarray, \"shrink()\", intString));

    exarray := matchcontinue(exarray)
      local
        ExpandableArray<Integer> ea;

      case ea equation
        ea = ExpandableArray.set(6, 6, ea);
        ea = ExpandableArray.set(4, 4, ea);
        fail();
      then ea;

      else equation
        print(ExpandableArray.toString(exarray, \"set(6, 6)\", intString));
      then exarray;
    end matchcontinue;

    exarray := ExpandableArray.clear(exarray);
    print(ExpandableArray.toString(exarray, \"clear()\", intString));

    exarray := ExpandableArray.shrink(exarray);
    print(ExpandableArray.toString(exarray, \"shrink()\", intString));

    exarray := ExpandableArray.shrink(exarray);
    print(ExpandableArray.toString(exarray, \"shrink()\", intString));

    exarray := ExpandableArray.set(7, 1, exarray);
    print(ExpandableArray.toString(exarray, \"set(7, 1)\", intString));

    exarray := ExpandableArray.delete(7, exarray);
    print(ExpandableArray.toString(exarray, \"delete(7)\", intString));

    exarray := ExpandableArray.shrink(exarray);
    print(ExpandableArray.toString(exarray, \"shrink()\", intString));
  end Test;
end ExpandableArrayTest;
"); getErrorString();

setCommandLineOptions("-d=rml,noevalfunc,gen"); getErrorString();

ExpandableArrayTest.Test(); getErrorString();

// Result:
// "
// "
// ""
// true
// ""
// true
// ""
// new(2) (0/2)
// ========================================
// <empty>
// set(2, 2) (1/2)
// ========================================
// 2: 2
// add(1) (2/4)
// ========================================
// 2: 2
// 3: 1
// add(3) (3/4)
// ========================================
// 2: 2
// 3: 1
// 4: 3
// set(5, 6) (4/8)
// ========================================
// 2: 2
// 3: 1
// 4: 3
// 5: 6
// update(5, 5) (4/8)
// ========================================
// 2: 2
// 3: 1
// 4: 3
// 5: 5
// shrink() (4/4)
// ========================================
// 1: 5
// 2: 2
// 3: 1
// 4: 3
// set(6, 6) (5/8)
// ========================================
// 1: 5
// 2: 2
// 3: 1
// 4: 3
// 6: 6
// clear() (0/8)
// ========================================
// <empty>
// shrink() (0/0)
// ========================================
// <empty>
// shrink() (0/0)
// ========================================
// <empty>
// set(7, 1) (1/8)
// ========================================
// 7: 1
// delete(7) (0/8)
// ========================================
// <empty>
// shrink() (0/0)
// ========================================
// <empty>
//
// ""
// endResult