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);
}
if (this.nr != null) {
XMLAttribute xmlAttribute = new XMLAttribute("nr", this.nr);
xmlElement.getXMLAttributeList().add(xmlAttribute);
}
if (this.vid != null) {
XMLAttribute xmlAttribute = new XMLAttribute("vid", this.vid);
xmlElement.getXMLAttributeList().add(xmlAttribute);
}
boolean isEmpty = !(formula != null);
xmlElement.setEmpty(isEmpty);
xmlElementList.add(xmlElement);