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, spliteratoraddAll, containsAll, retainAll, toArray, toArray, toStringfinalize, getClass, notify, notifyAll, wait, wait, waitpublic 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>