/**
* 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);
}
}
@Override
protected void initChildren(Element eThis) throws OmException {
Node nPrevious = eThis.getPreviousSibling();
if (nPrevious != null && nPrevious instanceof Text) {
String sText = ((Text) nPrevious).getData();
if (sText.length() > 0 && Character.isWhitespace(sText.charAt(sText.length() - 1)))
bSpaceBefore = true;
}
Node nAfter = eThis.getNextSibling();
if (nAfter != null && nAfter instanceof Text) {
String sText = ((Text) nAfter).getData();
if (sText.length() > 0 && Character.isWhitespace(sText.charAt(0))) bSpaceAfter = true;
}
List<Place> lPlaces = new LinkedList<Place>();
int iPlace = 0;
StringBuffer sbText = new StringBuffer();
for (Node n = eThis.getFirstChild(); n != null; n = n.getNextSibling()) {
if (n instanceof Element) {
Element eplace = (Element) n;
if (!eplace.getTagName().equals("eplace"))
throw new OmFormatException("<equation> may only contain text and <eplace> tags");
Element[] aeChildren = XML.getChildren(eplace);
QComponent qcChild;
boolean bImplicit = false;
if (aeChildren.length != 1) // Treats more than one child as inside <t>
{
qcChild = getQDocument().build(this, eplace, "t");
bImplicit = true;
} else // Treats single child as specific component (auto-sizing works)
qcChild = getQDocument().build(this, aeChildren[0], null);
addChild(qcChild); // Must be stored in standard child array so it
// can be found etc.
// See if width/height is specified
int iWidth, iHeight;
if (eplace.hasAttribute("width") && eplace.hasAttribute("height")) {
try {
iWidth = Integer.parseInt(eplace.getAttribute("width"));
iHeight = Integer.parseInt(eplace.getAttribute("height"));
} catch (NumberFormatException nfe) {
throw new OmFormatException("<equation> <eplace>: width= and height= must be integers");
}
} else {
Dimension d = qcChild.getApproximatePixelSize();
if (d == null)
throw new OmFormatException(
"<equation> <eplace>: Except for components that support automatic "
+ "size estimation and fixing, <eplace> must include width= and height=");
iWidth = d.width;
iHeight = d.height;
}
Place p = new Place();
p.sID = "p" + (iPlace++);
p.qc = qcChild;
p.iWidth = iWidth;
p.iHeight = iHeight;
p.bImplicit = bImplicit;
if (!eplace.hasAttribute("label"))
throw new OmFormatException("<equation> <eplace>: Must include label=");
if (eplace.hasAttribute("label")) p.sLabel = eplace.getAttribute("label");
else p.sLabel = null;
if (eplace.hasAttribute("for")) p.sLabelFor = eplace.getAttribute("for");
else if (qcChild instanceof Labelable) p.sLabelFor = qcChild.getID();
lPlaces.add(p);
// Add in the equation format text representing the placeholder
sbText.append("\\placeholder{" + p.sID + "}{" + p.iWidth + "," + p.iHeight + "}");
} else if (n instanceof Text) {
sbText.append(n.getNodeValue());
}
}
sEquation = sbText.toString();
apPlaces = lPlaces.toArray(new Place[0]);
}