public class EdgeIdentifier_c extends java.lang.Object implements EdgeIdentifier
EdgeIdentifier.EdgeType, EdgeIdentifier.ExceptionEdge, EdgeIdentifier.HeapUseKey, EdgeIdentifier.LocalUseKey
Modifier and Type | Field and Description |
---|---|
protected EdgeIdentifier.EdgeType |
key |
protected NodeIdentifier |
target |
EDGE_CALL, EDGE_CONTROL, EDGE_FALSE, EDGE_INIT, EDGE_RETURN, EDGE_TRUE
Constructor and Description |
---|
EdgeIdentifier_c(EdgeIdentifier.EdgeType key,
NodeIdentifier target) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
EdgeIdentifier.EdgeType |
getKey() |
NodeIdentifier |
getTarget() |
int |
hashCode() |
java.lang.String |
toString() |
protected final EdgeIdentifier.EdgeType key
protected final NodeIdentifier target
public EdgeIdentifier_c(EdgeIdentifier.EdgeType key, NodeIdentifier target)
public EdgeIdentifier.EdgeType getKey()
getKey
in interface EdgeIdentifier
public NodeIdentifier getTarget()
getTarget
in interface EdgeIdentifier
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object