JML

Uses of Package
java.io

Packages that use java.io
Default Package  
Default Package  
java.awt   
java.awt.color   
java.awt.event   
java.io JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.lang JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.lang.reflect JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.math JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.net JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.security JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.security.interfaces   
java.sql JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.util JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
java.util.regex JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
javax.crypto   
javax.servlet   
javax.servlet.http   
Default Package  
javax.xml.parsers   
org.jmlspecs.ant.tasks   
org.jmlspecs.checker Contains the source code for a parser and typechecker for JML annotations and java code. 
org.jmlspecs.jmldoc.jmldoc_142   
org.jmlspecs.jmlrac Generates Java classes from JML specifications that check assertions at runtime. 
org.jmlspecs.jmlrac.qexpr Translates JML quantified expressions into Java source code to evaluate them at runtime. 
org.jmlspecs.jmlrac.runtime Classes for use during runtime assertion checking for code compiled with JML's runtime assertion checking compiler (jmlc). 
org.jmlspecs.jmlspec A tool that can generate or compare specification skeletons from Java source or class files. 
org.jmlspecs.jmlunit Generates JUnit test classes from JML specifications. 
org.jmlspecs.jmlunit.strategies The types in this package are used in providing test data for JML/JUnit testing. 
org.jmlspecs.models This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package. 
org.jmlspecs.models.resolve This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models. 
org.jmlspecs.racwrap   
org.jmlspecs.racwrap.runner   
org.jmlspecs.samples.digraph This package contains samples of JML specifications for directed graphs. 
org.jmlspecs.samples.dirobserver This package contains samples of JML specifications that illustrate issues in component-based programming relating to callbacks and JML's model program feature. 
org.jmlspecs.samples.jmlkluwer This package contains samples of JML specifications from the paper "JML: a Notation for Detailed Design". 
org.jmlspecs.samples.prelimdesign This package contains samples of JML specifications from the paper Preliminary Design of JML
org.jmlspecs.samples.stacks This package contains samples of JML specifications relating to stacks of various sorts. 
org.jmlspecs.samples.table This package contains samples of JML specifications relating to tables. 
org.jmlspecs.util.dis   
org.multijava.dis   
org.multijava.launcher The launcher allows the user to access all of the tools in MJ. 
org.multijava.mjc Implements mjc, a MultiJava compiler. 
org.multijava.mjdoc.mjdoc_142 The mjdoc tool documents java programs that contain MultiJava (MJ) extensions to the Java progamming language; it produces html pages very similar to those produced by the javadoc tool. 
org.multijava.relaxed.runtime   
org.multijava.relaxed.util   
org.multijava.util   
org.multijava.util.backend Provides an optimizer for methods for the compilers in MultiJava and the Java Modeling Language
org.multijava.util.classfile Provides an editor for classfiles used by MultiJava and the Java Modeling Language
org.multijava.util.compiler Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language
org.multijava.util.gui   
org.multijava.util.guigen Implements the automatic generation of all of the GUIs for MultiJava and the Java Modeling Language
org.multijava.util.jperf Defines the perfect hashing function generator Package Specification JPerf is the perfect hashing function generator for the compilers in MultiJava and the Java Modeling Language
org.multijava.util.lexgen Provides a lexer for the compilers of MultiJava and the Java Modeling Language
org.multijava.util.msggen Implements the automatic generation of the data structure for all of the compiler messages in MultiJava and the Java Modeling Language
org.multijava.util.optgen Implements the automatic generation of the data structure for all of the command line options in MultiJava and the Java Modeling Language
org.multijava.util.testing Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language
 

Classes in java.io used by Default Package
PrintWriter
           
Writer
           
 

Classes in java.io used by Default Package
PrintWriter
           
Writer
           
 

Classes in java.io used by java.awt
Serializable
           
 

Classes in java.io used by java.awt.color
Serializable
           
 

Classes in java.io used by java.awt.event
Serializable
           
 

Classes in java.io used by java.io
DataInput
          JML's specification of DataInput.
DataOutput
           
Externalizable
           
File
          JML's specification of java.io.File.
FileDescriptor
           
FileFilter
           
FilenameFilter
           
FileNotFoundException
           
FilterOutputStream
           
InputStream
          JML's specification of InputStream.
InvalidObjectException
           
IOException
           
