--- [EMAIL PROTECTED] wrote: > And in that context - using tail and head inside the > name (not first and last) would > be easier for the user. They know the filters > already.
I was hoping first, or head, would be enough... a reverse sort would change one to the other easily enough. But I suppose we could change first to head and add a skip attribute, either or both... Are there any other opinions on either of the two issues? -Matt > > Jan > > >-----Ursprüngliche Nachricht----- > >Von: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] > >Gesendet: Montag, 8. August 2005 13:13 > >An: dev@ant.apache.org > >Betreff: AW: cvs commit: ant/docs/manual/CoreTypes > resources.html > > > >> Log: > >> Add the <first> resource collection, plus its > parent, > >> BaseResourceCollectionWrapper. > > > > > >> /** > >> * ResourceCollection that contains the first > <code>count</code> > >elements of > >> * another ResourceCollection. > >> * @since Ant 1.7 > >> */ > >> public class First extends > BaseResourceCollectionWrapper { > >> private static final String BAD_COUNT > >> = "count of first resources should be > set to an int >= 0"; > >> > >> private int count = 1; > >> > >> /** > >> * Set the number of resources to be > included. > >> * @param i the count as <code>int</count>. > >> */ > >> public synchronized void setCount(int i) { > >> count = i; > >> } > >> > > > > > >What do you think about an additional "skip" > parameter to get > >resources nr 3-6? > >Same as the tail [1] and head [2] filters. > > > > > >Jan > > > >[1] > http://ant.apache.org/manual/CoreTypes/filterchain.html#tailfilter > >[2] > http://ant.apache.org/manual/CoreTypes/filterchain.html#headfilter > > > >--------------------------------------------------------------------- > >To unsubscribe, e-mail: > [EMAIL PROTECTED] For > >additional commands, e-mail: > [EMAIL PROTECTED] > > > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: > [EMAIL PROTECTED] > For additional commands, e-mail: > [EMAIL PROTECTED] > > ____________________________________________________ Start your day with Yahoo! - make it your home page http://www.yahoo.com/r/hs --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
