JML

org.jmlspecs.util.dis
Class JmlDisassembler.JmlDisassemblerHelper

java.lang.Object
  extended byorg.multijava.dis.Disassembler.DisassemblerHelper
      extended byorg.jmlspecs.util.dis.JmlDisassembler.JmlDisassemblerHelper
Enclosing class:
JmlDisassembler

protected static class JmlDisassembler.JmlDisassemblerHelper
extends Disassembler.DisassemblerHelper

A helper class to tune the disassembler to JML.


Constructor Summary
protected JmlDisassembler.JmlDisassemblerHelper()
           
 
Method Summary
 ClassInfo createClassInfo(DataInput in)
          Creates a class info by reading bytecode from the given data stream.
 ClassInfo createClassInfo(String name)
          Create a class info by reading byrecode from the file whose name is given as the argument name.
 Disassembler createDisassembler(ClassInfo classInfo, DisOptions options)
          Returns a disassembler for the given class info.
 String inputExtension()
          Returns the file name extension for symbol files.
 String outputExtension()
          Returns the file name extension for disassembled files.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JmlDisassembler.JmlDisassemblerHelper

protected JmlDisassembler.JmlDisassemblerHelper()
Method Detail

inputExtension

public String inputExtension()
Returns the file name extension for symbol files.

Overrides:
inputExtension in class Disassembler.DisassemblerHelper

outputExtension

public String outputExtension()
Returns the file name extension for disassembled files.

Overrides:
outputExtension in class Disassembler.DisassemblerHelper

createDisassembler

public Disassembler createDisassembler(ClassInfo classInfo,
                                       DisOptions options)
Returns a disassembler for the given class info.

Overrides:
createDisassembler in class Disassembler.DisassemblerHelper

createClassInfo

public ClassInfo createClassInfo(DataInput in)
                          throws IOException,
                                 ClassFileFormatException
Creates a class info by reading bytecode from the given data stream.

Overrides:
createClassInfo in class Disassembler.DisassemblerHelper
Throws:
IOException
ClassFileFormatException

createClassInfo

public ClassInfo createClassInfo(String name)
                          throws ClassFileReadException
Create a class info by reading byrecode from the file whose name is given as the argument name.

Overrides:
createClassInfo in class Disassembler.DisassemblerHelper
Throws:
ClassFileReadException

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.