JML

Uses of Interface
java.io.DataInput

Packages that use DataInput
java.io JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
org.jmlspecs.util.dis   
org.multijava.dis   
org.multijava.mjc Implements mjc, a MultiJava compiler. 
org.multijava.util.classfile Provides an editor for classfiles used by MultiJava and the Java Modeling Language
 

Uses of DataInput in java.io
 

Subinterfaces of DataInput in java.io
 interface ObjectInput
           
 

Classes in java.io that implement DataInput
 class ObjectInputStream
           
 class RandomAccessFile
           
 

Uses of DataInput in org.jmlspecs.util.dis
 

Methods in org.jmlspecs.util.dis with parameters of type DataInput
 ClassInfo JmlDisassembler.JmlDisassemblerHelper.createClassInfo(DataInput in)
          Creates a class info by reading bytecode from the given data stream.
 

Uses of DataInput in org.multijava.dis
 

Methods in org.multijava.dis with parameters of type DataInput
 ClassInfo Disassembler.DisassemblerHelper.createClassInfo(DataInput in)
           
 

Uses of DataInput in org.multijava.mjc
 

Constructors in org.multijava.mjc with parameters of type DataInput
CMethodInfo(DataInput in, ConstantPool cp, boolean interfaceOnly)
          Constructs an instance by reading bytecode from the given stream in and referring to the constant pool cp.
 

Uses of DataInput in org.multijava.util.classfile
 

Fields in org.multijava.util.classfile declared as DataInput
private  DataInput InstructionIO.in
           
 

Methods in org.multijava.util.classfile that return DataInput
 DataInput ClassPath.Data.getDataInput()
           
 

Methods in org.multijava.util.classfile with parameters of type DataInput
abstract  Attribute AttributeParser.read(String tag, DataInput in, ConstantPool cp)
          Checks the next attribute in the given input, in, and parses it if it is recognized.
abstract  Attribute AttributeParser.readInterfaceOnly(String tag, DataInput in, ConstantPool cp)
          Checks the next attribute in the given input, in, and parses it if it is recognized, but skips CodeInfo attributes.
abstract  Attribute AttributeParser.readCodeInfoAttribute(String tag, DataInput in, ConstantPool cp, Instruction[] insns)
          Checks the next attribute in the given input, in, and parses it if it is recognized, but only parses attributes that may appear within a CodeInfo attribute.
(package private) static Attribute AttributeList.read(DataInput in, ConstantPool cp)
          This method calls each member of the attribute parsing chain-of-responsibility in order to read the next attribute in the given input stream.
(package private) static Attribute AttributeList.readInterfaceOnly(DataInput in, ConstantPool cp)
          This method calls each member of the attribute parsing chain-of-responsibility in order to read the next attribute in the given input stream.
(package private) static Attribute AttributeList.readCodeInfoAttribute(DataInput in, ConstantPool cp, Instruction[] insns)
          This method calls each member of the attribute parsing chain-of-responsibility, in order, to read the next CodeInfo attribute in the given input stream.
 ClassInfo ClassInfoCreator.createClassInfo(DataInput data, boolean interfaceOnly)
          Creates a class info object by reading bytecode from the data input stream data.
 FieldInfo ClassInfoCreator.createFieldInfo(DataInput data, ConstantPool cp)
          Creates a field info object by reading bytecode from the data input stream data.
 MethodInfo ClassInfoCreator.createMethodInfo(DataInput data, ConstantPool cp, boolean interfaceOnly)
          Creates a method info object by reading bytecode from the data input stream data.
static Instruction[] InstructionIO.read(DataInput in, ConstantPool cp)
          Constructs an array of instructions from a class file stream
 Attribute UniverseAttributeParser.read(String tag, DataInput in, ConstantPool cp)
          Checks the next attribute in the given input stream, and parses it if is is recognized.
 Attribute UniverseAttributeParser.readInterfaceOnly(String tag, DataInput in, ConstantPool cp)
          Checks the next attribute in the given input stream, and parses it if is is recognized, but skips CodeInfo attributes Returns an Attribute instance if the attribute is recognized, or null otherwise.
 Attribute UniverseAttributeParser.readCodeInfoAttribute(String tag, DataInput in, ConstantPool cp, Instruction[] insns)
          Checks the next attribute in the given input stream, and parses it if is is recognized, but only parses attributes that may appear within a CodeInfo attribute.
 Attribute MJAttributeParser.read(String tag, DataInput in, ConstantPool cp)
          Checks the next attribute in the given input, in, and parses it if it is recognized.
 Attribute MJAttributeParser.readInterfaceOnly(String tag, DataInput in, ConstantPool cp)
          Checks the next attribute in the given input, in, and parses it if it is recognized, but skips CodeInfo attributes.
 Attribute MJAttributeParser.readCodeInfoAttribute(String tag, DataInput in, ConstantPool cp, Instruction[] insns)
          Checks the next attribute in the given input, in, and parses it if it is recognized, but only parses attributes that may appear within a CodeInfo attribute.
 Attribute BaseAttributeParser.read(String tag, DataInput in, ConstantPool cp)
          Checks the next attribute in the given input, in, and parses it if it is recognized.
 Attribute BaseAttributeParser.readInterfaceOnly(String tag, DataInput in, ConstantPool cp)
          Checks the next attribute in the given input, in, and parses it if it is recognized, but skips CodeInfo attributes.
 Attribute BaseAttributeParser.readCodeInfoAttribute(String tag, DataInput in, ConstantPool cp, Instruction[] insns)
          Checks the next attribute in the given input, in, and parses it if it is recognized, but only parses attributes that may appear within a CodeInfo attribute.
 

