/** * Sets the type at the given index. * * @param n {@code >= 0, < size();} which element * @param type {@code non-null;} the type to store */ public void set(int n, Type type) { set0(n, type); }
/** * Sets the type at the given index. * * @param n {@code >= 0, < size();} which element * @param type {@code non-null;} the type to store */ public void set(int n, Type type) { set0(n, type); }
/** * Sets the type at the given index. * * @param n {@code >= 0, < size();} which element * @param type {@code non-null;} the type to store */ public void set(int n, Type type) { set0(n, type); }
/** * Sets the type at the given index. * * @param n {@code >= 0, < size();} which element * @param type {@code non-null;} the type to store */ public void set(int n, Type type) { set0(n, type); }
/** * Sets the type at the given index. * * @param n {@code >= 0, < size();} which element * @param type {@code non-null;} the type to store */ public void set(int n, Type type) { set0(n, type); }
/** * Sets the type at the given index. * * @param n {@code >= 0, < size();} which element * @param type {@code non-null;} the type to store */ public void set(int n, Type type) { set0(n, type); }
/** * Sets the type at the given index. * * @param n {@code >= 0, < size();} which element * @param type {@code non-null;} the type to store */ public void set(int n, Type type) { set0(n, type); }
/** * Sets the type at the given index. * * @param n {@code >= 0, < size();} which element * @param type {@code non-null;} the type to store */ public void set(int n, Type type) { set0(n, type); }
/** * 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; } }
/** {@inheritDoc} */ public TypeList withAddedType(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); for (int i = 0; i < sz; i++) { result.set0(i, get0(i)); } result.set(sz, type); result.setImmutable(); return result; }
/** {@inheritDoc} */ public TypeList withAddedType(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); for (int i = 0; i < sz; i++) { result.set0(i, get0(i)); } result.set(sz, type); result.setImmutable(); return result; }
/** {@inheritDoc} */ public TypeList withAddedType(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); for (int i = 0; i < sz; i++) { result.set0(i, get0(i)); } result.set(sz, type); result.setImmutable(); return result; }
/** {@inheritDoc} */ public TypeList withAddedType(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); for (int i = 0; i < sz; i++) { result.set0(i, get0(i)); } result.set(sz, type); result.setImmutable(); return result; }
/** {@inheritDoc} */ public TypeList withAddedType(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); for (int i = 0; i < sz; i++) { result.set0(i, get0(i)); } result.set(sz, type); result.setImmutable(); return result; }
/** {@inheritDoc} */ @Override public TypeList withAddedType(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); for (int i = 0; i < sz; i++) { result.set0(i, get0(i)); } result.set(sz, type); result.setImmutable(); return result; }
/** {@inheritDoc} */ @Override public TypeList withAddedType(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); for (int i = 0; i < sz; i++) { result.set0(i, get0(i)); } result.set(sz, type); result.setImmutable(); return result; }
/** {@inheritDoc} */ public TypeList withAddedType(Type type) { int sz = size(); StdTypeList result = new StdTypeList(sz + 1); for (int i = 0; i < sz; i++) { result.set0(i, get0(i)); } result.set(sz, type); result.setImmutable(); return result; }