StringUtil

java.lang.Object
- com.articulate.sigma.utils.StringUtil

```
public class StringUtil
extends java.lang.Object
```
A utility class that defines static methods for common string manipulation operations.

Method Summary

All Methods Static Methods Concrete Methods
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`	`camelCaseToUnderlines(java.lang.String input)`
`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`	`getFirstNChars(java.lang.String s, int n)`
`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 java.lang.String`	`integerToPaddedString(int intval)`
`static boolean`	`isDigitString(java.lang.String input)` Returns true if every char in input is a digit char, else returns false.
`static boolean`	`isInteger(java.lang.String s)` Returns true if input is a String is an integer (of any size)
`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 boolean`	`quoted(java.lang.String input)`
`static java.lang.String`	`removeDoubleSpaces(java.lang.String s)`
`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`	`spacesToUnderlines(java.lang.String input)`
`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 boolean`	`urlExists(java.lang.String URLName)`
`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)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - setCharset
```
public static void setCharset(java.lang.String charEncoding)
```
    Sets the default value of CHARSET to charEncoding. charEncoding should be a String denoting a valid W3C character encoding scheme, such as "UTF-8".
    
    Parameters:
    
    charEncoding - A String denoting a character encoding scheme
  - getCharset
```
public static java.lang.String getCharset()
```
    Returns a String denoting a character encoding scheme. The default value is "UTF-8".
    
    Returns:
    
    String
  - encode
```
public 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. In most cases, the charset will be UTF-8.
    
    Parameters:
    
    input - A String which has not yet been URL encoded
    
    Returns:
    
    A URL encoded String
  - decode
```
public 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. In most cases, the charset will be UTF-8.
    
    Parameters:
    
    input - A URL encoded String
    
    Returns:
    
    A String that has been URL decoded
  - getLineSeparator
```
public static java.lang.String getLineSeparator()
```
    Returns the default line separator token for the current runtime platform.
    
    Returns:
    
    String
  - setLineSeparator
```
public static void setLineSeparator(java.lang.String separator)
```
    Sets the default line separator token for the current runtime platform.
    
    Parameters:
    
    separator - The String to use as the line separator
  - getKifNamespaceDelimiter
```
public static java.lang.String getKifNamespaceDelimiter()
```
    Returns the string used in SUO-KIF to separate a namespace prefix from the term it qualifies.
  - setKifNamespaceDelimiter
```
public 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.
  - getW3cNamespaceDelimiter
```
public static java.lang.String getW3cNamespaceDelimiter()
```
    Returns the string preferred by W3C to separate a namespace prefix from the term it qualifies.
  - setW3cNamespaceDelimiter
```
public 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.
  - getSafeNamespaceDelimiter
```
public 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. The safe delimiter is used to produce input formulae or files that can be loaded by Vampire and other provers unable to handle term names containing non-alphanumeric characters.
  - setSafeNamespaceDelimiter
```
public 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. The safe delimiter is used to produce input formulae or files that can be loaded by Vampire and other provers unable to handle term names containing non-alphanumeric characters.
  - toBase64
```
public 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.
    
    Parameters:
    
    input - A String
    
    charset - A String constant denoting a Charset
    
    Returns:
    
    a base-64 String
  - fromBase64
```
public 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.
    
    Parameters:
    
    input - A base-64 String
    
    charset - A String constant denoting a Charset, such at UTF-8
    
    Returns:
    
    a String decoded from base-64 to its original form in charset
  - encrypt
```
public 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.
    
    Parameters:
    
    input - A String in charset
    
    charset - A String constant denoting a Charset, such at UTF-8
    
    Returns:
    
    a String that has been converted to base 64 encoding and then encrypted via SHA
  - isNonEmptyString
```
public static boolean isNonEmptyString(java.lang.Object obj)
```
    Parameters:
    
    obj - Any object
    
    Returns:
    
    true if obj is a non-empty String, else false.
  - emptyString
```
public static boolean emptyString(java.lang.Object s)
```
    Parameters:
    
    s - An input Object, expected to be a String.
    
    Returns:
    
    true if s == null or s is an empty String, else false.
  - getFirstNChars
```
public static java.lang.String getFirstNChars(java.lang.String s,
                                              int n)
