Add more stubs

joefarebrother · joefarebrother · commit f1ca29a84642 · 2021-07-29T15:58:42.000+01:00
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/base/Predicate.java b/java/ql/test/stubs/guava-30.0/com/google/common/base/Predicate.java
@@ -1,29 +1,10 @@
-/*
- * Copyright (C) 2007 The Guava Authors
- *
- * Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except
- * in compliance with the License. You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software distributed under the License
- * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
- * or implied. See the License for the specific language governing permissions and limitations under
- * the License.
- */
+// Generated automatically from com.google.common.base.Predicate for testing purposes, and adjusted manually.
 
 package com.google.common.base;
-import org.checkerframework.checker.nullness.qual.Nullable;
-
-public interface Predicate<T> extends java.util.function.Predicate<T> {
-  boolean apply(@Nullable T input);
-
-  @Override
-  boolean equals(@Nullable Object object);
-
-  @Override
-  default boolean test(@Nullable T input) {
-    return false;
-  }
 
+public interface Predicate<T> extends java.util.function.Predicate<T>
+{
+    boolean apply(T p0);
+    boolean equals(Object p0);
+    default boolean test(T p0){ return false; }
 }
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/base/Supplier.java b/java/ql/test/stubs/guava-30.0/com/google/common/base/Supplier.java
@@ -1,21 +1,8 @@
-/*
- * Copyright (C) 2007 The Guava Authors
- *
- * Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except
- * in compliance with the License. You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software distributed under the License
- * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
- * or implied. See the License for the specific language governing permissions and limitations under
- * the License.
- */
+// Generated automatically from com.google.common.base.Supplier for testing purposes, and adjusted manually
 
 package com.google.common.base;
 
-public interface Supplier<T> extends java.util.function.Supplier<T> {
-  @Override
-  T get();
-
+public interface Supplier<T> extends java.util.function.Supplier<T>
+{
+    T get();
 }
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/base/Ticker.java b/java/ql/test/stubs/guava-30.0/com/google/common/base/Ticker.java
@@ -0,0 +1,11 @@
+// Generated automatically from com.google.common.base.Ticker for testing purposes
+
+package com.google.common.base;
+
+
+abstract public class Ticker
+{
+    protected Ticker(){}
+    public abstract long read();
+    public static Ticker systemTicker(){ return null; }
+}
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/cache/AbstractCache.java b/java/ql/test/stubs/guava-30.0/com/google/common/cache/AbstractCache.java
@@ -0,0 +1,35 @@
+// Generated automatically from com.google.common.cache.AbstractCache for testing purposes
+
+package com.google.common.cache;
+
+import com.google.common.cache.Cache;
+import com.google.common.cache.CacheStats;
+import com.google.common.collect.ImmutableMap;
+import java.util.Map;
+import java.util.concurrent.Callable;
+import java.util.concurrent.ConcurrentMap;
+
+abstract public class AbstractCache<K, V> implements Cache<K, V>
+{
+    protected AbstractCache(){}
+    public CacheStats stats(){ return null; }
+    public ConcurrentMap<K, V> asMap(){ return null; }
+    public ImmutableMap<K, V> getAllPresent(Iterable<? extends Object> p0){ return null; }
+    public V get(K p0, Callable<? extends V> p1){ return null; }
+    public long size(){ return 0; }
+    public void cleanUp(){}
+    public void invalidate(Object p0){}
+    public void invalidateAll(){}
+    public void invalidateAll(Iterable<? extends Object> p0){}
+    public void put(K p0, V p1){}
+    public void putAll(Map<? extends K, ? extends V> p0){}
+    static public interface StatsCounter
+    {
+        CacheStats snapshot();
+        void recordEviction();
+        void recordHits(int p0);
+        void recordLoadException(long p0);
+        void recordLoadSuccess(long p0);
+        void recordMisses(int p0);
+    }
+}
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/cache/CacheBuilder.java b/java/ql/test/stubs/guava-30.0/com/google/common/cache/CacheBuilder.java
@@ -0,0 +1,41 @@
+// Generated automatically from com.google.common.cache.CacheBuilder for testing purposes
+
+package com.google.common.cache;
+
+import com.google.common.base.Ticker;
+import com.google.common.cache.Cache;
+import com.google.common.cache.CacheBuilderSpec;
+import com.google.common.cache.CacheLoader;
+import com.google.common.cache.LoadingCache;
+import com.google.common.cache.RemovalListener;
+import com.google.common.cache.Weigher;
+import java.time.Duration;
+import java.util.concurrent.TimeUnit;
+
+public class CacheBuilder<K, V>
+{
+    protected CacheBuilder() {}
+    public <K1 extends K, V1 extends V> Cache<K1, V1> build(){ return null; }
+    public <K1 extends K, V1 extends V> CacheBuilder<K1, V1> removalListener(RemovalListener<? super K1, ? super V1> p0){ return null; }
+    public <K1 extends K, V1 extends V> CacheBuilder<K1, V1> weigher(Weigher<? super K1, ? super V1> p0){ return null; }
+    public <K1 extends K, V1 extends V> LoadingCache<K1, V1> build(CacheLoader<? super K1, V1> p0){ return null; }
+    public CacheBuilder<K, V> concurrencyLevel(int p0){ return null; }
+    public CacheBuilder<K, V> expireAfterAccess(Duration p0){ return null; }
+    public CacheBuilder<K, V> expireAfterAccess(long p0, TimeUnit p1){ return null; }
+    public CacheBuilder<K, V> expireAfterWrite(Duration p0){ return null; }
+    public CacheBuilder<K, V> expireAfterWrite(long p0, TimeUnit p1){ return null; }
+    public CacheBuilder<K, V> initialCapacity(int p0){ return null; }
+    public CacheBuilder<K, V> maximumSize(long p0){ return null; }
+    public CacheBuilder<K, V> maximumWeight(long p0){ return null; }
+    public CacheBuilder<K, V> recordStats(){ return null; }
+    public CacheBuilder<K, V> refreshAfterWrite(Duration p0){ return null; }
+    public CacheBuilder<K, V> refreshAfterWrite(long p0, TimeUnit p1){ return null; }
+    public CacheBuilder<K, V> softValues(){ return null; }
+    public CacheBuilder<K, V> ticker(Ticker p0){ return null; }
+    public CacheBuilder<K, V> weakKeys(){ return null; }
+    public CacheBuilder<K, V> weakValues(){ return null; }
+    public String toString(){ return null; }
+    public static CacheBuilder<Object, Object> from(CacheBuilderSpec p0){ return null; }
+    public static CacheBuilder<Object, Object> from(String p0){ return null; }
+    public static CacheBuilder<Object, Object> newBuilder(){ return null; }
+}
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/cache/CacheBuilderSpec.java b/java/ql/test/stubs/guava-30.0/com/google/common/cache/CacheBuilderSpec.java
@@ -0,0 +1,15 @@
+// Generated automatically from com.google.common.cache.CacheBuilderSpec for testing purposes
+
+package com.google.common.cache;
+
+
+public class CacheBuilderSpec
+{
+    protected CacheBuilderSpec() {}
+    public String toParsableString(){ return null; }
+    public String toString(){ return null; }
+    public boolean equals(Object p0){ return false; }
+    public int hashCode(){ return 0; }
+    public static CacheBuilderSpec disableCaching(){ return null; }
+    public static CacheBuilderSpec parse(String p0){ return null; }
+}
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/cache/CacheLoader.java b/java/ql/test/stubs/guava-30.0/com/google/common/cache/CacheLoader.java
@@ -0,0 +1,20 @@
+// Generated automatically from com.google.common.cache.CacheLoader for testing purposes
+
+package com.google.common.cache;
+
+import com.google.common.base.Function;
+import com.google.common.base.Supplier;
+import com.google.common.util.concurrent.ListenableFuture;
+import java.util.Map;
+import java.util.concurrent.Executor;
+
+abstract public class CacheLoader<K, V>
+{
+    protected CacheLoader(){}
+    public ListenableFuture<V> reload(K p0, V p1){ return null; }
+    public Map<K, V> loadAll(Iterable<? extends K> p0){ return null; }
+    public abstract V load(K p0);
+    public static <K, V> CacheLoader<K, V> asyncReloading(CacheLoader<K, V> p0, Executor p1){ return null; }
+    public static <K, V> CacheLoader<K, V> from(Function<K, V> p0){ return null; }
+    public static <V> CacheLoader<Object, V> from(Supplier<V> p0){ return null; }
+}
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/cache/RemovalCause.java b/java/ql/test/stubs/guava-30.0/com/google/common/cache/RemovalCause.java
@@ -0,0 +1,10 @@
+// Generated automatically from com.google.common.cache.RemovalCause for testing purposes, and adjusted manually
+
+package com.google.common.cache;
+
+
+public enum RemovalCause
+{
+    COLLECTED, EXPIRED, EXPLICIT, REPLACED, SIZE;
+    private RemovalCause() {}
+}
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/cache/RemovalListener.java b/java/ql/test/stubs/guava-30.0/com/google/common/cache/RemovalListener.java
@@ -0,0 +1,10 @@
+// Generated automatically from com.google.common.cache.RemovalListener for testing purposes
+
+package com.google.common.cache;
+
+import com.google.common.cache.RemovalNotification;
+
+public interface RemovalListener<K, V>
+{
+    void onRemoval(RemovalNotification<K, V> p0);
+}
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/cache/RemovalNotification.java b/java/ql/test/stubs/guava-30.0/com/google/common/cache/RemovalNotification.java
@@ -0,0 +1,14 @@
+// Generated automatically from com.google.common.cache.RemovalNotification for testing purposes, and adjusted manually
+
+package com.google.common.cache;
+
+import com.google.common.cache.RemovalCause;
+import java.util.AbstractMap;
+
+public class RemovalNotification<K, V> extends AbstractMap.SimpleImmutableEntry<K, V>
+{
+    protected RemovalNotification(K k, V v) { super(k,v); }
+    public RemovalCause getCause(){ return null; }
+    public boolean wasEvicted(){ return false; }
+    public static <K, V> RemovalNotification<K, V> create(K p0, V p1, RemovalCause p2){ return null; }
+}
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/cache/Weigher.java b/java/ql/test/stubs/guava-30.0/com/google/common/cache/Weigher.java
@@ -0,0 +1,9 @@
+// Generated automatically from com.google.common.cache.Weigher for testing purposes
+
+package com.google.common.cache;
+
+
+public interface Weigher<K, V>
+{
+    int weigh(K p0, V p1);
+}
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/collect/AbstractMultimap.java b/java/ql/test/stubs/guava-30.0/com/google/common/collect/AbstractMultimap.java
@@ -5,23 +5,11 @@
 import com.google.common.collect.Multimap;
 import com.google.common.collect.Multiset;
 import java.util.Collection;
-import java.util.Iterator;
 import java.util.Map;
 import java.util.Set;
-import java.util.Spliterator;
 
 abstract class AbstractMultimap<K, V> implements Multimap<K, V>
 {
-    AbstractMultimap(){}
-    Iterator<V> valueIterator(){ return null; }
-    Spliterator<Map.Entry<K, V>> entrySpliterator(){ return null; }
-    Spliterator<V> valueSpliterator(){ return null; }
-    abstract Collection<Map.Entry<K, V>> createEntries();
-    abstract Collection<V> createValues();
-    abstract Iterator<Map.Entry<K, V>> entryIterator();
-    abstract Map<K, Collection<V>> createAsMap();
-    abstract Multiset<K> createKeys();
-    abstract Set<K> createKeySet();
     public Collection<Map.Entry<K, V>> entries(){ return null; }
     public Collection<V> replaceValues(K p0, Iterable<? extends V> p1){ return null; }
     public Collection<V> values(){ return null; }
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/collect/BaseImmutableMultimap.java b/java/ql/test/stubs/guava-30.0/com/google/common/collect/BaseImmutableMultimap.java
@@ -6,5 +6,4 @@
 
 abstract class BaseImmutableMultimap<K, V> extends AbstractMultimap<K, V>
 {
-    BaseImmutableMultimap(){}
 }
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableCollection.java b/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableCollection.java
@@ -13,24 +13,14 @@
 
 abstract public class ImmutableCollection<E> extends AbstractCollection<E> implements Serializable
 {
-    ImmutableCollection(){}
-    Object writeReplace(){ return null; }
-    Object[] internalArray(){ return null; }
-    abstract boolean isPartialView();
     abstract static public class Builder<E>
     {
-        Builder(){}
         public ImmutableCollection.Builder<E> add(E... p0){ return null; }
         public ImmutableCollection.Builder<E> addAll(Iterable<? extends E> p0){ return null; }
         public ImmutableCollection.Builder<E> addAll(Iterator<? extends E> p0){ return null; }
         public abstract ImmutableCollection.Builder<E> add(E p0);
         public abstract ImmutableCollection<E> build();
-        static int DEFAULT_INITIAL_CAPACITY = 0;
-        static int expandedCapacity(int p0, int p1){ return 0; }
     }
-    int copyIntoArray(Object[] p0, int p1){ return 0; }
-    int internalArrayEnd(){ return 0; }
-    int internalArrayStart(){ return 0; }
     public ImmutableList<E> asList(){ return null; }
     public Spliterator<E> spliterator(){ return null; }
     public abstract UnmodifiableIterator<E> iterator();
@@ -44,5 +34,4 @@ abstract static public class Builder<E>
     public final boolean removeIf(Predicate<? super E> p0){ return false; }
     public final boolean retainAll(Collection<? extends Object> p0){ return false; }
     public final void clear(){}
-    static int SPLITERATOR_CHARACTERISTICS = 0;
 }
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableList.java b/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableList.java
@@ -17,10 +17,6 @@
 
 abstract public class ImmutableList<E> extends ImmutableCollection<E> implements List<E>, RandomAccess
 {
-    ImmutableList(){}
-    ImmutableList<E> subListUnchecked(int p0, int p1){ return null; }
-    Object writeReplace(){ return null; }
-    int copyIntoArray(Object[] p0, int p1){ return 0; }
     public ImmutableList<E> reverse(){ return null; }
     public ImmutableList<E> subList(int p0, int p1){ return null; }
     public Spliterator<E> spliterator(){ return null; }
@@ -62,13 +58,8 @@ public final void sort(Comparator<? super E> p0){}
     public static <E> ImmutableList<E> of(E p0, E p1, E p2, E p3, E p4, E p5, E p6, E p7, E p8, E p9, E p10, E p11, E... p12){ return null; }
     public static <E> ImmutableList<E> sortedCopyOf(Comparator<? super E> p0, Iterable<? extends E> p1){ return null; }
     public void forEach(Consumer<? super E> p0){}
-    static <E> ImmutableList<E> asImmutableList(Object[] p0){ return null; }
-    static <E> ImmutableList<E> asImmutableList(Object[] p0, int p1){ return null; }
     static public class Builder<E> extends ImmutableCollection.Builder<E>
     {
-        Builder(int p0){}
-        ImmutableList.Builder<E> combine(ImmutableList.Builder<E> p0){ return null; }
-        Object[] contents = null;
         public Builder(){}
         public ImmutableList.Builder<E> add(E p0){ return null; }
         public ImmutableList.Builder<E> add(E... p0){ return null; }
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableMap.java b/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableMap.java
@@ -5,27 +5,16 @@
 import com.google.common.collect.ImmutableCollection;
 import com.google.common.collect.ImmutableSet;
 import com.google.common.collect.ImmutableSetMultimap;
-import com.google.common.collect.UnmodifiableIterator;
 import java.io.Serializable;
 import java.util.Comparator;
 import java.util.Map;
-import java.util.Spliterator;
 import java.util.function.BiFunction;
 import java.util.function.BinaryOperator;
 import java.util.function.Function;
 import java.util.stream.Collector;
 
 abstract public class ImmutableMap<K, V> implements Map<K, V>, Serializable
 {
-    ImmutableMap(){}
-    Object writeReplace(){ return null; }
-    Spliterator<K> keySpliterator(){ return null; }
-    UnmodifiableIterator<K> keyIterator(){ return null; }
-    abstract ImmutableCollection<V> createValues();
-    abstract ImmutableSet<K> createKeySet();
-    abstract ImmutableSet<Map.Entry<K, V>> createEntrySet();
-    abstract boolean isPartialView();
-    boolean isHashCodeFast(){ return false; }
     public ImmutableCollection<V> values(){ return null; }
     public ImmutableSet<K> keySet(){ return null; }
     public ImmutableSet<Map.Entry<K, V>> entrySet(){ return null; }
@@ -63,18 +52,8 @@ public final void replaceAll(BiFunction<? super K, ? super V, ? extends V> p0){}
     public static <K, V> ImmutableMap<K, V> of(K p0, V p1, K p2, V p3, K p4, V p5, K p6, V p7, K p8, V p9){ return null; }
     public static <T, K, V> Collector<T, ? extends Object, ImmutableMap<K, V>> toImmutableMap(Function<? super T, ? extends K> p0, Function<? super T, ? extends V> p1){ return null; }
     public static <T, K, V> Collector<T, ? extends Object, ImmutableMap<K, V>> toImmutableMap(Function<? super T, ? extends K> p0, Function<? super T, ? extends V> p1, BinaryOperator<V> p2){ return null; }
-    static <K, V> Map.Entry<K, V> entryOf(K p0, V p1){ return null; }
-    static IllegalArgumentException conflictException(String p0, Object p1, Object p2){ return null; }
-    static Map.Entry<? extends Object, ? extends Object>[] EMPTY_ENTRY_ARRAY = null;
     static public class Builder<K, V>
     {
-        Builder(int p0){}
-        Comparator<? super V> valueComparator = null;
-        ImmutableMap.Builder<K, V> combine(ImmutableMap.Builder<K, V> p0){ return null; }
-        ImmutableMap<K, V> buildJdkBacked(){ return null; }
-        Map.Entry<K, V>[] entries = null;
-        boolean entriesUsed = false;
-        int size = 0;
         public Builder(){}
         public ImmutableMap.Builder<K, V> orderEntriesByValue(Comparator<? super V> p0){ return null; }
         public ImmutableMap.Builder<K, V> put(K p0, V p1){ return null; }
@@ -83,5 +62,4 @@ public Builder(){}
         public ImmutableMap.Builder<K, V> putAll(Map<? extends K, ? extends V> p0){ return null; }
         public ImmutableMap<K, V> build(){ return null; }
     }
-    static void checkNoConflict(boolean p0, String p1, Map.Entry<? extends Object, ? extends Object> p2, Map.Entry<? extends Object, ? extends Object> p3){}
 }
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableMultimap.java b/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableMultimap.java
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableMultiset.java b/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableMultiset.java
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableMultisetGwtSerializationDependencies.java b/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableMultisetGwtSerializationDependencies.java
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableSet.java b/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableSet.java
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableSetMultimap.java b/java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableSetMultimap.java
diff --git a/java/ql/test/stubs/guava-30.0/com/google/common/util/concurrent/ListenableFuture.java b/java/ql/test/stubs/guava-30.0/com/google/common/util/concurrent/ListenableFuture.java
