public final class DumpFileOption
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static DumpFileOption |
brief
The option to specify a "brief" dump
|
static DumpFileOption |
full
The option to specify a "full" dump
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
boolean |
equalsDumpFileOption(DumpFileOption obj)
checks whether this is the same DumpFileOption as the given one
|
static DumpFileOption |
getByName(java.lang.String name)
Gets the option object corresponding to the given option name
|
static DumpFileOption |
getByType(int i)
Gets the option object corresponding to the given internal option value
|
int |
getNumeric()
Gets The numeric identifier for the option value
|
int |
hashCode() |
java.lang.String |
toString() |
public static final DumpFileOption brief
public static final DumpFileOption full
public static DumpFileOption getByName(java.lang.String name) throws NotFoundException
name - The name of the dumpfileoption soughtNotFoundException - -public static DumpFileOption getByType(int i)
i - The numeric identifier for the option valuepublic boolean equals(java.lang.Object obj)
equals in class java.lang.Objectpublic boolean equalsDumpFileOption(DumpFileOption obj)
obj - The DumpFileOption object to compare with this one for equalitypublic int getNumeric()
public int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Object