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 Tunnel
public void holdResult(Result result, int times)
holdResult
in interface Tunnel
public java.util.Map<Result,java.lang.Integer> getHeldResults()
getHeldResults
in interface Tunnel
public void pushResult()
pushResult
in interface Tunnel
public java.lang.String getTargetsName()
Tunnel
String.compareTo
getTargetsName
in interface Tunnel
public java.lang.String toString()
toString
in class java.lang.Object