public void setPattern(String pattern) {
DocumentTextNode textNode = getTextNode();
if (textNode != null) {
textNode.setText(pattern);
} else {
textNode = new DocumentTextNode(false);
textNode.setText(pattern);
setTextNode(textNode);
}
}
////////////////////////////////////////////////////////////////////////////
//
// Access
//
////////////////////////////////////////////////////////////////////////////
public String getPattern() {
DocumentTextNode textNode = getTextNode();
return textNode.getText();
}