void parseFormalismInfo(Element node) {
NodeList authors = node.getElementsByTagName("author");
if (authors.getLength() > 0) {
Vector v = new Vector();
int len = authors.getLength();
for (int i = 0; i < len; i++) {
String a = ((Node) authors.item(i)).getFirstChild().getNodeValue();
v.addElement(a);
}
formalism.setAuthors(v);
}
NodeList doc = node.getElementsByTagName("doc");
if (doc.getLength() > 0) {
String url = ((Element) doc.item(0)).getAttribute("url");
formalism.setDocURL(url);
}
NodeList icontag = node.getElementsByTagName("icon");
if (icontag.getLength() > 0) {
String url = ((Element) icontag.item(0)).getAttribute("url");
formalism.setIcon(url);
}
}
