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.