Skip to content

Commit 1e3c4d0

Browse files
joefarebrotherjoefarebrother
committed
Add stubs to fix broken test case
1 parent 980b2c1 commit 1e3c4d0

File tree

3 files changed

+391
-0
lines changed

3 files changed

+391
-0
lines changed

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

Lines changed: 381 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,381 @@
1+
/*
2+
* Copyright (C) 2007 The Guava Authors
3+
*
4+
* Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except
5+
* in compliance with the License. You may obtain a copy of the License at
6+
*
7+
* http://www.apache.org/licenses/LICENSE-2.0
8+
*
9+
* Unless required by applicable law or agreed to in writing, software distributed under the License
10+
* is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
11+
* or implied. See the License for the specific language governing permissions and limitations under
12+
* the License.
13+
*/
14+
15+
package com.google.common.base;
16+
import org.checkerframework.checker.nullness.qual.NonNull;
17+
import org.checkerframework.checker.nullness.qual.Nullable;
18+
19+
public final class Preconditions {
20+
public static void checkArgument(boolean expression) {
21+
}
22+
23+
public static void checkArgument(boolean expression, @Nullable Object errorMessage) {
24+
}
25+
26+
public static void checkArgument(
27+
boolean expression,
28+
@Nullable String errorMessageTemplate,
29+
@Nullable Object @Nullable ... errorMessageArgs) {
30+
}
31+
32+
public static void checkArgument(boolean b, @Nullable String errorMessageTemplate, char p1) {
33+
}
34+
35+
public static void checkArgument(boolean b, @Nullable String errorMessageTemplate, int p1) {
36+
}
37+
38+
public static void checkArgument(boolean b, @Nullable String errorMessageTemplate, long p1) {
39+
}
40+
41+
public static void checkArgument(
42+
boolean b, @Nullable String errorMessageTemplate, @Nullable Object p1) {
43+
}
44+
45+
public static void checkArgument(
46+
boolean b, @Nullable String errorMessageTemplate, char p1, char p2) {
47+
}
48+
49+
public static void checkArgument(
50+
boolean b, @Nullable String errorMessageTemplate, char p1, int p2) {
51+
}
52+
53+
public static void checkArgument(
54+
boolean b, @Nullable String errorMessageTemplate, char p1, long p2) {
55+
}
56+
57+
public static void checkArgument(
58+
boolean b, @Nullable String errorMessageTemplate, char p1, @Nullable Object p2) {
59+
}
60+
61+
public static void checkArgument(
62+
boolean b, @Nullable String errorMessageTemplate, int p1, char p2) {
63+
}
64+
65+
public static void checkArgument(
66+
boolean b, @Nullable String errorMessageTemplate, int p1, int p2) {
67+
}
68+
69+
public static void checkArgument(
70+
boolean b, @Nullable String errorMessageTemplate, int p1, long p2) {
71+
}
72+
73+
public static void checkArgument(
74+
boolean b, @Nullable String errorMessageTemplate, int p1, @Nullable Object p2) {
75+
}
76+
77+
public static void checkArgument(
78+
boolean b, @Nullable String errorMessageTemplate, long p1, char p2) {
79+
}
80+
81+
public static void checkArgument(
82+
boolean b, @Nullable String errorMessageTemplate, long p1, int p2) {
83+
}
84+
85+
public static void checkArgument(
86+
boolean b, @Nullable String errorMessageTemplate, long p1, long p2) {
87+
}
88+
89+
public static void checkArgument(
90+
boolean b, @Nullable String errorMessageTemplate, long p1, @Nullable Object p2) {
91+
}
92+
93+
public static void checkArgument(
94+
boolean b, @Nullable String errorMessageTemplate, @Nullable Object p1, char p2) {
95+
}
96+
97+
public static void checkArgument(
98+
boolean b, @Nullable String errorMessageTemplate, @Nullable Object p1, int p2) {
99+
}
100+
101+
public static void checkArgument(
102+
boolean b, @Nullable String errorMessageTemplate, @Nullable Object p1, long p2) {
103+
}
104+
105+
public static void checkArgument(
106+
boolean b, @Nullable String errorMessageTemplate, @Nullable Object p1, @Nullable Object p2) {
107+
}
108+
109+
public static void checkArgument(
110+
boolean b,
111+
@Nullable String errorMessageTemplate,
112+
@Nullable Object p1,
113+
@Nullable Object p2,
114+
@Nullable Object p3) {
115+
}
116+
117+
public static void checkArgument(
118+
boolean b,
119+
@Nullable String errorMessageTemplate,
120+
@Nullable Object p1,
121+
@Nullable Object p2,
122+
@Nullable Object p3,
123+
@Nullable Object p4) {
124+
}
125+
126+
public static void checkState(boolean expression) {
127+
}
128+
129+
public static void checkState(boolean expression, @Nullable Object errorMessage) {
130+
}
131+
132+
public static void checkState(
133+
boolean expression,
134+
@Nullable String errorMessageTemplate,
135+
@Nullable Object @Nullable ... errorMessageArgs) {
136+
}
137+
138+
public static void checkState(boolean b, @Nullable String errorMessageTemplate, char p1) {
139+
}
140+
141+
public static void checkState(boolean b, @Nullable String errorMessageTemplate, int p1) {
142+
}
143+
144+
public static void checkState(boolean b, @Nullable String errorMessageTemplate, long p1) {
145+
}
146+
147+
public static void checkState(
148+
boolean b, @Nullable String errorMessageTemplate, @Nullable Object p1) {
149+
}
150+
151+
public static void checkState(
152+
boolean b, @Nullable String errorMessageTemplate, char p1, char p2) {
153+
}
154+
155+
public static void checkState(boolean b, @Nullable String errorMessageTemplate, char p1, int p2) {
156+
}
157+
158+
public static void checkState(
159+
boolean b, @Nullable String errorMessageTemplate, char p1, long p2) {
160+
}
161+
162+
public static void checkState(
163+
boolean b, @Nullable String errorMessageTemplate, char p1, @Nullable Object p2) {
164+
}
165+
166+
public static void checkState(boolean b, @Nullable String errorMessageTemplate, int p1, char p2) {
167+
}
168+
169+
public static void checkState(boolean b, @Nullable String errorMessageTemplate, int p1, int p2) {
170+
}
171+
172+
public static void checkState(boolean b, @Nullable String errorMessageTemplate, int p1, long p2) {
173+
}
174+
175+
public static void checkState(
176+
boolean b, @Nullable String errorMessageTemplate, int p1, @Nullable Object p2) {
177+
}
178+
179+
public static void checkState(
180+
boolean b, @Nullable String errorMessageTemplate, long p1, char p2) {
181+
}
182+
183+
public static void checkState(boolean b, @Nullable String errorMessageTemplate, long p1, int p2) {
184+
}
185+
186+
public static void checkState(
187+
boolean b, @Nullable String errorMessageTemplate, long p1, long p2) {
188+
}
189+
190+
public static void checkState(
191+
boolean b, @Nullable String errorMessageTemplate, long p1, @Nullable Object p2) {
192+
}
193+
194+
public static void checkState(
195+
boolean b, @Nullable String errorMessageTemplate, @Nullable Object p1, char p2) {
196+
}
197+
198+
public static void checkState(
199+
boolean b, @Nullable String errorMessageTemplate, @Nullable Object p1, int p2) {
200+
}
201+
202+
public static void checkState(
203+
boolean b, @Nullable String errorMessageTemplate, @Nullable Object p1, long p2) {
204+
}
205+
206+
public static void checkState(
207+
boolean b, @Nullable String errorMessageTemplate, @Nullable Object p1, @Nullable Object p2) {
208+
}
209+
210+
public static void checkState(
211+
boolean b,
212+
@Nullable String errorMessageTemplate,
213+
@Nullable Object p1,
214+
@Nullable Object p2,
215+
@Nullable Object p3) {
216+
}
217+
218+
public static void checkState(
219+
boolean b,
220+
@Nullable String errorMessageTemplate,
221+
@Nullable Object p1,
222+
@Nullable Object p2,
223+
@Nullable Object p3,
224+
@Nullable Object p4) {
225+
}
226+
227+
public static <T extends @NonNull Object> T checkNotNull(T reference) {
228+
return null;
229+
}
230+
231+
public static <T extends @NonNull Object> T checkNotNull(
232+
T reference, @Nullable Object errorMessage) {
233+
return null;
234+
}
235+
236+
public static <T extends @NonNull Object> T checkNotNull(
237+
T reference,
238+
@Nullable String errorMessageTemplate,
239+
@Nullable Object @Nullable ... errorMessageArgs) {
240+
return null;
241+
}
242+
243+
public static <T extends @NonNull Object> T checkNotNull(
244+
T obj, @Nullable String errorMessageTemplate, char p1) {
245+
return null;
246+
}
247+
248+
public static <T extends @NonNull Object> T checkNotNull(
249+
T obj, @Nullable String errorMessageTemplate, int p1) {
250+
return null;
251+
}
252+
253+
public static <T extends @NonNull Object> T checkNotNull(
254+
T obj, @Nullable String errorMessageTemplate, long p1) {
255+
return null;
256+
}
257+
258+
public static <T extends @NonNull Object> T checkNotNull(
259+
T obj, @Nullable String errorMessageTemplate, @Nullable Object p1) {
260+
return null;
261+
}
262+
263+
public static <T extends @NonNull Object> T checkNotNull(
264+
T obj, @Nullable String errorMessageTemplate, char p1, char p2) {
265+
return null;
266+
}
267+
268+
public static <T extends @NonNull Object> T checkNotNull(
269+
T obj, @Nullable String errorMessageTemplate, char p1, int p2) {
270+
return null;
271+
}
272+
273+
public static <T extends @NonNull Object> T checkNotNull(
274+
T obj, @Nullable String errorMessageTemplate, char p1, long p2) {
275+
return null;
276+
}
277+
278+
public static <T extends @NonNull Object> T checkNotNull(
279+
T obj, @Nullable String errorMessageTemplate, char p1, @Nullable Object p2) {
280+
return null;
281+
}
282+
283+
public static <T extends @NonNull Object> T checkNotNull(
284+
T obj, @Nullable String errorMessageTemplate, int p1, char p2) {
285+
return null;
286+
}
287+
288+
public static <T extends @NonNull Object> T checkNotNull(
289+
T obj, @Nullable String errorMessageTemplate, int p1, int p2) {
290+
return null;
291+
}
292+
293+
public static <T extends @NonNull Object> T checkNotNull(
294+
T obj, @Nullable String errorMessageTemplate, int p1, long p2) {
295+
return null;
296+
}
297+
298+
public static <T extends @NonNull Object> T checkNotNull(
299+
T obj, @Nullable String errorMessageTemplate, int p1, @Nullable Object p2) {
300+
return null;
301+
}
302+
303+
public static <T extends @NonNull Object> T checkNotNull(
304+
T obj, @Nullable String errorMessageTemplate, long p1, char p2) {
305+
return null;
306+
}
307+
308+
public static <T extends @NonNull Object> T checkNotNull(
309+
T obj, @Nullable String errorMessageTemplate, long p1, int p2) {
310+
return null;
311+
}
312+
313+
public static <T extends @NonNull Object> T checkNotNull(
314+
T obj, @Nullable String errorMessageTemplate, long p1, long p2) {
315+
return null;
316+
}
317+
318+
public static <T extends @NonNull Object> T checkNotNull(
319+
T obj, @Nullable String errorMessageTemplate, long p1, @Nullable Object p2) {
320+
return null;
321+
}
322+
323+
public static <T extends @NonNull Object> T checkNotNull(
324+
T obj, @Nullable String errorMessageTemplate, @Nullable Object p1, char p2) {
325+
return null;
326+
}
327+
328+
public static <T extends @NonNull Object> T checkNotNull(
329+
T obj, @Nullable String errorMessageTemplate, @Nullable Object p1, int p2) {
330+
return null;
331+
}
332+
333+
public static <T extends @NonNull Object> T checkNotNull(
334+
T obj, @Nullable String errorMessageTemplate, @Nullable Object p1, long p2) {
335+
return null;
336+
}
337+
338+
public static <T extends @NonNull Object> T checkNotNull(
339+
T obj, @Nullable String errorMessageTemplate, @Nullable Object p1, @Nullable Object p2) {
340+
return null;
341+
}
342+
343+
public static <T extends @NonNull Object> T checkNotNull(
344+
T obj,
345+
@Nullable String errorMessageTemplate,
346+
@Nullable Object p1,
347+
@Nullable Object p2,
348+
@Nullable Object p3) {
349+
return null;
350+
}
351+
352+
public static <T extends @NonNull Object> T checkNotNull(
353+
T obj,
354+
@Nullable String errorMessageTemplate,
355+
@Nullable Object p1,
356+
@Nullable Object p2,
357+
@Nullable Object p3,
358+
@Nullable Object p4) {
359+
return null;
360+
}
361+
362+
public static int checkElementIndex(int index, int size) {
363+
return 0;
364+
}
365+
366+
public static int checkElementIndex(int index, int size, @Nullable String desc) {
367+
return 0;
368+
}
369+
370+
public static int checkPositionIndex(int index, int size) {
371+
return 0;
372+
}
373+
374+
public static int checkPositionIndex(int index, int size, @Nullable String desc) {
375+
return 0;
376+
}
377+
378+
public static void checkPositionIndexes(int start, int end, int size) {
379+
}
380+
381+
}

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

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
package org.checkerframework.checker.nullness.qual;
2+
import java.lang.annotation.Target;
3+
import java.lang.annotation.ElementType;
4+
5+
@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
6+
public @interface NonNull {}

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,6 @@
11
package org.checkerframework.checker.nullness.qual;
2+
import java.lang.annotation.Target;
3+
import java.lang.annotation.ElementType;
4+
5+
@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
26
public @interface Nullable {}

0 commit comments

Comments
 (0)