public LinkedList<XMLElement> getXMLElementList() {
LinkedList<XMLElement> xmlElementList = new LinkedList<XMLElement>();
XMLElement xmlElement = new XMLElement(NAME);
if (this.line != null) {
XMLAttribute xmlAttribute = new XMLAttribute("line", this.line);
xmlElement.getXMLAttributeList().add(xmlAttribute);
}
if (this.col != null) {
XMLAttribute xmlAttribute = new XMLAttribute("col", this.col);
xmlElement.getXMLAttributeList().add(xmlAttribute);
}
boolean isEmpty = !(proposition != null
|| justification != null);
xmlElement.setEmpty(isEmpty);