JML

Uses of Class
org.multijava.dis.IndentingWriter

Packages that use IndentingWriter
org.jmlspecs.util.dis   
org.multijava.dis   
 

Uses of IndentingWriter in org.jmlspecs.util.dis
 

Methods in org.jmlspecs.util.dis with parameters of type IndentingWriter
protected  void JmlDisassembler.writeModifiers(IndentingWriter out, ClassInfo info)
          Prints the modifiers of the given class info.
protected  void JmlDisassembler.writeModifiers(IndentingWriter out, InnerClassInfo info)
          Prints the modifiers of the given inner class info.
protected  void JmlDisassembler.writeModifiers(IndentingWriter out, FieldInfo info)
          Prints the modifiers of the given field info.
protected  void JmlDisassembler.writeModifiers(IndentingWriter out, MethodInfo info)
          Prints the modifiers of the given method info.
private  void JmlDisassembler.writeModifiers(IndentingWriter out, long modifiers)
          Prints the given modifiers that may contain both JML and Java modifiers.
 

Uses of IndentingWriter in org.multijava.dis
 

Methods in org.multijava.dis with parameters of type IndentingWriter
protected  void Disassembler.writeModifiers(IndentingWriter out, ClassInfo info)
          Prints the modifiers of the given class info.
protected  void Disassembler.writeModifiers(IndentingWriter out, FieldInfo info)
          Prints the modifiers of the given field info.
protected  void Disassembler.writeModifiers(IndentingWriter out, MethodInfo info)
          Prints the modifiers of the given method info.
protected  void Disassembler.writeModifiers(IndentingWriter out, InnerClassInfo info)
          Prints the modifiers of the given inner class info.
private  void Disassembler.writeClass(IndentingWriter out)
          Prints the class file
private  void Disassembler.writeInner(IndentingWriter out, InnerClassInfo info)
          Prints inner class info
private  void Disassembler.writeField(IndentingWriter out, FieldInfo info)
          Prints fields
private  void Disassembler.writeMethod(IndentingWriter out, MethodInfo info)
          Prints methods
private  void Disassembler.writeCodeInfo(IndentingWriter out, CodeInfo info)
          Prints code
private  void Disassembler.writeModifiers(IndentingWriter out, long modifiers)
           
private  void Disassembler.writeHandlerInfo(IndentingWriter out, CodeInfo info)
          Prints exception handlers
private  void Disassembler.writeLocalVariableInfo(IndentingWriter out, CodeInfo info)
          Prints local variables
 void InstructionHandle.write(IndentingWriter out, boolean optionShowStack)
          Prints a byte code instruction
private  void InstructionHandle.writeInstruction(IndentingWriter out, Instruction insn)
          Prints an instruction (dispatches to instruction types).
private  void InstructionHandle.writeOpcode(IndentingWriter out, String opcode)
          Prints the opcode.
private  void InstructionHandle.writeOpcode(IndentingWriter out, int opcode)
          Prints the opcode.
private  void InstructionHandle.writeClassRefInstruction(IndentingWriter out, ClassRefInstruction insn)
          Prints a ClassRefInstruction.
private  void InstructionHandle.writeFieldRefInstruction(IndentingWriter out, FieldRefInstruction insn)
          Prints a FieldRefInstruction.
private  void InstructionHandle.writeIincInstruction(IndentingWriter out, IincInstruction insn)
          Prints a IincInstruction.
private  void InstructionHandle.writeInvokeinterfaceInstruction(IndentingWriter out, InvokeinterfaceInstruction insn)
          Prints a InvokeinterfaceInstruction.
private  void InstructionHandle.writeJumpInstruction(IndentingWriter out, JumpInstruction insn)
          Prints a JumpInstruction.
private  void InstructionHandle.writeLocalVarInstruction(IndentingWriter out, LocalVarInstruction insn)
          Prints a LocalVarInstruction.
private  void InstructionHandle.writeMethodRefInstruction(IndentingWriter out, MethodRefInstruction insn)
          Prints a MethodRefInstruction.
private  void InstructionHandle.writeMultiarrayInstruction(IndentingWriter out, MultiarrayInstruction insn)
          Prints a MultiarrayInstruction.
private  void InstructionHandle.writeNewarrayInstruction(IndentingWriter out, NewarrayInstruction insn)
          Prints a NewarrayInstruction.
private  void InstructionHandle.writeNoArgInstruction(IndentingWriter out, NoArgInstruction insn)
          Prints a NoArgInstruction.
private  void InstructionHandle.writePushLiteralInstruction(IndentingWriter out, PushLiteralInstruction insn)
          Prints a PushLiteralInstruction.
private  void InstructionHandle.writeSwitchInstruction(IndentingWriter out, SwitchInstruction insn)
          Prints a SwitchInstruction.
private  void InstructionHandle.printClassRef(IndentingWriter out, ClassConstant ref)
          Prints a ClassConstant.
private  void InstructionHandle.printFieldRef(IndentingWriter out, FieldRefConstant ref)
           
private  void InstructionHandle.printInterfaceRef(IndentingWriter out, InterfaceConstant ref)
           
private  void InstructionHandle.printMethodRef(IndentingWriter out, MethodRefConstant ref)
           
private  void InstructionHandle.printMethodSpec(IndentingWriter out, String name, String signature)
           
private  void InstructionHandle.printFieldSignature(IndentingWriter out, String signature)
           
private  void InstructionHandle.printQualifiedName(IndentingWriter out, String ident)
           
private  void InstructionHandle.printInstructionHandle(IndentingWriter out, InstructionHandle handle)
           
 


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.