hades.utils
Class ValidName

java.lang.Object
  hades.utils.ValidName

public class ValidName

extends java.lang.Object

construct valid names, i.e. without spaces or tabs. Also used to encode/decode Unicode escapes like '?'.

Constructor Summary

ValidName()

Method Summary

static java.lang.String	decodeUnicodeEscapes(java.lang.String src) parse String src and replace all Unicode escapes '' to '?' with the corresponding Unicode characters.
static java.lang.String	encodeWithUnicodeEscapes(java.lang.String src) take String src and replace non-standard characters with Unicode escapes of the form '' to '?'.
static java.lang.String	getUnicodeEscape(char c)
static java.lang.String	getValidName(java.lang.String name)
static boolean	isAsciiLetterOrDigitOrSomething(char c) check whether character c is an ASCII letter (a-z, A-Z), digit (0-9), or '-', '_', ':'.
static void	main(java.lang.String[] argv)

Methods inherited from class java.lang.Object

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

Constructor Detail

ValidName

public ValidName()

Method Detail

getValidName

public static java.lang.String getValidName(java.lang.String name)

isAsciiLetterOrDigitOrSomething

public static boolean isAsciiLetterOrDigitOrSomething(char c)

check whether character c is an ASCII letter (a-z, A-Z), digit (0-9), or '-', '_', ':'.

getUnicodeEscape

public static java.lang.String getUnicodeEscape(char c)

encodeWithUnicodeEscapes

public static java.lang.String encodeWithUnicodeEscapes(java.lang.String src)

take String src and replace non-standard characters with Unicode escapes of the form '' to '?'.

#see isAsciiLetterOrDigitOrSomething for the conversion rules

decodeUnicodeEscapes

public static java.lang.String decodeUnicodeEscapes(java.lang.String src)

parse String src and replace all Unicode escapes '' to '?' with the corresponding Unicode characters.

This method may fail on strings that are not Unicode escaped, e.g. String which contain a backslash as their last character.

main

public static void main(java.lang.String[] argv)