Class Profile.Junction

  • Enclosing class:
    Profile

    public static class Profile.Junction
    extends java.lang.Object
    A profiled Junction.
    Author:
    dai
    • Field Summary

      Fields 
      Modifier and Type Field Description
      int numInitialTokens
      The number of initial tokens.
    • Constructor Summary

      Constructors 
      Constructor Description
      Junction​(java.lang.String putActor, java.lang.String putActorPort, java.lang.String getActor, java.lang.String getActorPort, int numTokens)
      Construct a Junction.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String getPutActorName()
      Get the put actor name.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • numInitialTokens

        public int numInitialTokens
        The number of initial tokens.
    • Constructor Detail

      • Junction

        public Junction​(java.lang.String putActor,
                        java.lang.String putActorPort,
                        java.lang.String getActor,
                        java.lang.String getActorPort,
                        int numTokens)
        Construct a Junction.
        Parameters:
        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.
    • Method Detail

      • getPutActorName

        public java.lang.String getPutActorName()
        Get the put actor name.
        Returns:
        the actor name.