Java: Update models.

This commit is contained in:
Anders Schack-Mulligen
2023-08-23 13:19:54 +02:00
parent 4b0a1cf74b
commit 6c02e30f56
23 changed files with 349 additions and 349 deletions

View File

@@ -3,12 +3,12 @@ extensions:
pack: codeql/java-all
extensible: summaryModel
data:
- ["java.util", "AbstractMap$SimpleEntry", False, "SimpleEntry", "(Entry)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"]
- ["java.util", "AbstractMap$SimpleEntry", False, "SimpleEntry", "(Entry)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"]
- ["java.util", "AbstractMap$SimpleEntry", False, "SimpleEntry", "(Map$Entry)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"]
- ["java.util", "AbstractMap$SimpleEntry", False, "SimpleEntry", "(Map$Entry)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"]
- ["java.util", "AbstractMap$SimpleEntry", False, "SimpleEntry", "(Object,Object)", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"]
- ["java.util", "AbstractMap$SimpleEntry", False, "SimpleEntry", "(Object,Object)", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"]
- ["java.util", "AbstractMap$SimpleImmutableEntry", False, "SimpleImmutableEntry", "(Entry)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"]
- ["java.util", "AbstractMap$SimpleImmutableEntry", False, "SimpleImmutableEntry", "(Entry)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"]
- ["java.util", "AbstractMap$SimpleImmutableEntry", False, "SimpleImmutableEntry", "(Map$Entry)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "manual"]
- ["java.util", "AbstractMap$SimpleImmutableEntry", False, "SimpleImmutableEntry", "(Map$Entry)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "manual"]
- ["java.util", "AbstractMap$SimpleImmutableEntry", False, "SimpleImmutableEntry", "(Object,Object)", "", "Argument[0]", "Argument[this].MapKey", "value", "manual"]
- ["java.util", "AbstractMap$SimpleImmutableEntry", False, "SimpleImmutableEntry", "(Object,Object)", "", "Argument[1]", "Argument[this].MapValue", "value", "manual"]
- ["java.util", "ArrayDeque", False, "ArrayDeque", "(Collection)", "", "Argument[0].Element", "Argument[this].Element", "value", "manual"]