```
    Returns:
    
    just the first n characters of the string. If returning less than the full string, append "..."
  - spacesToUnderlines
```
public static java.lang.String spacesToUnderlines(java.lang.String input)
```
  - camelCaseToUnderlines
```
public static java.lang.String camelCaseToUnderlines(java.lang.String input)
```
  - removeEnclosingQuotes
```
public 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.
  - removeEnclosingChar
```
public 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.
  - removeEnclosingChars
```
public 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.
  - removeEnclosingCharPair
```
public 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.
  - removePunctuation
```
public static java.lang.String removePunctuation(java.lang.String sentence)
```
    Remove punctuation and contractions from a sentence.
  - removeHTML
```
public static java.lang.String removeHTML(java.lang.String sentence)
```
    Remove HTML markup from a sentence.
  - normalizeSpaceChars
```
public static java.lang.String normalizeSpaceChars(java.lang.String str)
```
    Parameters:
    
    str - A String
    
    Returns:
    
    A String with space characters normalized to match the conventions for written English text. All linefeeds and carriage returns are replaced with spaces.
  - arrayListToSpacedString
```
public 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. TODO: isJavaIdentifierPart() isn't sufficient, since it allows characters KIF doesn't
  - StringToKIFid
```
public static java.lang.String StringToKIFid(java.lang.String s)
```
    Convert an arbitrary string to a legal KIF identifier by substituting dashes for illegal characters. TODO: isJavaIdentifierPart() isn't sufficient, since it allows characters KIF doesn't
  - StringToPrologID
```
public static java.lang.String StringToPrologID(java.lang.String s)
```
    Convert an arbitrary string to a legal Prolog identifier by substituting dashes for illegal characters.
  - escapeQuoteChars
```
public static java.lang.String escapeQuoteChars(java.lang.String str)
```
    Parameters:
    
    str - A String
    
    Returns:
    
    A String with all double quote characters properly escaped with a left slash character.
  - escapeEscapeChars
```
public static java.lang.String escapeEscapeChars(java.lang.String str)
```
    Parameters:
    
    str - A String
    
    Returns:
    
    A String with all escape characters properly escaped with a left slash character.
  - removeQuoteEscapes
```
public static java.lang.String removeQuoteEscapes(java.lang.String str)
```
    Parameters:
    
    str - A String
    
    Returns:
    
    A String with all left slash characters removed
  - removeEscapedEscapes
```
public static java.lang.String removeEscapedEscapes(java.lang.String str)
```
    Parameters:
    
    str - A String
    
    Returns:
    
    A String in which each sequence of two or more slash-escape chars is replaced by one slash-escape char.
  - removeEscapedDoubleQuotes
```
public static java.lang.String removeEscapedDoubleQuotes(java.lang.String str)
```
    Parameters:
    
    str - A String
    
    Returns:
    
    A String with all internal escaped double quote characters removed
  - removeInternalDoubleQuotes
```
public static java.lang.String removeInternalDoubleQuotes(java.lang.String str)
```
    Parameters:
    
    str - A String
    
    Returns:
    
    A String with all internal double quote characters removed
  - replaceRepeatedDoubleQuotes
```
public static java.lang.String replaceRepeatedDoubleQuotes(java.lang.String str)
```
    Parameters:
    
    str - A String
    
    Returns:
    
    A String with all sequences of two double quote characters have been replaced by a left slash character followed by a double quote character.
  - removeDoubleSpaces
```
public static java.lang.String removeDoubleSpaces(java.lang.String s)
```
  - allCapsToSUMOID
```
public static java.lang.String allCapsToSUMOID(java.lang.String str)
```
  - asSUMORelationID
```
public static java.lang.String asSUMORelationID(java.lang.String str)
```
  - containsNonAsciiChars
```
public static boolean containsNonAsciiChars(java.lang.String str)
```
    Parameters:
    
    str - A String
    
    Returns:
    
    true if str contains any non-ASCII characters, else false.
  - replaceNonAsciiChars
