|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use DisOptions | |
| org.jmlspecs.util.dis | |
| org.multijava.dis | |
| Uses of DisOptions in org.jmlspecs.util.dis |
| Subclasses of DisOptions in org.jmlspecs.util.dis | |
class |
JDisOptions
This class is automatically generated from JDisOptions.opt and contains member fields corresponding to command-line options. |
| Methods in org.jmlspecs.util.dis with parameters of type DisOptions | |
static void |
JmlDisassembler.disassemble(String sourceFile,
String destination,
DisOptions options)
Disassembles a symbol file. |
Disassembler |
JmlDisassembler.JmlDisassemblerHelper.createDisassembler(ClassInfo classInfo,
DisOptions options)
Returns a disassembler for the given class info. |
| Uses of DisOptions in org.multijava.dis |
| Fields in org.multijava.dis declared as DisOptions | |
protected DisOptions |
Disassembler.options
|
protected DisOptions |
Main.options
|
| Methods in org.multijava.dis with parameters of type DisOptions | |
static void |
Disassembler.disassemble(String sourceFile,
String destination,
DisOptions options)
Disassembles a class file. |
protected static void |
Disassembler.disassemble(String sourceFile,
String destination,
DisOptions options,
Disassembler.DisassemblerHelper helper)
Disassembles a class file by using the given helper. |
private static void |
Disassembler.writeAssemblerFile(ClassInfo classInfo,
String destination,
DisOptions options,
Disassembler.DisassemblerHelper helper)
Creates a class file from class info |
Disassembler |
Disassembler.DisassemblerHelper.createDisassembler(ClassInfo classInfo,
DisOptions options)
|
| Constructors in org.multijava.dis with parameters of type DisOptions | |
Disassembler(ClassInfo classInfo,
DisOptions options)
Create a disassembler object from a classinfo |
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||