Trait/Object

LoggingQueryLogger

Related Docs: object LoggingQueryLogger | package mimir

Permalink

trait LoggingQueryLogger[M[+_], P] extends QueryLogger[M, P]

Linear Supertypes

QueryLogger[M, P], AnyRef, Any

Ordering

Alphabetic
By Inheritance

Inherited

LoggingQueryLogger
QueryLogger
AnyRef
Any

Hide All
Show All

Visibility

Public
All

Abstract Value Members

implicit abstract def M: Applicative[M]
abstract def done: M[Unit]

Definition Classes
QueryLogger
abstract def timing(pos: P, nanos: Long): M[Unit]

Record timing information for a particular position.
Record timing information for a particular position. Note that a position may record multiple timing events, which should be aggregated according to simple summary statistics.
Please note the following:
kx = 303 seconds where 2^{63 - 1 = sum i from 0 to k, x}2 x > 0 k = 10000 (an arbitrary, plausible iteration count)
This is to say that, for a particular position which is hit 10,000 times, the total time spent in that particular position must be bounded by 303 seconds to avoid signed Long value overflow. Conveniently, our query timeout is 300 seconds, so this is not an issue.

Definition Classes
QueryLogger

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def contramap[P0](f: (P0) ⇒ P): QueryLogger[M, P0]

Definition Classes
QueryLogger
def debug(pos: P, msg: String): M[Unit]
def die(): M[Unit]

Definition Classes
LoggingQueryLogger → QueryLogger
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def error(pos: P, msg: String): M[Unit]

This reports a error to the user.
This reports a error to the user. Depending on the implementation, this may also stop computation completely.

Definition Classes
LoggingQueryLogger → QueryLogger
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def info(pos: P, msg: String): M[Unit]

Report an informational message to the user.
Report an informational message to the user.

Definition Classes
LoggingQueryLogger → QueryLogger
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def log(pos: P, msg: String): M[Unit]

Report an information message for internal use only
Report an information message for internal use only

Definition Classes
LoggingQueryLogger → QueryLogger
val logger: Logger

Attributes
protected
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def warn(pos: P, msg: String): M[Unit]

Report a warning to the user.
Report a warning to the user.

Definition Classes
LoggingQueryLogger → QueryLogger

Inherited from QueryLogger[M, P]

Inherited from AnyRef

Inherited from Any

Ungrouped