Java: Re-add generated (mixed) summaries and neutrals for the Java SDK 17.

2026-04-30 19:26:02 +02:00 · 2024-09-30 11:51:43 +02:00
parent f50734f0ee
commit 3b6f39931b
132 changed files with 15825 additions and 0 deletions
--- a/java/ql/lib/ext/generated/java.math.model.yml
+++ b/java/ql/lib/ext/generated/java.math.model.yml
@@ -0,0 +1,110 @@
+# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
+extensions:
+  - addsTo:
+      pack: codeql/java-all
+      extensible: summaryModel
+    data:
+      - ["java.math", "BigDecimal", True, "movePointLeft", "(int)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
+      - ["java.math", "BigDecimal", True, "movePointRight", "(int)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
+      - ["java.math", "BigDecimal", True, "plus", "()", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
+      - ["java.math", "BigDecimal", True, "plus", "(MathContext)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
+      - ["java.math", "BigDecimal", True, "setScale", "(int,int)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
+      - ["java.math", "BigInteger", True, "add", "(BigInteger)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
+      - ["java.math", "BigInteger", True, "shiftLeft", "(int)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
+      - ["java.math", "BigInteger", True, "shiftRight", "(int)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
+      - ["java.math", "BigInteger", True, "subtract", "(BigInteger)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
+  - addsTo:
+      pack: codeql/java-all
+      extensible: neutralModel
+    data:
+      - ["java.math", "BigDecimal", "abs", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "abs", "(MathContext)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "add", "(BigDecimal,MathContext)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "byteValueExact", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "divide", "(BigDecimal)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "divide", "(BigDecimal,MathContext)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "divide", "(BigDecimal,RoundingMode)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "divide", "(BigDecimal,int)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "divide", "(BigDecimal,int,RoundingMode)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "divide", "(BigDecimal,int,int)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "divideAndRemainder", "(BigDecimal)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "divideAndRemainder", "(BigDecimal,MathContext)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "divideToIntegralValue", "(BigDecimal)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "divideToIntegralValue", "(BigDecimal,MathContext)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "floatValue", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "intValueExact", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "longValueExact", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "max", "(BigDecimal)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "min", "(BigDecimal)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "multiply", "(BigDecimal,MathContext)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "negate", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "negate", "(MathContext)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "pow", "(int)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "pow", "(int,MathContext)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "precision", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "remainder", "(BigDecimal)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "remainder", "(BigDecimal,MathContext)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "round", "(MathContext)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "scale", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "scaleByPowerOfTen", "(int)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "setScale", "(int)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "shortValueExact", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "signum", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "sqrt", "(MathContext)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "stripTrailingZeros", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "subtract", "(BigDecimal,MathContext)", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "toBigIntegerExact", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "toEngineeringString", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "toPlainString", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "ulp", "()", "summary", "df-generated"]
+      - ["java.math", "BigDecimal", "unscaledValue", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "BigInteger", "(String,int)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "BigInteger", "(byte[])", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "BigInteger", "(byte[],int,int)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "BigInteger", "(int,Random)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "BigInteger", "(int,byte[])", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "BigInteger", "(int,byte[],int,int)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "BigInteger", "(int,int,Random)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "abs", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "and", "(BigInteger)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "andNot", "(BigInteger)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "bitCount", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "bitLength", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "byteValueExact", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "clearBit", "(int)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "divide", "(BigInteger)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "divideAndRemainder", "(BigInteger)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "flipBit", "(int)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "floatValue", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "gcd", "(BigInteger)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "getLowestSetBit", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "intValueExact", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "isProbablePrime", "(int)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "longValueExact", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "max", "(BigInteger)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "min", "(BigInteger)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "mod", "(BigInteger)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "modInverse", "(BigInteger)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "modPow", "(BigInteger,BigInteger)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "multiply", "(BigInteger)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "negate", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "nextProbablePrime", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "not", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "pow", "(int)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "probablePrime", "(int,Random)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "remainder", "(BigInteger)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "setBit", "(int)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "shortValueExact", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "signum", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "sqrt", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "sqrtAndRemainder", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "testBit", "(int)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "toByteArray", "()", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "toString", "(int)", "summary", "df-generated"]
+      - ["java.math", "BigInteger", "xor", "(BigInteger)", "summary", "df-generated"]
+      - ["java.math", "MathContext", "MathContext", "(String)", "summary", "df-generated"]
+      - ["java.math", "MathContext", "MathContext", "(int)", "summary", "df-generated"]
+      - ["java.math", "MathContext", "MathContext", "(int,RoundingMode)", "summary", "df-generated"]
+      - ["java.math", "MathContext", "getPrecision", "()", "summary", "df-generated"]
+      - ["java.math", "MathContext", "getRoundingMode", "()", "summary", "df-generated"]
+      - ["java.math", "RoundingMode", "valueOf", "(int)", "summary", "df-generated"]