JML

Uses of Interface
java.io.DataOutput

Packages that use DataOutput
java.io JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
org.multijava.util.classfile Provides an editor for classfiles used by MultiJava and the Java Modeling Language
 

Uses of DataOutput in java.io
 

Classes in java.io that implement DataOutput
 class RandomAccessFile
           
 

Uses of DataOutput in org.multijava.util.classfile
 

Methods in org.multijava.util.classfile with parameters of type DataOutput
protected abstract  void Attribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void ConstantPool.write(DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private) abstract  void Instruction.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
 void MethodInfo.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void CodeInfo.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void FieldInfo.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
 void ClassInfo.write(DataOutput out)
          Writes the content of the class to the specified output stream
(package private) abstract  void PooledConstant.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void ClassConstant.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void InnerClassInfo.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void AttributeList.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void ClassRefInstruction.write(ConstantPool cp, DataOutput out)
          Write this instruction into a file
(package private)  void FieldRefInstruction.write(ConstantPool cp, DataOutput out)
          Write this instruction into a file
(package private)  void IincInstruction.write(ConstantPool cp, DataOutput out)
          Write this instruction into a file
(package private)  void InvokeinterfaceInstruction.write(ConstantPool cp, DataOutput out)
          Write this instruction into a file
(package private)  void JumpInstruction.write(ConstantPool cp, DataOutput out)
          Write this instruction into a file
(package private)  void LocalVarInstruction.write(ConstantPool cp, DataOutput out)
          Write this instruction into a file
(package private)  void MethodRefInstruction.write(ConstantPool cp, DataOutput out)
          Write this instruction into a file
(package private)  void MultiarrayInstruction.write(ConstantPool cp, DataOutput out)
          Write this instruction into a file
(package private)  void NewarrayInstruction.write(ConstantPool cp, DataOutput out)
          Write this instruction into a file
(package private)  void NoArgInstruction.write(ConstantPool cp, DataOutput out)
          Write this instruction into a file
(package private)  void PushLiteralInstruction.write(ConstantPool cp, DataOutput out)
          Write this instruction into a file
(package private)  void SwitchInstruction.write(ConstantPool cp, DataOutput out)
          Write this instruction into a file
(package private)  void ReferenceConstant.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
 void GenericFunctionInfo.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void LineNumberInfo.write(DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void LocalVariableInfo.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void HandlerInfo.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void InnerClassTable.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void AsciiConstant.write(ConstantPool _cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void ExceptionsAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void UnresolvedConstant.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private) abstract  void AnnotElementValue.write(ConstantPool cp, DataOutput out)
          Write this value to a classfile stream.
(package private)  void AnnotLongElementValue.write(ConstantPool cp, DataOutput out)
          Write this value to a classfile stream.
(package private)  void LongConstant.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void SourceFileAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
 void AnnotBooleanElementValue.write(ConstantPool cp, DataOutput out)
          Write this value to a classfile stream.
(package private)  void IntegerConstant.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void AnnotIntegerElementValue.write(ConstantPool cp, DataOutput out)
          Write this value to a classfile stream.
protected  void UniverseFieldAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool.
protected  void GenericFunctionsAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void UniverseMethodAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool.
(package private)  void AnnotFloatElementValue.write(ConstantPool cp, DataOutput out)
          Write this value to a classfile stream.
(package private)  void FloatConstant.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void DoubleConstant.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void RMJAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void AnnotShortElementValue.write(ConstantPool cp, DataOutput out)
          Write this value to a classfile stream.
protected  void DispatcherAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void RuntimeVisibleParameterAnnotationsAttribute.write(ConstantPool cp, DataOutput out)
          Write this attribute into the file (out) getting data position from the constant pool.
(package private)  void Annotation.write(ConstantPool cp, DataOutput out)
          Write the annotation structure to a classfile.
protected  void SyntheticAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void LocalVariableTable.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
abstract  void PushLiteralInstruction.Operand.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
 void PushLiteralInstruction.ByteOperand.write(ConstantPool cp, DataOutput out)
           
 void PushLiteralInstruction.ShortOperand.write(ConstantPool cp, DataOutput out)
           
 void PushLiteralInstruction.ConstantOperand.write(ConstantPool cp, DataOutput out)
           
(package private)  void StringConstant.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void RuntimeVisibleAnnotationsAttribute.write(ConstantPool cp, DataOutput out)
          Write this attribute into the file (out) getting data position from the constant pool.
(package private)  void AnnotCharElementValue.write(ConstantPool cp, DataOutput out)
          Write this value to a classfile stream.
protected  void LineNumberTable.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void DeprecatedAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void NameAndTypeConstant.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void AnchorAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void SignatureAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void UniverseClassAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool.
protected  void ConstantValueAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void AnnotStringElementValue.write(ConstantPool cp, DataOutput out)
          Write this value to a classfile stream.
(package private)  void Annotation.ElementValuePair.write(ConstantPool cp, DataOutput out)
          Write this element-value pair to a stream.
protected  void RedirectorAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
protected  void GenericAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void AnnotByteElementValue.write(ConstantPool cp, DataOutput out)
          Write this value to a classfile stream.
protected  void MultimethodBodyAttribute.write(ConstantPool cp, DataOutput out)
          Write this class into the the file (out) getting data position from the constant pool
(package private)  void AnnotDoubleElementValue.write(ConstantPool cp, DataOutput out)
          Write this value to 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.