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.


Method Index

 o escape_string(String)
Escapes unprintable characters as necessary.
 o expand_escapes(String)
Converts escaped characters into their unescaped form.

Methods

 o 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.
 o escape_string
 public static String escape_string(String s)
Escapes unprintable characters as necessary.


All Packages  Class Hierarchy  This Package  Previous  Next  Index