7980818283848586878889
s.push( ((ChoiceNameClass)n).nc1 ); s.push( ((ChoiceNameClass)n).nc2 ); continue; } n.visit(this); } } public Object onDifference( DifferenceNameClass nc ) { if( nc.nc1 instanceof AnyNameClass ) {
110111112113114115116117118119120