mirror of
https://github.com/github/codeql.git
synced 2026-04-19 05:54:00 +02:00
f03a56f7e0
The command line was: python3 /Users/owen-mc/workspace/codeql-home/codeql/java/ql/src/utils/modelgenerator/GenerateFlowModel.py /Users/owen-mc/db/java/openjdk17 --with-summaries --with-neutrals
97 lines
9.5 KiB
YAML
97 lines
9.5 KiB
YAML
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
|
|
extensions:
|
|
- addsTo:
|
|
pack: codeql/java-all
|
|
extensible: summaryModel
|
|
data:
|
|
- ["javax.sound.midi", "Instrument", True, "getPatch", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "InvalidMidiDataException", True, "InvalidMidiDataException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MetaMessage", True, "MetaMessage", "(int,byte[],int)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MetaMessage", True, "getData", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MetaMessage", True, "setMessage", "(int,byte[],int)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiDevice$Info", True, "getDescription", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiDevice$Info", True, "getName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiDevice$Info", True, "getVendor", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiDevice$Info", True, "getVersion", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiEvent", True, "MidiEvent", "(MidiMessage,long)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiEvent", True, "getMessage", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiFileFormat", True, "MidiFileFormat", "(int,float,int,int,long,Map)", "", "Argument[5].Element", "Argument[this]", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiFileFormat", True, "getProperty", "(String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiFileFormat", True, "properties", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiMessage", True, "getMessage", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiMessage", True, "setMessage", "(byte[],int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", True, "getMidiDevice", "(MidiDevice$Info)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", True, "getSoundbank", "(File)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", True, "getSoundbank", "(InputStream)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "MidiUnavailableException", True, "MidiUnavailableException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "Sequence", True, "getTracks", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "SoundbankResource", True, "getName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "SoundbankResource", True, "getSoundbank", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "SysexMessage", True, "SysexMessage", "(byte[],int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "SysexMessage", True, "SysexMessage", "(int,byte[],int)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "SysexMessage", True, "getData", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "SysexMessage", True, "setMessage", "(int,byte[],int)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "Track", True, "add", "(MidiEvent)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
|
|
- ["javax.sound.midi", "Track", True, "get", "(int)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- addsTo:
|
|
pack: codeql/java-all
|
|
extensible: neutralModel
|
|
data:
|
|
- ["javax.sound.midi", "MetaMessage", "getType", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiEvent", "getTick", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiEvent", "setTick", "(long)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiFileFormat", "MidiFileFormat", "(int,float,int,int,long)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiFileFormat", "getByteLength", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiFileFormat", "getDivisionType", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiFileFormat", "getMicrosecondLength", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiFileFormat", "getResolution", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiFileFormat", "getType", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiMessage", "getLength", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiMessage", "getStatus", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getMidiDeviceInfo", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getMidiFileFormat", "(File)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getMidiFileFormat", "(InputStream)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getMidiFileFormat", "(URL)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getMidiFileTypes", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getMidiFileTypes", "(Sequence)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getReceiver", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getSequence", "(File)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getSequence", "(InputStream)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getSequence", "(URL)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getSequencer", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getSequencer", "(boolean)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getSoundbank", "(URL)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getSynthesizer", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "getTransmitter", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "isFileTypeSupported", "(int)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "isFileTypeSupported", "(int,Sequence)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "write", "(Sequence,int,File)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "MidiSystem", "write", "(Sequence,int,OutputStream)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Patch", "Patch", "(int,int)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Patch", "getBank", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Patch", "getProgram", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Sequence", "Sequence", "(float,int)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Sequence", "Sequence", "(float,int,int)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Sequence", "createTrack", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Sequence", "deleteTrack", "(Track)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Sequence", "getDivisionType", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Sequence", "getMicrosecondLength", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Sequence", "getPatchList", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Sequence", "getResolution", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Sequence", "getTickLength", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "ShortMessage", "ShortMessage", "(int)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "ShortMessage", "ShortMessage", "(int,int,int)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "ShortMessage", "ShortMessage", "(int,int,int,int)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "ShortMessage", "getChannel", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "ShortMessage", "getCommand", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "ShortMessage", "getData1", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "ShortMessage", "getData2", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "ShortMessage", "setMessage", "(int)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "ShortMessage", "setMessage", "(int,int,int)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "ShortMessage", "setMessage", "(int,int,int,int)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "SoundbankResource", "getData", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "SoundbankResource", "getDataClass", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Track", "remove", "(MidiEvent)", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Track", "size", "()", "summary", "df-generated"]
|
|
- ["javax.sound.midi", "Track", "ticks", "()", "summary", "df-generated"]
|