8586878889909192939495
Enumeration e = spec.definitions.elements(); while( e.hasMoreElements() ) { IdlSymbol s = (IdlSymbol)e.nextElement(); s.accept( this ); } // PrintStream ps = new PrintStream( System.out ); }
979899100101102103104105106107
{ Enumeration e = defs.getElements(); while( e.hasMoreElements() ) { IdlSymbol s = (IdlSymbol)e.nextElement(); s.accept( this ); } } public void visitDefinition( Definition def ) {
8182838485868788899091
93949596979899100101102103