```
public static java.lang.String replaceNonAsciiChars(java.lang.String str)
```
    Parameters:
    
    str - A String
    
    Returns:
    
    A String with all non-ASCII characters replaced by "x".
  - replaceNonIdChars
```
public 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.
  - getDateTime
```
public static java.lang.String getDateTime(java.lang.String pattern)
```
    Returns a date/time string corresponding to pattern. The date/time returned is the date/time of the method call. The locale is UTC (Greenwich).
    
    Parameters:
    
    pattern - Examples: yyyy, yyyy-MM-dd.
  - replaceDateTime
```
public 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. If the input String does not contain the sequence, it is returned unaltered.
    
    Parameters:
    
    input - The input String into which a formatted date/time will be inserted
    
    Returns:
    
    String
  - isUri
```
public static boolean isUri(java.lang.String input)
```
    Returns true if input appears to be a URI string, else returns false.
    
    Parameters:
    
    input - A String
  - isStringWithSpaces
```
public static boolean isStringWithSpaces(java.lang.String input)
```
    Returns true if input is a String containing some whitespace chars, else returns false.
    
    Parameters:
    
    input - A String
    
    Returns:
    
    true or false
  - isInteger
```
public static boolean isInteger(java.lang.String s)
```
    Returns true if input is a String is an integer (of any size)
    
    Parameters:
    
    s - A String
    
    Returns:
    
    true or false
  - isQuotedString
```
public static boolean isQuotedString(java.lang.String input)
```
    Returns true if input appears to be a quoted String, else returns false.
    
    Parameters:
    
    input - A String
  - makeQuotedString
```
public static java.lang.String makeQuotedString(java.lang.String input,
                                                char quoteChar)
```
    Returns a new String formed by adding quoteChar to each end of input.
    
    Parameters:
    
    input - A String
  - isDigitString
```
public static boolean isDigitString(java.lang.String input)
```
    Returns true if every char in input is a digit char, else returns false.
    
    Parameters:
    
    input - A String
    
    Returns:
    
    true or false
  - isNumeric
```
public static boolean isNumeric(java.lang.String input)
```
  - concatN
```
public static java.lang.String concatN(java.lang.String input,
                                       int n)
```
    Returns a String formed from n concatenations of input.
    
    Parameters:
    
    input - A String
    
    n - A non-negative int
    
    Returns:
    
    true or false
  - treeReplace
```
public 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.
    
    Parameters:
    
    oldPattern - A regular expression pattern to be matched against terms in tree
    
    newTerm - A String to replace terms matching oldPattern
    
    tree - A String representing a SUO-KIF Formula (list)
    
    Returns:
    
    A new tree (String), with all occurrences of terms matching oldPattern replaced by newTerm
  - kifListToArrayList
```
public 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.
    
    Parameters:
    
    kifListAsString - A SUO-KIF list represented as a String
    
    Returns:
    
    ArrayList
  - replaceUnsafeNamespaceDelimiters
```
public 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.
    
    Parameters:
    
    input - The String representation of a SUO-KIF Formula or other expression
    
    Returns:
    
    String The input string with unsafe namespace delimiters replaced by a safe alphanumeric form
  - safeToKifNamespaceDelimiters
```
public 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.
    
    Parameters:
    
    input - The String representation of a SUO-KIF Formula or other expression, such as a TPTP Formula
    
    Returns:
    
    String The input string with occurrences of the safe namespace delimiters replaced by the default KIF namespace delimiter
  - toSafeNamespaceDelimiter
```
public 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.
  - toSafeNamespaceDelimiter
```
public 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. If kbHref is not empty, term is probably being prepared for display in the Sigma Browser and does not have to be converted to a "safe" form.
  - w3cToKif
```
public static java.lang.String w3cToKif(java.lang.String term)
```
  - kifToW3c
```
public static java.lang.String kifToW3c(java.lang.String term)
```
  - quoted
```
public static boolean quoted(java.lang.String input)
```
  - quote
```
public static java.lang.String quote(java.lang.String input)
```
  - unquote
