hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 10:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add models for more of methods; update stubs

Browse Source
This commit is contained in:
Joe Farebrother
2021-09-17 16:57:49 +01:00
parent e946f49b64
commit 3ef09da1df
4 changed files with 85 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
java/ql/lib/semmle/code/java/frameworks/guava/Collections.qll
View File

@@ -169,6 +169,16 @@ private class GuavaCollectCsv extends SummaryModelCsv {
"com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[7];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[8];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableSortedMap;true;of;;;Argument[9];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableBiMap;true;of;;;Argument[0];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableBiMap;true;of;;;Argument[1];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableBiMap;true;of;;;Argument[2];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableBiMap;true;of;;;Argument[3];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableBiMap;true;of;;;Argument[4];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableBiMap;true;of;;;Argument[5];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableBiMap;true;of;;;Argument[6];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableBiMap;true;of;;;Argument[7];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableBiMap;true;of;;;Argument[8];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableBiMap;true;of;;;Argument[9];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableMultimap;true;of;;;Argument[0];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableMultimap;true;of;;;Argument[1];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableMultimap;true;of;;;Argument[2];MapKey of ReturnValue;value",
@@ -179,6 +189,26 @@ private class GuavaCollectCsv extends SummaryModelCsv {
"com.google.common.collect;ImmutableMultimap;true;of;;;Argument[7];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableMultimap;true;of;;;Argument[8];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableMultimap;true;of;;;Argument[9];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableListMultimap;true;of;;;Argument[0];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableListMultimap;true;of;;;Argument[1];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableListMultimap;true;of;;;Argument[2];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableListMultimap;true;of;;;Argument[3];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableListMultimap;true;of;;;Argument[4];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableListMultimap;true;of;;;Argument[5];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableListMultimap;true;of;;;Argument[6];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableListMultimap;true;of;;;Argument[7];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableListMultimap;true;of;;;Argument[8];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableListMultimap;true;of;;;Argument[9];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableSetMultimap;true;of;;;Argument[0];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableSetMultimap;true;of;;;Argument[1];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableSetMultimap;true;of;;;Argument[2];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableSetMultimap;true;of;;;Argument[3];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableSetMultimap;true;of;;;Argument[4];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableSetMultimap;true;of;;;Argument[5];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableSetMultimap;true;of;;;Argument[6];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableSetMultimap;true;of;;;Argument[7];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableSetMultimap;true;of;;;Argument[8];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableSetMultimap;true;of;;;Argument[9];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableClassToInstanceMap;true;of;(Class,Object);;Argument[0];MapKey of ReturnValue;value",
"com.google.common.collect;ImmutableClassToInstanceMap;true;of;(Class,Object);;Argument[1];MapValue of ReturnValue;value",
"com.google.common.collect;ImmutableTable;true;of;(Object,Object,Object);;Argument[0];SyntheticField[com.google.common.collect.Table.rowKey] of ReturnValue;value",

2
java/ql/test/stubs/guava-30.0/com/google/common/collect/ArrayTable.java generated
View File

@@ -30,7 +30,7 @@ public class ArrayTable<R, C, V> extends AbstractTable<R, C, V> implements Seria
public V put(R p0, C p1, V p2){ return null; }
public V remove(Object p0, Object p1){ return null; }
public V set(int p0, int p1, V p2){ return null; }
public V[] toArray(Class<V> p0){ return null; }
public V[][] toArray(Class<V> p0){ return null; }
public boolean contains(Object p0, Object p1){ return false; }
public boolean containsColumn(Object p0){ return false; }
public boolean containsRow(Object p0){ return false; }

40
java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableBiMap.java generated Normal file
View File

@@ -0,0 +1,40 @@
// Generated automatically from com.google.common.collect.ImmutableBiMap for testing purposes
package com.google.common.collect;
import com.google.common.collect.BiMap;
import com.google.common.collect.ImmutableBiMapFauxverideShim;
import com.google.common.collect.ImmutableMap;
import com.google.common.collect.ImmutableSet;
import java.util.Comparator;
import java.util.Map;
import java.util.function.Function;
import java.util.stream.Collector;
abstract public class ImmutableBiMap<K, V> extends ImmutableBiMapFauxverideShim<K, V> implements BiMap<K, V>
{
public ImmutableSet<V> values(){ return null; }
public abstract ImmutableBiMap<V, K> inverse();
public final V forcePut(K p0, V p1){ return null; }
public static <K, V> ImmutableBiMap.Builder<K, V> builder(){ return null; }
public static <K, V> ImmutableBiMap.Builder<K, V> builderWithExpectedSize(int p0){ return null; }
public static <K, V> ImmutableBiMap<K, V> copyOf(Iterable<? extends Map.Entry<? extends K, ? extends V>> p0){ return null; }
public static <K, V> ImmutableBiMap<K, V> copyOf(Map<? extends K, ? extends V> p0){ return null; }
public static <K, V> ImmutableBiMap<K, V> of(){ return null; }
public static <K, V> ImmutableBiMap<K, V> of(K p0, V p1){ return null; }
public static <K, V> ImmutableBiMap<K, V> of(K p0, V p1, K p2, V p3){ return null; }
public static <K, V> ImmutableBiMap<K, V> of(K p0, V p1, K p2, V p3, K p4, V p5){ return null; }
public static <K, V> ImmutableBiMap<K, V> of(K p0, V p1, K p2, V p3, K p4, V p5, K p6, V p7){ return null; }
public static <K, V> ImmutableBiMap<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, ImmutableBiMap<K, V>> toImmutableBiMap(Function<? super T, ? extends K> p0, Function<? super T, ? extends V> p1){ return null; }
static public class Builder<K, V> extends ImmutableMap.Builder<K, V>
{
public Builder(){}
public ImmutableBiMap.Builder<K, V> orderEntriesByValue(Comparator<? super V> p0){ return null; }
public ImmutableBiMap.Builder<K, V> put(K p0, V p1){ return null; }
public ImmutableBiMap.Builder<K, V> put(Map.Entry<? extends K, ? extends V> p0){ return null; }
public ImmutableBiMap.Builder<K, V> putAll(Iterable<? extends Map.Entry<? extends K, ? extends V>> p0){ return null; }
public ImmutableBiMap.Builder<K, V> putAll(Map<? extends K, ? extends V> p0){ return null; }
public ImmutableBiMap<K, V> build(){ return null; }
}
}

14
java/ql/test/stubs/guava-30.0/com/google/common/collect/ImmutableBiMapFauxverideShim.java generated Normal file
View File

@@ -0,0 +1,14 @@
// Generated automatically from com.google.common.collect.ImmutableBiMapFauxverideShim for testing purposes
package com.google.common.collect;
import com.google.common.collect.ImmutableMap;
import java.util.function.BinaryOperator;
import java.util.function.Function;
import java.util.stream.Collector;
abstract class ImmutableBiMapFauxverideShim<K, V> extends ImmutableMap<K, V>
{
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; }
}