Add necessary stubs for Spring

Co-Authored-By: smowton <[email protected]>

Author: Sauyon Lee

java/ql/test/stubs/spring-data-commons-2.5.1/org/springframework/data/domain/Page.java

@@ -0,0 +1,36 @@
+/*
+ * Copyright 2008-2021 the original author or 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
+ *
+ *      https://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 org.springframework.data.domain;
+
+import java.util.Collections;
+import java.util.function.Function;
+
+public interface Page<T> extends Slice<T> {
+	static <T> Page<T> empty() {
+   return null;
+ }
+
+	static <T> Page<T> empty(Pageable pageable) {
+   return null;
+ }
+
+	int getTotalPages();
+
+	long getTotalElements();
+
+	<U> Page<U> map(Function<? super T, ? extends U> converter);
+
+}

java/ql/test/stubs/spring-data-commons-2.5.1/org/springframework/data/domain/Pageable.java

@@ -0,0 +1,64 @@
+/*
+ * Copyright 2008-2021 the original author or 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
+ *
+ *      https://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 org.springframework.data.domain;
+
+import java.util.Optional;
+
+
+public interface Pageable {
+	static Pageable unpaged() {
+   return null;
+ }
+
+	static Pageable ofSize(int pageSize) {
+   return null;
+ }
+
+	default boolean isPaged() {
+   return false;
+ }
+
+	default boolean isUnpaged() {
+   return false;
+ }
+
+	int getPageNumber();
+
+	int getPageSize();
+
+	long getOffset();
+
+	Sort getSort();
+
+	default Sort getSortOr(Sort sort) {
+   return null;
+ }
+
+	Pageable next();
+
+	Pageable previousOrFirst();
+
+	Pageable first();
+
+	Pageable withPage(int pageNumber);
+
+	boolean hasPrevious();
+
+	default Optional<Pageable> toOptional() {
+   return null;
+ }
+
+}

java/ql/test/stubs/spring-data-commons-2.5.1/org/springframework/data/domain/Slice.java

@@ -0,0 +1,62 @@
+/*
+ * Copyright 2014-2021 the original author or 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
+ *
+ *      https://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 org.springframework.data.domain;
+
+import java.util.List;
+import java.util.function.Function;
+
+import org.springframework.data.util.Streamable;
+
+public interface Slice<T> extends Streamable<T> {
+	int getNumber();
+
+	int getSize();
+
+	int getNumberOfElements();
+
+	List<T> getContent();
+
+	boolean hasContent();
+
+	Sort getSort();
+
+	boolean isFirst();
+
+	boolean isLast();
+
+	boolean hasNext();
+
+	boolean hasPrevious();
+
+	default Pageable getPageable() {
+   return null;
+ }
+
+	Pageable nextPageable();
+
+	Pageable previousPageable();
+
+	<U> Slice<U> map(Function<? super T, ? extends U> converter);
+
+	default Pageable nextOrLastPageable() {
+   return null;
+ }
+
+	default Pageable previousOrFirstPageable() {
+   return null;
+ }
+
+}