JML

Uses of Class
java.io.InputStream

Packages that use InputStream
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.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.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). 
javax.servlet   
javax.xml.parsers   
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.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.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.util.classfile Provides an editor for classfiles used by MultiJava and the Java Modeling Language
org.multijava.util.guigen Implements the automatic generation of all of the GUIs for 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
 

Uses of InputStream in java.io
 

Subclasses of InputStream in java.io
 class ObjectInputStream
           
 

Constructors in java.io with parameters of type InputStream
ObjectInputStream(InputStream)
           
InputStreamReader(InputStream Param0)
           
InputStreamReader(InputStream Param0, String Param1)
           
InputStreamReader(InputStream Param0, Charset Param1)
           
InputStreamReader(InputStream Param0, CharsetDecoder Param1)
           
 

Uses of InputStream in java.lang
 

Fields in java.lang declared as InputStream
static InputStream System.in
           
 

Methods in java.lang that return InputStream
 InputStream Class.getResourceAsStream(String name)
           
 InputStream ClassLoader.getResourceAsStream(String)
           
static InputStream ClassLoader.getSystemResourceAsStream(String)
           
 InputStream Runtime.getLocalizedInputStream(InputStream in)
          Deprecated.  
abstract  InputStream Process.getErrorStream()
           
abstract  InputStream Process.getInputStream()
           
 

Methods in java.lang with parameters of type InputStream
static void System.setIn(InputStream i)
           
 InputStream Runtime.getLocalizedInputStream(InputStream in)
          Deprecated.  
 

Uses of InputStream in java.net
 

Methods in java.net that return InputStream
 InputStream URL.openStream()
           
 InputStream URLConnection.getInputStream()
           
 

Methods in java.net with parameters of type InputStream
private static boolean URLConnection.checkfpx(InputStream)
           
private static long URLConnection.skipForward(InputStream, long)
           
private static int URLConnection.readBytes(int[], int, InputStream)
           
static String URLConnection.guessContentTypeFromStream(InputStream)
           
 

Uses of InputStream in java.security
 

Methods in java.security with parameters of type InputStream
 void Provider.load(InputStream)
           
 

Uses of InputStream in java.sql
 

Methods in java.sql that return InputStream
abstract  InputStream ResultSet.getAsciiStream(int columnIndex)
           
abstract  InputStream ResultSet.getUnicodeStream(int columnIndex)
           
abstract  InputStream ResultSet.getBinaryStream(int columnIndex)
           
abstract  InputStream ResultSet.getAsciiStream(String columnName)
           
abstract  InputStream ResultSet.getUnicodeStream(String columnName)
           
abstract  InputStream ResultSet.getBinaryStream(String columnName)
           
abstract  InputStream Blob.getBinaryStream()
           
abstract  InputStream Clob.getAsciiStream()
           
 

Methods in java.sql with parameters of type InputStream
abstract  void PreparedStatement.setAsciiStream(int parameterIndex, InputStream x, int length)
           
abstract  void PreparedStatement.setUnicodeStream(int parameterIndex, InputStream x, int length)
           
abstract  void PreparedStatement.setBinaryStream(int parameterIndex, InputStream x, int length)
           
abstract  void ResultSet.updateAsciiStream(int columnIndex, InputStream x, int length)
           
abstract  void ResultSet.updateBinaryStream(int columnIndex, InputStream x, int length)
           
abstract  void ResultSet.updateAsciiStream(String columnName, InputStream x, int length)
           
abstract  void ResultSet.updateBinaryStream(String columnName, InputStream x, int length)
           
abstract  void CallableStatement.setAsciiStream(String, InputStream, int)
           
abstract  void CallableStatement.setBinaryStream(String, InputStream, int)
           
 

Uses of InputStream in java.util
 

Methods in java.util with parameters of type InputStream
 void Properties.load(InputStream)
           
 

Uses of InputStream in javax.servlet
 

Subclasses of InputStream in javax.servlet
 class ServletInputStream
          JML's specification of ServletInputStream
 

