// Path: src/main/java/org/avmframework/variable/IntegerVariable.java
// public class IntegerVariable extends AtomicVariable {
// 
//   public IntegerVariable(int initialValue, int min, int max) {
//     super(initialValue, min, max);
//     if (min > max) {
//       throw new MinGreaterThanMaxException(min, max);
//     }
//     setValueToInitial();
//   }
// 
//   public int asInt() {
//     return value;
//   }
// 
//   @Override
//   public IntegerVariable deepCopy() {
//     IntegerVariable copy = new IntegerVariable(initialValue, min, max);
//     copy.value = value;
//     return copy;
//   }
// 
//   @Override
//   public String toString() {
//     return "" + asInt();
//   }
// }


import org.avmframework.variable.IntegerVariable;
package org.avmframework;


public class Vectors {

  public static Vector emptyVector() {
    return new Vector();
  }

  public static Vector singleIntegerVector() {
    return integerVector(1);
  }

  public static Vector integerVector(int length) {
    return integerVector(length, 0);
  }

  public static Vector integerVector(int length, int initialValue) {
    Vector vector = new Vector();
    for (int i = 0; i < length; i++) {
// Path: src/main/java/org/avmframework/variable/IntegerVariable.java
// public class IntegerVariable extends AtomicVariable {
// 
//   public IntegerVariable(int initialValue, int min, int max) {
//     super(initialValue, min, max);
//     if (min > max) {
//       throw new MinGreaterThanMaxException(min, max);
//     }
//     setValueToInitial();
//   }
// 
//   public int asInt() {
//     return value;
//   }
// 
//   @Override
//   public IntegerVariable deepCopy() {
//     IntegerVariable copy = new IntegerVariable(initialValue, min, max);
//     copy.value = value;
//     return copy;
//   }
// 
//   @Override
//   public String toString() {
//     return "" + asInt();
//   }
// }


// Path: src/test/java/org/avmframework/Vectors.java
import org.avmframework.variable.IntegerVariable;

package org.avmframework;


public class Vectors {

  public static Vector emptyVector() {
    return new Vector();
  }

  public static Vector singleIntegerVector() {
    return integerVector(1);
  }

  public static Vector integerVector(int length) {
    return integerVector(length, 0);
  }

  public static Vector integerVector(int length, int initialValue) {
    Vector vector = new Vector();
    for (int i = 0; i < length; i++) {
      vector.addVariable(new IntegerVariable(initialValue, -100, 100));