@Test(expected = Exception.class) public void get_givenInitialState_throwsException() throws Exception { test.get(0); }
public int get(int index) { return -2; }
DynamicArray { public int get(int index) { return -2; } }
DynamicArray { public int get(int index) { return -2; } DynamicArray(int growthFactor, int maxOverhead); }
DynamicArray { public int get(int index) { return -2; } DynamicArray(int growthFactor, int maxOverhead); int getInnerLength(); Interval reportUsage(Interval usage, int minSize); int get(int index); void set(int index, int value); }
DynamicArray { public int get(int index) { return -2; } DynamicArray(int growthFactor, int maxOverhead); int getInnerLength(); Interval reportUsage(Interval usage, int minSize); int get(int index); void set(int index, int value);  }