/** * Returns a new instance, which is the same as this instance, * except that it has an additional type prepended to the * original. * * @param type {@code non-null;} the new first element * @return {@code non-null;} an appropriately-constructed instance */ public StdTypeList withFirst(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); result.set0(0, type); for (int i = 0; i < sz; i++) { result.set0(i + 1, getOrNull0(i)); } return result; } }
/** * Returns a new instance, which is the same as this instance, * except that it has an additional type prepended to the * original. * * @param type {@code non-null;} the new first element * @return {@code non-null;} an appropriately-constructed instance */ public StdTypeList withFirst(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); result.set0(0, type); for (int i = 0; i < sz; i++) { result.set0(i + 1, getOrNull0(i)); } return result; } }
/** * Returns a new instance, which is the same as this instance, * except that it has an additional type prepended to the * original. * * @param type {@code non-null;} the new first element * @return {@code non-null;} an appropriately-constructed instance */ public StdTypeList withFirst(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); result.set0(0, type); for (int i = 0; i < sz; i++) { result.set0(i + 1, getOrNull0(i)); } return result; } }
/** * Returns a new instance, which is the same as this instance, * except that it has an additional type prepended to the * original. * * @param type {@code non-null;} the new first element * @return {@code non-null;} an appropriately-constructed instance */ public StdTypeList withFirst(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); result.set0(0, type); for (int i = 0; i < sz; i++) { result.set0(i + 1, getOrNull0(i)); } return result; } }
/** * Returns a new instance, which is the same as this instance, * except that it has an additional type prepended to the * original. * * @param type {@code non-null;} the new first element * @return {@code non-null;} an appropriately-constructed instance */ public StdTypeList withFirst(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); result.set0(0, type); for (int i = 0; i < sz; i++) { result.set0(i + 1, getOrNull0(i)); } return result; } }
/** * Returns a new instance, which is the same as this instance, * except that it has an additional type prepended to the * original. * * @param type {@code non-null;} the new first element * @return {@code non-null;} an appropriately-constructed instance */ public StdTypeList withFirst(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); result.set0(0, type); for (int i = 0; i < sz; i++) { result.set0(i + 1, getOrNull0(i)); } return result; } }
/** * Returns a new instance, which is the same as this instance, * except that it has an additional type prepended to the * original. * * @param type {@code non-null;} the new first element * @return {@code non-null;} an appropriately-constructed instance */ public StdTypeList withFirst(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); result.set0(0, type); for (int i = 0; i < sz; i++) { result.set0(i + 1, getOrNull0(i)); } return result; } }
/** * Returns a new instance, which is the same as this instance, * except that it has an additional type prepended to the * original. * * @param type {@code non-null;} the new first element * @return {@code non-null;} an appropriately-constructed instance */ public StdTypeList withFirst(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); result.set0(0, type); for (int i = 0; i < sz; i++) { result.set0(i + 1, getOrNull0(i)); } return result; } }