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; }
/** Constructs an error message for the given {@link InputError}. */ public static String getErrorMessage(InputError error) { return getErrorMessage(error.getErrorCode(), error.getArguments()); }
/** Constructs an error message for the given {@link InputError}. */ public static String getErrorMessage(InputError error) { return getErrorMessage(error.getErrorCode(), error.getArguments()); }
/** Constructs an error message for the given {@link InputError}. */ public static String getErrorMessage(InputError error) { return getErrorMessage(error.getErrorCode(), error.getArguments()); }
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; }
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); } }
result.setAttribute("code", error.getErrorCode().getName()); result.setAttribute("package", error.getErrorCode().getErrorGroup().getPackage().getName());
Element merror = appendMathMLElement(parentElement, "merror"); appendMathMLTextElement(merror, "mtext", errorToken.getError().getErrorCode().toString(), false);
Element merror = appendMathMLElement(parentElement, "merror"); appendMathMLTextElement(merror, "mtext", errorToken.getError().getErrorCode().toString(), false);
Element merror = appendMathMLElement(parentElement, "merror"); appendMathMLTextElement(merror, "mtext", errorToken.getError().getErrorCode().toString(), false);
if (((ErrorToken) resultToken).getError().getErrorCode()==CoreErrorCode.TTEG00) { endDelimiterNotFound = true;
if (((ErrorToken) resultToken).getError().getErrorCode()==CoreErrorCode.TTEG00) { endDelimiterNotFound = true;
if (((ErrorToken) resultToken).getError().getErrorCode()==CoreErrorCode.TTEG00) { endDelimiterNotFound = true;
return createError(errorToken.getError().getErrorCode(), startTokenIndex, position, errorToken.getError().getArguments());
return createError(errorToken.getError().getErrorCode(), startTokenIndex, position, errorToken.getError().getArguments());