public class StringUtil
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
allCapsToSUMOID(java.lang.String str) |
static java.lang.String |
arrayListToSpacedString(java.util.ArrayList<java.lang.String> al)
Convert an arbitrary string to a legal KIF identifier by
substituting dashes for illegal characters.
|
static java.lang.String |
asSUMORelationID(java.lang.String str) |
static java.lang.String |
concatN(java.lang.String input,
int n)
Returns a String formed from n concatenations of input.
|
static boolean |
containsNonAsciiChars(java.lang.String str) |
static java.lang.String |
decode(java.lang.String input)
Returns a URL decoded String obtained from input, which is
assumed to be a URL encoded String composed of characters in
the default charset.
|
static boolean |
emptyString(java.lang.Object s) |
static java.lang.String |
encode(java.lang.String input)
Returns a URL encoded String obtained from input, which is
assumed to be a String composed of characters in the default
charset.
|
static java.lang.String |
encrypt(java.lang.String input,
java.lang.String charset)
Converts input, which is assumed to belong to charset, to a
base 64 representation, and then encrypts the result using the
SHA algorithm.
|
static java.lang.String |
escapeEscapeChars(java.lang.String str) |
static java.lang.String |
escapeQuoteChars(java.lang.String str) |
static java.lang.String |
fillString(java.lang.String st,
char fillchar,
int totalLength,
boolean prepend)
Fill a string with the desired character up to the totalLength.
|
static java.lang.String |
filterHtml(java.lang.String input)
Remove HTML from input string.
|
static int |
findBalancedParen(int pIndex,
java.lang.String st)
Find the parenthesis that balances the one in st at character pIndex
|
static java.lang.String |
fromBase64(java.lang.String input,
java.lang.String charset)
Given an input String encoded in base-64, decodes the String
and returns the original form of input in charset.
|
static java.lang.String |
getCharset()
Returns a String denoting a character encoding scheme.
|
static java.lang.String |
getContents(java.io.File aFile)
Fetch the entire contents of a text file, and return it in a String.
|
static java.lang.String |
getDateTime(java.lang.String pattern)
Returns a date/time string corresponding to pattern.
|
static java.lang.String |
getKifNamespaceDelimiter()
Returns the string used in SUO-KIF to separate a namespace
prefix from the term it qualifies.
|
static java.lang.String |
getLineSeparator()
Returns the default line separator token for the current
runtime platform.
|
static java.lang.String |
getLocalReferenceBaseName() |
static java.lang.String |
getSafeNamespaceDelimiter()
Returns a "safe" alphanumeric ASCII string that can be
substituted for the W3C or SUO-KIF string delimiting a
namespace prefix from an unqualified term name.
|
static java.lang.String |
getW3cNamespaceDelimiter()
Returns the string preferred by W3C to separate a namespace
prefix from the term it qualifies.
|
static java.lang.String |
indent(int num,
java.lang.String indentChars) |
static boolean |
isDigitString(java.lang.String input)
Returns true if every char in input is a digit char, else
returns false.
|
static boolean |
isLocalTermReference(java.lang.String term) |
static boolean |
isNonEmptyString(java.lang.Object obj) |
static boolean |
isNumeric(java.lang.String input) |
static boolean |
isQuotedString(java.lang.String input)
Returns true if input appears to be a quoted String, else
returns false.
|
static boolean |
isStringWithSpaces(java.lang.String input)
Returns true if input is a String containing some whitespace
chars, else returns false.
|
static boolean |
isUri(java.lang.String input)
Returns true if input appears to be a URI string, else returns
false.
|
static java.util.ArrayList |
kifListToArrayList(java.lang.String kifListAsString)
Returns a new ArrayList formed by extracting in order the
top-level members of kifListAsString, which is assumed to be
the String representation of a SUO-KIF (LISP) list.
|
static java.lang.String |
kifToW3c(java.lang.String term) |
static void |
main(java.lang.String[] args) |
static java.lang.String |
makeQuotedString(java.lang.String input,
char quoteChar)
Returns a new String formed by adding quoteChar to each end of
input.
|
static java.lang.String |
normalizeSpaceChars(java.lang.String str) |
static java.lang.String |
quote(java.lang.String input) |
static java.lang.String |
removeEnclosingChar(java.lang.String s,
int n,
char c)
Removes n layers of balanced ASCII double-quote characters from each
end of the String s, if any are present.
|
static java.lang.String |
removeEnclosingCharPair(java.lang.String s,
int n,
char c1,
char c2)
Removes n layers of balanced characters from each
end of the String s, if any are present.
|
static java.lang.String |
removeEnclosingChars(java.lang.String s,
int n,
char c)
Removes n layers of balanced characters from each
end of the String s, if any are present.
|
static java.lang.String |
removeEnclosingQuotes(java.lang.String s)
Removes all balanced ASCII double-quote characters from each
end of the String s, if any are present.
|
static java.lang.String |
removeEscapedDoubleQuotes(java.lang.String str) |
static java.lang.String |
removeEscapedEscapes(java.lang.String str) |
static java.lang.String |
removeHTML(java.lang.String sentence)
Remove HTML markup from a sentence.
|
static java.lang.String |
removeInternalDoubleQuotes(java.lang.String str) |
static java.lang.String |
removePunctuation(java.lang.String sentence)
Remove punctuation and contractions from a sentence.
|
static java.lang.String |
removeQuoteEscapes(java.lang.String str) |
static java.io.File |
renameFileIfExists(java.io.File f)
If the file f already exists, this method returns a new File
object with a unique name formed by appending an integer.
|
static java.lang.String |
replaceDateTime(java.lang.String input)
If the input String contains the sequence {date}pattern{date},
replaces the first occurrence of this sequence with a UTC
date/time string formatted according to pattern.
|
static java.lang.String |
replaceNonAsciiChars(java.lang.String str) |
static java.lang.String |
replaceNonIdChars(java.lang.String st)
Replace any character that isn't a valid KIF identifier
character with a lower-case x.
|
static java.lang.String |
replaceRepeatedDoubleQuotes(java.lang.String str) |
static java.lang.String |
replaceUnsafeNamespaceDelimiters(java.lang.String input)
Replaces non-alphanumeric namespace delimiters in input with an
alphanumeric form that can be handled by Vampire and other
provers.
|
static java.lang.String |
safeToKifNamespaceDelimiters(java.lang.String input)
Replaces all occurrences of the "safe" namespace delimiter in
input with the default KIF namespace delimiter, which might
contain characters that are not acceptable to some provers.
|
static void |
setCharset(java.lang.String charEncoding)
Sets the default value of CHARSET to charEncoding.
|
static java.lang.String |
setKifNamespaceDelimiter(java.lang.String str)
Sets to str the String used in SUO-KIF to separate a namespace
prefix from the term it qualifies.
|
static void |
setLineSeparator(java.lang.String separator)
Sets the default line separator token for the current runtime
platform.
|
static void |
setLocalReferenceBaseName(java.lang.String basename) |
static java.lang.String |
setSafeNamespaceDelimiter(java.lang.String str)
Sets to str the "safe" alphanumeric ASCII String value that can
be substituted for the W3C or SUO-KIF string delimiting a
namespace prefix from an unqualified term name.
|
static java.lang.String |
setW3cNamespaceDelimiter(java.lang.String str)
Sets to str the String token preferred by W3C to separate a
namespace prefix from the term it qualifies.
|
static java.lang.String |
splitCamelCase(java.lang.String s)
Convert camelcase string to human-readable format
source: http://stackoverflow.com/a/2560017/204814
|
static java.lang.String |
stringToKIF(java.lang.String input,
boolean upcaseFirst)
Convert any arbitrary string to a valid KIF id.
|
static java.lang.String |
StringToKIFid(java.lang.String s)
Convert an arbitrary string to a legal KIF identifier by
substituting dashes for illegal characters.
|
static java.lang.String |
StringToPrologID(java.lang.String s)
Convert an arbitrary string to a legal Prolog identifier by
substituting dashes for illegal characters.
|
static java.lang.String |
toBase64(java.lang.String input,
java.lang.String charset)
Given an input String encoded in charset, returns a String
representing the base-64 encoding of the input.
|
static java.lang.String |
toSafeNamespaceDelimiter(java.lang.String term)
Replaces the namespace delimiter in term with a string that is
safe for inference, and for all common file systems.
|
static java.lang.String |
toSafeNamespaceDelimiter(java.lang.String kbHref,
java.lang.String term)
Replaces the namespace delimiter in term with a string that is
safe for inference and for all common file systems, but only if
kbHref is an empty string or == null.
|
static java.lang.String |
treeReplace(java.lang.String oldPattern,
java.lang.String newTerm,
java.lang.String tree)
Performs a depth-first search of tree, replacing all terms
matching oldPattern with newTerm.
|
static java.lang.String |
unquote(java.lang.String input) |
static java.lang.String |
w3cToKif(java.lang.String term) |
static java.lang.String |
wordWrap(java.lang.String input)
Convenience method with default line length of 70
|
static java.lang.String |
wordWrap(java.lang.String input,
int length) |
public static void setCharset(java.lang.String charEncoding)
charEncoding
- A String denoting a character encoding schemepublic static java.lang.String getCharset()
public static java.lang.String encode(java.lang.String input)
input
- A String which has not yet been URL encodedpublic static java.lang.String decode(java.lang.String input)
input
- A URL encoded Stringpublic static java.lang.String getLineSeparator()
public static void setLineSeparator(java.lang.String separator)
separator
- The String to use as the line separatorpublic static java.lang.String getKifNamespaceDelimiter()
public static java.lang.String setKifNamespaceDelimiter(java.lang.String str)
public static java.lang.String getW3cNamespaceDelimiter()
public static java.lang.String setW3cNamespaceDelimiter(java.lang.String str)
public static java.lang.String getSafeNamespaceDelimiter()
public static java.lang.String setSafeNamespaceDelimiter(java.lang.String str)
public static java.lang.String toBase64(java.lang.String input, java.lang.String charset)
input
- A Stringcharset
- A String constant denoting a Charsetpublic static java.lang.String fromBase64(java.lang.String input, java.lang.String charset)
input
- A base-64 Stringcharset
- A String constant denoting a Charset, such at UTF-8public static java.lang.String encrypt(java.lang.String input, java.lang.String charset)
input
- A String in charsetcharset
- A String constant denoting a Charset, such at UTF-8public static boolean isNonEmptyString(java.lang.Object obj)
obj
- Any objectpublic static boolean emptyString(java.lang.Object s)
s
- An input Object, expected to be a String.public static java.lang.String removeEnclosingQuotes(java.lang.String s)
public static java.lang.String removeEnclosingChar(java.lang.String s, int n, char c)
public static java.lang.String removeEnclosingChars(java.lang.String s, int n, char c)
public static java.lang.String removeEnclosingCharPair(java.lang.String s, int n, char c1, char c2)
public static java.lang.String removePunctuation(java.lang.String sentence)
public static java.lang.String removeHTML(java.lang.String sentence)
public static java.lang.String normalizeSpaceChars(java.lang.String str)
str
- A Stringpublic static java.lang.String arrayListToSpacedString(java.util.ArrayList<java.lang.String> al)
public static java.lang.String StringToKIFid(java.lang.String s)
public static java.lang.String StringToPrologID(java.lang.String s)
public static java.lang.String escapeQuoteChars(java.lang.String str)
str
- A Stringpublic static java.lang.String escapeEscapeChars(java.lang.String str)
str
- A Stringpublic static java.lang.String removeQuoteEscapes(java.lang.String str)
str
- A Stringpublic static java.lang.String removeEscapedEscapes(java.lang.String str)
str
- A Stringpublic static java.lang.String removeEscapedDoubleQuotes(java.lang.String str)
str
- A Stringpublic static java.lang.String removeInternalDoubleQuotes(java.lang.String str)
str
- A Stringpublic static java.lang.String replaceRepeatedDoubleQuotes(java.lang.String str)
str
- A Stringpublic static java.lang.String allCapsToSUMOID(java.lang.String str)
public static java.lang.String asSUMORelationID(java.lang.String str)
public static boolean containsNonAsciiChars(java.lang.String str)
str
- A Stringpublic static java.lang.String replaceNonAsciiChars(java.lang.String str)
str
- A Stringpublic static java.lang.String replaceNonIdChars(java.lang.String st)
public static java.lang.String getDateTime(java.lang.String pattern)
pattern
- Examples: yyyy, yyyy-MM-dd.public static java.lang.String replaceDateTime(java.lang.String input)
input
- The input String into which a formatted date/time
will be insertedpublic static boolean isUri(java.lang.String input)
input
- A Stringpublic static boolean isStringWithSpaces(java.lang.String input)
input
- A Stringpublic static boolean isQuotedString(java.lang.String input)
input
- A Stringpublic static java.lang.String makeQuotedString(java.lang.String input, char quoteChar)
input
- A Stringpublic static boolean isDigitString(java.lang.String input)
input
- A Stringpublic static boolean isNumeric(java.lang.String input)
public static java.lang.String concatN(java.lang.String input, int n)
input
- A Stringn
- A non-negative intpublic static java.lang.String treeReplace(java.lang.String oldPattern, java.lang.String newTerm, java.lang.String tree)
oldPattern
- A regular expression pattern to be matched
against terms in treenewTerm
- A String to replace terms matching oldPatterntree
- A String representing a SUO-KIF Formula (list)public static java.util.ArrayList kifListToArrayList(java.lang.String kifListAsString)
kifListAsString
- A SUO-KIF list represented as a Stringpublic static java.lang.String replaceUnsafeNamespaceDelimiters(java.lang.String input)
input
- The String representation of a SUO-KIF Formula or
other expressionpublic static java.lang.String safeToKifNamespaceDelimiters(java.lang.String input)
input
- The String representation of a SUO-KIF Formula or
other expression, such as a TPTP Formulapublic static java.lang.String toSafeNamespaceDelimiter(java.lang.String term)
public static java.lang.String toSafeNamespaceDelimiter(java.lang.String kbHref, java.lang.String term)
public static java.lang.String w3cToKif(java.lang.String term)
public static java.lang.String kifToW3c(java.lang.String term)
public static java.lang.String quote(java.lang.String input)
public static java.lang.String unquote(java.lang.String input)
public static boolean isLocalTermReference(java.lang.String term)
public static java.lang.String getLocalReferenceBaseName()
public static void setLocalReferenceBaseName(java.lang.String basename)
public static java.io.File renameFileIfExists(java.io.File f)
f
- A Filepublic static java.lang.String wordWrap(java.lang.String input, int length)
public static java.lang.String wordWrap(java.lang.String input)
public static java.lang.String stringToKIF(java.lang.String input, boolean upcaseFirst)
public static java.lang.String indent(int num, java.lang.String indentChars)
public static int findBalancedParen(int pIndex, java.lang.String st)
public static java.lang.String fillString(java.lang.String st, char fillchar, int totalLength, boolean prepend)
public static void main(java.lang.String[] args)
public static java.lang.String getContents(java.io.File aFile)
aFile
- is a file which already exists and can be read.public static java.lang.String filterHtml(java.lang.String input)
input
- public static java.lang.String splitCamelCase(java.lang.String s)