public class PartitionPartitionMap extends Object implements ElementPartitionMap<Partition<CaptureSearchResult>>
| Constructor and Description |
|---|
PartitionPartitionMap() |
| Modifier and Type | Method and Description |
|---|---|
void |
addElementToPartition(Partition<CaptureSearchResult> element,
Partition<Partition<CaptureSearchResult>> partition)
Add the element to a partition, possible modifying the Partition in some
way. ex:
partition.add(element);
partition.addTotal(1);
|
Date |
elementToDate(Partition<CaptureSearchResult> element)
Convert an element to a Date ex:
return element.getDate();
|
public void addElementToPartition(Partition<CaptureSearchResult> element, Partition<Partition<CaptureSearchResult>> partition)
ElementPartitionMapaddElementToPartition in interface ElementPartitionMap<Partition<CaptureSearchResult>>element - to be addedpartition - to which the element should be addedpublic Date elementToDate(Partition<CaptureSearchResult> element)
ElementPartitionMapelementToDate in interface ElementPartitionMap<Partition<CaptureSearchResult>>element - the element to convertCopyright © 2005–2017 IIPC. All rights reserved.