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.Object
public 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.Object
public java.lang.String toString()
toString
in class java.lang.Object