Add stubs for unit tests

java/ql/test/stubs/guava-30.0/com/google/common/base/Function.java

@@ -0,0 +1,25 @@
+/*
+ * 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.
+ */
+
+package com.google.common.base;
+import org.checkerframework.checker.nullness.qual.Nullable;
+
+public interface Function<F, T> extends java.util.function.Function<F, T> {
+  @Override
+  T apply(@Nullable F input);
+
+  @Override
+  boolean equals(@Nullable Object object);
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/base/Optional.java

@@ -0,0 +1,77 @@
+/*
+ * Copyright (C) 2011 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.
+ */
+
+package com.google.common.base;
+import java.io.Serializable;
+import java.util.Set;
+import org.checkerframework.checker.nullness.qual.Nullable;
+
+public abstract class Optional<T> implements Serializable {
+  public static <T> Optional<T> absent() {
+    return null;
+  }
+
+  public static <T> Optional<T> of(T reference) {
+    return null;
+  }
+
+  public static <T> Optional<T> fromNullable(@Nullable T nullableReference) {
+    return null;
+  }
+
+  public static <T> @Nullable Optional<T> fromJavaUtil(
+      java.util.Optional<T> javaUtilOptional) {
+    return null;
+  }
+
+  public static <T> java.util.Optional<T> toJavaUtil(
+      @Nullable Optional<T> googleOptional) {
+    return null;
+  }
+
+  public java.util.Optional<T> toJavaUtil() {
+    return null;
+  }
+
+  public abstract boolean isPresent();
+
+  public abstract T get();
+
+  public abstract T or(T defaultValue);
+
+  public abstract Optional<T> or(Optional<? extends T> secondChoice);
+
+  public abstract T or(Supplier<? extends T> supplier);
+
+  public abstract @Nullable T orNull();
+
+  public abstract Set<T> asSet();
+
+  public abstract <V> Optional<V> transform(Function<? super T, V> function);
+
+  @Override
+  public abstract boolean equals(@Nullable Object object);
+
+  @Override
+  public abstract int hashCode();
+
+  @Override
+  public abstract String toString();
+
+  public static <T> Iterable<T> presentInstances(
+      final Iterable<? extends Optional<? extends T>> optionals) {
+    return null;
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/base/Predicate.java

@@ -0,0 +1,29 @@
+/*
+ * 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.
+ */
+
+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;
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/base/Supplier.java

@@ -0,0 +1,21 @@
+/*
+ * 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.
+ */
+
+package com.google.common.base;
+
+public interface Supplier<T> extends java.util.function.Supplier<T> {
+  @Override
+  T get();
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/graph/SuccessorsFunction.java

@@ -0,0 +1,22 @@
+/*
+ * Copyright (C) 2014 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.
+ */
+
+package com.google.common.graph;
+
+public interface SuccessorsFunction<N> {
+  Iterable<? extends N> successors(N node);
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/graph/Traverser.java

@@ -0,0 +1,52 @@
+/*
+ * Copyright (C) 2017 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.
+ */
+
+package com.google.common.graph;
+
+public abstract class Traverser<N> {
+  public static <N> Traverser<N> forGraph(final SuccessorsFunction<N> graph) {
+    return null;
+  }
+
+  public static <N> Traverser<N> forTree(final SuccessorsFunction<N> tree) {
+    return null;
+  }
+
+  public final Iterable<N> breadthFirst(N startNode) {
+    return null;
+  }
+
+  public final Iterable<N> breadthFirst(Iterable<? extends N> startNodes) {
+    return null;
+  }
+
+  public final Iterable<N> depthFirstPreOrder(N startNode) {
+    return null;
+  }
+
+  public final Iterable<N> depthFirstPreOrder(Iterable<? extends N> startNodes) {
+    return null;
+  }
+
+  public final Iterable<N> depthFirstPostOrder(N startNode) {
+    return null;
+  }
+
+  public final Iterable<N> depthFirstPostOrder(Iterable<? extends N> startNodes) {
+    return null;
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/hash/Funnel.java

@@ -0,0 +1,21 @@
+/*
+ * Copyright (C) 2011 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.
+ */
+
+package com.google.common.hash;
+import java.io.Serializable;
+
+public interface Funnel<T> extends Serializable {
+  void funnel(T from, PrimitiveSink into);
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/hash/HashCode.java

@@ -0,0 +1,64 @@
+/*
+ * Copyright (C) 2011 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.
+ */
+
+package com.google.common.hash;
+import org.checkerframework.checker.nullness.qual.Nullable;
+
+public abstract class HashCode {
+  public abstract int bits();
+
+  public abstract int asInt();
+
+  public abstract long asLong();
+
+  public abstract long padToLong();
+
+  public abstract byte[] asBytes();
+
+  public int writeBytesTo(byte[] dest, int offset, int maxLength) {
+    return 0;
+  }
+
+  public static HashCode fromInt(int hash) {
+    return null;
+  }
+
+  public static HashCode fromLong(long hash) {
+    return null;
+  }
+
+  public static HashCode fromBytes(byte[] bytes) {
+    return null;
+  }
+
+  public static HashCode fromString(String string) {
+    return null;
+  }
+
+  @Override
+  public final boolean equals(@Nullable Object object) {
+    return false;
+  }
+
+  @Override
+  public final int hashCode() {
+    return 0;
+  }
+
+  @Override
+  public final String toString() {
+    return null;
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/hash/HashFunction.java

@@ -0,0 +1,42 @@
+/*
+ * Copyright (C) 2011 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.
+ */
+
+package com.google.common.hash;
+import java.nio.ByteBuffer;
+import java.nio.charset.Charset;
+
+public interface HashFunction {
+  Hasher newHasher();
+
+  Hasher newHasher(int expectedInputSize);
+
+  HashCode hashInt(int input);
+
+  HashCode hashLong(long input);
+
+  HashCode hashBytes(byte[] input);
+
+  HashCode hashBytes(byte[] input, int off, int len);
+
+  HashCode hashBytes(ByteBuffer input);
+
+  HashCode hashUnencodedChars(CharSequence input);
+
+  HashCode hashString(CharSequence input, Charset charset);
+
+  <T> HashCode hashObject(T instance, Funnel<? super T> funnel);
+
+  int bits();
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/hash/Hasher.java

@@ -0,0 +1,66 @@
+/*
+ * Copyright (C) 2011 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.
+ */
+
+package com.google.common.hash;
+import java.nio.ByteBuffer;
+import java.nio.charset.Charset;
+
+public interface Hasher extends PrimitiveSink {
+  @Override
+  Hasher putByte(byte b);
+
+  @Override
+  Hasher putBytes(byte[] bytes);
+
+  @Override
+  Hasher putBytes(byte[] bytes, int off, int len);
+
+  @Override
+  Hasher putBytes(ByteBuffer bytes);
+
+  @Override
+  Hasher putShort(short s);
+
+  @Override
+  Hasher putInt(int i);
+
+  @Override
+  Hasher putLong(long l);
+
+  @Override
+  Hasher putFloat(float f);
+
+  @Override
+  Hasher putDouble(double d);
+
+  @Override
+  Hasher putBoolean(boolean b);
+
+  @Override
+  Hasher putChar(char c);
+
+  @Override
+  Hasher putUnencodedChars(CharSequence charSequence);
+
+  @Override
+  Hasher putString(CharSequence charSequence, Charset charset);
+
+  <T> Hasher putObject(T instance, Funnel<? super T> funnel);
+
+  HashCode hash();
+
+  @Override
+  int hashCode();
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/hash/PrimitiveSink.java

@@ -0,0 +1,46 @@
+/*
+ * Copyright (C) 2011 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.
+ */
+
+package com.google.common.hash;
+import java.nio.ByteBuffer;
+import java.nio.charset.Charset;
+
+public interface PrimitiveSink {
+  PrimitiveSink putByte(byte b);
+
+  PrimitiveSink putBytes(byte[] bytes);
+
+  PrimitiveSink putBytes(byte[] bytes, int off, int len);
+
+  PrimitiveSink putBytes(ByteBuffer bytes);
+
+  PrimitiveSink putShort(short s);
+
+  PrimitiveSink putInt(int i);
+
+  PrimitiveSink putLong(long l);
+
+  PrimitiveSink putFloat(float f);
+
+  PrimitiveSink putDouble(double d);
+
+  PrimitiveSink putBoolean(boolean b);
+
+  PrimitiveSink putChar(char c);
+
+  PrimitiveSink putUnencodedChars(CharSequence charSequence);
+
+  PrimitiveSink putString(CharSequence charSequence, Charset charset);
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/BaseEncoding.java

@@ -0,0 +1,81 @@
+/*
+ * Copyright (C) 2012 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.
+ */
+
+package com.google.common.io;
+import java.io.IOException;
+import java.io.InputStream;
+import java.io.OutputStream;
+import java.io.Reader;
+import java.io.Writer;
+
+public abstract class BaseEncoding {
+  public static final class DecodingException extends IOException {
+  }
+  public String encode(byte[] bytes) {
+    return null;
+  }
+
+  public final String encode(byte[] bytes, int off, int len) {
+    return null;
+  }
+
+  public abstract OutputStream encodingStream(Writer writer);
+
+  public final ByteSink encodingSink(final CharSink encodedSink) {
+    return null;
+  }
+
+  public abstract boolean canDecode(CharSequence chars);
+
+  public final byte[] decode(CharSequence chars) {
+    return null;
+  }
+
+  public abstract InputStream decodingStream(Reader reader);
+
+  public final ByteSource decodingSource(final CharSource encodedSource) {
+    return null;
+  }
+
+  public abstract BaseEncoding omitPadding();
+
+  public abstract BaseEncoding withPadChar(char padChar);
+
+  public abstract BaseEncoding withSeparator(String separator, int n);
+
+  public abstract BaseEncoding upperCase();
+
+  public abstract BaseEncoding lowerCase();
+
+  public static BaseEncoding base64() {
+    return null;
+  }
+
+  public static BaseEncoding base64Url() {
+    return null;
+  }
+
+  public static BaseEncoding base32() {
+    return null;
+  }
+
+  public static BaseEncoding base32Hex() {
+    return null;
+  }
+
+  public static BaseEncoding base16() {
+    return null;
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/ByteArrayDataInput.java

@@ -0,0 +1,64 @@
+/*
+ * Copyright (C) 2009 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.
+ */
+
+package com.google.common.io;
+import java.io.DataInput;
+
+public interface ByteArrayDataInput extends DataInput {
+  @Override
+  void readFully(byte b[]);
+
+  @Override
+  void readFully(byte b[], int off, int len);
+
+  @Override
+  int skipBytes(int n);
+
+  @Override
+  boolean readBoolean();
+
+  @Override
+  byte readByte();
+
+  @Override
+  int readUnsignedByte();
+
+  @Override
+  short readShort();
+
+  @Override
+  int readUnsignedShort();
+
+  @Override
+  char readChar();
+
+  @Override
+  int readInt();
+
+  @Override
+  long readLong();
+
+  @Override
+  float readFloat();
+
+  @Override
+  double readDouble();
+
+  @Override
+  String readLine();
+
+  @Override
+  String readUTF();
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/ByteArrayDataOutput.java

@@ -0,0 +1,63 @@
+/*
+ * Copyright (C) 2009 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.
+ */
+
+package com.google.common.io;
+import java.io.DataOutput;
+
+public interface ByteArrayDataOutput extends DataOutput {
+  @Override
+  void write(int b);
+
+  @Override
+  void write(byte b[]);
+
+  @Override
+  void write(byte b[], int off, int len);
+
+  @Override
+  void writeBoolean(boolean v);
+
+  @Override
+  void writeByte(int v);
+
+  @Override
+  void writeShort(int v);
+
+  @Override
+  void writeChar(int v);
+
+  @Override
+  void writeInt(int v);
+
+  @Override
+  void writeLong(long v);
+
+  @Override
+  void writeFloat(float v);
+
+  @Override
+  void writeDouble(double v);
+
+  @Override
+  void writeChars(String s);
+
+  @Override
+  void writeUTF(String s);
+
+  @Override
+  void writeBytes(String s);
+
+  byte[] toByteArray();
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/ByteProcessor.java

@@ -0,0 +1,23 @@
+/*
+ * Copyright (C) 2009 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.
+ */
+
+package com.google.common.io;
+import java.io.IOException;
+
+public interface ByteProcessor<T> {
+  boolean processBytes(byte[] buf, int off, int len) throws IOException;
+
+  T getResult();
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/ByteSink.java

@@ -0,0 +1,39 @@
+/*
+ * Copyright (C) 2012 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.
+ */
+
+package com.google.common.io;
+import java.io.IOException;
+import java.io.InputStream;
+import java.io.OutputStream;
+import java.nio.charset.Charset;
+
+public abstract class ByteSink {
+  public CharSink asCharSink(Charset charset) {
+    return null;
+  }
+
+  public abstract OutputStream openStream() throws IOException;
+
+  public OutputStream openBufferedStream() throws IOException {
+    return null;
+  }
+
+  public void write(byte[] bytes) throws IOException {
+  }
+
+  public long writeFrom(InputStream input) throws IOException {
+    return 0;
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/ByteSource.java

@@ -0,0 +1,96 @@
+/*
+ * Copyright (C) 2012 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.
+ */
+
+package com.google.common.io;
+import com.google.common.base.Optional;
+import com.google.common.hash.HashCode;
+import com.google.common.hash.HashFunction;
+import java.io.IOException;
+import java.io.InputStream;
+import java.io.OutputStream;
+import java.nio.charset.Charset;
+import java.util.Iterator;
+
+public abstract class ByteSource {
+  public CharSource asCharSource(Charset charset) {
+    return null;
+  }
+
+  public abstract InputStream openStream() throws IOException;
+
+  public InputStream openBufferedStream() throws IOException {
+    return null;
+  }
+
+  public ByteSource slice(long offset, long length) {
+    return null;
+  }
+
+  public boolean isEmpty() throws IOException {
+    return false;
+  }
+
+  public Optional<Long> sizeIfKnown() {
+    return null;
+  }
+
+  public long size() throws IOException {
+    return 0;
+  }
+
+  public long copyTo(OutputStream output) throws IOException {
+    return 0;
+  }
+
+  public long copyTo(ByteSink sink) throws IOException {
+    return 0;
+  }
+
+  public byte[] read() throws IOException {
+    return null;
+  }
+
+  public <T> T read(ByteProcessor<T> processor) throws IOException {
+    return null;
+  }
+
+  public HashCode hash(HashFunction hashFunction) throws IOException {
+    return null;
+  }
+
+  public boolean contentEquals(ByteSource other) throws IOException {
+    return false;
+  }
+
+  public static ByteSource concat(Iterable<? extends ByteSource> sources) {
+    return null;
+  }
+
+  public static ByteSource concat(Iterator<? extends ByteSource> sources) {
+    return null;
+  }
+
+  public static ByteSource concat(ByteSource... sources) {
+    return null;
+  }
+
+  public static ByteSource wrap(byte[] b) {
+    return null;
+  }
+
+  public static ByteSource empty() {
+    return null;
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/ByteStreams.java

@@ -0,0 +1,90 @@
+/*
+ * 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.
+ */
+
+package com.google.common.io;
+import java.io.ByteArrayInputStream;
+import java.io.ByteArrayOutputStream;
+import java.io.IOException;
+import java.io.InputStream;
+import java.io.OutputStream;
+import java.nio.channels.ReadableByteChannel;
+import java.nio.channels.WritableByteChannel;
+
+public final class ByteStreams {
+  public static long copy(InputStream from, OutputStream to) throws IOException {
+    return 0;
+  }
+
+  public static long copy(ReadableByteChannel from, WritableByteChannel to) throws IOException {
+    return 0;
+  }
+
+  public static byte[] toByteArray(InputStream in) throws IOException {
+    return null;
+  }
+
+  public static long exhaust(InputStream in) throws IOException {
+    return 0;
+  }
+
+  public static ByteArrayDataInput newDataInput(byte[] bytes) {
+    return null;
+  }
+
+  public static ByteArrayDataInput newDataInput(byte[] bytes, int start) {
+    return null;
+  }
+
+  public static ByteArrayDataInput newDataInput(ByteArrayInputStream byteArrayInputStream) {
+    return null;
+  }
+
+  public static ByteArrayDataOutput newDataOutput() {
+    return null;
+  }
+
+  public static ByteArrayDataOutput newDataOutput(int size) {
+    return null;
+  }
+
+  public static ByteArrayDataOutput newDataOutput(ByteArrayOutputStream byteArrayOutputStream) {
+    return null;
+  }
+
+  public static OutputStream nullOutputStream() {
+    return null;
+  }
+
+  public static InputStream limit(InputStream in, long limit) {
+    return null;
+  }
+
+  public static void readFully(InputStream in, byte[] b) throws IOException {
+  }
+
+  public static void readFully(InputStream in, byte[] b, int off, int len) throws IOException {
+  }
+
+  public static void skipFully(InputStream in, long n) throws IOException {
+  }
+
+  public static <T> T readBytes(InputStream input, ByteProcessor<T> processor) throws IOException {
+    return null;
+  }
+
+  public static int read(InputStream in, byte[] b, int off, int len) throws IOException {
+    return 0;
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/CharSink.java

@@ -0,0 +1,48 @@
+/*
+ * Copyright (C) 2012 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.
+ */
+
+package com.google.common.io;
+import java.io.IOException;
+import java.io.Writer;
+import java.util.stream.Stream;
+
+public abstract class CharSink {
+  public abstract Writer openStream() throws IOException;
+
+  public Writer openBufferedStream() throws IOException {
+    return null;
+  }
+
+  public void write(CharSequence charSequence) throws IOException {
+  }
+
+  public void writeLines(Iterable<? extends CharSequence> lines) throws IOException {
+  }
+
+  public void writeLines(Iterable<? extends CharSequence> lines, String lineSeparator)
+      throws IOException {
+  }
+
+  public void writeLines(Stream<? extends CharSequence> lines) throws IOException {
+  }
+
+  public void writeLines(Stream<? extends CharSequence> lines, String lineSeparator)
+      throws IOException {
+  }
+
+  public long writeFrom(Readable readable) throws IOException {
+    return 0;
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/CharSource.java

@@ -0,0 +1,101 @@
+/*
+ * Copyright (C) 2012 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.
+ */
+
+package com.google.common.io;
+import com.google.common.base.Optional;
+import com.google.common.collect.ImmutableList;
+import java.io.BufferedReader;
+import java.io.IOException;
+import java.io.Reader;
+import java.nio.charset.Charset;
+import java.util.Iterator;
+import java.util.function.Consumer;
+import java.util.stream.Stream;
+import org.checkerframework.checker.nullness.qual.Nullable;
+
+public abstract class CharSource {
+  public ByteSource asByteSource(Charset charset) {
+    return null;
+  }
+
+  public abstract Reader openStream() throws IOException;
+
+  public BufferedReader openBufferedStream() throws IOException {
+    return null;
+  }
+
+  public Stream<String> lines() throws IOException {
+    return null;
+  }
+
+  public Optional<Long> lengthIfKnown() {
+    return null;
+  }
+
+  public long length() throws IOException {
+    return 0;
+  }
+
+  public long copyTo(Appendable appendable) throws IOException {
+    return 0;
+  }
+
+  public long copyTo(CharSink sink) throws IOException {
+    return 0;
+  }
+
+  public String read() throws IOException {
+    return null;
+  }
+
+  public @Nullable String readFirstLine() throws IOException {
+    return null;
+  }
+
+  public ImmutableList<String> readLines() throws IOException {
+    return null;
+  }
+
+  public <T> T readLines(LineProcessor<T> processor) throws IOException {
+    return null;
+  }
+
+  public void forEachLine(Consumer<? super String> action) throws IOException {
+  }
+
+  public boolean isEmpty() throws IOException {
+    return false;
+  }
+
+  public static CharSource concat(Iterable<? extends CharSource> sources) {
+    return null;
+  }
+
+  public static CharSource concat(Iterator<? extends CharSource> sources) {
+    return null;
+  }
+
+  public static CharSource concat(CharSource... sources) {
+    return null;
+  }
+
+  public static CharSource wrap(CharSequence charSequence) {
+    return null;
+  }
+
+  public static CharSource empty() {
+    return null;
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/CharStreams.java

@@ -0,0 +1,53 @@
+/*
+ * 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.
+ */
+
+package com.google.common.io;
+import java.io.IOException;
+import java.io.Reader;
+import java.io.Writer;
+import java.util.List;
+
+public final class CharStreams {
+  public static long copy(Readable from, Appendable to) throws IOException {
+    return 0;
+  }
+
+  public static String toString(Readable r) throws IOException {
+    return null;
+  }
+
+  public static List<String> readLines(Readable r) throws IOException {
+    return null;
+  }
+
+  public static <T> T readLines(Readable readable, LineProcessor<T> processor) throws IOException {
+    return null;
+  }
+
+  public static long exhaust(Readable readable) throws IOException {
+    return 0;
+  }
+
+  public static void skipFully(Reader reader, long n) throws IOException {
+  }
+
+  public static Writer nullWriter() {
+    return null;
+  }
+
+  public static Writer asWriter(Appendable target) {
+    return null;
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/Closer.java

@@ -0,0 +1,47 @@
+/*
+ * Copyright (C) 2012 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.
+ */
+
+package com.google.common.io;
+import java.io.Closeable;
+import java.io.IOException;
+import org.checkerframework.checker.nullness.qual.Nullable;
+
+public final class Closer implements Closeable {
+  public static Closer create() {
+    return null;
+  }
+
+  public <C extends Closeable> C register(@Nullable C closeable) {
+    return null;
+  }
+
+  public RuntimeException rethrow(Throwable e) throws IOException {
+    return null;
+  }
+
+  public <X extends Exception> RuntimeException rethrow(Throwable e, Class<X> declaredType)
+      throws IOException, X {
+    return null;
+  }
+
+  public <X1 extends Exception, X2 extends Exception> RuntimeException rethrow(
+      Throwable e, Class<X1> declaredType1, Class<X2> declaredType2) throws IOException, X1, X2 {
+    return null;
+  }
+
+  @Override
+  public void close() throws IOException {
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/FileWriteMode.java

@@ -0,0 +1,18 @@
+/*
+ * Copyright (C) 2012 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.
+ */
+
+package com.google.common.io;
+
+public enum FileWriteMode {
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/Files.java

@@ -0,0 +1,131 @@
+/*
+ * 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.
+ */
+
+package com.google.common.io;
+import com.google.common.base.Predicate;
+import com.google.common.graph.Traverser;
+import java.io.BufferedReader;
+import java.io.BufferedWriter;
+import java.io.File;
+import java.io.FileNotFoundException;
+import java.io.IOException;
+import java.io.OutputStream;
+import java.nio.MappedByteBuffer;
+import java.nio.channels.FileChannel.MapMode;
+import java.nio.charset.Charset;
+import java.util.List;
+
+public final class Files {
+  public static BufferedReader newReader(File file, Charset charset) throws FileNotFoundException {
+    return null;
+  }
+
+  public static BufferedWriter newWriter(File file, Charset charset) throws FileNotFoundException {
+    return null;
+  }
+
+  public static ByteSource asByteSource(File file) {
+    return null;
+  }
+
+  public static ByteSink asByteSink(File file, FileWriteMode... modes) {
+    return null;
+  }
+
+  public static CharSource asCharSource(File file, Charset charset) {
+    return null;
+  }
+
+  public static CharSink asCharSink(File file, Charset charset, FileWriteMode... modes) {
+    return null;
+  }
+
+  public static byte[] toByteArray(File file) throws IOException {
+    return null;
+  }
+
+  public static String toString(File file, Charset charset) throws IOException {
+    return null;
+  }
+
+  public static void write(byte[] from, File to) throws IOException {
+  }
+
+  public static void write(CharSequence from, File to, Charset charset) throws IOException {
+  }
+
+  public static void copy(File from, OutputStream to) throws IOException {
+  }
+
+  public static void copy(File from, File to) throws IOException {
+  }
+
+  public static boolean equal(File file1, File file2) throws IOException {
+    return false;
+  }
+
+  public static File createTempDir() {
+    return null;
+  }
+
+  public static void touch(File file) throws IOException {
+  }
+
+  public static void createParentDirs(File file) throws IOException {
+  }
+
+  public static void move(File from, File to) throws IOException {
+  }
+
+  public static List<String> readLines(File file, Charset charset) throws IOException {
+    return null;
+  }
+
+  public static MappedByteBuffer map(File file) throws IOException {
+    return null;
+  }
+
+  public static MappedByteBuffer map(File file, MapMode mode) throws IOException {
+    return null;
+  }
+
+  public static MappedByteBuffer map(File file, MapMode mode, long size) throws IOException {
+    return null;
+  }
+
+  public static String simplifyPath(String pathname) {
+    return null;
+  }
+
+  public static String getFileExtension(String fullName) {
+    return null;
+  }
+
+  public static String getNameWithoutExtension(String file) {
+    return null;
+  }
+
+  public static Traverser<File> fileTraverser() {
+    return null;
+  }
+
+  public static Predicate<File> isDirectory() {
+    return null;
+  }
+
+  public static Predicate<File> isFile() {
+    return null;
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/LineProcessor.java

@@ -0,0 +1,23 @@
+/*
+ * Copyright (C) 2009 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.
+ */
+
+package com.google.common.io;
+import java.io.IOException;
+
+public interface LineProcessor<T> {
+  boolean processLine(String line) throws IOException;
+
+  T getResult();
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/LineReader.java

@@ -0,0 +1,26 @@
+/*
+ * 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.
+ */
+
+package com.google.common.io;
+import java.io.IOException;
+
+public final class LineReader {
+  public LineReader(Readable readable) {
+  }
+
+  public String readLine() throws IOException {
+    return null;
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/MoreFiles.java

@@ -0,0 +1,88 @@
+/*
+ * Copyright (C) 2013 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.
+ */
+
+package com.google.common.io;
+import com.google.common.base.Predicate;
+import com.google.common.collect.ImmutableList;
+import com.google.common.graph.Traverser;
+import java.io.IOException;
+import java.nio.charset.Charset;
+import java.nio.file.LinkOption;
+import java.nio.file.OpenOption;
+import java.nio.file.Path;
+import java.nio.file.attribute.FileAttribute;
+
+public final class MoreFiles {
+  public static ByteSource asByteSource(Path path, OpenOption... options) {
+    return null;
+  }
+
+  public static ByteSink asByteSink(Path path, OpenOption... options) {
+    return null;
+  }
+
+  public static CharSource asCharSource(Path path, Charset charset, OpenOption... options) {
+    return null;
+  }
+
+  public static CharSink asCharSink(Path path, Charset charset, OpenOption... options) {
+    return null;
+  }
+
+  public static ImmutableList<Path> listFiles(Path dir) throws IOException {
+    return null;
+  }
+
+  public static Traverser<Path> fileTraverser() {
+    return null;
+  }
+
+  public static Predicate<Path> isDirectory(LinkOption... options) {
+    return null;
+  }
+
+  public static Predicate<Path> isRegularFile(LinkOption... options) {
+    return null;
+  }
+
+  public static boolean equal(Path path1, Path path2) throws IOException {
+    return false;
+  }
+
+  public static void touch(Path path) throws IOException {
+  }
+
+  public static void createParentDirectories(Path path, FileAttribute<?>... attrs)
+      throws IOException {
+  }
+
+  public static String getFileExtension(Path path) {
+    return null;
+  }
+
+  public static String getNameWithoutExtension(Path path) {
+    return null;
+  }
+
+  public static void deleteRecursively(Path path, RecursiveDeleteOption... options)
+      throws IOException {
+  }
+
+  public static void deleteDirectoryContents(Path path, RecursiveDeleteOption... options)
+      throws IOException {
+  }
+
+}

java/ql/test/stubs/guava-30.0/com/google/common/io/RecursiveDeleteOption.java

@@ -0,0 +1,20 @@
+/*
+ * Copyright (C) 2014 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.
+ */
+
+package com.google.common.io;
+
+public enum RecursiveDeleteOption {
+}

java/ql/test/stubs/guava-30.0/org/checkerframework/checker/nullness/qual/Nullable.java

@@ -0,0 +1,2 @@
+package org.checkerframework.checker.nullness.qual;
+public @interface Nullable {}