uk.ac.ox.cs.diadem.util.misc

Class EscapingUtils

java.lang.Object

uk.ac.ox.cs.diadem.util.misc.EscapingUtils

public class EscapingUtils
extends Object

A collection of methods for escaping especially useful for dlv

Author:

Giovanni Grasso (giovannigrasso@gmail.com) Oxford University, Department of Computer Science

Field Summary

Fields

Modifier and Type	Field and Description
static char	DOUBLE_QUOTE_CHAR
static String	NON_BREAKING_SPACE
static char	SPECIAL_CHAR

Method Summary

Modifier and Type	Method and Description
static boolean	isConstantNumber(String string) Returns true is the given string is a constant number
static boolean	isGarbageText(String value) Quotes a string if not a representation of an integer number >= 0 (dlv does not support it).
static boolean	isNonBreakingSpace(String nodeValue) Checks if the given string matches the regex [ ] for a non-breaking-space
static boolean	isQuotedString(String quotedStringValue) Checks whether a string is properly quoted (e.g, "quotedStringValue")
static String	normalizeTextNodes(String nodeValue)
static String	quoteUnquotedString(String unquotedString) Wraps a string into double quotes (producing "unquotedString")
static boolean	sameURL(URL url, URL ourl) Compares two URLs ignoring # or / at the end.
static URL	stringToUrl(String urlString) Turns a String into a URL.
static URI	urlToUri(URL url) Turns a URL into a URI, turning any exceptions into runtime exceptions.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

SPECIAL_CHAR

public static final char SPECIAL_CHAR

See Also:

Constant Field Values

DOUBLE_QUOTE_CHAR

public static final char DOUBLE_QUOTE_CHAR

See Also:

Constant Field Values

NON_BREAKING_SPACE

public static final String NON_BREAKING_SPACE

See Also:

Constant Field Values

Method Detail

urlToUri

public static URI urlToUri(URL url)

Turns a URL into a URI, turning any exceptions into runtime exceptions. NEVER USE URL.toURI() as that method fails if the URL contains unencoded, unsafe characters such as | which are allowed in java's URL implementation but not in URI.

sameURL

public static boolean sameURL(URL url,
                              URL ourl)

Compares two URLs ignoring # or / at the end.

stringToUrl

public static URL stringToUrl(String urlString)
                       throws MalformedURLException

Turns a String into a URL.

Throws:

MalformedURLException

isGarbageText

public static boolean isGarbageText(String value)

Quotes a string if not a representation of an integer number >= 0 (dlv does not support it).

Parameters:

value - the string to quote

Returns:

a string if not a representation of an integer number >= 0 (dlv does not support it).

isConstantNumber

public static boolean isConstantNumber(String string)

Returns true is the given string is a constant number

Parameters:

string - the input string

Returns:

true is the given string is a constant number, false otherwise

quoteUnquotedString

public static String quoteUnquotedString(String unquotedString)

Wraps a string into double quotes (producing "unquotedString")

Parameters:

unquotedString - the value to quote

Returns:

the string "unquotedString"

isQuotedString

public static boolean isQuotedString(String quotedStringValue)

Checks whether a string is properly quoted (e.g, "quotedStringValue")

Parameters:

quotedStringValue -

Returns:

true if quotedStringValue is properly quoted (e.g, "quotedStringValue"), false otherwise

isNonBreakingSpace

public static boolean isNonBreakingSpace(String nodeValue)

Checks if the given string matches the regex [ ] for a non-breaking-space

Parameters:

nodeValue - the string to check

Returns:

true if the given string matches the regex [ ], false otherwise

normalizeTextNodes

public static String normalizeTextNodes(String nodeValue)