com.thaiopensource.relaxng.impl
Class PatternDumper

java.lang.Object
  extended by com.thaiopensource.relaxng.impl.PatternDumper

public class PatternDumper
extends Object


Nested Class Summary
(package private)  class PatternDumper.ChoiceDumpNameClassVisitor
           
(package private)  class PatternDumper.ChoiceDumpPatternVisitor
           
(package private)  class PatternDumper.DumpNameClassVisitor
           
(package private)  class PatternDumper.DumpPatternVisitor
           
(package private)  class PatternDumper.GroupDumpPatternVisitor
           
(package private)  class PatternDumper.InterleaveDumpPatternVisitor
           
 
Field Summary
private  NameClassVisitor choiceNameClassVisitor
           
private  PatternVisitor choicePatternVisitor
           
private  PatternVisitor groupPatternVisitor
           
private  PatternVisitor interleavePatternVisitor
           
private  int level
           
private  NameClassVisitor nameClassVisitor
           
private  Vector patternList
           
private  Hashtable patternTable
           
private  PatternVisitor patternVisitor
           
private  boolean startTagOpen
           
private  boolean suppressIndent
           
private  Vector tagStack
           
private  PrintWriter writer
           
 
Constructor Summary
private PatternDumper(PrintWriter writer)
           
 
Method Summary
private  void attribute(String name, String value)
           
private  void chars(String str, boolean isAttribute)
           
private  void closeStartTag()
           
private  void data(String str)
           
static void dump(OutputStream out, Pattern p)
           
private  void dump(Pattern p)
           
static void dump(PrintWriter writer, Pattern p)
           
private  void endElement()
           
private  String getName(Pattern p)
           
private  void indent(int level)
           
private  String pop()
           
private  void push(String s)
           
private  void startElement(String name)
           
private  void write(char c)
           
private  void write(String str)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

startTagOpen

private boolean startTagOpen

tagStack

private final Vector tagStack

writer

private final PrintWriter writer

level

private int level

suppressIndent

private boolean suppressIndent

patternList

private final Vector patternList

patternTable

private final Hashtable patternTable

patternVisitor

private final PatternVisitor patternVisitor

groupPatternVisitor

private final PatternVisitor groupPatternVisitor

choicePatternVisitor

private final PatternVisitor choicePatternVisitor

interleavePatternVisitor

private final PatternVisitor interleavePatternVisitor

nameClassVisitor

private final NameClassVisitor nameClassVisitor

choiceNameClassVisitor

private final NameClassVisitor choiceNameClassVisitor
Constructor Detail

PatternDumper

private PatternDumper(PrintWriter writer)
Method Detail

dump

public static void dump(PrintWriter writer,
                        Pattern p)

dump

public static void dump(OutputStream out,
                        Pattern p)

dump

private void dump(Pattern p)

getName

private String getName(Pattern p)

startElement

private void startElement(String name)

closeStartTag

private void closeStartTag()

attribute

private void attribute(String name,
                       String value)

data

private void data(String str)

chars

private void chars(String str,
                   boolean isAttribute)

endElement

private void endElement()

indent

private void indent(int level)

write

private void write(String str)

write

private void write(char c)

push

private void push(String s)

pop

private String pop()