public static class Profile.Junction
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
numInitialTokens
The number of initial tokens.
|
Constructor and Description |
---|
Junction(java.lang.String putActor,
java.lang.String putActorPort,
java.lang.String getActor,
java.lang.String getActorPort,
int numTokens)
Construct a Junction.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getPutActorName()
Get the put actor name.
|
public Junction(java.lang.String putActor, java.lang.String putActorPort, java.lang.String getActor, java.lang.String getActorPort, int numTokens)
putActor
- The actor to add to the junction.putActorPort
- The port of the put actor.getActor
- The get actor that is to be added to the junction.getActorPort
- The port of the get actor.numTokens
- The number of tokens.