public class PagesOption extends Option
Modifier and Type | Field and Description |
---|---|
protected int |
defaultValue |
protected int |
value |
ADDRESS_OPTION, BOOLEAN_OPTION, ENUM_OPTION, FLOAT_OPTION, INT_OPTION, MICROSECONDS_OPTION, PAGES_OPTION, RAW, READABLE, set, STRING_OPTION, XML
Modifier | Constructor and Description |
---|---|
protected |
PagesOption(OptionSet set,
String name,
String desc,
int defaultPages)
Create a new pages option.
|
Modifier and Type | Method and Description |
---|---|
Extent |
getBytes()
Read the current value of the option in bytes.
|
Extent |
getDefaultBytes()
Read the default value of the option in bytes.
|
int |
getDefaultPages()
Read the default value of the option in pages.
|
int |
getPages()
Read the current value of the option in pages.
|
void |
setBytes(Extent value)
Update the value of the option, echoing the change if logChanges is set.
|
void |
setDefaultPages(int value)
Modify the default value of the option.
|
void |
setPages(int pages)
Update the value of the option, echoing the change if logChanges is set.
|
protected int defaultValue
protected int value
protected PagesOption(OptionSet set, String name, String desc, int defaultPages)
set
- The option set this option belongs to.name
- The space separated name for the option.desc
- The purpose of the optiondefaultPages
- The default value of the option.public int getPages()
public Extent getBytes()
public Extent getDefaultBytes()
public int getDefaultPages()
public void setBytes(Extent value)
value
- The new value for the option.public void setPages(int pages)
pages
- The new value for the option.public void setDefaultPages(int value)
value
- The new default value for the option.