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)
ElementPartitionMap
addElementToPartition
in interface ElementPartitionMap<Partition<CaptureSearchResult>>
element
- to be addedpartition
- to which the element should be addedpublic Date elementToDate(Partition<CaptureSearchResult> element)
ElementPartitionMap
elementToDate
in interface ElementPartitionMap<Partition<CaptureSearchResult>>
element
- the element to convertCopyright © 2005–2015 IIPC. All rights reserved.