public class Notice extends Element
Modifier and Type | Field and Description |
---|---|
protected java.util.List<Element> |
elements
A list of arbitrary Elements described by this Notice.
|
protected java.util.List<Notice> |
notices
The Annotations attached to this Notice.
|
protected java.lang.String |
text
A short text string indicating the text.
|
Constructor and Description |
---|
Notice()
Creates an empty Notice.
|
Notice(java.lang.String text)
Creates a Notice with the given text.
|
Modifier and Type | Method and Description |
---|---|
Notice |
addElement(Element element)
Adds a model Element to the list described by this Notice.
|
Notice |
addNotice(Notice note)
Adds a subsidiary Notice to this Notice node.
|
java.util.List<Element> |
getElements()
Returns the list of Elements described by this Notice, if any.
|
java.util.List<Notice> |
getNotices()
Returns the list of subsidiary Notices under this Notice, if any.
|
java.lang.String |
getText()
Returns the text of this Notice.
|
Notice |
setText(java.lang.String text)
Sets the text of this Notice.
|
safeEquals, safeHashCode, semanticError
protected java.lang.String text
protected java.util.List<Notice> notices
protected java.util.List<Element> elements
public Notice()
public Notice(java.lang.String text)
text
- the text.public Notice setText(java.lang.String text)
text
- the text.public java.lang.String getText()
public Notice addNotice(Notice note)
note
- the subsidiary Notice to add.public java.util.List<Notice> getNotices()
public Notice addElement(Element element)
element
- the Element to add.public java.util.List<Element> getElements()