/**
* ******************************************************************* As toString() but with
* indentations. ************************************************************************
*/
public String format(int indent) {
String tabs = GenUtils.indent(indent);
return tabs
+ "[CondDef]"
+ " verlevel="
+ GenUtils.inverseMapping(getInt(VERLEVEL), verlevels)
+ " owner="
+ GenUtils.inverseMapping(getInt(OWNER), owners)
+ "\n"
+ options.format(indent + 1);
}
public int getInt(String key) {
return options.getInt(key);
}
public String get(String key) {
return options.getStr(key);
}
public boolean exists(String key) {
return options.exists(key);
}
/**
* ******************************************************************* Convenient methods for
* accessing 'options' *******************************************************************
*/
public boolean is(String key) {
return options.is(key);
}
