equal
deleted
inserted
replaced
31 * A simple visitor for tree nodes. |
31 * A simple visitor for tree nodes. |
32 * |
32 * |
33 * @author Peter von der Ahé |
33 * @author Peter von der Ahé |
34 * @since 1.6 |
34 * @since 1.6 |
35 */ |
35 */ |
36 @jdk.Supported |
36 @jdk.Exported |
37 public class SimpleTreeVisitor <R,P> implements TreeVisitor<R,P> { |
37 public class SimpleTreeVisitor <R,P> implements TreeVisitor<R,P> { |
38 protected final R DEFAULT_VALUE; |
38 protected final R DEFAULT_VALUE; |
39 |
39 |
40 protected SimpleTreeVisitor() { |
40 protected SimpleTreeVisitor() { |
41 DEFAULT_VALUE = null; |
41 DEFAULT_VALUE = null; |