/** enumerates children of BinaryExp into a vector. */ private Vector getChildren( BinaryExp exp ) { final Vector vec = new Vector(); Iterator itr = exp.children(); while( itr.hasNext() ) vec.add( itr.next() ); return vec; }
/** enumerates children of BinaryExp into a vector. */ private Vector getChildren( BinaryExp exp ) { final Vector vec = new Vector(); Iterator itr = exp.children(); while( itr.hasNext() ) vec.add( itr.next() ); return vec; }