NotActiveException
           
ObjectInput
           
ObjectInputStream.BlockDataInputStream
           
ObjectInputStream.CallbackContext
           
ObjectInputStream.GetField
           
ObjectInputStream.HandleTable
           
ObjectInputStream.ValidationList
           
ObjectInputValidation
           
ObjectStreamClass
           
ObjectStreamConstants
           
OutputStream
          JML's specification of OutputStream.
OutputStreamWriter
           
Reader
           
Serializable
           
SerializablePermission
           
StreamCorruptedException
           
SyncFailedException
           
UnsupportedEncodingException
           
Writer
           
 

Classes in java.io used by java.lang
File
          JML's specification of java.io.File.
FileDescriptor
           
InputStream
          JML's specification of InputStream.
IOException
           
OutputStream
          JML's specification of OutputStream.
PrintStream
          JML's specification of PrintStream
PrintWriter
           
Serializable
           
UnsupportedEncodingException
           
 

Classes in java.io used by java.lang.reflect
Serializable
           
 

Classes in java.io used by java.math
IOException
           
ObjectInputStream
           
Serializable
           
 

Classes in java.io used by java.net
InputStream
          JML's specification of InputStream.
IOException
           
ObjectStreamException
           
OutputStream
          JML's specification of OutputStream.
Serializable
           
 

Classes in java.io used by java.security
InputStream
          JML's specification of InputStream.
IOException
           
Serializable
           
 

Classes in java.io used by java.security.interfaces
Serializable
           
 

Classes in java.io used by java.sql
InputStream
          JML's specification of InputStream.
OutputStream
          JML's specification of OutputStream.
PrintStream
          JML's specification of PrintStream
PrintWriter
           
Reader
           
Serializable
           
Writer
           
 

Classes in java.io used by java.util
BufferedWriter
           
InputStream
          JML's specification of InputStream.
IOException
           
ObjectInputStream
           
ObjectOutputStream
           
ObjectStreamField
           
OutputStream
          JML's specification of OutputStream.
PrintStream
          JML's specification of PrintStream
PrintWriter
           
Serializable
           
 

Classes in java.io used by java.util.regex
Serializable
           
 

Classes in java.io used by javax.crypto
Serializable
           
 

Classes in java.io used by javax.servlet
BufferedReader
           
InputStream
          JML's specification of InputStream.
IOException
           
OutputStream
          JML's specification of OutputStream.
PrintWriter
           
Serializable
           
UnsupportedEncodingException
           
 

Classes in java.io used by javax.servlet.http
IOException
           
Serializable
           
 

Classes in java.io used by Default Package
Serializable
           
 

Classes in java.io used by javax.xml.parsers
File
          JML's specification of java.io.File.
InputStream
          JML's specification of InputStream.
IOException
           
Serializable
           
 

Classes in java.io used by org.jmlspecs.ant.tasks
File
          JML's specification of java.io.File.
 

Classes in java.io used by org.jmlspecs.checker
File
          JML's specification of java.io.File.
FilenameFilter
           
InputStream
          JML's specification of InputStream.
OutputStream
          JML's specification of OutputStream.
Reader
           
Serializable
           
 

Classes in java.io used by org.jmlspecs.jmldoc.jmldoc_142
File
          JML's specification of java.io.File.
InputStream
          JML's specification of InputStream.
IOException
           
OutputStream
          JML's specification of OutputStream.
PrintWriter
           
Serializable
           
Writer
           
 

Classes in java.io used by org.jmlspecs.jmlrac
File
          JML's specification of java.io.File.
InputStream
          JML's specification of InputStream.
OutputStream
          JML's specification of OutputStream.
Serializable
           
Writer
           
 

Classes in java.io used by org.jmlspecs.jmlrac.qexpr
Serializable
           
 

Classes in java.io used by org.jmlspecs.jmlrac.runtime
PrintStream
          JML's specification of PrintStream
Serializable
           
 

Classes in java.io used by org.jmlspecs.jmlspec
File
          JML's specification of java.io.File.
FilenameFilter
           
InputStream
          JML's specification of InputStream.
OutputStream
          JML's specification of OutputStream.
PrintWriter
           
Serializable
           
 

Classes in java.io used by org.jmlspecs.jmlunit
File
          JML's specification of java.io.File.
InputStream
          JML's specification of InputStream.
