173174175176177178179180181182
// descend.... for( Enumeration e = op.paramDecls.elements(); e.hasMoreElements(); ) { ParamDecl param = (ParamDecl)e.nextElement(); param.accept( this ); } }
169170171172173174175176177178