public class Port extends Id
Modifier and Type | Class and Description |
---|---|
static class |
Port.DIR
One of the two possible port directions w.r.to the actor:
IN or OUT
|
Modifier and Type | Field and Description |
---|---|
(package private) Port.DIR |
dir |
(package private) java.lang.String |
rate |
Constructor and Description |
---|
Port(Port.DIR aDir)
Construct a port in the given direction w.r.t.
|
Port(Port.DIR dir,
java.lang.String function,
java.lang.String name,
java.lang.String rate)
Initialize a port
|
Port(Port copyPort)
Create a copy of a given port
|
Modifier and Type | Method and Description |
---|---|
Port.DIR |
getDir()
Get port direction.
|
java.lang.String |
getRate()
Get rate of the port.
|
void |
setRate(java.lang.String txt)
Sets the rate value for the given port as textual expression
|
java.lang.String |
toString() |
Port.DIR dir
java.lang.String rate
public Port(Port copyPort)
copyPort
- another portpublic Port(Port.DIR aDir)
aDir
- - directionpublic Port(Port.DIR dir, java.lang.String function, java.lang.String name, java.lang.String rate)
dir
- directionfunction
- port functionname
- name of the portrate
- rate of the portpublic void setRate(java.lang.String txt)
txt
- rate in stringpublic java.lang.String getRate()
public Port.DIR getDir()