public interface Tunnel
extends java.lang.Cloneable
Modifier and Type | Interface and Description |
---|---|
static class |
Tunnel.TunnelType |
Modifier and Type | Method and Description |
---|---|
void |
addTarget(Membrane target) |
void |
close() |
java.util.Map<Result,java.lang.Integer> |
getHeldResults() |
java.lang.String |
getName() |
Membrane |
getSource() |
java.util.List<Membrane> |
getTargets() |
java.lang.String |
getTargetsName()
Target's names are combined by "|" or "&", according to the tunnel type, and
all the names are sorted by
String.compareTo |
Tunnel.TunnelType |
getType() |
void |
holdResult(Result result,
int times) |
boolean |
isOpen() |
void |
open() |
void |
pushResult() |
void |
setSource(Membrane source) |
void |
setType(Tunnel.TunnelType type) |
void setType(Tunnel.TunnelType type)
Tunnel.TunnelType getType()
java.lang.String getName()
java.lang.String getTargetsName()
String.compareTo
Membrane getSource()
void setSource(Membrane source)
java.util.List<Membrane> getTargets()
void addTarget(Membrane target)
void holdResult(Result result, int times)
java.util.Map<Result,java.lang.Integer> getHeldResults()
void pushResult()
void open()
void close()
boolean isOpen()