|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.kvid.data.KvidUri
public class KvidUri
Object for holding addressing information about an element referred to for visualization purposes.
Constructor Summary | |
---|---|
KvidUri(String uriString)
Constructor from a ptolemy URI or fragment URI. |
Method Summary | |
---|---|
boolean |
equals(Object obj)
|
String |
getElementUri()
Getter for the element URI. |
String |
getPort()
Getter for the port. |
int |
getPriority()
Getter for the priority. |
int |
hashCode()
|
boolean |
hasPort()
Use this to find out whether this specifies a port. |
boolean |
hasPriority()
Use this to find out whether this specifies a priority. |
void |
setPriority(int newPriority)
Setter for the priority. |
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public KvidUri(String uriString)
uriString
- The URI string which shall be used to create this objectMethod Detail |
---|
public String getElementUri()
public String getPort()
public int getPriority()
public void setPriority(int newPriority)
newPriority
- The new priority valuepublic boolean hasPort()
public boolean hasPriority()
public int hashCode()
hashCode
in class Object
public boolean equals(Object obj)
equals
in class Object
public String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |