public class MarkupElement extends Object
Constructor and Description |
---|
MarkupElement(String header)
Instantiates a new markup element.
|
Modifier and Type | Method and Description |
---|---|
void |
addSubElements(MarkupElement element)
Adds a sub-element.
|
void |
addValue(String value)
Adds an entry to this element.
|
void |
flagInvisibleModification()
Set a flag indicating that this element has modifications which are not
visible in the markup document.
|
String |
getHeader()
Gets the header.
|
List<MarkupElement> |
getSubElements()
Gets the sub-elements.
|
List<String> |
getValues()
Gets the entries stored in this element.
|
boolean |
hasInvisibleModifications()
Does this element have modifications which are not visible in the markup
document?.
|
void |
setHeader(String header)
Sets the header.
|
boolean |
setInvisibleModifications(boolean invisibleModifications)
Does this element have modifications which are not visible in the markup
document?.
|
public MarkupElement(String header)
header
- the headerpublic void flagInvisibleModification()
public boolean hasInvisibleModifications()
public boolean setInvisibleModifications(boolean invisibleModifications)
invisibleModifications
- the flag for invisible modificationspublic void addValue(String value)
value
- the entrypublic void addSubElements(MarkupElement element)
element
- the elementpublic void setHeader(String header)
header
- the new headerpublic String getHeader()
public List<String> getValues()
public List<MarkupElement> getSubElements()
Copyright © 2019 SEMS project @ University of Rostock. All rights reserved.