OutputStream
          JML's specification of OutputStream.
PrintStream
          JML's specification of PrintStream
Serializable
           
Writer
           
 

Classes in java.io used by org.jmlspecs.jmlunit.strategies
Serializable
           
 

Classes in java.io used by org.jmlspecs.models
Serializable
           
 

Classes in java.io used by org.jmlspecs.models.resolve
Serializable
           
 

Classes in java.io used by org.jmlspecs.racwrap
File
          JML's specification of java.io.File.
PrintStream
          JML's specification of PrintStream
Writer
           
 

Classes in java.io used by org.jmlspecs.racwrap.runner
File
          JML's specification of java.io.File.
Serializable
           
 

Classes in java.io used by org.jmlspecs.samples.digraph
Serializable
           
 

Classes in java.io used by org.jmlspecs.samples.dirobserver
Serializable
           
 

Classes in java.io used by org.jmlspecs.samples.jmlkluwer
Serializable
           
 

Classes in java.io used by org.jmlspecs.samples.prelimdesign
Serializable
           
 

Classes in java.io used by org.jmlspecs.samples.stacks
Serializable
           
 

Classes in java.io used by org.jmlspecs.samples.table
Serializable
           
 

Classes in java.io used by org.jmlspecs.util.dis
DataInput
          JML's specification of DataInput.
IOException
           
 

Classes in java.io used by org.multijava.dis
DataInput
          JML's specification of DataInput.
IOException
           
PrintWriter
           
 

Classes in java.io used by org.multijava.launcher
Serializable
           
 

Classes in java.io used by org.multijava.mjc
BufferedReader
           
DataInput
          JML's specification of DataInput.
File
          JML's specification of java.io.File.
FileFilter
           
FilenameFilter
           
InputStream
          JML's specification of InputStream.
IOException
           
OutputStream
          JML's specification of OutputStream.
PrintStream
          JML's specification of PrintStream
Reader
           
Serializable
           
Writer
           
 

Classes in java.io used by org.multijava.mjdoc.mjdoc_142
File
          JML's specification of java.io.File.
InputStream
          JML's specification of InputStream.
IOException
           
OutputStream
          JML's specification of OutputStream.
PrintWriter
           
Serializable
           
Writer
           
 

Classes in java.io used by org.multijava.relaxed.runtime
InputStream
          JML's specification of InputStream.
IOException
           
PrintStream
          JML's specification of PrintStream
Serializable
           
 

Classes in java.io used by org.multijava.relaxed.util
PrintStream
          JML's specification of PrintStream
Serializable
           
 

Classes in java.io used by org.multijava.util
File
          JML's specification of java.io.File.
FileFilter
           
Serializable
           
 

Classes in java.io used by org.multijava.util.backend
FileWriter
           
IOException
           
 

Classes in java.io used by org.multijava.util.classfile
DataInput
          JML's specification of DataInput.
DataOutput
           
File
          JML's specification of java.io.File.
InputStream
          JML's specification of InputStream.
IOException
           
Serializable
           
 

Classes in java.io used by org.multijava.util.compiler
File
          JML's specification of java.io.File.
IOException
           
OutputStream
          JML's specification of OutputStream.
PrintWriter
           
Serializable
           
Writer
           
 

Classes in java.io used by org.multijava.util.gui
Serializable
           
 

Classes in java.io used by org.multijava.util.guigen
InputStream
          JML's specification of InputStream.
PrintWriter
           
Reader
           
Serializable
           
 

Classes in java.io used by org.multijava.util.jperf
IOException
           
PrintWriter
           
RandomAccessFile
           
 

Classes in java.io used by org.multijava.util.lexgen
InputStream
          JML's specification of InputStream.
PrintWriter
           
Reader
           
Serializable
           
 

Classes in java.io used by org.multijava.util.msggen
InputStream
          JML's specification of InputStream.
PrintWriter
           
Reader
           
Serializable
           
 

Classes in java.io used by org.multijava.util.optgen
InputStream
          JML's specification of InputStream.
PrintWriter
           
Reader
           
Serializable
           
 

Classes in java.io used by org.multijava.util.testing
BufferedReader
           
File
          JML's specification of java.io.File.
FileFilter
           
IOException
           
PrintStream
          JML's specification of PrintStream
Writer
           
 


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.