dk.brics.misc
Class AutomatonWrapper

java.lang.Object
  dk.brics.misc.AutomatonWrapper

public class AutomatonWrapper
extends Object

Wrapper for element name and attribute automata.

Method Summary

static String	decode(String s) Decodes string.
static Automaton	encodeElement(Automaton element_names) Encodes element name automata.
static char	getElementBeginChar() Returns char used for encoding begin element name.
static char	getElementEndChar() Returns char used for encoding end element name.

Methods inherited from class java.lang.Object

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

Method Detail

decode

public static String decode(String s)

Decodes string.

Parameters:

s - encoded string

Returns:

decoded string

encodeElement

public static Automaton encodeElement(Automaton element_names)

Encodes element name automata.

Parameters:

element_names - automaton representing element names

Returns:

encoded automaton

getElementBeginChar

public static char getElementBeginChar()

Returns char used for encoding begin element name.

Returns:

char

getElementEndChar

public static char getElementEndChar()

Returns char used for encoding end element name.

Returns:

char