Tunnel.TunnelType| Constructor and Description |
|---|
PTunnel() |
PTunnel(Tunnel.TunnelType type) |
| Modifier and Type | Method and Description |
|---|---|
static void |
addChildParentTunnel(Membrane father,
Membrane child) |
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) |
java.lang.String |
toString() |
public PTunnel(Tunnel.TunnelType type)
public PTunnel()
public void setType(Tunnel.TunnelType type)
public Tunnel.TunnelType getType()
public java.util.List<Membrane> getTargets()
getTargets in interface Tunnelpublic void holdResult(Result result, int times)
holdResult in interface Tunnelpublic java.util.Map<Result,java.lang.Integer> getHeldResults()
getHeldResults in interface Tunnelpublic void pushResult()
pushResult in interface Tunnelpublic java.lang.String getTargetsName()
TunnelString.compareTogetTargetsName in interface Tunnelpublic java.lang.String toString()
toString in class java.lang.Object