hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 17:23:36 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
revert-extractor-cleanup
codeql/java/ql/lib/ext/generated/java.io.model.yml

462 lines
48 KiB
YAML
Raw Permalink Blame History

# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["java.io", "BufferedOutputStream", True, "BufferedOutputStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.io", "BufferedOutputStream", True, "BufferedOutputStream", "(OutputStream,int)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.io", "BufferedWriter", True, "BufferedWriter", "(Writer)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "BufferedWriter", True, "BufferedWriter", "(Writer,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "ByteArrayOutputStream", True, "writeBytes", "(byte[])", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.io", "CharArrayWriter", True, "writeTo", "(Writer)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.io", "CharConversionException", True, "CharConversionException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "Console", False, "format", "(String,Object[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.io", "Console", False, "printf", "(String,Object[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.io", "Console", False, "readLine", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "Console", False, "readLine", "(String,Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "Console", False, "readLine", "(String,Object[])", "", "Argument[1].ArrayElement", "Argument[this]", "taint", "df-generated"]
- ["java.io", "Console", False, "readLine", "(String,Object[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "Console", False, "readPassword", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "Console", False, "readPassword", "(String,Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "Console", False, "readPassword", "(String,Object[])", "", "Argument[1].ArrayElement", "Argument[this]", "taint", "df-generated"]
- ["java.io", "Console", False, "readPassword", "(String,Object[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "Console", False, "reader", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "Console", False, "writer", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "DataInputStream", True, "readUTF", "(DataInput)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "DataOutput", True, "write", "(byte[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "DataOutput", True, "write", "(byte[],int,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "DataOutput", True, "writeBytes", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "DataOutput", True, "writeChars", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "DataOutput", True, "writeUTF", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "DataOutputStream", True, "DataOutputStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.io", "EOFException", True, "EOFException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "Externalizable", True, "readExternal", "(ObjectInput)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "Externalizable", True, "writeExternal", "(ObjectOutput)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.io", "File", True, "createTempFile", "(String,String)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["java.io", "File", True, "createTempFile", "(String,String)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
- ["java.io", "File", True, "createTempFile", "(String,String,File)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["java.io", "File", True, "createTempFile", "(String,String,File)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
- ["java.io", "File", True, "createTempFile", "(String,String,File)", "", "Argument[2]", "ReturnValue", "taint", "dfc-generated"]
- ["java.io", "FileInputStream", True, "getChannel", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "FileInputStream", True, "getFD", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "FileNotFoundException", True, "FileNotFoundException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "FileOutputStream", True, "FileOutputStream", "(File)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "FileOutputStream", True, "FileOutputStream", "(File,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "FileOutputStream", True, "FileOutputStream", "(FileDescriptor)", "", "Argument[0]", "Argument[this].SyntheticField[java.io.FileOutputStream.fd]", "value", "dfc-generated"]
- ["java.io", "FileOutputStream", True, "FileOutputStream", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "FileOutputStream", True, "FileOutputStream", "(String,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "FileOutputStream", True, "getChannel", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "FileOutputStream", True, "getFD", "()", "", "Argument[this].SyntheticField[java.io.FileOutputStream.fd]", "ReturnValue", "value", "dfc-generated"]
- ["java.io", "FilePermission", False, "FilePermission", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.io", "FileWriter", True, "FileWriter", "(File)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "FileWriter", True, "FileWriter", "(File,Charset)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "FileWriter", True, "FileWriter", "(File,Charset,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "FileWriter", True, "FileWriter", "(File,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "FileWriter", True, "FileWriter", "(FileDescriptor)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "FileWriter", True, "FileWriter", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "FileWriter", True, "FileWriter", "(String,Charset)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "FileWriter", True, "FileWriter", "(String,Charset,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "FileWriter", True, "FileWriter", "(String,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "IOError", True, "IOError", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "IOException", True, "IOException", "(String,Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "IOException", True, "IOException", "(String,Throwable)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "IOException", True, "IOException", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "InterruptedIOException", True, "InterruptedIOException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "InvalidClassException", True, "InvalidClassException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "InvalidClassException", True, "InvalidClassException", "(String,String)", "", "Argument[0]", "Argument[this].Field[java.io.InvalidClassException.classname]", "value", "dfc-generated"]
- ["java.io", "InvalidObjectException", True, "InvalidObjectException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "LineNumberInputStream", True, "LineNumberInputStream", "(InputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "LineNumberReader", True, "LineNumberReader", "(Reader)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.io", "LineNumberReader", True, "LineNumberReader", "(Reader,int)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.io", "NotActiveException", True, "NotActiveException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "NotSerializableException", True, "NotSerializableException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "ObjectInputFilter$Config", False, "createFilter", "(String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "ObjectInputFilter", True, "allowFilter", "(Predicate,ObjectInputFilter$Status)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "ObjectInputFilter", True, "merge", "(ObjectInputFilter,ObjectInputFilter)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
- ["java.io", "ObjectInputFilter", True, "rejectFilter", "(Predicate,ObjectInputFilter$Status)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "ObjectInputFilter", True, "rejectUndecidedClass", "(ObjectInputFilter)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "ObjectInputStream$GetField", True, "get", "(String,Object)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
- ["java.io", "ObjectInputStream$GetField", True, "getObjectStreamClass", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "ObjectInputStream", True, "getObjectInputFilter", "()", "", "Argument[this].SyntheticField[java.io.ObjectInputStream.serialFilter]", "ReturnValue", "value", "dfc-generated"]
- ["java.io", "ObjectInputStream", True, "readFields", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "ObjectInputStream", True, "readUnshared", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "ObjectInputStream", True, "setObjectInputFilter", "(ObjectInputFilter)", "", "Argument[0]", "Argument[this].SyntheticField[java.io.ObjectInputStream.serialFilter]", "value", "dfc-generated"]
- ["java.io", "ObjectOutput", True, "writeObject", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "ObjectOutputStream$PutField", True, "put", "(String,Object)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "ObjectOutputStream$PutField", True, "write", "(ObjectOutput)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.io", "ObjectOutputStream", True, "ObjectOutputStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "ObjectOutputStream", True, "putFields", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "ObjectOutputStream", True, "writeUnshared", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "ObjectStreamClass", True, "getField", "(String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "ObjectStreamClass", True, "getFields", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "ObjectStreamClass", True, "getName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "ObjectStreamField", True, "ObjectStreamField", "(String,Class)", "", "Argument[0]", "Argument[this].SyntheticField[java.io.ObjectStreamField.name]", "value", "dfc-generated"]
- ["java.io", "ObjectStreamField", True, "ObjectStreamField", "(String,Class,boolean)", "", "Argument[0]", "Argument[this].SyntheticField[java.io.ObjectStreamField.name]", "value", "dfc-generated"]
- ["java.io", "ObjectStreamField", True, "getName", "()", "", "Argument[this].SyntheticField[java.io.ObjectStreamField.name]", "ReturnValue", "value", "dfc-generated"]
- ["java.io", "ObjectStreamField", True, "getTypeString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "OutputStreamWriter", True, "OutputStreamWriter", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "OutputStreamWriter", True, "OutputStreamWriter", "(OutputStream,Charset)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "OutputStreamWriter", True, "OutputStreamWriter", "(OutputStream,CharsetEncoder)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "OutputStreamWriter", True, "OutputStreamWriter", "(OutputStream,CharsetEncoder)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "OutputStreamWriter", True, "OutputStreamWriter", "(OutputStream,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PipedInputStream", True, "PipedInputStream", "(PipedOutputStream)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.io", "PipedInputStream", True, "PipedInputStream", "(PipedOutputStream,int)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.io", "PipedInputStream", True, "connect", "(PipedOutputStream)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.io", "PipedOutputStream", True, "PipedOutputStream", "(PipedInputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PipedOutputStream", True, "connect", "(PipedInputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PipedReader", True, "PipedReader", "(PipedWriter)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.io", "PipedReader", True, "PipedReader", "(PipedWriter,int)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.io", "PipedReader", True, "connect", "(PipedWriter)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.io", "PipedWriter", True, "PipedWriter", "(PipedReader)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PipedWriter", True, "connect", "(PipedReader)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "PrintStream", "(File)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "PrintStream", "(File,Charset)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "PrintStream", "(File,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "PrintStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.io", "PrintStream", True, "PrintStream", "(OutputStream,boolean)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.io", "PrintStream", True, "PrintStream", "(OutputStream,boolean,Charset)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.io", "PrintStream", True, "PrintStream", "(OutputStream,boolean,String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.io", "PrintStream", True, "PrintStream", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "PrintStream", "(String,Charset)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "PrintStream", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "format", "(Locale,String,Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "format", "(Locale,String,Object[])", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "format", "(Locale,String,Object[])", "", "Argument[2].ArrayElement", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "format", "(Locale,String,Object[])", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
- ["java.io", "PrintStream", True, "format", "(String,Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "format", "(String,Object[])", "", "Argument[1].ArrayElement", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "format", "(String,Object[])", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
- ["java.io", "PrintStream", True, "print", "(char[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "printf", "(Locale,String,Object[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.io", "PrintStream", True, "printf", "(String,Object[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.io", "PrintStream", True, "println", "(char[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintStream", True, "writeBytes", "(byte[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintWriter", True, "PrintWriter", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintWriter", True, "PrintWriter", "(OutputStream,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintWriter", True, "PrintWriter", "(OutputStream,boolean,Charset)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintWriter", True, "PrintWriter", "(Writer)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintWriter", True, "PrintWriter", "(Writer,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintWriter", True, "format", "(Locale,String,Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintWriter", True, "format", "(Locale,String,Object[])", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintWriter", True, "format", "(Locale,String,Object[])", "", "Argument[2].ArrayElement", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintWriter", True, "format", "(Locale,String,Object[])", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
- ["java.io", "PrintWriter", True, "format", "(String,Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintWriter", True, "format", "(String,Object[])", "", "Argument[1].ArrayElement", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintWriter", True, "format", "(String,Object[])", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
- ["java.io", "PrintWriter", True, "print", "(char[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PrintWriter", True, "printf", "(Locale,String,Object[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.io", "PrintWriter", True, "printf", "(String,Object[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.io", "PrintWriter", True, "println", "(char[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PushbackInputStream", True, "PushbackInputStream", "(InputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PushbackInputStream", True, "PushbackInputStream", "(InputStream,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PushbackInputStream", True, "unread", "(byte[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PushbackInputStream", True, "unread", "(byte[],int,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PushbackReader", True, "PushbackReader", "(Reader)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PushbackReader", True, "PushbackReader", "(Reader,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PushbackReader", True, "unread", "(char[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "PushbackReader", True, "unread", "(char[],int,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "RandomAccessFile", True, "RandomAccessFile", "(File,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "RandomAccessFile", True, "RandomAccessFile", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "RandomAccessFile", True, "getChannel", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "RandomAccessFile", True, "getFD", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "Reader", True, "transferTo", "(Writer)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.io", "SequenceInputStream", True, "SequenceInputStream", "(Enumeration)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
- ["java.io", "SequenceInputStream", True, "SequenceInputStream", "(InputStream,InputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "SequenceInputStream", True, "SequenceInputStream", "(InputStream,InputStream)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "SerializablePermission", False, "SerializablePermission", "(String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.io", "SerializablePermission", False, "SerializablePermission", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.io", "StreamCorruptedException", True, "StreamCorruptedException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "StreamTokenizer", True, "StreamTokenizer", "(InputStream)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "StreamTokenizer", True, "StreamTokenizer", "(Reader)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "StringBufferInputStream", True, "StringBufferInputStream", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "StringWriter", True, "getBuffer", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.io", "SyncFailedException", True, "SyncFailedException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "UTFDataFormatException", True, "UTFDataFormatException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "UncheckedIOException", True, "UncheckedIOException", "(String,IOException)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "UncheckedIOException", True, "UncheckedIOException", "(String,IOException)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "UnsupportedEncodingException", True, "UnsupportedEncodingException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.io", "WriteAbortedException", True, "WriteAbortedException", "(String,Exception)", "", "Argument[1]", "Argument[this].Field[java.io.WriteAbortedException.detail]", "value", "dfc-generated"]
- addsTo:
pack: codeql/java-all
extensible: neutralModel
data:
- ["java.io", "BufferedInputStream", "available", "()", "summary", "df-generated"]
- ["java.io", "BufferedInputStream", "mark", "(int)", "summary", "df-generated"]
- ["java.io", "BufferedInputStream", "markSupported", "()", "summary", "df-generated"]
- ["java.io", "BufferedInputStream", "reset", "()", "summary", "df-generated"]
- ["java.io", "BufferedInputStream", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "BufferedReader", "lines", "()", "summary", "df-generated"]
- ["java.io", "BufferedReader", "mark", "(int)", "summary", "df-generated"]
- ["java.io", "BufferedReader", "markSupported", "()", "summary", "df-generated"]
- ["java.io", "BufferedReader", "ready", "()", "summary", "df-generated"]
- ["java.io", "BufferedReader", "reset", "()", "summary", "df-generated"]
- ["java.io", "BufferedReader", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "BufferedWriter", "flush", "()", "summary", "df-generated"]
- ["java.io", "BufferedWriter", "newLine", "()", "summary", "df-generated"]
- ["java.io", "ByteArrayInputStream", "available", "()", "summary", "df-generated"]
- ["java.io", "ByteArrayInputStream", "mark", "(int)", "summary", "df-generated"]
- ["java.io", "ByteArrayInputStream", "markSupported", "()", "summary", "df-generated"]
- ["java.io", "ByteArrayInputStream", "reset", "()", "summary", "df-generated"]
- ["java.io", "ByteArrayInputStream", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "ByteArrayOutputStream", "ByteArrayOutputStream", "(int)", "summary", "df-generated"]
- ["java.io", "ByteArrayOutputStream", "reset", "()", "summary", "df-generated"]
- ["java.io", "ByteArrayOutputStream", "size", "()", "summary", "df-generated"]
- ["java.io", "CharArrayReader", "mark", "(int)", "summary", "df-generated"]
- ["java.io", "CharArrayReader", "markSupported", "()", "summary", "df-generated"]
- ["java.io", "CharArrayReader", "ready", "()", "summary", "df-generated"]
- ["java.io", "CharArrayReader", "reset", "()", "summary", "df-generated"]
- ["java.io", "CharArrayReader", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "CharArrayWriter", "CharArrayWriter", "(int)", "summary", "df-generated"]
- ["java.io", "CharArrayWriter", "flush", "()", "summary", "df-generated"]
- ["java.io", "CharArrayWriter", "reset", "()", "summary", "df-generated"]
- ["java.io", "CharArrayWriter", "size", "()", "summary", "df-generated"]
- ["java.io", "Console", "charset", "()", "summary", "df-generated"]
- ["java.io", "Console", "flush", "()", "summary", "df-generated"]
- ["java.io", "DataInputStream", "readBoolean", "()", "summary", "df-generated"]
- ["java.io", "DataInputStream", "readByte", "()", "summary", "df-generated"]
- ["java.io", "DataInputStream", "readChar", "()", "summary", "df-generated"]
- ["java.io", "DataInputStream", "readDouble", "()", "summary", "df-generated"]
- ["java.io", "DataInputStream", "readFloat", "()", "summary", "df-generated"]
- ["java.io", "DataInputStream", "readShort", "()", "summary", "df-generated"]
- ["java.io", "DataInputStream", "readUnsignedByte", "()", "summary", "df-generated"]
- ["java.io", "DataInputStream", "readUnsignedShort", "()", "summary", "df-generated"]
- ["java.io", "DataInputStream", "skipBytes", "(int)", "summary", "df-generated"]
- ["java.io", "DataOutputStream", "size", "()", "summary", "df-generated"]
- ["java.io", "DataOutputStream", "writeByte", "(int)", "summary", "df-generated"]
- ["java.io", "DataOutputStream", "writeChar", "(int)", "summary", "df-generated"]
- ["java.io", "DataOutputStream", "writeDouble", "(double)", "summary", "df-generated"]
- ["java.io", "DataOutputStream", "writeFloat", "(float)", "summary", "df-generated"]
- ["java.io", "DataOutputStream", "writeShort", "(int)", "summary", "df-generated"]
- ["java.io", "File", "canExecute", "()", "summary", "df-generated"]
- ["java.io", "File", "canRead", "()", "summary", "df-generated"]
- ["java.io", "File", "canWrite", "()", "summary", "df-generated"]
- ["java.io", "File", "createNewFile", "()", "summary", "df-generated"]
- ["java.io", "File", "deleteOnExit", "()", "summary", "df-generated"]
- ["java.io", "File", "getFreeSpace", "()", "summary", "df-generated"]
- ["java.io", "File", "getTotalSpace", "()", "summary", "df-generated"]
- ["java.io", "File", "getUsableSpace", "()", "summary", "df-generated"]
- ["java.io", "File", "isAbsolute", "()", "summary", "df-generated"]
- ["java.io", "File", "isHidden", "()", "summary", "df-generated"]
- ["java.io", "File", "lastModified", "()", "summary", "df-generated"]
- ["java.io", "File", "list", "()", "summary", "df-generated"]
- ["java.io", "File", "list", "(FilenameFilter)", "summary", "df-generated"]
- ["java.io", "File", "listRoots", "()", "summary", "df-generated"]
- ["java.io", "File", "mkdir", "()", "summary", "df-generated"]
- ["java.io", "File", "renameTo", "(File)", "summary", "df-generated"]
- ["java.io", "File", "setExecutable", "(boolean)", "summary", "df-generated"]
- ["java.io", "File", "setExecutable", "(boolean,boolean)", "summary", "df-generated"]
- ["java.io", "File", "setLastModified", "(long)", "summary", "df-generated"]
- ["java.io", "File", "setReadOnly", "()", "summary", "df-generated"]
- ["java.io", "File", "setReadable", "(boolean)", "summary", "df-generated"]
- ["java.io", "File", "setReadable", "(boolean,boolean)", "summary", "df-generated"]
- ["java.io", "File", "setWritable", "(boolean)", "summary", "df-generated"]
- ["java.io", "File", "setWritable", "(boolean,boolean)", "summary", "df-generated"]
- ["java.io", "FileDescriptor", "sync", "()", "summary", "df-generated"]
- ["java.io", "FileDescriptor", "valid", "()", "summary", "df-generated"]
- ["java.io", "FileInputStream", "available", "()", "summary", "df-generated"]
- ["java.io", "FileInputStream", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "FilePermission", "implies", "(Permission)", "summary", "df-generated"]
- ["java.io", "FilePermission", "newPermissionCollection", "()", "summary", "df-generated"]
- ["java.io", "FilterInputStream", "available", "()", "summary", "df-generated"]
- ["java.io", "FilterInputStream", "mark", "(int)", "summary", "df-generated"]
- ["java.io", "FilterInputStream", "markSupported", "()", "summary", "df-generated"]
- ["java.io", "FilterInputStream", "reset", "()", "summary", "df-generated"]
- ["java.io", "FilterInputStream", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "FilterReader", "mark", "(int)", "summary", "df-generated"]
- ["java.io", "FilterReader", "markSupported", "()", "summary", "df-generated"]
- ["java.io", "FilterReader", "ready", "()", "summary", "df-generated"]
- ["java.io", "FilterReader", "reset", "()", "summary", "df-generated"]
- ["java.io", "FilterReader", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "FilterWriter", "flush", "()", "summary", "df-generated"]
- ["java.io", "InputStream", "available", "()", "summary", "df-generated"]
- ["java.io", "InputStream", "mark", "(int)", "summary", "df-generated"]
- ["java.io", "InputStream", "markSupported", "()", "summary", "df-generated"]
- ["java.io", "InputStream", "nullInputStream", "()", "summary", "df-generated"]
- ["java.io", "InputStream", "reset", "()", "summary", "df-generated"]
- ["java.io", "InputStream", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "InputStream", "skipNBytes", "(long)", "summary", "df-generated"]
- ["java.io", "InputStreamReader", "getEncoding", "()", "summary", "df-generated"]
- ["java.io", "InputStreamReader", "ready", "()", "summary", "df-generated"]
- ["java.io", "LineNumberInputStream", "available", "()", "summary", "df-generated"]
- ["java.io", "LineNumberInputStream", "getLineNumber", "()", "summary", "df-generated"]
- ["java.io", "LineNumberInputStream", "mark", "(int)", "summary", "df-generated"]
- ["java.io", "LineNumberInputStream", "reset", "()", "summary", "df-generated"]
- ["java.io", "LineNumberInputStream", "setLineNumber", "(int)", "summary", "df-generated"]
- ["java.io", "LineNumberInputStream", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "LineNumberReader", "getLineNumber", "()", "summary", "df-generated"]
- ["java.io", "LineNumberReader", "mark", "(int)", "summary", "df-generated"]
- ["java.io", "LineNumberReader", "reset", "()", "summary", "df-generated"]
- ["java.io", "LineNumberReader", "setLineNumber", "(int)", "summary", "df-generated"]
- ["java.io", "LineNumberReader", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "ObjectInputFilter$Config", "getSerialFilter", "()", "summary", "df-generated"]
- ["java.io", "ObjectInputFilter$Config", "getSerialFilterFactory", "()", "summary", "df-generated"]
- ["java.io", "ObjectInputFilter$Config", "setSerialFilter", "(ObjectInputFilter)", "summary", "df-generated"]
- ["java.io", "ObjectInputFilter$Config", "setSerialFilterFactory", "(BinaryOperator)", "summary", "df-generated"]
- ["java.io", "ObjectInputStream$GetField", "defaulted", "(String)", "summary", "df-generated"]
- ["java.io", "ObjectInputStream$GetField", "get", "(String,boolean)", "summary", "df-generated"]
- ["java.io", "ObjectInputStream$GetField", "get", "(String,byte)", "summary", "df-generated"]
- ["java.io", "ObjectInputStream$GetField", "get", "(String,char)", "summary", "df-generated"]
- ["java.io", "ObjectInputStream$GetField", "get", "(String,double)", "summary", "df-generated"]
- ["java.io", "ObjectInputStream$GetField", "get", "(String,float)", "summary", "df-generated"]
- ["java.io", "ObjectInputStream$GetField", "get", "(String,int)", "summary", "df-generated"]
- ["java.io", "ObjectInputStream$GetField", "get", "(String,long)", "summary", "df-generated"]
- ["java.io", "ObjectInputStream$GetField", "get", "(String,short)", "summary", "df-generated"]
- ["java.io", "ObjectInputStream", "available", "()", "summary", "df-generated"]
- ["java.io", "ObjectInputStream", "defaultReadObject", "()", "summary", "df-generated"]
- ["java.io", "ObjectInputStream", "readBoolean", "()", "summary", "df-generated"]
- ["java.io", "ObjectInputStream", "readByte", "()", "summary", "df-generated"]
- ["java.io", "ObjectInputStream", "readChar", "()", "summary", "df-generated"]
- ["java.io", "ObjectInputStream", "readDouble", "()", "summary", "df-generated"]
- ["java.io", "ObjectInputStream", "readFloat", "()", "summary", "df-generated"]
- ["java.io", "ObjectInputStream", "readShort", "()", "summary", "df-generated"]
- ["java.io", "ObjectInputStream", "readUnsignedByte", "()", "summary", "df-generated"]
- ["java.io", "ObjectInputStream", "readUnsignedShort", "()", "summary", "df-generated"]
- ["java.io", "ObjectInputStream", "registerValidation", "(ObjectInputValidation,int)", "summary", "df-generated"]
- ["java.io", "ObjectInputStream", "skipBytes", "(int)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream$PutField", "put", "(String,boolean)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream$PutField", "put", "(String,byte)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream$PutField", "put", "(String,char)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream$PutField", "put", "(String,double)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream$PutField", "put", "(String,float)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream$PutField", "put", "(String,int)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream$PutField", "put", "(String,long)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream$PutField", "put", "(String,short)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream", "defaultWriteObject", "()", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream", "reset", "()", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream", "useProtocolVersion", "(int)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream", "writeByte", "(int)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream", "writeChar", "(int)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream", "writeDouble", "(double)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream", "writeFields", "()", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream", "writeFloat", "(float)", "summary", "df-generated"]
- ["java.io", "ObjectOutputStream", "writeShort", "(int)", "summary", "df-generated"]
- ["java.io", "ObjectStreamClass", "forClass", "()", "summary", "df-generated"]
- ["java.io", "ObjectStreamClass", "getSerialVersionUID", "()", "summary", "df-generated"]
- ["java.io", "ObjectStreamClass", "lookup", "(Class)", "summary", "df-generated"]
- ["java.io", "ObjectStreamClass", "lookupAny", "(Class)", "summary", "df-generated"]
- ["java.io", "ObjectStreamField", "getOffset", "()", "summary", "df-generated"]
- ["java.io", "ObjectStreamField", "getType", "()", "summary", "df-generated"]
- ["java.io", "ObjectStreamField", "getTypeCode", "()", "summary", "df-generated"]
- ["java.io", "ObjectStreamField", "isPrimitive", "()", "summary", "df-generated"]
- ["java.io", "ObjectStreamField", "isUnshared", "()", "summary", "df-generated"]
- ["java.io", "OutputStream", "nullOutputStream", "()", "summary", "df-generated"]
- ["java.io", "OutputStreamWriter", "flush", "()", "summary", "df-generated"]
- ["java.io", "OutputStreamWriter", "getEncoding", "()", "summary", "df-generated"]
- ["java.io", "PipedInputStream", "PipedInputStream", "(int)", "summary", "df-generated"]
- ["java.io", "PipedInputStream", "available", "()", "summary", "df-generated"]
- ["java.io", "PipedReader", "PipedReader", "(int)", "summary", "df-generated"]
- ["java.io", "PipedReader", "ready", "()", "summary", "df-generated"]
- ["java.io", "PipedWriter", "flush", "()", "summary", "df-generated"]
- ["java.io", "PrintStream", "checkError", "()", "summary", "df-generated"]
- ["java.io", "PrintStream", "print", "(Object)", "summary", "df-generated"]
- ["java.io", "PrintStream", "print", "(String)", "summary", "df-generated"]
- ["java.io", "PrintStream", "print", "(boolean)", "summary", "df-generated"]
- ["java.io", "PrintStream", "print", "(char)", "summary", "df-generated"]
- ["java.io", "PrintStream", "print", "(double)", "summary", "df-generated"]
- ["java.io", "PrintStream", "print", "(float)", "summary", "df-generated"]
- ["java.io", "PrintStream", "print", "(int)", "summary", "df-generated"]
- ["java.io", "PrintStream", "print", "(long)", "summary", "df-generated"]
- ["java.io", "PrintStream", "println", "()", "summary", "df-generated"]
- ["java.io", "PrintStream", "println", "(Object)", "summary", "df-generated"]
- ["java.io", "PrintStream", "println", "(String)", "summary", "df-generated"]
- ["java.io", "PrintStream", "println", "(boolean)", "summary", "df-generated"]
- ["java.io", "PrintStream", "println", "(char)", "summary", "df-generated"]
- ["java.io", "PrintStream", "println", "(double)", "summary", "df-generated"]
- ["java.io", "PrintStream", "println", "(float)", "summary", "df-generated"]
- ["java.io", "PrintStream", "println", "(int)", "summary", "df-generated"]
- ["java.io", "PrintStream", "println", "(long)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "PrintWriter", "(File)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "PrintWriter", "(File,Charset)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "PrintWriter", "(File,String)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "PrintWriter", "(String)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "PrintWriter", "(String,Charset)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "PrintWriter", "(String,String)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "checkError", "()", "summary", "df-generated"]
- ["java.io", "PrintWriter", "flush", "()", "summary", "df-generated"]
- ["java.io", "PrintWriter", "print", "(Object)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "print", "(String)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "print", "(boolean)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "print", "(char)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "print", "(double)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "print", "(float)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "print", "(int)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "print", "(long)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "println", "()", "summary", "df-generated"]
- ["java.io", "PrintWriter", "println", "(Object)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "println", "(String)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "println", "(boolean)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "println", "(char)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "println", "(double)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "println", "(float)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "println", "(int)", "summary", "df-generated"]
- ["java.io", "PrintWriter", "println", "(long)", "summary", "df-generated"]
- ["java.io", "PushbackInputStream", "available", "()", "summary", "df-generated"]
- ["java.io", "PushbackInputStream", "mark", "(int)", "summary", "df-generated"]
- ["java.io", "PushbackInputStream", "markSupported", "()", "summary", "df-generated"]
- ["java.io", "PushbackInputStream", "reset", "()", "summary", "df-generated"]
- ["java.io", "PushbackInputStream", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "PushbackInputStream", "unread", "(int)", "summary", "df-generated"]
- ["java.io", "PushbackReader", "mark", "(int)", "summary", "df-generated"]
- ["java.io", "PushbackReader", "markSupported", "()", "summary", "df-generated"]
- ["java.io", "PushbackReader", "ready", "()", "summary", "df-generated"]
- ["java.io", "PushbackReader", "reset", "()", "summary", "df-generated"]
- ["java.io", "PushbackReader", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "PushbackReader", "unread", "(int)", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "getFilePointer", "()", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "length", "()", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "read", "()", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "read", "(byte[])", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "read", "(byte[],int,int)", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "readBoolean", "()", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "readByte", "()", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "readChar", "()", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "readDouble", "()", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "readFloat", "()", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "readShort", "()", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "readUnsignedByte", "()", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "readUnsignedShort", "()", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "seek", "(long)", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "setLength", "(long)", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "skipBytes", "(int)", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "write", "(int)", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "writeByte", "(int)", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "writeChar", "(int)", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "writeDouble", "(double)", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "writeFloat", "(float)", "summary", "df-generated"]
- ["java.io", "RandomAccessFile", "writeShort", "(int)", "summary", "df-generated"]
- ["java.io", "Reader", "mark", "(int)", "summary", "df-generated"]
- ["java.io", "Reader", "markSupported", "()", "summary", "df-generated"]
- ["java.io", "Reader", "nullReader", "()", "summary", "df-generated"]
- ["java.io", "Reader", "ready", "()", "summary", "df-generated"]
- ["java.io", "Reader", "reset", "()", "summary", "df-generated"]
- ["java.io", "Reader", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "SequenceInputStream", "available", "()", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "commentChar", "(int)", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "eolIsSignificant", "(boolean)", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "lineno", "()", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "lowerCaseMode", "(boolean)", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "nextToken", "()", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "ordinaryChar", "(int)", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "ordinaryChars", "(int,int)", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "parseNumbers", "()", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "pushBack", "()", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "quoteChar", "(int)", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "resetSyntax", "()", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "slashSlashComments", "(boolean)", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "slashStarComments", "(boolean)", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "whitespaceChars", "(int,int)", "summary", "df-generated"]
- ["java.io", "StreamTokenizer", "wordChars", "(int,int)", "summary", "df-generated"]
- ["java.io", "StringBufferInputStream", "available", "()", "summary", "df-generated"]
- ["java.io", "StringBufferInputStream", "reset", "()", "summary", "df-generated"]
- ["java.io", "StringBufferInputStream", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "StringReader", "mark", "(int)", "summary", "df-generated"]
- ["java.io", "StringReader", "markSupported", "()", "summary", "df-generated"]
- ["java.io", "StringReader", "ready", "()", "summary", "df-generated"]
- ["java.io", "StringReader", "reset", "()", "summary", "df-generated"]
- ["java.io", "StringReader", "skip", "(long)", "summary", "df-generated"]
- ["java.io", "StringWriter", "StringWriter", "(int)", "summary", "df-generated"]
- ["java.io", "StringWriter", "flush", "()", "summary", "df-generated"]
- ["java.io", "Writer", "flush", "()", "summary", "df-generated"]
- ["java.io", "Writer", "nullWriter", "()", "summary", "df-generated"]
Reference in New Issue View Git Blame Copy Permalink