eu.bandm.tools.formatfrontends

Class Tdom2format.Switchselection

java.lang.Object

eu.bandm.tools.tdom.runtime.BaseVisitor

eu.bandm.tools.formatfrontends.absy.Visitor

eu.bandm.tools.formatfrontends.Tdom2format.Switchselection

All Implemented Interfaces:

PCDataVisitor

Enclosing class:

Tdom2format

protected class Tdom2format.Switchselection
extends eu.bandm.tools.formatfrontends.absy.Visitor

Field Summary

Fields inherited from class eu.bandm.tools.tdom.runtime.BaseVisitor

validating

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Switchselection()

Method Summary

Modifier and Type	Method and Description
void	visit(eu.bandm.tools.formatfrontends.absy.Element_from el)
void	visit(eu.bandm.tools.formatfrontends.absy.Element_mode el)
void	visit(eu.bandm.tools.formatfrontends.absy.Element_numberedref el)
void	visit(eu.bandm.tools.formatfrontends.absy.Element_t_alt el)
void	visit(eu.bandm.tools.formatfrontends.absy.Element_t_choice el)
void	visit(eu.bandm.tools.formatfrontends.absy.Element_t_seq el)
void	visit(eu.bandm.tools.formatfrontends.absy.Element_thiz el)
void	visit(eu.bandm.tools.formatfrontends.absy.Element_too el)

Methods inherited from class eu.bandm.tools.formatfrontends.absy.Visitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class eu.bandm.tools.tdom.runtime.BaseVisitor

visit

Methods inherited from class java.lang.Object

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

Constructor Detail

Switchselection

protected Switchselection()

Method Detail

visit

public void visit(eu.bandm.tools.formatfrontends.absy.Element_numberedref el)

Overrides:

visit in class eu.bandm.tools.formatfrontends.absy.Visitor

visit

public void visit(eu.bandm.tools.formatfrontends.absy.Element_mode el)

Overrides:

visit in class eu.bandm.tools.formatfrontends.absy.Visitor

visit

public void visit(eu.bandm.tools.formatfrontends.absy.Element_from el)

Overrides:

visit in class eu.bandm.tools.formatfrontends.absy.Visitor

visit

public void visit(eu.bandm.tools.formatfrontends.absy.Element_too el)

Overrides:

visit in class eu.bandm.tools.formatfrontends.absy.Visitor

visit

public void visit(eu.bandm.tools.formatfrontends.absy.Element_thiz el)

Overrides:

visit in class eu.bandm.tools.formatfrontends.absy.Visitor

visit

public void visit(eu.bandm.tools.formatfrontends.absy.Element_t_seq el)

Overrides:

visit in class eu.bandm.tools.formatfrontends.absy.Visitor

visit

public void visit(eu.bandm.tools.formatfrontends.absy.Element_t_alt el)

Overrides:

visit in class eu.bandm.tools.formatfrontends.absy.Visitor

visit

public void visit(eu.bandm.tools.formatfrontends.absy.Element_t_choice el)

Overrides:

visit in class eu.bandm.tools.formatfrontends.absy.Visitor