From 80940e8595c673c87da8d3f60f1822153f44342cdb7b937a27be5e1f055fa73d Mon Sep 17 00:00:00 2001
From: Fridrich Strba <fstrba@suse.com>
Date: Tue, 17 May 2022 06:39:12 +0000
Subject: [PATCH] OBS-URL:
 https://build.opensuse.org/package/show/Java:packages/checker-qual?expand=0&rev=1

---
 .gitattributes                  |  23 +++++++
 .gitignore                      |   1 +
 checker-framework-3.22.0.tar.gz |   3 +
 checker-qual-3.22.0.pom         |  47 ++++++++++++++
 checker-qual-build.xml          | 112 ++++++++++++++++++++++++++++++++
 checker-qual.spec               |  74 +++++++++++++++++++++
 6 files changed, 260 insertions(+)
 create mode 100644 .gitattributes
 create mode 100644 .gitignore
 create mode 100644 checker-framework-3.22.0.tar.gz
 create mode 100644 checker-qual-3.22.0.pom
 create mode 100644 checker-qual-build.xml
 create mode 100644 checker-qual.spec

diff --git a/.gitattributes b/.gitattributes
new file mode 100644
index 0000000..9b03811
--- /dev/null
+++ b/.gitattributes
@@ -0,0 +1,23 @@
+## Default LFS
+*.7z filter=lfs diff=lfs merge=lfs -text
+*.bsp filter=lfs diff=lfs merge=lfs -text
+*.bz2 filter=lfs diff=lfs merge=lfs -text
+*.gem filter=lfs diff=lfs merge=lfs -text
+*.gz filter=lfs diff=lfs merge=lfs -text
+*.jar filter=lfs diff=lfs merge=lfs -text
+*.lz filter=lfs diff=lfs merge=lfs -text
+*.lzma filter=lfs diff=lfs merge=lfs -text
+*.obscpio filter=lfs diff=lfs merge=lfs -text
+*.oxt filter=lfs diff=lfs merge=lfs -text
+*.pdf filter=lfs diff=lfs merge=lfs -text
+*.png filter=lfs diff=lfs merge=lfs -text
+*.rpm filter=lfs diff=lfs merge=lfs -text
+*.tbz filter=lfs diff=lfs merge=lfs -text
+*.tbz2 filter=lfs diff=lfs merge=lfs -text
+*.tgz filter=lfs diff=lfs merge=lfs -text
+*.ttf filter=lfs diff=lfs merge=lfs -text
+*.txz filter=lfs diff=lfs merge=lfs -text
+*.whl filter=lfs diff=lfs merge=lfs -text
+*.xz filter=lfs diff=lfs merge=lfs -text
+*.zip filter=lfs diff=lfs merge=lfs -text
+*.zst filter=lfs diff=lfs merge=lfs -text
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..57affb6
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+.osc
diff --git a/checker-framework-3.22.0.tar.gz b/checker-framework-3.22.0.tar.gz
new file mode 100644
index 0000000..04d87cc
--- /dev/null
+++ b/checker-framework-3.22.0.tar.gz
@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:ef3200bb9864f5c56f9ab7f5865d301364af668f8ef27c70a67a8aa779a4d7be
+size 7914483
diff --git a/checker-qual-3.22.0.pom b/checker-qual-3.22.0.pom
new file mode 100644
index 0000000..4cd6683
--- /dev/null
+++ b/checker-qual-3.22.0.pom
@@ -0,0 +1,47 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
+  <!-- This module was also published with a richer model, Gradle metadata,  -->
+  <!-- which should be used instead. Do not delete the following line which  -->
+  <!-- is to indicate to Gradle or any Gradle module metadata file consumer  -->
+  <!-- that they should prefer consuming it instead. -->
+  <!-- do_not_remove: published-with-gradle-metadata -->
+  <modelVersion>4.0.0</modelVersion>
+  <groupId>org.checkerframework</groupId>
+  <artifactId>checker-qual</artifactId>
+  <version>3.22.0</version>
+  <name>Checker Qual</name>
+  <description>checker-qual contains annotations (type qualifiers) that a programmer
+writes to specify Java code for type-checking by the Checker Framework.
+</description>
+  <url>https://checkerframework.org</url>
+  <licenses>
+    <license>
+      <name>The MIT License</name>
+      <url>http://opensource.org/licenses/MIT</url>
+      <distribution>repo</distribution>
+    </license>
+  </licenses>
+  <developers>
+    <developer>
+      <id>mernst</id>
+      <name>Michael Ernst</name>
+      <email>mernst@cs.washington.edu</email>
+      <url>https://homes.cs.washington.edu/~mernst/</url>
+      <organization>University of Washington</organization>
+      <organizationUrl>https://www.cs.washington.edu/</organizationUrl>
+    </developer>
+    <developer>
+      <id>smillst</id>
+      <name>Suzanne Millstein</name>
+      <email>smillst@cs.washington.edu</email>
+      <organization>University of Washington</organization>
+      <organizationUrl>https://www.cs.washington.edu/</organizationUrl>
+    </developer>
+  </developers>
+  <scm>
+    <connection>scm:git:git://github.com/typetools/checker-framework.git</connection>
+    <developerConnection>scm:git:ssh://git@github.com/typetools/checker-framework.git</developerConnection>
+    <url>https://github.com/typetools/checker-framework.git</url>
+  </scm>
+</project>
diff --git a/checker-qual-build.xml b/checker-qual-build.xml
new file mode 100644
index 0000000..6e51651
--- /dev/null
+++ b/checker-qual-build.xml
@@ -0,0 +1,112 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<project name="checker-qual" default="package" basedir=".">
+
+  <!-- ====================================================================== -->
+  <!-- Build environment properties                                           -->
+  <!-- ====================================================================== -->
+
+  <property name="project.groupId" value="org.checkerframework"/>
+  <property name="project.artifactId" value="checker-qual"/>
+  <property name="project.version" value="3.22.0"/>
+
+  <property name="compiler.source" value="1.8"/>
+  <property name="compiler.target" value="${compiler.source}"/>
+
+  <property name="build.finalName" value="${project.artifactId}-${project.version}"/>
+  <property name="build.dir" value="target"/>
+  <property name="build.outputDir" value="${build.dir}/classes"/>
+  <property name="build.srcDir" value="src/main/java"/>
+  <property name="build.resourceDir" value="src/main/resources"/>
+
+  <property name="reporting.outputDirectory" value="${build.dir}/site"/>
+
+  <!-- ====================================================================== -->
+  <!-- Cleaning up target                                                     -->
+  <!-- ====================================================================== -->
+
+  <target name="clean" description="Clean the output directory">
+    <delete dir="${build.dir}"/>
+  </target>
+
+  <!-- ====================================================================== -->
+  <!-- Compilation target                                                     -->
+  <!-- ====================================================================== -->
+
+  <target name="compile" description="Compile the code">
+    <mkdir dir="${build.outputDir}"/>
+    <javac destdir="${build.outputDir}" 
+           nowarn="false" 
+           debug="true" 
+           optimize="false" 
+           deprecation="true" 
+           target="${compiler.target}" 
+           verbose="false" 
+           fork="false" 
+           source="${compiler.source}">
+      <src>
+        <pathelement location="${build.srcDir}"/>
+      </src>
+    </javac>
+  </target>
+
+  <!-- ====================================================================== -->
+  <!-- Javadoc target                                                         -->
+  <!-- ====================================================================== -->
+
+  <target name="javadoc" description="Generates the Javadoc of the application">
+    <javadoc sourcepath="${build.srcDir}" 
+             packagenames="*" 
+             destdir="${reporting.outputDirectory}/apidocs" 
+             access="protected" 
+             source="${compiler.source}" 
+             verbose="false" 
+             version="true" 
+             use="true" 
+             author="true" 
+             splitindex="false" 
+             nodeprecated="false" 
+             nodeprecatedlist="false" 
+             notree="false" 
+             noindex="false" 
+             nohelp="false" 
+             nonavbar="false" 
+             serialwarn="false" 
+             charset="ISO-8859-1" 
+             linksource="false" 
+             breakiterator="false"/>
+  </target>
+
+  <!-- ====================================================================== -->
+  <!-- Package target                                                         -->
+  <!-- ====================================================================== -->
+
+  <target name="package" depends="compile" description="Package the application">
+    <jar jarfile="${build.dir}/${build.finalName}.jar" 
+         compress="true" 
+         index="false" 
+         basedir="${build.outputDir}" 
+         excludes="**/package.html">
+      <manifest>
+		<attribute name="Automatic-Module-Name" value="org.checkerframework.checker.qual"/>
+		<attribute name="Bundle-License" value="MIT"/>
+		<attribute name="Bundle-ManifestVersion" value="2"/>
+		<attribute name="Bundle-Name" value="${project.artifactId}"/>
+		<attribute name="Bundle-SymbolicName" value="${project.artifactId}"/>
+		<attribute name="Bundle-Version" value="${project.version}"/>
+		<attribute name="Export-Package" value="org.checkerframework.checker.builder.qual;version=&quot;${project.version}&quot;,org.checkerframework.checker.calledmethods.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.compilermsgs.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.fenum.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.formatter.qual;uses:=&quot;org.checkerframework.checker.nullness.qual,org.checkerframework.dataflow.qual,org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.formatter;uses:=&quot;org.checkerframework.checker.formatter.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.guieffect.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.i18n.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.i18nformatter.qual;uses:=&quot;org.checkerframework.checker.nullness.qual,org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.i18nformatter;uses:=&quot;org.checkerframework.checker.i18nformatter.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.index.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.initialization.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.interning.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.lock.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.nullness.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.nullness;uses:=&quot;org.checkerframework.checker.nullness.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.optional.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.propkey.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.regex.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.regex;uses:=&quot;org.checkerframework.checker.index.qual,org.checkerframework.checker.lock.qual,org.checkerframework.checker.nullness.qual,org.checkerframework.checker.regex.qual,org.checkerframework.dataflow.qual,org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.signature.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.signedness.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.signedness;uses:=&quot;org.checkerframework.checker.signedness.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.tainting.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.units.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.checker.units;uses:=&quot;org.checkerframework.checker.units.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.common.aliasing.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.common.initializedfields.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.common.reflection.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.common.returnsreceiver.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.common.subtyping.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.common.util.report.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.common.value.qual;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;,org.checkerframework.dataflow.qual;version=&quot;${project.version}&quot;,org.checkerframework.framework.qual;version=&quot;${project.version}&quot;,org.checkerframework.framework.util;uses:=&quot;org.checkerframework.framework.qual&quot;;version=&quot;${project.version}&quot;"/>
+		<attribute name="Implementation-URL" value="https://checkerframework.org"/>
+		<attribute name="Implementation-Version" value="${project.version}"/>
+		<attribute name="Import-Package" value="org.checkerframework.checker.formatter.qual,org.checkerframework.checker.i18nformatter.qual,org.checkerframework.checker.index.qual,org.checkerframework.checker.interning.qual,org.checkerframework.checker.lock.qual,org.checkerframework.checker.nullness.qual,org.checkerframework.checker.regex.qual,org.checkerframework.checker.signedness.qual,org.checkerframework.checker.units.qual,org.checkerframework.dataflow.qual,org.checkerframework.framework.qual"/>
+		<attribute name="Require-Capability" value="osgi.ee;filter:=&quot;(&amp;(osgi.ee=JavaSE)(version=${compiler.target}))&quot;"/>
+      </manifest>
+    </jar>
+  </target>
+
+  <!-- ====================================================================== -->
+  <!-- A dummy target for the package named after the type it creates         -->
+  <!-- ====================================================================== -->
+
+  <target name="jar" depends="package" description="Builds the jar for the application"/>
+
+</project>
diff --git a/checker-qual.spec b/checker-qual.spec
new file mode 100644
index 0000000..98c6def
--- /dev/null
+++ b/checker-qual.spec
@@ -0,0 +1,74 @@
+#
+# spec file for package j2objc-annotations
+#
+# Copyright (c) 2022 SUSE LLC
+#
+# All modifications and additions to the file contributed by third parties
+# remain the property of their copyright owners, unless otherwise agreed
+# upon. The license for this file, and modifications and additions to the
+# file, is the same license as for the pristine package itself (unless the
+# license for the pristine package is not an Open Source License, in which
+# case the license is the MIT License). An "Open Source License" is a
+# license that conforms to the Open Source Definition (Version 1.9)
+# published by the Open Source Initiative.
+
+# Please submit bugfixes or comments via https://bugs.opensuse.org/
+#
+
+
+Name:           checker-qual
+Version:        3.22.0
+Release:        0
+Summary:        Checker Qual
+License:        MIT
+Group:          Development/Libraries/Java
+URL:            https://github.com/typetools/checker-framework
+Source0:        https://github.com/typetools/checker-framework/archive/refs/tags/checker-framework-%{version}.tar.gz
+Source1:        https://repo1.maven.org/maven2/org/checkerframework/%{name}/%{version}/%{name}-%{version}.pom
+Source2:        %{name}-build.xml
+BuildRequires:  ant
+BuildRequires:  fdupes
+BuildRequires:  java-devel >= 1.8 javapackages-local
+BuildArch:      noarch
+
+%description
+Checker Qual contains annotations (type qualifiers) that a programmer
+writes to specify Java code for type-checking by the Checker Framework.
+
+%package        javadoc
+Summary:        API documentation for %{name}
+Group:          Documentation/HTML
+
+%description    javadoc
+This package provides %{summary}.
+
+%prep
+%setup -q -n checker-framework-checker-framework-%{version}
+cp %{SOURCE2} %{name}/build.xml
+
+%build
+pushd %{name}
+%{ant} jar javadoc
+popd
+
+%install
+# jars
+install -d -m 0755 %{buildroot}%{_javadir}
+install -p -m 0644 %{name}/target/%{name}-%{version}.jar %{buildroot}%{_javadir}/%{name}.jar
+# pom
+install -d -m 755 %{buildroot}%{_mavenpomdir}
+install -pm 644 %{SOURCE1} %{buildroot}%{_mavenpomdir}/%{name}.pom
+%add_maven_depmap %{name}.pom %{name}.jar
+# javadoc
+install -d -m 755 %{buildroot}%{_javadocdir}/%{name}
+cp -pr %{name}/target/site/apidocs/* %{buildroot}%{_javadocdir}/%{name}
+%fdupes -s %{buildroot}%{_javadocdir}
+
+%files -f .mfiles
+%license %{name}/LICENSE.txt
+
+%files javadoc
+%doc %{_javadocdir}/%{name}
+%license %{name}/LICENSE.txt
+
+%changelog