dk.brics.misc
Class AutomatonWrapper

java.lang.Object
  extended by 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


Copyright © 2005-2010 Anders Møller.