1.1 --- a/samples/visitor/11-cleanversion/src-api3.0/org/apidesign/visitor/Language.java	Sat Jun 14 09:59:09 2008 +0200
     1.2 +++ b/samples/visitor/11-cleanversion/src-api3.0/org/apidesign/visitor/Language.java	Thu Oct 30 21:30:10 2014 +0100
     1.3 @@ -33,10 +33,10 @@
     1.4  
     1.5          @Override
     1.6          public void visit(Visitor v) {
     1.7 -            if (v instanceof Visitor1_0) {
     1.8 -                ((Visitor1_0) v).visitPlus(this);
     1.9 -            } else if (v instanceof Visitor3_0) {
    1.10 -                ((Visitor3_0) v).visitPlus(this);
    1.11 +            if (v instanceof Visitor10) {
    1.12 +                ((Visitor10) v).visitPlus(this);
    1.13 +            } else if (v instanceof Visitor30) {
    1.14 +                ((Visitor30) v).visitPlus(this);
    1.15              } else {
    1.16                  v.visitUnknown(this);
    1.17              }
    1.18 @@ -57,11 +57,11 @@
    1.19  
    1.20          @Override
    1.21          public void visit(Visitor v) {
    1.22 -            if (v instanceof Visitor1_0) {
    1.23 -                ((Visitor1_0) v).visitNumber(this);
    1.24 -            } else if (v instanceof Visitor3_0) {
    1.25 +            if (v instanceof Visitor10) {
    1.26 +                ((Visitor10) v).visitNumber(this);
    1.27 +            } else if (v instanceof Visitor30) {
    1.28                  Real wrapper = new Real(getValue());
    1.29 -                ((Visitor3_0) v).visitReal(wrapper);
    1.30 +                ((Visitor30) v).visitReal(wrapper);
    1.31              } else {
    1.32                  v.visitUnknown(this);
    1.33              }
    1.34 @@ -81,10 +81,10 @@
    1.35          public Expression getSecond() { return second; }
    1.36          
    1.37          public void visit(Visitor v) { 
    1.38 -            if (v instanceof Visitor2_0) {
    1.39 -                ((Visitor2_0)v).visitMinus(this);
    1.40 -            } else if (v instanceof Visitor3_0) {
    1.41 -                ((Visitor3_0)v).visitMinus(this);
    1.42 +            if (v instanceof Visitor20) {
    1.43 +                ((Visitor20)v).visitMinus(this);
    1.44 +            } else if (v instanceof Visitor30) {
    1.45 +                ((Visitor30)v).visitMinus(this);
    1.46              } else {
    1.47                  v.visitUnknown(this);
    1.48              }
    1.49 @@ -104,8 +104,8 @@
    1.50          public void visit(Visitor v)
    1.51          // FINISH: visitor.nonmonotonic.real
    1.52          {
    1.53 -            if (v instanceof Visitor3_0) {
    1.54 -                ((Visitor3_0)v).visitReal(this);
    1.55 +            if (v instanceof Visitor30) {
    1.56 +                ((Visitor30)v).visitReal(this);
    1.57              } else {
    1.58                  v.visitUnknown(this);
    1.59              }
    1.60 @@ -116,17 +116,17 @@
    1.61      public interface Visitor {
    1.62          public void visitUnknown(Expression e);
    1.63      }
    1.64 -    public interface Visitor1_0 extends Visitor {
    1.65 +    public interface Visitor10 extends Visitor {
    1.66          public void visitPlus(Plus s);
    1.67          public void visitNumber(Number n);
    1.68      }
    1.69      /** @since 2.0 */
    1.70 -    public interface Visitor2_0 extends Visitor {
    1.71 +    public interface Visitor20 extends Visitor {
    1.72          public void visitMinus(Minus s);
    1.73      }
    1.74      // BEGIN: visitor.nonmonotonic.visitor
    1.75      /** @since 3.0 */
    1.76 -    public interface Visitor3_0 extends Visitor {
    1.77 +    public interface Visitor30 extends Visitor {
    1.78          public void visitPlus(Plus s);
    1.79          public void visitMinus(Minus s);
    1.80          public void visitReal(Real r);