diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs index 6ec9fcc1..0db30fe6 100644 --- a/.settings/org.eclipse.jdt.core.prefs +++ b/.settings/org.eclipse.jdt.core.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 +org.eclipse.jdt.core.builder.annotationPath.allLocations=disabled org.eclipse.jdt.core.classpathVariable.IVY_HOME=/Users/vigna/.ivy2 org.eclipse.jdt.core.classpathVariable.JRE_LIB=/Library/Java/JavaVirtualMachines/jdk-10.0.1.jdk/Contents/Home/lib/jrt-fs.jar org.eclipse.jdt.core.classpathVariable.JRE_SRC=/Library/Java/JavaVirtualMachines/jdk-10.0.1.jdk/Contents/Home/lib/src.zip @@ -87,7 +88,7 @@ org.eclipse.jdt.core.compiler.problem.potentiallyUnclosedCloseable=ignore org.eclipse.jdt.core.compiler.problem.rawTypeReference=warning org.eclipse.jdt.core.compiler.problem.redundantNullAnnotation=warning org.eclipse.jdt.core.compiler.problem.redundantNullCheck=warning -org.eclipse.jdt.core.compiler.problem.redundantSpecificationOfTypeArguments=warning +org.eclipse.jdt.core.compiler.problem.redundantSpecificationOfTypeArguments=ignore org.eclipse.jdt.core.compiler.problem.redundantSuperinterface=ignore org.eclipse.jdt.core.compiler.problem.reportMethodCanBePotentiallyStatic=ignore org.eclipse.jdt.core.compiler.problem.reportMethodCanBeStatic=ignore @@ -128,7 +129,7 @@ org.eclipse.jdt.core.compiler.problem.unusedParameterWhenImplementingAbstract=di org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disabled org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning org.eclipse.jdt.core.compiler.problem.unusedTypeParameter=warning -org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning +org.eclipse.jdt.core.compiler.problem.unusedWarningToken=ignore org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning org.eclipse.jdt.core.compiler.release=enabled org.eclipse.jdt.core.compiler.source=1.8 diff --git a/drv/AbstractCollection.drv b/drv/AbstractCollection.drv index 5d28cfff..30eca8f2 100644 --- a/drv/AbstractCollection.drv +++ b/drv/AbstractCollection.drv @@ -109,7 +109,7 @@ public abstract class ABSTRACT_COLLECTION KEY_GENERIC extends AbstractCollection } @Override - public KEY_TYPE[] toArray(KEY_TYPE a[]) { + public KEY_TYPE[] toArray(KEY_TYPE[] a) { final int size = size(); if (a == null) { a = new KEY_TYPE[size]; @@ -134,7 +134,7 @@ public abstract class ABSTRACT_COLLECTION KEY_GENERIC extends AbstractCollection */ @Deprecated @Override - public KEY_TYPE[] TO_KEY_ARRAY(final KEY_TYPE a[]) { + public KEY_TYPE[] TO_KEY_ARRAY(final KEY_TYPE[] a) { return toArray(a); } diff --git a/drv/AbstractList.drv b/drv/AbstractList.drv index af5b2efd..639cd760 100644 --- a/drv/AbstractList.drv +++ b/drv/AbstractList.drv @@ -493,7 +493,7 @@ public abstract class ABSTRACT_LIST KEY_GENERIC extends ABSTRACT_COLLECTION KEY_ } @Override - public KEY_TYPE[] toArray(KEY_TYPE a[]) { + public KEY_TYPE[] toArray(KEY_TYPE[] a) { final int size = size(); if (a.length < size) { a = java.util.Arrays.copyOf(a, size); diff --git a/drv/ArrayList.drv b/drv/ArrayList.drv index 0d885091..4e45383c 100644 --- a/drv/ArrayList.drv +++ b/drv/ArrayList.drv @@ -908,7 +908,7 @@ public class ARRAY_LIST KEY_GENERIC extends ABSTRACT_LIST KEY_GENERIC implements #if KEYS_PRIMITIVE @Override - public KEY_TYPE[] toArray(KEY_TYPE a[]) { + public KEY_TYPE[] toArray(KEY_TYPE[] a) { if (a == null || a.length < size) a = java.util.Arrays.copyOf(a, size); System.arraycopy(this.a, 0, a, 0, size); return a; @@ -926,11 +926,11 @@ public class ARRAY_LIST KEY_GENERIC extends ABSTRACT_LIST KEY_GENERIC implements SUPPRESS_WARNINGS_KEY_UNCHECKED @Override - public KEY_GENERIC KEY_GENERIC_TYPE[] toArray(KEY_GENERIC_TYPE a[]) { + public T[] toArray(T[] a) { if (a == null) { - a = KEY_GENERIC_ARRAY_CAST new Object[size()]; + a = (T[]) new Object[size()]; } else if (a.length < size()) { - a = KEY_GENERIC_ARRAY_CAST Array.newInstance(a.getClass().getComponentType(), size()); + a = (T[]) Array.newInstance(a.getClass().getComponentType(), size()); } System.arraycopy(this.a, 0, a, 0, size()); if (a.length > size()) { diff --git a/drv/ArraySet.drv b/drv/ArraySet.drv index 812bf0b7..27bb2ead 100644 --- a/drv/ArraySet.drv +++ b/drv/ArraySet.drv @@ -378,7 +378,7 @@ public class ARRAY_SET KEY_GENERIC extends ABSTRACT_SET KEY_GENERIC implements j } @Override - public KEY_TYPE[] toArray(KEY_TYPE a[]) { + public KEY_TYPE[] toArray(KEY_TYPE[] a) { if (a == null || a.length < size) a = new KEY_TYPE[size]; System.arraycopy(this.a, 0, a, 0, size); return a; @@ -394,11 +394,11 @@ public class ARRAY_SET KEY_GENERIC extends ABSTRACT_SET KEY_GENERIC implements j SUPPRESS_WARNINGS_KEY_UNCHECKED @Override - public KEY_GENERIC KEY_GENERIC_TYPE[] toArray(KEY_GENERIC_TYPE a[]) { + public T[] toArray(T[] a) { if (a == null) { - a = KEY_GENERIC_ARRAY_CAST new Object[size]; + a = (T[]) new Object[size]; } else if (a.length < size) { - a = KEY_GENERIC_ARRAY_CAST java.lang.reflect.Array.newInstance(a.getClass().getComponentType(), size); + a = (T[]) java.lang.reflect.Array.newInstance(a.getClass().getComponentType(), size); } System.arraycopy(this.a, 0, a, 0, size); if (a.length > size) { diff --git a/drv/ImmutableList.drv b/drv/ImmutableList.drv index 600f9f14..9e1c7cb7 100644 --- a/drv/ImmutableList.drv +++ b/drv/ImmutableList.drv @@ -269,7 +269,7 @@ public class IMMUTABLE_LIST KEY_GENERIC extends LISTS.ImmutableListBase KEY_GENE } @Override - public KEY_TYPE[] toArray(KEY_TYPE a[]) { + public KEY_TYPE[] toArray(KEY_TYPE[] a) { if (a == null || a.length < size()) a = new KEY_TYPE[this.a.length]; System.arraycopy(this.a, 0, a, 0, a.length); return a; @@ -285,11 +285,11 @@ public class IMMUTABLE_LIST KEY_GENERIC extends LISTS.ImmutableListBase KEY_GENE SUPPRESS_WARNINGS_KEY_UNCHECKED @Override - public KEY_GENERIC KEY_GENERIC_TYPE[] toArray(KEY_GENERIC_TYPE a[]) { + public T[] toArray(T[] a) { if (a == null) { - a = KEY_GENERIC_ARRAY_CAST new Object[size()]; + a = (T[]) new Object[size()]; } else if (a.length < size()) { - a = KEY_GENERIC_ARRAY_CAST Array.newInstance(a.getClass().getComponentType(), size()); + a = (T[]) Array.newInstance(a.getClass().getComponentType(), size()); } System.arraycopy(this.a, 0, a, 0, size()); if (a.length > size()) { @@ -504,7 +504,7 @@ public class IMMUTABLE_LIST KEY_GENERIC extends LISTS.ImmutableListBase KEY_GENE } @Override - public KEY_TYPE[] toArray(KEY_TYPE a[]) { + public KEY_TYPE[] toArray(KEY_TYPE[] a) { if (a == null || a.length < size()) a = new KEY_TYPE[size()]; System.arraycopy(this.a, from, a, 0, size()); return a; @@ -518,7 +518,7 @@ public class IMMUTABLE_LIST KEY_GENERIC extends LISTS.ImmutableListBase KEY_GENE SUPPRESS_WARNINGS_KEY_UNCHECKED @Override - public KEY_GENERIC KEY_GENERIC_TYPE[] toArray(KEY_GENERIC_TYPE a[]) { + public KEY_GENERIC KEY_GENERIC_TYPE[] toArray(KEY_GENERIC_TYPE[] a) { final int size = size(); if (a == null) { a = KEY_GENERIC_ARRAY_CAST new Object[size]; diff --git a/drv/Pair.drv b/drv/Pair.drv index c2f80d85..19f1b38d 100644 --- a/drv/Pair.drv +++ b/drv/Pair.drv @@ -32,7 +32,6 @@ public interface PAIR KEY_VALUE_GENERIC extends it.unimi.dsi.fastutil.Pair