From 749642d10c83b770fa0e627a9a3abee698744481 Mon Sep 17 00:00:00 2001 From: ak-go Date: Wed, 13 May 2026 11:00:06 +0200 Subject: [PATCH 1/4] add eclipse collections interfaces --- ...lipse.collections.api.InternalIterable.xml | 111 +++++ ...tions.api.collection.MutableCollection.xml | 39 ++ ...lipse.collections.api.list.MutableList.xml | 386 ++++++++++++++++++ 3 files changed, 536 insertions(+) create mode 100644 soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml create mode 100644 soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml create mode 100644 soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml new file mode 100644 index 000000000..0984602f0 --- /dev/null +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml @@ -0,0 +1,111 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml new file mode 100644 index 000000000..2639ac759 --- /dev/null +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml @@ -0,0 +1,39 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml new file mode 100644 index 000000000..d42a07458 --- /dev/null +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml @@ -0,0 +1,386 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file From c839c068186b6af0a73d1eb1d4f2ac48c746e877 Mon Sep 17 00:00:00 2001 From: ak-go Date: Wed, 3 Jun 2026 15:18:26 +0200 Subject: [PATCH 2/4] add summaries for RichIterable --- ...g.eclipse.collections.api.RichIterable.xml | 4710 +++++++++++++++++ 1 file changed, 4710 insertions(+) create mode 100644 soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml new file mode 100644 index 000000000..a5f3057a0 --- /dev/null +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml @@ -0,0 +1,4710 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + > + + + + + + + + > + + + + + + + + + + + > + + + + + + + + + + + + > + + + + + + + + + + + + > + + + + + + + + > + + + + + + + + > + + + + + + + + > + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + > + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file From 532724d638f3146b974aa8f764df80d320b4c383 Mon Sep 17 00:00:00 2001 From: ak-go Date: Tue, 23 Jun 2026 17:19:22 +0200 Subject: [PATCH 3/4] fix isAlias --- ...g.eclipse.collections.api.RichIterable.xml | 611 +++++++++--------- ...tions.api.collection.MutableCollection.xml | 2 +- ...lipse.collections.api.list.MutableList.xml | 8 +- 3 files changed, 298 insertions(+), 323 deletions(-) diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml index a5f3057a0..86dd1656c 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml @@ -1032,7 +1032,7 @@ + gap="12" /> @@ -1071,7 +1071,7 @@ + gap="12" /> @@ -1320,14 +1320,14 @@ - + - + @@ -1335,7 +1335,7 @@ ParameterIndex="0" gap="11" /> - + @@ -1347,14 +1347,14 @@ - + - + @@ -1362,14 +1362,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1381,14 +1381,14 @@ - + - + @@ -1396,7 +1396,7 @@ ParameterIndex="0" gap="11" /> - + @@ -1408,14 +1408,14 @@ - + - + @@ -1423,14 +1423,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1442,14 +1442,14 @@ - + - + @@ -1457,7 +1457,7 @@ ParameterIndex="0" gap="11" /> - + @@ -1465,7 +1465,7 @@ AccessPath="[java.lang.Object: java.lang.Object value]" AccessPathTypes="[java.lang.Object]" /> - + @@ -1474,14 +1474,14 @@ - + - + @@ -1489,14 +1489,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1504,7 +1504,7 @@ AccessPath="[java.lang.Object: java.lang.Object value]" AccessPathTypes="[java.lang.Object]" /> - + @@ -1513,14 +1513,14 @@ - + - + @@ -1528,7 +1528,7 @@ ParameterIndex="0" gap="11" /> - + - + - + @@ -1554,13 +1554,13 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1569,14 +1569,14 @@ - + - + @@ -1584,7 +1584,7 @@ ParameterIndex="0" gap="11" /> - + @@ -1598,14 +1598,14 @@ - + - + @@ -1613,12 +1613,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1627,14 +1627,14 @@ - + - + @@ -1642,12 +1642,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1656,14 +1656,14 @@ - + - + @@ -1671,12 +1671,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1685,14 +1685,14 @@ - + - + @@ -1700,12 +1700,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1714,14 +1714,14 @@ - + - + @@ -1729,12 +1729,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1743,14 +1743,14 @@ - + - + @@ -1758,12 +1758,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1772,14 +1772,14 @@ - + - + @@ -1787,12 +1787,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1801,21 +1801,21 @@ - + - + - + @@ -1823,7 +1823,7 @@ ParameterIndex="0" gap="11" /> - + @@ -1832,21 +1832,21 @@ - + - + - + @@ -1854,12 +1854,12 @@ ParameterIndex="0" gap="11" /> - + - + @@ -1868,14 +1868,14 @@ > - + - + @@ -1883,7 +1883,7 @@ ParameterIndex="0" gap="11" /> > - + @@ -1939,7 +1939,7 @@ > - + @@ -1949,7 +1949,7 @@ > - + @@ -1959,7 +1959,7 @@ > - + @@ -1969,7 +1969,7 @@ > - + @@ -1979,14 +1979,14 @@ - + - + @@ -1994,14 +1994,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -2013,14 +2013,14 @@ - + - + @@ -2028,7 +2028,7 @@ ParameterIndex="0" gap="11" /> - + - + @@ -2045,7 +2045,7 @@ AccessPath="[org.eclipse.collections.api.multimap.MutableMultimap: java.lang.Object[] values]" AccessPathTypes="[java.lang.Object[]]" /> - + @@ -2109,14 +2109,14 @@ - + - + @@ -2124,14 +2124,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -2143,14 +2143,14 @@ - + - + @@ -2158,7 +2158,7 @@ ParameterIndex="0" gap="11" /> - + - + @@ -2175,7 +2175,7 @@ AccessPath="[org.eclipse.collections.api.multimap.Multimap: java.lang.Object[] values]" AccessPathTypes="[java.lang.Object[]]"/> - + @@ -2184,14 +2184,14 @@ - + - + @@ -2199,14 +2199,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -2218,14 +2218,14 @@ - + - + @@ -2233,7 +2233,7 @@ ParameterIndex="0" gap="11" /> - + - + @@ -2250,7 +2250,7 @@ AccessPath="[org.eclipse.collections.api.multimap.MutableMultimap: java.lang.Object[] values]" AccessPathTypes="[java.lang.Object[]]" /> - + @@ -2349,7 +2349,7 @@ - + @@ -2359,14 +2359,14 @@ - + - + @@ -2374,7 +2374,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2382,7 +2382,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2394,14 +2394,14 @@ - + - + @@ -2409,7 +2409,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2417,7 +2417,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2429,14 +2429,14 @@ - + - + @@ -2444,7 +2444,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2452,7 +2452,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2462,7 +2462,7 @@ - + @@ -2472,14 +2472,14 @@ - + - + @@ -2487,7 +2487,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2495,7 +2495,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2505,7 +2505,7 @@ - + @@ -2517,14 +2517,14 @@ - + - + @@ -2532,7 +2532,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2540,7 +2540,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2552,14 +2552,14 @@ - + - + @@ -2567,7 +2567,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2575,7 +2575,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2587,7 +2587,7 @@ - + @@ -2599,14 +2599,14 @@ - + - + @@ -2614,7 +2614,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2622,7 +2622,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2632,14 +2632,14 @@ - + - + @@ -2647,7 +2647,7 @@ ParameterIndex="0" gap="10" /> - + @@ -2655,7 +2655,7 @@ ParameterIndex="1" gap="10" /> - + @@ -2726,7 +2726,7 @@ @@ -2845,21 +2845,21 @@ - + - + - + @@ -2867,7 +2867,7 @@ ParameterIndex="0" gap="11" /> - + @@ -2900,30 +2900,17 @@ ParameterIndex="0" gap="11" /> - - - - + ParameterIndex="1" /> - - - + + + @@ -2935,21 +2922,21 @@ - + - + - + @@ -2957,30 +2944,17 @@ ParameterIndex="0" gap="11" /> - - - - - - - - + ParameterIndex="2" /> + + + + @@ -2992,14 +2966,14 @@ - + - + @@ -3007,7 +2981,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3018,14 +2992,14 @@ - + - + @@ -3033,7 +3007,7 @@ ParameterIndex="0" gap="11" /> - + - - + + - + - + - + @@ -3078,7 +3053,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3089,14 +3064,14 @@ - + - + @@ -3104,7 +3079,7 @@ ParameterIndex="0" gap="11" /> - + - + @@ -3129,7 +3104,7 @@ - + @@ -3172,14 +3147,14 @@ + gap="11" /> + gap="12" /> @@ -3220,14 +3195,14 @@ + gap="11" /> + gap="12" /> @@ -3268,14 +3243,14 @@ + gap="11" /> + gap="12" /> @@ -3316,14 +3291,14 @@ + gap="11" /> + gap="12" /> @@ -3576,7 +3551,7 @@ BaseType="java.util.Comparator" gap="11" /> - + @@ -3584,7 +3559,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3653,7 +3628,7 @@ BaseType="java.util.Comparator" gap="11" /> - + @@ -3661,7 +3636,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3679,14 +3654,14 @@ - + - + @@ -3694,7 +3669,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3730,7 +3705,7 @@ BaseType="java.util.Comparator" gap="11" /> - + @@ -3738,7 +3713,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3756,14 +3731,14 @@ - + - + @@ -3771,7 +3746,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3780,21 +3755,21 @@ - + - + - + @@ -3802,14 +3777,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -3817,16 +3792,16 @@ ParameterIndex="0" gap="12" /> - + + gap="11" /> - + + gap="12" /> @@ -3835,21 +3810,21 @@ - + - + - + @@ -3857,14 +3832,14 @@ ParameterIndex="0" gap="11" /> - + - + @@ -3872,7 +3847,7 @@ ParameterIndex="0" gap="12" /> - + - + > - + - + - + - + @@ -3921,7 +3896,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3929,16 +3904,16 @@ ParameterIndex="0" gap="12" /> - + + gap="11" /> - + + gap="12" /> @@ -3954,7 +3929,7 @@ BaseType="java.util.Comparator" gap="11" /> - + @@ -3962,7 +3937,7 @@ ParameterIndex="0" gap="11" /> - + @@ -3970,21 +3945,21 @@ ParameterIndex="1" gap="11" /> - + - + - + @@ -3992,7 +3967,7 @@ ParameterIndex="0" gap="11" /> - + @@ -4000,16 +3975,16 @@ ParameterIndex="0" gap="12" /> - + - + + gap="12" /> @@ -4025,7 +4000,7 @@ BaseType="org.eclipse.collections.api.block.function.Function" gap="11" /> - + @@ -4033,21 +4008,21 @@ ParameterIndex="0" gap="11" /> - + - + - + @@ -4055,7 +4030,7 @@ ParameterIndex="0" gap="12" /> - + @@ -4063,16 +4038,16 @@ ParameterIndex="0" gap="13" /> - + - + + gap="13" /> @@ -4081,21 +4056,21 @@ - + - + - + @@ -4103,7 +4078,7 @@ ParameterIndex="0" gap="11" /> - + @@ -4111,16 +4086,16 @@ ParameterIndex="0" gap="12" /> - + + gap="11" /> - + + gap="12" /> @@ -4363,21 +4338,21 @@ - + - + - + @@ -4385,7 +4360,7 @@ ParameterIndex="0" gap="11" /> - + @@ -4393,16 +4368,16 @@ ParameterIndex="0" gap="12" /> - + + gap="11" /> - + + gap="12" /> @@ -4411,21 +4386,21 @@ - + - + - + @@ -4433,7 +4408,7 @@ ParameterIndex="0" gap="11" /> - + @@ -4441,16 +4416,16 @@ ParameterIndex="0" gap="12" /> - + + gap="11" /> - + + gap="12" /> @@ -4468,14 +4443,14 @@ - + - + @@ -4483,21 +4458,21 @@ ParameterIndex="0" gap="11" /> - + - + - + @@ -4505,7 +4480,7 @@ ParameterIndex="1" gap="12" /> - + @@ -4514,14 +4489,14 @@ - + - + @@ -4529,21 +4504,21 @@ ParameterIndex="0" gap="11" /> - + - + - + @@ -4551,7 +4526,7 @@ ParameterIndex="0" gap="12" /> - + @@ -4559,16 +4534,16 @@ ParameterIndex="1" gap="12" /> - + + gap="11" /> - + + gap="12" /> @@ -4577,14 +4552,14 @@ - + - + @@ -4592,21 +4567,21 @@ ParameterIndex="0" gap="11" /> - + - + - + @@ -4614,7 +4589,7 @@ ParameterIndex="0" gap="12" /> - + @@ -4622,21 +4597,21 @@ ParameterIndex="1" gap="12" /> - + + gap="11" /> - + + gap="12" /> - + diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml index 2639ac759..e0c723a9c 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.collection.MutableCollection.xml @@ -27,7 +27,7 @@ - + diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml index d42a07458..1ac68cfc7 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml @@ -33,7 +33,7 @@ - + - + - + - + Date: Fri, 3 Jul 2026 14:35:40 +0200 Subject: [PATCH 4/4] fix clears --- ...lipse.collections.api.InternalIterable.xml | 24 -------- ...g.eclipse.collections.api.RichIterable.xml | 30 ---------- ...lipse.collections.api.list.MutableList.xml | 60 ------------------- 3 files changed, 114 deletions(-) diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml index 0984602f0..f5c53be0c 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.InternalIterable.xml @@ -21,12 +21,6 @@ gap="11" /> - - - @@ -45,12 +39,6 @@ gap="11" /> - - - @@ -76,12 +64,6 @@ gap="11" /> - - - @@ -100,12 +82,6 @@ gap="11" /> - - - \ No newline at end of file diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml index 86dd1656c..2b9b1951b 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.RichIterable.xml @@ -1892,12 +1892,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - > @@ -2836,12 +2830,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -2876,12 +2864,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -2913,12 +2895,6 @@ - - - @@ -2957,12 +2933,6 @@ - - - diff --git a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml index 1ac68cfc7..dccce0264 100644 --- a/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml +++ b/soot-infoflow-summaries/summariesManual/org.eclipse.collections.api.list.MutableList.xml @@ -24,12 +24,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -63,12 +57,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -102,12 +90,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -141,12 +123,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -180,12 +156,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -219,12 +189,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -258,12 +222,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -297,12 +255,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -336,12 +288,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - @@ -375,12 +321,6 @@ AccessPathTypes="[java.lang.Object[]]" /> - - - \ No newline at end of file