174175176177178179180181182183184
// descend.... for( Enumeration e = op.paramDecls.elements(); e.hasMoreElements(); ) { ParamDecl param = (ParamDecl)e.nextElement(); param.accept( this ); } } public void visitParamDecl( ParamDecl param )
170171172173174175176177178179180