Constructors in org.multijava.util.classfile with parameters of type DataInput
ConstantPool(DataInput in)
          Constructs a constant pool structure from a class file
MethodInfo(DataInput in, ConstantPool cp, boolean interfaceOnly)
          Constructs a method entry from a class file stream
CodeInfo(DataInput in, ConstantPool cp)
          Make up a new attribute
FieldInfo(DataInput in, ConstantPool cp)
          Constructs a field entry from a class file stream
ClassInfo(DataInput in, boolean interfaceOnly)
           
ClassInfo(DataInput in, boolean interfaceOnly, ClassInfoCreator cr)
          Constructs a class info structure from a class file
InnerClassInfo(DataInput in, ConstantPool cp)
          Create a classes entry within an InnerClasses attribute.c
AttributeList(DataInput in, ConstantPool cp, boolean noCode)
          Constructs an attribute list from a class file stream
AttributeList(DataInput in, ConstantPool cp, Instruction[] insns)
          Constructs an sub-attribute list of CodeInfo from a class file stream
InstructionIO(DataInput in, ConstantPool cp)
           
GenericFunctionInfo(DataInput in, ConstantPool cp)
          Constructs a generic function info structure from a class file stream
LineNumberInfo(DataInput in, ConstantPool cp, Instruction[] insns)
          Create an entry in the line number table from a class file stream
LocalVariableInfo(DataInput in, ConstantPool cp, Instruction[] insns)
          Create an entry in the line number table from a class file stream
HandlerInfo(DataInput in, ConstantPool cp, Instruction[] insns)
          Constructs a new exception handler info entry from a class file
InnerClassTable(DataInput in, ConstantPool cp)
          Constructs an InnerClasses attribute from a class file stream.
ExceptionsAttribute(DataInput in, ConstantPool cp)
          Constructs a exceptions attribute from a class file stream.
AnnotLongElementValue(ConstantPool cp, DataInput in)
          Construct a new element-value from a classfile stream.
SourceFileAttribute(DataInput in, ConstantPool cp)
          Constructs a source file attribute from a class file stream.
AnnotBooleanElementValue(ConstantPool cp, DataInput in)
          Construct a new element-value from a classfile stream.
AnnotIntegerElementValue(ConstantPool cp, DataInput in)
          Construct a new element-value from a classfile stream.
UniverseFieldAttribute(DataInput in, ConstantPool cp)
          Constructs a universe field attribute from a class file stream.
GenericFunctionsAttribute(DataInput in, ConstantPool cp)
          Constructs a generic functions attribute from a class file stream.
UniverseMethodAttribute(DataInput in, ConstantPool cp)
          Constructs a Universe Method Attribute from a class file stream.
AnnotFloatElementValue(ConstantPool cp, DataInput in)
          Construct a new element-value from a classfile stream.
MultimethodInfo(DataInput in, ConstantPool cp, short number, String topConcMethColl)
          Constructs a multimethod info data structure from a class file stream
AnnotShortElementValue(ConstantPool cp, DataInput in)
          Construct a new element-value from a classfile stream.
DispatcherAttribute(DataInput in, ConstantPool cp)
          Constructs a dispatcher attribute from a class file stream.
RuntimeVisibleParameterAnnotationsAttribute(DataInput in, ConstantPool cp)
          Constructs a RuntimeVisibleParameterAnnotations attribute from a classfile stream.
Annotation(ConstantPool cp, DataInput in)
          Read an annotation structure from a classfile.
SyntheticAttribute(DataInput in, ConstantPool cp)
          Constructs a synthetic attribute from a class file stream.
LocalVariableTable(DataInput in, ConstantPool cp, Instruction[] insns)
          Constructs a line number table attribute from a class file stream.
RuntimeVisibleAnnotationsAttribute(DataInput in, ConstantPool cp)
          Construct a new RuntimeVisibleAnnotations attribute from a classfile stream.
AnnotCharElementValue(ConstantPool cp, DataInput in)
          Construct a new element-value from a classfile stream.
LineNumberTable(DataInput in, ConstantPool cp, Instruction[] insns)
          Constructs a line number table attribute from a class file stream.
DeprecatedAttribute(DataInput in, ConstantPool cp)
          Constructs a deprecated attribute from a class file stream.
AnchorAttribute(DataInput in, ConstantPool cp)
          Constructs an anchor attribute from a class file stream.
SignatureAttribute(DataInput in, ConstantPool cp)
          Constructs a Signature (generic) attribute from a class file stream.
UniverseClassAttribute(DataInput in, ConstantPool cp)
          Constructs a universe version attribute from a classfile stream.
ConstantValueAttribute(DataInput in, ConstantPool cp)
          Constructs a constant value attribute from a class file stream.
AnnotStringElementValue(ConstantPool cp, DataInput in)
          Construct a new element-value from a classfile stream.
Annotation.ElementValuePair(ConstantPool cp, DataInput in)
          Construct an element-value pair in an annotation structure from a classfile stream.
RedirectorAttribute(DataInput in, ConstantPool cp)
          Constructs a dispatcher attribute from a class file stream.
SkippedCodeInfo(DataInput in, ConstantPool cp)
          Make up a new attribute
GenericAttribute(AsciiConstant name, DataInput in, ConstantPool cp)
          Make up a new attribute
AnnotByteElementValue(ConstantPool cp, DataInput in)
          Construct a new element-value from a classfile stream.
MultimethodBodyAttribute(DataInput in, ConstantPool cp)
          Constructs a multimethod body attribute from a class file stream.
AnnotDoubleElementValue(ConstantPool cp, DataInput in)
          Construct a new element-value from a classfile stream.
 


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.