Class TheaterDef

java.lang.Object
swim.concurrent.TheaterDef
All Implemented Interfaces:
swim.codec.Debug, StageDef

public class TheaterDef extends Object implements StageDef, swim.codec.Debug
  • Constructor Details

    • TheaterDef

      public TheaterDef(String name, int parallelism, ScheduleDef scheduleDef)
  • Method Details

    • name

      public final String name()
    • name

      public TheaterDef name(String name)
    • parallelism

      public final int parallelism()
    • parallelism

      public TheaterDef parallelism(int parallelism)
    • scheduleDef

      public final ScheduleDef scheduleDef()
    • scheduleDef

      public TheaterDef scheduleDef(ScheduleDef scheduleDef)
    • copy

      protected TheaterDef copy(String name, int parallelism, ScheduleDef scheduleDef)
    • equals

      public boolean equals(Object other)
      Overrides:
      equals in class Object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object
    • debug

      public <T> swim.codec.Output<T> debug(swim.codec.Output<T> output)
      Specified by:
      debug in interface swim.codec.Debug
    • toString

      public String toString()
      Overrides:
      toString in class Object
    • standard

      public static TheaterDef standard()
    • theaterForm

      @Kind public static swim.structure.Form<TheaterDef> theaterForm()
    • theaterForm

      public static swim.structure.Form<TheaterDef> theaterForm(swim.structure.Form<ScheduleDef> scheduleForm)