/** * ******************************************************************* 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); }