From dddb8ab3daf6c7d98c392c2b45f5fa39edea4f0f Mon Sep 17 00:00:00 2001 From: Heiko Klare Date: Mon, 23 Sep 2024 15:17:41 +0200 Subject: [PATCH] Add test case for invalid compilation against fragments from P2 repo When compiling a fragment for whose hose a fragment exists in a P2 repo referenced by the build (even if the platform filter does not match), the classes from that fragment are put on the classpath, such that code in the currently compiled fragment is illegally compiled against that fragment code. This change adds a test case that demonstrates the behavior via a fragment that uses code from another fragment, which is must not depend on. (cherry picked from commit 9464bc916a890556e2b4789f9f71ead702d2e7cc) --- .../.classpath | 17 +++ .../META-INF/MANIFEST.MF | 11 ++ .../build.properties | 2 + .../pom.xml | 31 +++++ .../src/org/eclipse/swt/graphics/Image.java | 7 ++ .../org/eclipse/swt/graphics/ImageTest.java | 8 ++ .../.classpath | 11 ++ .../META-INF/MANIFEST.MF | 11 ++ .../build.properties | 2 + .../pom.xml | 31 +++++ .../src/org/eclipse/swt/graphics/Image2.java | 4 + .../META-INF/MANIFEST.MF | 9 ++ .../META-INF/p2.inf | 9 ++ .../build.properties | 2 + .../compiler.fragments.unmatchinginp2/pom.xml | 32 ++++++ .../pom.xml | 53 +++++++++ .../p2withUnmatchingFragment/artifacts.xml | 31 +++++ .../p2withUnmatchingFragment/content.xml | 108 ++++++++++++++++++ ...hinginp2.unmatching_1.0.0.202409231244.jar | Bin 0 -> 3058 bytes ...ents.unmatchinginp2_1.0.0.202409231244.jar | Bin 0 -> 2320 bytes .../test/eeProfile/FragmentsAttachedTest.java | 10 ++ 21 files changed, 389 insertions(+) create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/.classpath create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/META-INF/MANIFEST.MF create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/build.properties create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/pom.xml create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/src/org/eclipse/swt/graphics/Image.java create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/test/org/eclipse/swt/graphics/ImageTest.java create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/.classpath create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/META-INF/MANIFEST.MF create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/build.properties create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/pom.xml create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/src/org/eclipse/swt/graphics/Image2.java create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/META-INF/MANIFEST.MF create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/META-INF/p2.inf create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/build.properties create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/pom.xml create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/pom.xml create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/artifacts.xml create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/content.xml create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/plugins/compiler.fragments.unmatchinginp2.unmatching_1.0.0.202409231244.jar create mode 100644 tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/plugins/compiler.fragments.unmatchinginp2_1.0.0.202409231244.jar diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/.classpath b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/.classpath new file mode 100644 index 0000000000..b78dcc1d22 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/.classpath @@ -0,0 +1,17 @@ + + + + + + + + + + + + + + + + + diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/META-INF/MANIFEST.MF b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/META-INF/MANIFEST.MF new file mode 100644 index 0000000000..588926e393 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/META-INF/MANIFEST.MF @@ -0,0 +1,11 @@ +Manifest-Version: 1.0 +Fragment-Host: compiler.fragments.unmatchinginp2; bundle-version="[1.0.0,1.1.0)" +Bundle-Name: %fragmentName +Bundle-Vendor: %providerName +Bundle-SymbolicName: compiler.fragments.unmatchinginp2.gtk.linux.x86; singleton:=true +Bundle-Version: 1.0.0.qualifier +Bundle-ManifestVersion: 2 +Bundle-Localization: fragment +Export-Package: org.eclipse.swt.graphics +Eclipse-PlatformFilter: (& (osgi.ws=gtk) (osgi.os=linux) (osgi.arch=x86)) +Bundle-RequiredExecutionEnvironment: JavaSE-1.8 diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/build.properties b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/build.properties new file mode 100644 index 0000000000..444e0c6362 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/build.properties @@ -0,0 +1,2 @@ +bin.includes = .,META-INF/ +source.. = src/ diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/pom.xml b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/pom.xml new file mode 100644 index 0000000000..5f0194ec52 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/pom.xml @@ -0,0 +1,31 @@ + + + 4.0.0 + + + org.eclipse.tycho.compiler.fragments.unmatchinginp2 + parent + 0.0.1-SNAPSHOT + + + compiler.fragments.unmatchinginp2.gtk.linux.x86 + 1.0.0-SNAPSHOT + eclipse-plugin + + + + org.eclipse.tycho + target-platform-configuration + + + ignore + + true + + + + + + + diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/src/org/eclipse/swt/graphics/Image.java b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/src/org/eclipse/swt/graphics/Image.java new file mode 100644 index 0000000000..67349649b8 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/src/org/eclipse/swt/graphics/Image.java @@ -0,0 +1,7 @@ +package org.eclipse.swt.graphics; + +public final class Image { + public static void test() { + Image2 instanceOfClassFromUnmatchingFragment = new Image2(); + } +} diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/test/org/eclipse/swt/graphics/ImageTest.java b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/test/org/eclipse/swt/graphics/ImageTest.java new file mode 100644 index 0000000000..d352f06385 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.gtk.linux.x86/test/org/eclipse/swt/graphics/ImageTest.java @@ -0,0 +1,8 @@ +package org.eclipse.swt.graphics; + +public final class ImageTest { + public static void test() { + Image2 instanceOfClassFromUnmatchingFragment = new Image2(); + } + +} diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/.classpath b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/.classpath new file mode 100644 index 0000000000..574689a648 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/.classpath @@ -0,0 +1,11 @@ + + + + + + + + + + + diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/META-INF/MANIFEST.MF b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/META-INF/MANIFEST.MF new file mode 100644 index 0000000000..65bc8bb3da --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/META-INF/MANIFEST.MF @@ -0,0 +1,11 @@ +Manifest-Version: 1.0 +Fragment-Host: compiler.fragments.unmatchinginp2;bundle-version="[1.0.0,1.1.0)" +Bundle-Name: %fragmentName +Bundle-Vendor: %providerName +Bundle-SymbolicName: compiler.fragments.unmatchinginp2.unmatching; singleton:=true +Bundle-Version: 1.0.0.qualifier +Bundle-ManifestVersion: 2 +Bundle-Localization: fragment +Export-Package: org.eclipse.swt.graphics +Eclipse-PlatformFilter: (& (osgi.ws=unknown) (osgi.os=unknown) (osgi.arch=unknown)) +Bundle-RequiredExecutionEnvironment: JavaSE-1.8 diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/build.properties b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/build.properties new file mode 100644 index 0000000000..444e0c6362 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/build.properties @@ -0,0 +1,2 @@ +bin.includes = .,META-INF/ +source.. = src/ diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/pom.xml b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/pom.xml new file mode 100644 index 0000000000..4e7067315b --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/pom.xml @@ -0,0 +1,31 @@ + + + 4.0.0 + + + org.eclipse.tycho.compiler.fragments.unmatchinginp2 + parent + 0.0.1-SNAPSHOT + + + compiler.fragments.unmatchinginp2.unmatching + 1.0.0-SNAPSHOT + eclipse-plugin + + + + org.eclipse.tycho + target-platform-configuration + + + ignore + + true + + + + + + + diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/src/org/eclipse/swt/graphics/Image2.java b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/src/org/eclipse/swt/graphics/Image2.java new file mode 100644 index 0000000000..85e8443196 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2.unmatching/src/org/eclipse/swt/graphics/Image2.java @@ -0,0 +1,4 @@ +package org.eclipse.swt.graphics; + +public final class Image2 { +} diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/META-INF/MANIFEST.MF b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/META-INF/MANIFEST.MF new file mode 100644 index 0000000000..ea6ba18312 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/META-INF/MANIFEST.MF @@ -0,0 +1,9 @@ +Manifest-Version: 1.0 +Bundle-Name: %pluginName +Bundle-Vendor: %providerName +Bundle-SymbolicName: compiler.fragments.unmatchinginp2;singleton:=true +Bundle-Version: 1.0.0.qualifier +Bundle-ManifestVersion: 2 +Bundle-Localization: plugin +Eclipse-ExtensibleAPI: true +Bundle-RequiredExecutionEnvironment: JavaSE-1.8 diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/META-INF/p2.inf b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/META-INF/p2.inf new file mode 100644 index 0000000000..bcac54bb27 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/META-INF/p2.inf @@ -0,0 +1,9 @@ +requires.1.namespace = org.eclipse.equinox.p2.iu +requires.1.name = org.eclipse.swt.gtk.linux.x86 +requires.1.range = [$version$,$version$] +requires.1.filter = (&(osgi.os=linux)(osgi.ws=gtk)(osgi.arch=x86)(!(org.eclipse.swt.buildtime=true))) + +requires.2.namespace = org.eclipse.equinox.p2.iu +requires.2.name = org.eclipse.swt.unmatching +requires.2.range = [$version$,$version$] +requires.2.filter = (&(osgi.os=unmatching)(osgi.ws=unmatching)(osgi.arch=unmatching)(!(org.eclipse.swt.buildtime=true))) \ No newline at end of file diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/build.properties b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/build.properties new file mode 100644 index 0000000000..7b02ed4a05 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/build.properties @@ -0,0 +1,2 @@ +bin.includes = META-INF/ + diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/pom.xml b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/pom.xml new file mode 100644 index 0000000000..8f4dd90218 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/compiler.fragments.unmatchinginp2/pom.xml @@ -0,0 +1,32 @@ + + + 4.0.0 + + + org.eclipse.tycho.compiler.fragments.unmatchinginp2 + parent + 0.0.1-SNAPSHOT + + + compiler.fragments.unmatchinginp2 + 1.0.0-SNAPSHOT + eclipse-plugin + + + + org.eclipse.tycho + target-platform-configuration + + + ignore + + true + + + + + + + + diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/pom.xml b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/pom.xml new file mode 100644 index 0000000000..2cac4a4ad0 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/pom.xml @@ -0,0 +1,53 @@ + + + 4.0.0 + + org.eclipse.tycho.compiler.fragments.unmatchinginp2 + parent + 0.0.1-SNAPSHOT + + pom + + + compiler.fragments.unmatchinginp2 + compiler.fragments.unmatchinginp2.gtk.linux.x86 + + + + + + + repo_with_fragment_not_matching_platform_filter + file:///${basedir}/../resources/p2withUnmatchingFragment + p2 + + + + + + + org.eclipse.tycho + tycho-maven-plugin + ${tycho-version} + true + + + org.eclipse.tycho + target-platform-configuration + ${tycho-version} + + false + + + linux + gtk + x86 + + + + + + + + diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/artifacts.xml b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/artifacts.xml new file mode 100644 index 0000000000..28a5cae941 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/artifacts.xml @@ -0,0 +1,31 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/content.xml b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/content.xml new file mode 100644 index 0000000000..7ddab88cf8 --- /dev/null +++ b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/content.xml @@ -0,0 +1,108 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + (&(osgi.arch=unmatching)(osgi.os=unmatching)(osgi.ws=unmatching)(!(org.eclipse.swt.buildtime=true))) + + + + + (&(osgi.arch=x86)(osgi.os=linux)(osgi.ws=gtk)(!(org.eclipse.swt.buildtime=true))) + + + + + compiler.fragments.unmatchinginp2 + + + + + (org.eclipse.update.install.sources=true) + + + + + + + + + + + Bundle-SymbolicName: compiler.fragments.unmatchinginp2;singleton:=true Bundle-Version: 1.0.0.202409231244 + + + + + + + + + + + + + + + + + + + + + + + + + + + + compiler.fragments.unmatchinginp2.unmatching + + + + + (org.eclipse.update.install.sources=true) + + + + + (&(osgi.arch=unknown)(osgi.os=unknown)(osgi.ws=unknown)) + + + + + + + + + Bundle-SymbolicName: compiler.fragments.unmatchinginp2.unmatching; singleton:=true Bundle-Version: 1.0.0.202409231244 Fragment-Host: compiler.fragments.unmatchinginp2;bundle-version="[1.0.0,1.1.0)" + + + + + + diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/plugins/compiler.fragments.unmatchinginp2.unmatching_1.0.0.202409231244.jar b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/plugins/compiler.fragments.unmatchinginp2.unmatching_1.0.0.202409231244.jar new file mode 100644 index 0000000000000000000000000000000000000000..6e724545929c888fab7732fa7b2353e260346c8a GIT binary patch literal 3058 zcmWIWW@h1HVBlb2=qxplWIzI(K(?=Ih@-BjpPPOFP?-o&83$OIxZ#IEYKrElM&jZUk3cp`<^gqt61SWteu=gdN9*F4_% zPCnk9Dd9T2&AY=+G@a`*jWs!8Jc;k{gL@94i;KQEMo$-9_u9?FWR1P#IuG>P7 zU+$-ZRexWET{EB9WeY3YM-yU??{4RA2FD8a$YTMm&ktecV;y=U|6Gw*!THh=zI{)5rLO=gkv4$atQ zH=dNmZd|o5d#dH$xQO7D*QcJV5ILlN#Cz{mt?RDK?p;=$JxjnRH}Q3PQ+c_)`j5?@ zx|J(-yjk4cVBnK;Fn@OFsdvH4Err)jzVxDI-Q3(C`(Iq=juyq@CSboplS#7cYCvV&)1pY(0Y@vwWgIkabv*HfEtCIRlCsMj*9 zzUP&Q$!hLgv31FzS8FRzMiv}a(8`oas25mz%;~yYSi;9+pBAw_mA$uWR&`+8UC&gv zDRYjj72F<|x8nojzg2G>y{Zmfd;TLV=LVZ!`1=0SS3f8Do?Itx#m=n7|6b$Z#vM!F zUs|aB=W)ixH~Nob&x`Qp&Cvcd=K`BwdBCNE!NIe?d4KB4t$6D6y=S-TgwwiT3SvZ5 zkLRCbi${&!T(f{l$-r3c2I9H_irs>u{DRb?lFZcN)-#5D%?3OU7j4T|y55xBb?}nX zK~|;YCePKN4ZSkkDDtPQD##%D38{(u0G#e0Fd4N{xnb}FboLFl*-)d4HA@Yw~b zUl2Mufo%%(!VaHqPh($ literal 0 HcmV?d00001 diff --git a/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/plugins/compiler.fragments.unmatchinginp2_1.0.0.202409231244.jar b/tycho-its/projects/eeProfile.resolution.fragments.unmatchinginp2/resources/p2withUnmatchingFragment/plugins/compiler.fragments.unmatchinginp2_1.0.0.202409231244.jar new file mode 100644 index 0000000000000000000000000000000000000000..bbe1b1df0b4790e5634eb51f4ce91b5d8c2bcce1 GIT binary patch literal 2320 zcmWIWW@h1HVBlb2=qxplWIzI(K(?=Ih@-BjpPPOFP?-o&83$O|&xra-KY-Gej0_Aw zQG_yIM?X(D*WeI6U$;o}AoI-Bddhbb`Xr(HD z_1OC5sVfYAChbrEz4yAtA?B77Osc&4+F5v4)X85|Z41TuTEs&c3%y`I5<*Gkhm3>+WAg z>tnAkX4U75leJzT;j+l@=tZ{P`s$rr$;pa+%j6gN{}27Qs7Fy$jnR6%quX$V?io)EFjJakfg&k*(`Do z|H`=SK&w9hlMYIN6d37c=A})YaFDObfT!)f9jn@r4M$8SHhPADL>MpNTiIXQbv7O;sCFA5Saob@kQ!DF!exHc&>I?sv zSZ7{v*nGRMGR&=<`S*{uHz#IQ{H>Bb_FyJg|D8!EwKn<*N2veqeH3`jZ=2$Ir^0Ec z%{*03r&OIX3@H2*vgnIU0LMm&q)YX!m*Wo|oN_ANQqs09{noPh-1e!>pWN4*%a^Cu z9FRrL9^a&OG&z9&y9~rR^a|#J{9L_?+??KtXZ;Qv2(-MfCW-4W>FD= zFeVy+xR{+K{i=fQRA0-2GRW%G&bYUQ#;9u5?{xnviu7kI?>h z`I7zI&-So>`JV5jJJnb+M=VM4BirsN4`xItdCTt3*mXU6m8-&;80p6OGerK~Z(g(U zl!*iX-{hY*&!2vc-OU}~&B!FejJ+%YmE;g0!0^@)#6l|9LE3Pa>`;9SOB&UYwIP-B z_$&rxa0mcd90<$~aEoE(A8uEJNI!w*vm4~=31eJ&g3-43MLSo8CL=<2vAz_YM z(wM}A6o8QO5)%4|_(Lyx5SrbXku*a>pPT?B>>p@Bgzhr*EQoN~4Hi1O43QxNyjj^m Pj^F@7BVgd1U verifier.executeGoal("verify")); + } + }