Module swim.system
Package swim.system

Class Push<M>

java.lang.Object
swim.system.Push<M>
public class Push<M> extends Object

  • Constructor Details

    • Push

      public Push(Uri meshUri, Uri hostUri, Uri nodeUri, Uri laneUri, float prio, Identity identity, M message, Cont<M> cont)

  • Method Details

    • meshUri

      public final Uri meshUri()

    • meshUri

      public Push<M> meshUri(Uri meshUri)

    • hostUri

      public final Uri hostUri()

    • hostUri

      public Push<M> hostUri(Uri hostUri)

    • nodeUri

      public final Uri nodeUri()

    • nodeUri

      public Push<M> nodeUri(Uri nodeUri)

    • laneUri

      public final Uri laneUri()

    • laneUri

      public Push<M> laneUri(Uri laneUri)

    • prio

      public final float prio()

    • prio

      public Push<M> prio(float prio)

    • identity

      public final Identity identity()

    • message

      public M message()

    • cont

      public Cont<M> cont()

    • copy

      protected <M> Push<M> copy(Uri meshUri, Uri hostUri, Uri nodeUri, Uri laneUri, float prio, Identity identity, M message, Cont<M> cont)

    • bind

      public void bind()

    • trap

      public void trap(Throwable error)