O
- data typepublic class CollectionResult<O> extends BasicResult implements IterableResult<O>
Modifier and Type | Field and Description |
---|---|
private Collection<O> |
col
The collection represented.
|
private Collection<String> |
header
Meta information (printed into the header)
|
Constructor and Description |
---|
CollectionResult(String name,
String shortname,
Collection<O> col)
Constructor
|
CollectionResult(String name,
String shortname,
Collection<O> col,
Collection<String> header)
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
addHeader(String s)
Add header information
|
Collection<String> |
getHeader()
Get header information
|
Iterator<O> |
iterator()
Implementation of the
IterableResult interface, using the backing collection. |
int |
size()
Get the collection size.
|
getLongName, getShortName
addChildResult, getHierarchy, setHierarchy
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getLongName, getShortName
private Collection<O> col
private Collection<String> header
public CollectionResult(String name, String shortname, Collection<O> col, Collection<String> header)
name
- The long name (for pretty printing)shortname
- the short name (for filenames etc.)col
- Collection representedheader
- Auxiliary information for result headerspublic CollectionResult(String name, String shortname, Collection<O> col)
name
- The long name (for pretty printing)shortname
- the short name (for filenames etc.)col
- Collection representedpublic void addHeader(String s)
s
- Header information stringpublic Collection<String> getHeader()
public Iterator<O> iterator()
IterableResult
interface, using the backing collection.public int size()