Methods in javax.servlet that return InputStream
abstract  InputStream ServletContext.getResourceAsStream(String path)
           
 

Uses of InputStream in javax.xml.parsers
 

Methods in javax.xml.parsers with parameters of type InputStream
 void SAXParser.parse(InputStream, HandlerBase)
           
 void SAXParser.parse(InputStream, DefaultHandler)
           
 void SAXParser.parse(InputStream, HandlerBase, String)
           
 void SAXParser.parse(InputStream, DefaultHandler, String)
           
 

Uses of InputStream in org.jmlspecs.checker
 

Methods in org.jmlspecs.checker with parameters of type InputStream
protected  org.multijava.util.gui.GUIOutputWindow JmlGUI.createOutputWindow(InputStream is)
           
 

Constructors in org.jmlspecs.checker with parameters of type InputStream
JmlLexer(InputStream in)
           
JmlMLLexer(InputStream in)
           
JmlSLLexer(InputStream in)
           
JavadocJmlLexer(InputStream in)
           
JmlJDLexer(InputStream in)
           
 

Uses of InputStream in org.jmlspecs.jmldoc.jmldoc_142
 

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type InputStream
protected  org.multijava.util.gui.GUIOutputWindow JmldocGUI.createOutputWindow(InputStream is)
           
 

Uses of InputStream in org.jmlspecs.jmlrac
 

Methods in org.jmlspecs.jmlrac with parameters of type InputStream
protected  org.multijava.util.gui.GUIOutputWindow RacGUI.createOutputWindow(InputStream is)
           
 

Uses of InputStream in org.jmlspecs.jmlspec
 

Methods in org.jmlspecs.jmlspec with parameters of type InputStream
protected  org.multijava.util.gui.GUIOutputWindow JspGUI.createOutputWindow(InputStream is)
           
 

Uses of InputStream in org.jmlspecs.jmlunit
 

Methods in org.jmlspecs.jmlunit with parameters of type InputStream
protected  org.multijava.util.gui.GUIOutputWindow JntGUI.createOutputWindow(InputStream is)
           
 

Uses of InputStream in org.multijava.mjc
 

Methods in org.multijava.mjc with parameters of type InputStream
protected  org.multijava.util.gui.GUIOutputWindow MjcGUI.createOutputWindow(InputStream is)
           
 

Constructors in org.multijava.mjc with parameters of type InputStream
JavadocLexer(InputStream in)
           
MjcLexer(InputStream in)
           
 

Uses of InputStream in org.multijava.mjdoc.mjdoc_142
 

Methods in org.multijava.mjdoc.mjdoc_142 with parameters of type InputStream
protected  org.multijava.util.gui.GUIOutputWindow MjdocGUI.createOutputWindow(InputStream is)
           
 

Uses of InputStream in org.multijava.relaxed.runtime
 

Methods in org.multijava.relaxed.runtime with parameters of type InputStream
protected  byte[] RMJClassLoader.readAll(InputStream strm)
           
 

Uses of InputStream in org.multijava.util.classfile
 

Fields in org.multijava.util.classfile declared as InputStream
private  InputStream ClassPath.Data.is
           
 

Constructors in org.multijava.util.classfile with parameters of type InputStream
ClassPath.Data(InputStream is)
           
 

Uses of InputStream in org.multijava.util.guigen
 

Constructors in org.multijava.util.guigen with parameters of type InputStream
GuigenLexer(InputStream in)
           
 

Uses of InputStream in org.multijava.util.lexgen
 

Constructors in org.multijava.util.lexgen with parameters of type InputStream
LexgenLexer(InputStream in)
           
 

Uses of InputStream in org.multijava.util.msggen
 

Constructors in org.multijava.util.msggen with parameters of type InputStream
MsggenLexer(InputStream in)
           
 

Uses of InputStream in org.multijava.util.optgen
 

Constructors in org.multijava.util.optgen with parameters of type InputStream
OptgenLexer(InputStream in)
           
 


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.