public class ContextDetailPartitioned extends java.lang.Object implements ContextDetail
Constructor and Description |
---|
ContextDetailPartitioned(java.util.List<ContextDetailPartitionItem> items,
java.util.List<ContextDetailConditionFilter> optionalInit,
ContextDetailCondition optionalTermination) |
Modifier and Type | Method and Description |
---|---|
java.util.List<FilterSpecCompiled> |
getContextDetailFilterSpecs() |
java.util.List<ContextDetailPartitionItem> |
getItems() |
java.util.List<ContextDetailConditionFilter> |
getOptionalInit() |
ContextDetailCondition |
getOptionalTermination() |
void |
setOptionalTermination(ContextDetailCondition optionalTermination) |
public ContextDetailPartitioned(java.util.List<ContextDetailPartitionItem> items, java.util.List<ContextDetailConditionFilter> optionalInit, ContextDetailCondition optionalTermination)
public java.util.List<ContextDetailPartitionItem> getItems()
public java.util.List<FilterSpecCompiled> getContextDetailFilterSpecs()
getContextDetailFilterSpecs
in interface ContextDetail
public ContextDetailCondition getOptionalTermination()
public void setOptionalTermination(ContextDetailCondition optionalTermination)
public java.util.List<ContextDetailConditionFilter> getOptionalInit()