public IntegerRange(long min, long max) { this.min = min; this.max = max; if (min == max) { Type = new IntegerType(min); } else { Type = new ArrayType(new IntegerType(min, max), new IntegerType(max - min + 1)); } }
public ArrayType(IType innerType, IntegerType sizeType) { this.innerType = innerType; this.sizeType = sizeType; }