public class ExecutionResultMultiZipper
extends java.lang.Object
Constructor and Description |
---|
ExecutionResultMultiZipper(ExecutionResultNode commonRoot,
java.util.List<ExecutionResultZipper> zippers) |
Modifier and Type | Method and Description |
---|---|
ExecutionResultNode |
getCommonRoot() |
java.util.List<ExecutionResultZipper> |
getZippers() |
ExecutionResultNode |
toRootNode() |
ExecutionResultMultiZipper |
withReplacedZipper(ExecutionResultZipper oldZipper,
ExecutionResultZipper newZipper) |
ExecutionResultMultiZipper |
withZippers(java.util.List<ExecutionResultZipper> zippers) |
public ExecutionResultMultiZipper(ExecutionResultNode commonRoot, java.util.List<ExecutionResultZipper> zippers)
public ExecutionResultNode toRootNode()
public ExecutionResultNode getCommonRoot()
public java.util.List<ExecutionResultZipper> getZippers()
public ExecutionResultMultiZipper withZippers(java.util.List<ExecutionResultZipper> zippers)
public ExecutionResultMultiZipper withReplacedZipper(ExecutionResultZipper oldZipper, ExecutionResultZipper newZipper)