Package: TreeElement

TreeElement

Coverage

1: package gui.wrapperobjects;
2:
3: /**
4: * Encapsulates a tree element.
5: */
6: public interface TreeElement {
7:         /**
8:          * @return a string representation of the element.
9:          */
10:         @Override
11:         String toString();
12:
13:         /**
14:          * Accepts a TreeElementVisitor.
15:          *
16:          * @param vis
17:          * the visitor.
18:          */
19:         void accept(TreeElementVisitor vis);
20: }