JML

org.multijava.dis
Class Disassembler.DisassemblerHelper

java.lang.Object
  extended byorg.multijava.dis.Disassembler.DisassemblerHelper
Direct Known Subclasses:
JmlDisassembler.JmlDisassemblerHelper
Enclosing class:
Disassembler

public static class Disassembler.DisassemblerHelper
extends Object

A helper class to tune the disassembler for languages that extend Java, such as JML.


Constructor Summary
Disassembler.DisassemblerHelper()
           
 
Method Summary
 ClassInfo createClassInfo(DataInput in)
           
 ClassInfo createClassInfo(String name)
           
 Disassembler createDisassembler(ClassInfo classInfo, DisOptions options)
           
 String inputExtension()
           
 String outputExtension()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Disassembler.DisassemblerHelper

public Disassembler.DisassemblerHelper()
Method Detail

inputExtension

public String inputExtension()

outputExtension

public String outputExtension()

createDisassembler

public Disassembler createDisassembler(ClassInfo classInfo,
                                       DisOptions options)

createClassInfo

public ClassInfo createClassInfo(DataInput in)
                          throws IOException,
                                 ClassFileFormatException
Throws:
IOException
ClassFileFormatException

createClassInfo

public ClassInfo createClassInfo(String name)
                          throws ClassFileReadException
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.