public class DynamicHierItorOptions extends PatternOptions
Modifier and Type | Method and Description |
---|---|
DynamicHierOptions |
getHierOptions() |
java.lang.String |
getId() |
java.lang.String |
getVarName() |
void |
merge(PatternOptions patternOptions)
Apply non null options specified in patternOptions to the
the current set of options.
|
DynamicHierItorOptions |
setId(java.lang.String id) |
DynamicHierItorOptions |
setVarName(java.lang.String varName) |
public java.lang.String getId()
public DynamicHierItorOptions setId(java.lang.String id)
public java.lang.String getVarName()
public DynamicHierItorOptions setVarName(java.lang.String varName)
public DynamicHierOptions getHierOptions()
public void merge(PatternOptions patternOptions)
merge
in class PatternOptions
patternOptions
- base pattern options