/**
* Disable all <tt><SCRIPT></tt> tags in <tt>aText</tt>.
*
* <p>Insensitive to case.
*/
public static String forScriptTagsOnly(String aText) {
String result = null;
Matcher matcher = SCRIPT.matcher(aText);
result = matcher.replaceAll("<SCRIPT>");
matcher = SCRIPT_END.matcher(result);
result = matcher.replaceAll("</SCRIPT>");
return result;
}
/**
* @param token The token to analyse.
* @return The text size corresponding to the given latex token or null.
* @since 3.0
*/
public static TextSize getTextSizeFromToken(final String token) {
TextSize textSize;
if (TINY.equals(token)) textSize = TINY;
else if (FOOTNOTE.equals(token)) textSize = FOOTNOTE;
else if (HUGE1.equals(token)) textSize = HUGE1;
else if (HUGE2.equals(token)) textSize = HUGE2;
else if (LARGE1.equals(token)) textSize = LARGE1;
else if (LARGE2.equals(token)) textSize = LARGE2;
else if (LARGE3.equals(token)) textSize = LARGE3;
else if (NORMAL.equals(token)) textSize = NORMAL;
else if (SCRIPT.equals(token)) textSize = SCRIPT;
else if (SMALL.equals(token)) textSize = SMALL;
else textSize = null;
return textSize;
}
