All Packages Class Hierarchy This Package Previous Next Index
Class prolog.util.Strings
java.lang.Object
|
+----prolog.util.Strings
- public final class Strings
- extends Object
Library of string manipulation functions.
-
escape_string(String)
- Escapes unprintable characters as necessary.
-
expand_escapes(String)
- Converts escaped characters into their unescaped form.
expand_escapes
public static String expand_escapes(String s) throws ParsingException
- Converts escaped characters into their unescaped form.
- Throws: ParsingException
- thrown if the string contains an
unknown escape sequence.
escape_string
public static String escape_string(String s)
- Escapes unprintable characters as necessary.
All Packages Class Hierarchy This Package Previous Next Index