```
public static java.lang.String unquote(java.lang.String input)
```
  - isLocalTermReference
```
public static boolean isLocalTermReference(java.lang.String term)
```
  - getLocalReferenceBaseName
```
public static java.lang.String getLocalReferenceBaseName()
```
  - setLocalReferenceBaseName
```
public static void setLocalReferenceBaseName(java.lang.String basename)
```
  - renameFileIfExists
```
public 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. If the filename has a file type suffix, the integer is inserted between the base name and the suffix. If f does not exist, it is simply returned.
    
    Parameters:
    
    f - A File
    
    Returns:
    
    A File with a name different from f's name, if f exists, else f.
  - wordWrap
```
public static java.lang.String wordWrap(java.lang.String input,
                                        int length)
```
  - wordWrap
```
public static java.lang.String wordWrap(java.lang.String input)
```
    Convenience method with default line length of 70
  - integerToPaddedString
```
public static java.lang.String integerToPaddedString(int intval)
```
    Returns:
    
    a string version of the integer padded with 0's to a length of 8
  - stringToKIF
```
public static java.lang.String stringToKIF(java.lang.String input,
                                           boolean upcaseFirst)
```
    Convert any arbitrary string to a valid KIF id. There is no guarantee that it is unique however, since the current KB isn't inspected.
  - indent
```
public static java.lang.String indent(int num,
                                      java.lang.String indentChars)
```
  - findBalancedParen
```
public static int findBalancedParen(int pIndex,
                                    java.lang.String st)
```
    Find the parenthesis that balances the one in st at character pIndex
    
    Returns:
    
    -1 if not found
  - fillString
```
public 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. If string is null return a completely filled string.
  - urlExists
```
public static boolean urlExists(java.lang.String URLName)
```
  - main
```
public static void main(java.lang.String[] args)
```
  - getContents
```
public static java.lang.String getContents(java.io.File aFile)
```
    Fetch the entire contents of a text file, and return it in a String. This style of implementation does not throw Exceptions to the caller.
    
    Parameters:
    
    aFile - is a file which already exists and can be read.
  - filterHtml
```
public static java.lang.String filterHtml(java.lang.String input)
```
    Remove HTML from input string.
    
    Parameters:
    
    input -
    
    Returns:

Class StringUtil

Method Summary

Methods inherited from class java.lang.Object

Method Detail

setCharset

getCharset

encode

decode

getLineSeparator

setLineSeparator

getKifNamespaceDelimiter

setKifNamespaceDelimiter

getW3cNamespaceDelimiter

setW3cNamespaceDelimiter

getSafeNamespaceDelimiter

setSafeNamespaceDelimiter

toBase64

fromBase64

encrypt

isNonEmptyString

emptyString

getFirstNChars

spacesToUnderlines

camelCaseToUnderlines

removeEnclosingQuotes

removeEnclosingChar

removeEnclosingChars

removeEnclosingCharPair

removePunctuation

removeHTML

normalizeSpaceChars

arrayListToSpacedString

StringToKIFid

StringToPrologID

escapeQuoteChars

escapeEscapeChars

removeQuoteEscapes

removeEscapedEscapes

removeEscapedDoubleQuotes

removeInternalDoubleQuotes

replaceRepeatedDoubleQuotes

removeDoubleSpaces

allCapsToSUMOID

asSUMORelationID

containsNonAsciiChars

replaceNonAsciiChars

replaceNonIdChars

getDateTime

replaceDateTime

isUri

isStringWithSpaces

isInteger

isQuotedString

makeQuotedString

isDigitString

isNumeric

concatN

treeReplace

kifListToArrayList

replaceUnsafeNamespaceDelimiters

safeToKifNamespaceDelimiters

toSafeNamespaceDelimiter

toSafeNamespaceDelimiter

w3cToKif

kifToW3c

quoted

quote

unquote

isLocalTermReference

getLocalReferenceBaseName

setLocalReferenceBaseName

renameFileIfExists

wordWrap

wordWrap

integerToPaddedString

stringToKIF

indent

findBalancedParen

fillString

urlExists