mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
68 lines
7.9 KiB
YAML
68 lines
7.9 KiB
YAML
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
|
|
extensions:
|
|
- addsTo:
|
|
pack: codeql/java-all
|
|
extensible: summaryModel
|
|
data:
|
|
- ["java.util.prefs", "AbstractPreferences", True, "keys", "()", "", "Argument[this].SyntheticField[java.util.prefs.FileSystemPreferences.prefsCache].MapKey", "ReturnValue.ArrayElement", "value", "dfc-generated"]
|
|
- ["java.util.prefs", "AbstractPreferences", True, "putLong", "(String,long)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.prefs.FileSystemPreferences.prefsCache].MapKey", "value", "dfc-generated"]
|
|
- ["java.util.prefs", "BackingStoreException", True, "BackingStoreException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["java.util.prefs", "BackingStoreException", True, "BackingStoreException", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["java.util.prefs", "InvalidPreferencesFormatException", True, "InvalidPreferencesFormatException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["java.util.prefs", "InvalidPreferencesFormatException", True, "InvalidPreferencesFormatException", "(String,Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["java.util.prefs", "InvalidPreferencesFormatException", True, "InvalidPreferencesFormatException", "(String,Throwable)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
|
|
- ["java.util.prefs", "InvalidPreferencesFormatException", True, "InvalidPreferencesFormatException", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["java.util.prefs", "NodeChangeEvent", True, "NodeChangeEvent", "(Preferences,Preferences)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.EventObject.source]", "value", "dfc-generated"]
|
|
- ["java.util.prefs", "NodeChangeEvent", True, "NodeChangeEvent", "(Preferences,Preferences)", "", "Argument[1]", "Argument[this].SyntheticField[java.util.prefs.NodeChangeEvent.child]", "value", "dfc-generated"]
|
|
- ["java.util.prefs", "NodeChangeEvent", True, "getChild", "()", "", "Argument[this].SyntheticField[java.util.prefs.NodeChangeEvent.child]", "ReturnValue", "value", "dfc-generated"]
|
|
- ["java.util.prefs", "NodeChangeEvent", True, "getParent", "()", "", "Argument[this].SyntheticField[java.util.EventObject.source]", "ReturnValue", "value", "dfc-generated"]
|
|
- ["java.util.prefs", "PreferenceChangeEvent", True, "PreferenceChangeEvent", "(Preferences,String,String)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.EventObject.source]", "value", "dfc-generated"]
|
|
- ["java.util.prefs", "PreferenceChangeEvent", True, "PreferenceChangeEvent", "(Preferences,String,String)", "", "Argument[1]", "Argument[this].SyntheticField[java.util.prefs.PreferenceChangeEvent.key]", "value", "dfc-generated"]
|
|
- ["java.util.prefs", "PreferenceChangeEvent", True, "PreferenceChangeEvent", "(Preferences,String,String)", "", "Argument[2]", "Argument[this].SyntheticField[java.util.prefs.PreferenceChangeEvent.newValue]", "value", "dfc-generated"]
|
|
- ["java.util.prefs", "PreferenceChangeEvent", True, "getKey", "()", "", "Argument[this].SyntheticField[java.util.prefs.PreferenceChangeEvent.key]", "ReturnValue", "value", "dfc-generated"]
|
|
- ["java.util.prefs", "PreferenceChangeEvent", True, "getNewValue", "()", "", "Argument[this].SyntheticField[java.util.prefs.PreferenceChangeEvent.newValue]", "ReturnValue", "value", "dfc-generated"]
|
|
- ["java.util.prefs", "PreferenceChangeEvent", True, "getNode", "()", "", "Argument[this].SyntheticField[java.util.EventObject.source]", "ReturnValue", "value", "dfc-generated"]
|
|
- ["java.util.prefs", "Preferences", True, "absolutePath", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", True, "addNodeChangeListener", "(NodeChangeListener)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", True, "addPreferenceChangeListener", "(PreferenceChangeListener)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", True, "childrenNames", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", True, "name", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", True, "node", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", True, "node", "(String)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", True, "parent", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- addsTo:
|
|
pack: codeql/java-all
|
|
extensible: neutralModel
|
|
data:
|
|
- ["java.util.prefs", "AbstractPreferences", "clear", "()", "summary", "df-generated"]
|
|
- ["java.util.prefs", "AbstractPreferences", "exportNode", "(OutputStream)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "AbstractPreferences", "exportSubtree", "(OutputStream)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "AbstractPreferences", "flush", "()", "summary", "df-generated"]
|
|
- ["java.util.prefs", "AbstractPreferences", "getLong", "(String,long)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "AbstractPreferences", "isUserNode", "()", "summary", "df-generated"]
|
|
- ["java.util.prefs", "AbstractPreferences", "nodeExists", "(String)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "AbstractPreferences", "remove", "(String)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "AbstractPreferences", "removeNode", "()", "summary", "df-generated"]
|
|
- ["java.util.prefs", "AbstractPreferences", "removeNodeChangeListener", "(NodeChangeListener)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "AbstractPreferences", "removePreferenceChangeListener", "(PreferenceChangeListener)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "AbstractPreferences", "sync", "()", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "clear", "()", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "exportNode", "(OutputStream)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "exportSubtree", "(OutputStream)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "flush", "()", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "getLong", "(String,long)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "importPreferences", "(InputStream)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "isUserNode", "()", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "keys", "()", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "nodeExists", "(String)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "putLong", "(String,long)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "remove", "(String)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "removeNode", "()", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "removeNodeChangeListener", "(NodeChangeListener)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "removePreferenceChangeListener", "(PreferenceChangeListener)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "sync", "()", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "systemNodeForPackage", "(Class)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "systemRoot", "()", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "userNodeForPackage", "(Class)", "summary", "df-generated"]
|
|
- ["java.util.prefs", "Preferences", "userRoot", "()", "summary", "df-generated"]
|