}
public void write(LanguageElement element, PrintStream out) {
switch (serializationFormat) {
case DOT:
DotGraphPrintingVisitor visitor = new DotGraphPrintingVisitor(out);
visitor.enter(element);
element.accept(visitor);
visitor.leave(element);
break;
case TXT:
OutlinePrintingVisitor v = new OutlinePrintingVisitor(out);