|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use Reader | |
| java.io | 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). |
| org.jmlspecs.checker | Contains the source code for a parser and typechecker for JML annotations and java code. |
| org.multijava.mjc | Implements mjc, a MultiJava compiler. |
| 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 Reader in java.io |
| Subclasses of Reader in java.io | |
class |
BufferedReader
|
class |
InputStreamReader
|
| Fields in java.io declared as Reader | |
private Reader |
BufferedReader.in
|
| Constructors in java.io with parameters of type Reader | |
BufferedReader(Reader)
|
|
BufferedReader(Reader,
int)
|
|
| Uses of Reader in java.sql |
| Methods in java.sql that return Reader | |
abstract Reader |
ResultSet.getCharacterStream(int columnIndex)
|
abstract Reader |
ResultSet.getCharacterStream(String columnName)
|
abstract Reader |
Clob.getCharacterStream()
|
| Methods in java.sql with parameters of type Reader | |
abstract void |
PreparedStatement.setCharacterStream(int parameterIndex,
Reader reader,
int length)
|
abstract void |
ResultSet.updateCharacterStream(int columnIndex,
Reader x,
int length)
|
abstract void |
ResultSet.updateCharacterStream(String columnName,
Reader reader,
int length)
|
abstract void |
CallableStatement.setCharacterStream(String,
Reader,
int)
|
| Uses of Reader in org.jmlspecs.checker |
| Constructors in org.jmlspecs.checker with parameters of type Reader | |
JmlLexer(Reader in)
|
|
JmlMLLexer(Reader in)
|
|
JmlSLLexer(Reader in)
|
|
JavadocJmlLexer(Reader in)
|
|
JmlJDLexer(Reader in)
|
|
| Uses of Reader in org.multijava.mjc |
| Constructors in org.multijava.mjc with parameters of type Reader | |
ParsingController(Reader r,
File file)
Establish a parsing controller for the given reader. |
|
JavadocLexer(Reader in)
|
|
MjcLexer(Reader in)
|
|
ParsingController.InputState(Reader r,
File file)
|
|
| Uses of Reader in org.multijava.util.guigen |
| Constructors in org.multijava.util.guigen with parameters of type Reader | |
GuigenLexer(Reader in)
|
|
| Uses of Reader in org.multijava.util.lexgen |
| Constructors in org.multijava.util.lexgen with parameters of type Reader | |
LexgenLexer(Reader in)
|
|
| Uses of Reader in org.multijava.util.msggen |
| Constructors in org.multijava.util.msggen with parameters of type Reader | |
MsggenLexer(Reader in)
|
|
| Uses of Reader in org.multijava.util.optgen |
| Constructors in org.multijava.util.optgen with parameters of type Reader | |
OptgenLexer(Reader in)
|
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||