Packages

object Protocol

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Protocol
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. sealed case class Node_Status(unprocessed: Int, running: Int, warned: Int, failed: Int, finished: Int, initialized: Boolean, consolidated: Boolean) extends Product with Serializable
  2. sealed case class Node_Timing(total: Double, commands: Map[Command, Double]) extends Product with Serializable
  3. sealed case class Status(touched: Boolean, accepted: Boolean, warned: Boolean, failed: Boolean, forks: Int, runs: Int) extends Product with Serializable

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  6. val empty_node_timing: Node_Timing
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. def is_error(msg: Tree): Boolean
  14. def is_exported(msg: Tree): Boolean
  15. def is_information(msg: Tree): Boolean
  16. def is_inlined(msg: Tree): Boolean
  17. def is_legacy(msg: Tree): Boolean
  18. def is_result(msg: Tree): Boolean
  19. def is_state(msg: Tree): Boolean
  20. def is_tracing(msg: Tree): Boolean
  21. def is_warning(msg: Tree): Boolean
  22. def is_writeln(msg: Tree): Boolean
  23. val liberal_status_elements: Elements
  24. def maybe_consolidated(markups: List[Markup]): Boolean
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. def node_status(state: State, version: Version, name: Name): Node_Status
  27. def node_timing(state: State, version: Version, node: Node, threshold: Double): Node_Timing
  28. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  30. val proper_status_elements: Elements
  31. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  32. def toString(): String
    Definition Classes
    AnyRef → Any
  33. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  36. object Assign_Update
  37. object Command_Timing
  38. object Dialog
  39. object Dialog_Args
  40. object Dialog_Result
  41. object ML_Breakpoint
  42. object Removed
  43. object Status extends Serializable
  44. object Theory_Timing

Inherited from AnyRef

Inherited from Any

Ungrouped