Package mars.mips.dump

Class DumpFormatManager

java.lang.Object

mars.mips.dump.DumpFormatManager

public class DumpFormatManager
extends Object

This class provides functionality to bring external memory dump format definitions into MARS. This is adapted from the ToolManager class, which is in turn adapted from Bret Barker's GameServer class from the book "Developing Games In Java".

Method Summary

Modifier and Type	Method	Description
static DumpFormat	getDumpFormat(String commandDescriptor)	Find the dump format corresponding a given command descriptor, if one exists.
static DumpFormat[]	getDumpFormats()	Get the list of dump formats to use, loading them if necessary.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

getDumpFormats

public static DumpFormat[] getDumpFormats()

Get the list of dump formats to use, loading them if necessary. The loader searches for all classes in the mars.mips.dump package that implement DumpFormat.

Returns:

An array of DumpFormat instances.

getDumpFormat

public static DumpFormat getDumpFormat(String commandDescriptor)

Find the dump format corresponding a given command descriptor, if one exists.

Parameters:

commandDescriptor - The command descriptor of the desired format.

Returns:

The dump format object, or null if no format was found.