/**
* Carries out preprocessing that makes JEuclid handle the document better.
*
* @param doc Document
*/
static void preprocessForJEuclid(Document doc) {
// underbrace and overbrace
NodeList list = doc.getElementsByTagName("mo");
for (int i = 0; i < list.getLength(); i++) {
Element mo = (Element) list.item(i);
String parentName = ((Element) mo.getParentNode()).getTagName();
if (parentName == null) {
continue;
}
if (parentName.equals("munder") && isTextChild(mo, "\ufe38")) {
mo.setAttribute("stretchy", "true");
mo.removeChild(mo.getFirstChild());
mo.appendChild(doc.createTextNode("\u23df"));
} else if (parentName.equals("mover") && isTextChild(mo, "\ufe37")) {
mo.setAttribute("stretchy", "true");
mo.removeChild(mo.getFirstChild());
mo.appendChild(doc.createTextNode("\u23de"));
}
}
// menclose for long division doesn't allow enough top padding. Oh, and
// <mpadded> isn't implemented. And there isn't enough padding to left of
// the bar either. Solve by adding an <mover> with just an <mspace> over#
// the longdiv, contained within an mrow that adds a <mspace> before it.
list = doc.getElementsByTagName("menclose");
for (int i = 0; i < list.getLength(); i++) {
Element menclose = (Element) list.item(i);
// Only for longdiv
if (!"longdiv".equals(menclose.getAttribute("notation"))) {
continue;
}
Element mrow = doc.createElementNS(WebMathsService.NS, "mrow");
Element mover = doc.createElementNS(WebMathsService.NS, "mover");
Element mspace = doc.createElementNS(WebMathsService.NS, "mspace");
Element mspaceW = doc.createElementNS(WebMathsService.NS, "mspace");
boolean previousElement = false;
for (Node previous = menclose.getPreviousSibling();
previous != null;
previous = previous.getPreviousSibling()) {
if (previous.getNodeType() == Node.ELEMENT_NODE) {
previousElement = true;
break;
}
}
if (previousElement) {
mspaceW.setAttribute("width", "4px");
}
menclose.getParentNode().insertBefore(mrow, menclose);
menclose.getParentNode().removeChild(menclose);
mrow.appendChild(mspaceW);
mrow.appendChild(mover);
mover.appendChild(menclose);
mover.appendChild(mspace);
}
}
/**
* Get the named properties for this resource and (potentially) its children.
*
* @param names an arrary of property names to retrieve
* @return a MultiStatus of PropertyResponses
* @exception com.ibm.webdav.WebDAVException
*/
public MultiStatus getProperties(PropertyName[] names) throws WebDAVException {
MultiStatus multiStatus = resource.getProperties(resource.getContext());
MultiStatus newMultiStatus = new MultiStatus();
Enumeration responses = multiStatus.getResponses();
while (responses.hasMoreElements()) {
PropertyResponse response = (PropertyResponse) responses.nextElement();
PropertyResponse newResponse = new PropertyResponse(response.getResource());
newResponse.setDescription(response.getDescription());
newMultiStatus.addResponse(newResponse);
Hashtable properties = (Hashtable) response.getPropertiesByPropName();
// Hashtable newProperties = (Hashtable) newResponse.getProperties();
for (int i = 0; i < names.length; i++) {
if (properties.containsKey(names[i])) {
PropertyValue srcval = response.getProperty(names[i]);
newResponse.setProperty(names[i], srcval);
// newProperties.put(names[i], properties.get(names[i]));
} else {
Document factory = null;
try {
factory = DocumentBuilderFactory.newInstance().newDocumentBuilder().newDocument();
} catch (Exception e) {
throw new WebDAVException(WebDAVStatus.SC_INTERNAL_SERVER_ERROR, e.getMessage());
}
// we'll create an xml element with no value because that's
// what webdav will need to return for most methods... even if the
// property doesn't exist. That's because the
// distinction between a propertyname and propertyvalue
// is fuzzy in WebDAV xml. A property name is
// essentially an empty property value because
// all property values have their property
// name stuck on.
// if we decide to set reviewStatus to null instead (as
// we did previously, then the code for MultiStatus.asXML()
// needs to be updated to expect null values.
// (jlc 990520)
Element elTm = factory.createElementNS("X", "X:" + names[i].getLocal());
elTm.setAttribute("xmlns:X", names[i].getNamespace());
newResponse.addProperty(names[i], elTm, WebDAVStatus.SC_NOT_FOUND);
}
}
}
return newMultiStatus;
}
/**
* Creates a DOM representation of the object. Result is appended to the Node <code>parent</code>.
*
* @param parent
*/
public void makeElement(Node parent) {
Document doc;
if (parent instanceof Document) {
doc = (Document) parent;
} else {
doc = parent.getOwnerDocument();
}
Element element =
doc.createElementNS(
"http://www.iso_relax.org/xmlns/miaou/binaryTreeAutomaton", "textTransition");
rNSContext_.setupNamespace(element);
int size;
URelaxer.setAttributePropertyByInt(element, "target", this.target_);
URelaxer.setAttributePropertyByInt(element, "right", this.right_);
parent.appendChild(element);
}
/**
* Creates a DOM representation of the object. Result is appended to the Node <code>parent</code>.
*
* @param parent
*/
public void makeElement(Node parent) {
Document doc;
if (parent instanceof Document) {
doc = (Document) parent;
} else {
doc = parent.getOwnerDocument();
}
Element element =
doc.createElementNS("http://www.asahi-net.or.jp/~cs8k-cyu/bulletml", "direction");
rNSContext_.setupNamespace(element);
URelaxer.setElementPropertyByString(element, this.content_);
int size;
if (this.type_ != null) {
URelaxer.setAttributePropertyByString(element, "type", this.type_);
}
parent.appendChild(element);
}
