|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 | ||||||||||
PREV NEXT | FRAMES NO FRAMES |