//Adds the facets to the result
Vector facets = type.getFacet();
FacetFactory facetFactory = FacetFactory.getInstance();
for (int index = 0; index < facets.size(); index++) {
TypeProperty prop = (TypeProperty) facets.elementAt(index);
if (!prop.getPseudo()) {
//adds a "real" facet (defined in the xml specs)
Facet facet = facetFactory.createFacet(prop.getName(), prop.getValue());
facet.setOwningType(result);
result.addFacet(facet);
} else {
//sets the information linked with the pseudo facet
if (RealType.class.isInstance(result)) {
RealType realResult = (RealType) result;
if (prop.getName().equals("minM")) {
realResult.setMinMantissa(Long.parseLong(prop.getValue()));
} else if (prop.getName().equals("maxM")) {
realResult.setMaxMantissa(Long.parseLong(prop.getValue()));
} else if (prop.getName().equals("minE")) {
realResult.setMinExponent(Long.parseLong(prop.getValue()));
} else if (prop.getName().equals("maxE")) {
realResult.setMaxExponent(Long.parseLong(prop.getValue()));
}
}
}
}
return result;