o

isabelle

Simplifier_Trace

object Simplifier_Trace

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

Type Members

  1. case class Answer extends Product with Serializable
  2. case class Context(last_serial: Long = 0L, questions: SortedMap[Long, Question] = SortedMap.empty) extends Product with Serializable
  3. class Handler extends Protocol_Handler
  4. case class Index(text: String, content: Body) extends Product with Serializable
  5. case class Question(data: Data, answers: List[Answer]) extends Product with Serializable
  6. case class Reply(session: Session, serial: Long, answer: Answer) extends Product with Serializable
  7. case class Trace(entries: List[Data]) 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. val MEMORY: String
  5. val Memory: Boolean
  6. val PARENT: String
  7. val Parent: Long
  8. val SUCCESS: String
  9. val Success: Boolean
  10. val TEXT: String
  11. val Text: String
  12. val all_answers: List[Answer]
  13. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  14. def clear_memory(): Unit
  15. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  16. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  18. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  19. def generate_trace(results: Results): Trace
  20. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  21. def handle_results(session: Session, id: Document_ID.Command, results: Results): Context
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  23. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. def send_reply(session: Session, serial: Long, answer: Answer): Unit
  28. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  29. def toString(): String
    Definition Classes
    AnyRef → Any
  30. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  33. object Answer extends Serializable
  34. object Event extends Product with Serializable
  35. object Index extends Serializable
  36. object Item

Inherited from AnyRef

Inherited from Any

Ungrouped