cosmic-internal-jdk/dist/java/io.js

KingScript: JDK1.8

export const BufferedInputStream = $.type("java.io.BufferedInputStream");
export const BufferedOutputStream = $.type("java.io.BufferedOutputStream");
export const BufferedReader = $.type("java.io.BufferedReader");
export const BufferedWriter = $.type("java.io.BufferedWriter");
export const ByteArrayInputStream = $.type("java.io.ByteArrayInputStream");
export const ByteArrayOutputStream = $.type("java.io.ByteArrayOutputStream");
export const CharArrayReader = $.type("java.io.CharArrayReader");
export const CharArrayWriter = $.type("java.io.CharArrayWriter");
export const CharConversionException = $.type("java.io.CharConversionException");
export const Closeable = $.type("java.io.Closeable");
export const Console = $.type("java.io.Console");
export const DataInput = $.type("java.io.DataInput");
export const DataInputStream = $.type("java.io.DataInputStream");
export const DataOutput = $.type("java.io.DataOutput");
export const DataOutputStream = $.type("java.io.DataOutputStream");
export const EOFException = $.type("java.io.EOFException");
export const Externalizable = $.type("java.io.Externalizable");
export const File = $.type("java.io.File");
export const FileDescriptor = $.type("java.io.FileDescriptor");
export const FileFilter = $.type("java.io.FileFilter");
export const FileInputStream = $.type("java.io.FileInputStream");
export const FileNotFoundException = $.type("java.io.FileNotFoundException");
export const FileOutputStream = $.type("java.io.FileOutputStream");
export const FilePermission = $.type("java.io.FilePermission");
export const FileReader = $.type("java.io.FileReader");
export const FileWriter = $.type("java.io.FileWriter");
export const FilenameFilter = $.type("java.io.FilenameFilter");
export const FilterInputStream = $.type("java.io.FilterInputStream");
export const FilterOutputStream = $.type("java.io.FilterOutputStream");
export const FilterReader = $.type("java.io.FilterReader");
export const FilterWriter = $.type("java.io.FilterWriter");
export const Flushable = $.type("java.io.Flushable");
export const IOError = $.type("java.io.IOError");
export const IOException = $.type("java.io.IOException");
export const InputStream = $.type("java.io.InputStream");
export const InputStreamReader = $.type("java.io.InputStreamReader");
export const InterruptedIOException = $.type("java.io.InterruptedIOException");
export const InvalidClassException = $.type("java.io.InvalidClassException");
export const InvalidObjectException = $.type("java.io.InvalidObjectException");
export const LineNumberInputStream = $.type("java.io.LineNumberInputStream");
export const LineNumberReader = $.type("java.io.LineNumberReader");
export const NotActiveException = $.type("java.io.NotActiveException");
export const NotSerializableException = $.type("java.io.NotSerializableException");
export const ObjectInput = $.type("java.io.ObjectInput");
export const ObjectInputStream = $.type("java.io.ObjectInputStream");
export const ObjectInputStream$GetField = $.type("java.io.ObjectInputStream$GetField");
export const ObjectInputValidation = $.type("java.io.ObjectInputValidation");
export const ObjectOutput = $.type("java.io.ObjectOutput");
export const ObjectOutputStream = $.type("java.io.ObjectOutputStream");
export const ObjectOutputStream$PutField = $.type("java.io.ObjectOutputStream$PutField");
export const ObjectStreamClass = $.type("java.io.ObjectStreamClass");
export const ObjectStreamConstants = $.type("java.io.ObjectStreamConstants");
export const ObjectStreamException = $.type("java.io.ObjectStreamException");
export const ObjectStreamField = $.type("java.io.ObjectStreamField");
export const OptionalDataException = $.type("java.io.OptionalDataException");
export const OutputStream = $.type("java.io.OutputStream");
export const OutputStreamWriter = $.type("java.io.OutputStreamWriter");
export const PipedInputStream = $.type("java.io.PipedInputStream");
export const PipedOutputStream = $.type("java.io.PipedOutputStream");
export const PipedReader = $.type("java.io.PipedReader");
export const PipedWriter = $.type("java.io.PipedWriter");
export const PrintStream = $.type("java.io.PrintStream");
export const PrintWriter = $.type("java.io.PrintWriter");
export const PushbackInputStream = $.type("java.io.PushbackInputStream");
export const PushbackReader = $.type("java.io.PushbackReader");
export const RandomAccessFile = $.type("java.io.RandomAccessFile");
export const Reader = $.type("java.io.Reader");
export const SequenceInputStream = $.type("java.io.SequenceInputStream");
export const Serializable = $.type("java.io.Serializable");
export const SerializablePermission = $.type("java.io.SerializablePermission");
export const StreamCorruptedException = $.type("java.io.StreamCorruptedException");
export const StreamTokenizer = $.type("java.io.StreamTokenizer");
export const StringBufferInputStream = $.type("java.io.StringBufferInputStream");
export const StringReader = $.type("java.io.StringReader");
export const StringWriter = $.type("java.io.StringWriter");
export const SyncFailedException = $.type("java.io.SyncFailedException");
export const UTFDataFormatException = $.type("java.io.UTFDataFormatException");
export const UncheckedIOException = $.type("java.io.UncheckedIOException");
export const UnsupportedEncodingException = $.type("java.io.UnsupportedEncodingException");
export const WriteAbortedException = $.type("java.io.WriteAbortedException");
export const Writer = $.type("java.io.Writer");