Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- def +(other: String): String
- def ->[B](y: B): (HoTTWebSession, B)
- final def ==(arg0: Any): Boolean
- final def asInstanceOf[T0]: T0
- def clone(): AnyRef
- val completedResponses: ArrayBuffer[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
- val completionResponse: Option[(HoTTPostWeb) => Future[PostData[_, HoTTPostWeb, (Int, Int)]]]
- def ensuring(cond: (HoTTWebSession) => Boolean, msg: => Any): HoTTWebSession
- def ensuring(cond: (HoTTWebSession) => Boolean): HoTTWebSession
- def ensuring(cond: Boolean, msg: => Any): HoTTWebSession
- def ensuring(cond: Boolean): HoTTWebSession
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- def formatted(fmtstr: String): String
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- final def isInstanceOf[T0]: Boolean
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- def post[P](content: P, preds: Set[(Int, Int)], withResponse: Boolean = true)(implicit pw: Postable[P, HoTTPostWeb, (Int, Int)], dg: DataGetter[P, HoTTPostWeb, (Int, Int)]): Future[PostData[_, HoTTPostWeb, (Int, Int)]]
- def postLP(lp: LocalProver, pred: Set[ID] = Set()): Future[PostData[_, HoTTPostWeb, ID]]
- def postLocalProverFuture(lp: LocalProver, pred: Set[ID] = Set()): Future[PostData[_, HoTTPostWeb, ID]]
- def query[Q](predicate: (Q) => Boolean = (_: Q) => true)(implicit q: Queryable[Q, HoTTPostWeb]): Future[Q]
- def queryAt[Q](id: (Int, Int), predicate: (Q) => Boolean = (_: Q) => true)(implicit q: LocalQueryable[Q, HoTTPostWeb, (Int, Int)]): Future[Vector[Q]]
- def remainingResponses: Vector[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
- def respond[P](content: P, postID: (Int, Int))(implicit pw: Postable[P, HoTTPostWeb, (Int, Int)]): Unit
- def respondSeq(pds: Vector[PostData[_, HoTTPostWeb, (Int, Int)]]): Unit
- var responses: Vector[PostResponse[HoTTPostWeb, (Int, Int)]]
- def running: Boolean
- val startedResponses: ArrayBuffer[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
- final def synchronized[T0](arg0: => T0): T0
- def toString(): String
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- val web: HoTTPostWeb
Deprecated Value Members
- def finalize(): Unit
- def →[B](y: B): (HoTTWebSession, B)
Value Members
- val completedResponses: ArrayBuffer[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
- val completionResponse: Option[(HoTTPostWeb) => Future[PostData[_, HoTTPostWeb, (Int, Int)]]]
- def post[P](content: P, preds: Set[(Int, Int)], withResponse: Boolean = true)(implicit pw: Postable[P, HoTTPostWeb, (Int, Int)], dg: DataGetter[P, HoTTPostWeb, (Int, Int)]): Future[PostData[_, HoTTPostWeb, (Int, Int)]]
- def query[Q](predicate: (Q) => Boolean = (_: Q) => true)(implicit q: Queryable[Q, HoTTPostWeb]): Future[Q]
- def queryAt[Q](id: (Int, Int), predicate: (Q) => Boolean = (_: Q) => true)(implicit q: LocalQueryable[Q, HoTTPostWeb, (Int, Int)]): Future[Vector[Q]]
- def remainingResponses: Vector[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
- def respond[P](content: P, postID: (Int, Int))(implicit pw: Postable[P, HoTTPostWeb, (Int, Int)]): Unit
- def respondSeq(pds: Vector[PostData[_, HoTTPostWeb, (Int, Int)]]): Unit
- var responses: Vector[PostResponse[HoTTPostWeb, (Int, Int)]]
- val startedResponses: ArrayBuffer[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
- val web: HoTTPostWeb
Inherited from AnyRef
Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- def clone(): AnyRef
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- final def synchronized[T0](arg0: => T0): T0
- def toString(): String
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- def finalize(): Unit
Inherited from Any
Value Members
- final def asInstanceOf[T0]: T0
- final def isInstanceOf[T0]: Boolean
Inherited by implicit conversion StringFormat fromHoTTWebSession to StringFormat[HoTTWebSession]
Value Members
- def formatted(fmtstr: String): String
Ungrouped
- final def !=(arg0: Any): Boolean
- final def ##: Int
- def +(other: String): String
- def ->[B](y: B): (HoTTWebSession, B)
- final def ==(arg0: Any): Boolean
- final def asInstanceOf[T0]: T0
- def clone(): AnyRef
- val completedResponses: ArrayBuffer[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
- val completionResponse: Option[(HoTTPostWeb) => Future[PostData[_, HoTTPostWeb, (Int, Int)]]]
- def ensuring(cond: (HoTTWebSession) => Boolean, msg: => Any): HoTTWebSession
- def ensuring(cond: (HoTTWebSession) => Boolean): HoTTWebSession
- def ensuring(cond: Boolean, msg: => Any): HoTTWebSession
- def ensuring(cond: Boolean): HoTTWebSession
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- def formatted(fmtstr: String): String
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- final def isInstanceOf[T0]: Boolean
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- def post[P](content: P, preds: Set[(Int, Int)], withResponse: Boolean = true)(implicit pw: Postable[P, HoTTPostWeb, (Int, Int)], dg: DataGetter[P, HoTTPostWeb, (Int, Int)]): Future[PostData[_, HoTTPostWeb, (Int, Int)]]
- def postLP(lp: LocalProver, pred: Set[ID] = Set()): Future[PostData[_, HoTTPostWeb, ID]]
- def postLocalProverFuture(lp: LocalProver, pred: Set[ID] = Set()): Future[PostData[_, HoTTPostWeb, ID]]
- def query[Q](predicate: (Q) => Boolean = (_: Q) => true)(implicit q: Queryable[Q, HoTTPostWeb]): Future[Q]
- def queryAt[Q](id: (Int, Int), predicate: (Q) => Boolean = (_: Q) => true)(implicit q: LocalQueryable[Q, HoTTPostWeb, (Int, Int)]): Future[Vector[Q]]
- def remainingResponses: Vector[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
- def respond[P](content: P, postID: (Int, Int))(implicit pw: Postable[P, HoTTPostWeb, (Int, Int)]): Unit
- def respondSeq(pds: Vector[PostData[_, HoTTPostWeb, (Int, Int)]]): Unit
- var responses: Vector[PostResponse[HoTTPostWeb, (Int, Int)]]
- def running: Boolean
- val startedResponses: ArrayBuffer[((Int, Int), PostResponse[HoTTPostWeb, (Int, Int)])]
- final def synchronized[T0](arg0: => T0): T0
- def toString(): String
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- val web: HoTTPostWeb
- def finalize(): Unit
- def →[B](y: B): (HoTTWebSession, B)