public class OpenNetPort extends java.util.HashSet<OpenNetLabel>
Constructor and Description |
---|
OpenNetPort(java.lang.String label,
java.lang.String id)
Constructs a port, given its label.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
java.lang.String |
getId() |
java.lang.String |
getLabel() |
java.util.Collection<OpenNetLabel> |
getLabels(OpenNetLabel.Type type) |
int |
hashCode() |
add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator
addAll, containsAll, retainAll, toArray, toArray, toString
finalize, getClass, notify, notifyAll, wait, wait, wait
public OpenNetPort(java.lang.String label, java.lang.String id)
net
- The given net.label
- The given label.public java.lang.String getLabel()
public java.util.Collection<OpenNetLabel> getLabels(OpenNetLabel.Type type)
public java.lang.String getId()
public int hashCode()
hashCode
in interface java.util.Collection<OpenNetLabel>
hashCode
in interface java.util.Set<OpenNetLabel>
hashCode
in class java.util.AbstractSet<OpenNetLabel>
public boolean equals(java.lang.Object o)
equals
in interface java.util.Collection<OpenNetLabel>
equals
in interface java.util.Set<OpenNetLabel>
equals
in class java.util.AbstractSet<OpenNetLabel>