uk.ac.ox.cs.fdr
public class Option extends java.lang.Object
Modifier | Constructor and Description |
---|---|
protected |
Option(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
StringList |
allowedValues() |
java.lang.String |
defaultValue() |
void |
delete() |
java.lang.String |
description() |
protected void |
finalize() |
java.lang.String |
get() |
protected static long |
getCPtr(Option obj) |
static Option |
getOption(java.lang.String option_name) |
java.lang.String |
name() |
static OptionList |
options() |
void |
set(java.lang.String new_value) |
java.lang.String |
toString() |
protected static long getCPtr(Option obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public StringList allowedValues()
public java.lang.String defaultValue()
public java.lang.String get()
public java.lang.String description()
public java.lang.String name()
public void set(java.lang.String new_value)
public static OptionList options()
public static Option getOption(java.lang.String option_name)
public java.lang.String toString()
toString
in class java.lang.Object