org.jmlspecs.util.dis
Class JmlDisassembler.JmlDisassemblerHelper

java.lang.Object
  org.multijava.dis.Disassembler.DisassemblerHelper
      org.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()

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