public static Element formatErrorAsXHTML(Document ownerDocument, InputError error) { Element result = ownerDocument.createElementNS(W3CConstants.XHTML_NAMESPACE, "div"); result.setAttribute("class", "error"); Element heading = ownerDocument.createElementNS(W3CConstants.XHTML_NAMESPACE, "h2"); heading.appendChild(ownerDocument.createTextNode("SnuggleTeX Error (" + formatErrorCodeName(error.getErrorCode()) + ")")); Element pre = ownerDocument.createElementNS(W3CConstants.XHTML_NAMESPACE, "pre"); /* Nicely format XML error content */ StringBuffer messageBuilder = new StringBuffer(getErrorMessage(error)); FrozenSlice errorSlice = error.getSlice(); if (errorSlice!=null) { appendSliceContext(messageBuilder, errorSlice); } /* Add message as child node */ pre.appendChild(ownerDocument.createTextNode(messageBuilder.toString())); /* That's it! */ result.appendChild(heading); result.appendChild(pre); return result; }
public static Element formatErrorAsXHTML(Document ownerDocument, InputError error) { Element result = ownerDocument.createElementNS(W3CConstants.XHTML_NAMESPACE, "div"); result.setAttribute("class", "error"); Element heading = ownerDocument.createElementNS(W3CConstants.XHTML_NAMESPACE, "h2"); heading.appendChild(ownerDocument.createTextNode("SnuggleTeX Error (" + formatErrorCodeName(error.getErrorCode()) + ")")); Element pre = ownerDocument.createElementNS(W3CConstants.XHTML_NAMESPACE, "pre"); /* Nicely format XML error content */ StringBuffer messageBuilder = new StringBuffer(getErrorMessage(error)); FrozenSlice errorSlice = error.getSlice(); if (errorSlice!=null) { appendSliceContext(messageBuilder, errorSlice); } /* Add message as child node */ pre.appendChild(ownerDocument.createTextNode(messageBuilder.toString())); /* That's it! */ result.appendChild(heading); result.appendChild(pre); return result; }
public static Element formatErrorAsXHTML(Document ownerDocument, InputError error) { Element result = ownerDocument.createElementNS(W3CConstants.XHTML_NAMESPACE, "div"); result.setAttribute("class", "error"); Element heading = ownerDocument.createElementNS(W3CConstants.XHTML_NAMESPACE, "h2"); heading.appendChild(ownerDocument.createTextNode("SnuggleTeX Error (" + formatErrorCodeName(error.getErrorCode()) + ")")); Element pre = ownerDocument.createElementNS(W3CConstants.XHTML_NAMESPACE, "pre"); /* Nicely format XML error content */ StringBuffer messageBuilder = new StringBuffer(getErrorMessage(error)); FrozenSlice errorSlice = error.getSlice(); if (errorSlice!=null) { appendSliceContext(messageBuilder, errorSlice); } /* Add message as child node */ pre.appendChild(ownerDocument.createTextNode(messageBuilder.toString())); /* That's it! */ result.appendChild(heading); result.appendChild(pre); return result; }
public static void appendErrorAsString(StringBuffer messageBuilder, InputError error) { new MessageFormat(GENERAL_MESSAGE_BUNDLE.getString("error_as_string")).format(new Object[] { formatErrorCodeName(error.getErrorCode()), /* Error code/package */ getErrorMessage(error) /* Error Message */ }, messageBuilder, null); FrozenSlice errorSlice = error.getSlice(); if (errorSlice!=null) { appendSliceContext(messageBuilder, errorSlice); } }
public static void appendErrorAsString(StringBuffer messageBuilder, InputError error) { new MessageFormat(GENERAL_MESSAGE_BUNDLE.getString("error_as_string")).format(new Object[] { formatErrorCodeName(error.getErrorCode()), /* Error code/package */ getErrorMessage(error) /* Error Message */ }, messageBuilder, null); FrozenSlice errorSlice = error.getSlice(); if (errorSlice!=null) { appendSliceContext(messageBuilder, errorSlice); } }
public static void appendErrorAsString(StringBuffer messageBuilder, InputError error) { new MessageFormat(GENERAL_MESSAGE_BUNDLE.getString("error_as_string")).format(new Object[] { formatErrorCodeName(error.getErrorCode()), /* Error code/package */ getErrorMessage(error) /* Error Message */ }, messageBuilder, null); FrozenSlice errorSlice = error.getSlice(); if (errorSlice!=null) { appendSliceContext(messageBuilder, errorSlice); } }
/** * Creates a DOM {@link Element} containing information about the given error, including * either just the {@link ErrorCode} or full details. * * @param ownerDocument {@link Document} that will contain the resulting element. * @param error {@link InputError} to format * @param fullDetails false if you just want the error code, true for full details. */ public static Element formatErrorAsXML(Document ownerDocument, InputError error, boolean fullDetails) { Element result = ownerDocument.createElementNS(SnuggleConstants.SNUGGLETEX_NAMESPACE, "error"); result.setAttribute("code", error.getErrorCode().getName()); result.setAttribute("package", error.getErrorCode().getErrorGroup().getPackage().getName()); if (fullDetails) { /* Nicely format XML error content */ StringBuffer messageBuilder = new StringBuffer(getErrorMessage(error)); FrozenSlice errorSlice = error.getSlice(); if (errorSlice!=null) { appendSliceContext(messageBuilder, errorSlice); } /* Add message as child node */ result.appendChild(ownerDocument.createTextNode(messageBuilder.toString())); } /* That's it! */ return result; }
/** * Creates a DOM {@link Element} containing information about the given error, including * either just the {@link ErrorCode} or full details. * * @param ownerDocument {@link Document} that will contain the resulting element. * @param error {@link InputError} to format * @param fullDetails false if you just want the error code, true for full details. */ public static Element formatErrorAsXML(Document ownerDocument, InputError error, boolean fullDetails) { Element result = ownerDocument.createElementNS(SnuggleConstants.SNUGGLETEX_NAMESPACE, "error"); result.setAttribute("code", error.getErrorCode().getName()); result.setAttribute("package", error.getErrorCode().getErrorGroup().getPackage().getName()); if (fullDetails) { /* Nicely format XML error content */ StringBuffer messageBuilder = new StringBuffer(getErrorMessage(error)); FrozenSlice errorSlice = error.getSlice(); if (errorSlice!=null) { appendSliceContext(messageBuilder, errorSlice); } /* Add message as child node */ result.appendChild(ownerDocument.createTextNode(messageBuilder.toString())); } /* That's it! */ return result; }
FrozenSlice errorSlice = error.getSlice(); if (errorSlice!=null) { appendSliceContext(messageBuilder, errorSlice);