added group type spec

main
josch 13 years ago
parent d51ed8d2f2
commit 3ef5287e6b

@ -0,0 +1,17 @@
package de.unibremen.informatik.hets.model;
import org.semanticweb.owlapi.model.OWLOntologyManager;
public class Group extends Spec {
public Group(String cont, String anno) {
super(cont, anno);
}
public String toString(OWLOntologyManager ontologymanager) {
return content;
}
public String toString() {
return content;
}
}

@ -100,8 +100,10 @@ public class PPXMLParser {
return new Basicspec(getrange(hetfile, spec.getAttribute("range")), annotation);
} else if (spec.getTagName() == "Actuals") {
return new Actuals(spec.getAttribute("name"), annotation);
} else if (spec.getTagName() == "Group") {
return new Group(getrange(hetfile, spec.getAttribute("range")), annotation);
} else {
throw new PPXMLParserException();
throw new PPXMLParserException("don't know how to handle: " + spec.getTagName());
}
}

Loading…
Cancel
Save