Debugger

Instance Constructors

new Debugger(webjarsUtil: WebJarsUtil, assets: Assets, substitutionSpace: FiniteSubstitutionSpace, combinators: Map[String, Type], subtypes: SubtypeEnvironment, targets: Seq[Type], infinite: Boolean, results: Results, testChannel: TestChannel, projectName: String)
new Debugger(webjarsUtil: WebJarsUtil, assets: Assets, substitutionSpace: FiniteSubstitutionSpace, subtypes: SubtypeEnvironment, targets: Seq[Type], infinite: Boolean, combinatorComponents: Map[String, CombinatorInfo], results: Results, testChannel: TestChannel, projectName: String)
new Debugger(webjarsUtil: WebJarsUtil, assets: Assets, combinators: Map[String, (Type, String)], substitutionSpace: FiniteSubstitutionSpace, subtypes: SubtypeEnvironment, targets: Seq[Type], infinite: Boolean, results: Results, testChannel: TestChannel, projectName: String)

Type Members

case class Edge(source: String, target: String, label: String, id: String = ...) extends Product with Serializable
case class FullEdge(data: Edge) extends Product with Serializable
case class FullNode(data: Node) extends Product with Serializable
case class Graph(nodes: Seq[FullNode], edges: Seq[FullEdge]) extends Product with Serializable
case class Node(label: String, style: Style, parent: Option[String] = None, id: String = ...) extends Product with Serializable
class Status extends Result

Definition Classes
Results
trait Style extends AnyRef

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
val ACCEPT: String

Definition Classes
HeaderNames
val ACCEPTED: Int

Definition Classes
Status
val ACCEPT_CHARSET: String

Definition Classes
HeaderNames
val ACCEPT_ENCODING: String

Definition Classes
HeaderNames
val ACCEPT_LANGUAGE: String

Definition Classes
HeaderNames
val ACCEPT_RANGES: String

Definition Classes
HeaderNames
val ACCESS_CONTROL_ALLOW_CREDENTIALS: String

Definition Classes
HeaderNames
val ACCESS_CONTROL_ALLOW_HEADERS: String

Definition Classes
HeaderNames
val ACCESS_CONTROL_ALLOW_METHODS: String

Definition Classes
HeaderNames
val ACCESS_CONTROL_ALLOW_ORIGIN: String

Definition Classes
HeaderNames
val ACCESS_CONTROL_EXPOSE_HEADERS: String

Definition Classes
HeaderNames
val ACCESS_CONTROL_MAX_AGE: String

Definition Classes
HeaderNames
val ACCESS_CONTROL_REQUEST_HEADERS: String

Definition Classes
HeaderNames
val ACCESS_CONTROL_REQUEST_METHOD: String

Definition Classes
HeaderNames
val AGE: String

Definition Classes
HeaderNames
val ALLOW: String

Definition Classes
HeaderNames
val AUTHORIZATION: String

Definition Classes
HeaderNames
val Accepted: Status

Definition Classes
Results
def Action: ActionBuilder[Request, AnyContent]

Definition Classes
BaseController
object ArgumentNode extends Style with Product with Serializable
val BAD_GATEWAY: Int

Definition Classes
Status
val BAD_REQUEST: Int

Definition Classes
Status
val BINARY: String

Definition Classes
ContentTypes
val BadGateway: Status

Definition Classes
Results
val BadRequest: Status

Definition Classes
Results
val CACHE_CONTROL: String

Definition Classes
HeaderNames
val CACHE_MANIFEST: String

Definition Classes
ContentTypes
val CHUNKED: String

Definition Classes
HttpProtocol
val CONFLICT: Int

Definition Classes
Status
val CONNECTION: String

Definition Classes
HeaderNames
val CONTENT_DISPOSITION: String

Definition Classes
HeaderNames
val CONTENT_ENCODING: String

Definition Classes
HeaderNames
val CONTENT_LANGUAGE: String

Definition Classes
HeaderNames
val CONTENT_LENGTH: String

Definition Classes
HeaderNames
val CONTENT_LOCATION: String

Definition Classes
HeaderNames
val CONTENT_MD5: String

Definition Classes
HeaderNames
val CONTENT_RANGE: String

Definition Classes
HeaderNames
val CONTENT_TRANSFER_ENCODING: String

Definition Classes
HeaderNames
val CONTENT_TYPE: String

Definition Classes
HeaderNames
val CONTINUE: Int

Definition Classes
Status
val COOKIE: String

Definition Classes
HeaderNames
val CREATED: Int

Definition Classes
Status
def CSS(implicit codec: Codec): String

Definition Classes
ContentTypes
object CombinatorNode extends Style with Product with Serializable
val Conflict: Status

Definition Classes
Results
val Continue: Result

Definition Classes
Results
val Created: Status

Definition Classes
Results
val DATE: String

Definition Classes
HeaderNames
val ETAG: String

Definition Classes
HeaderNames
def EVENT_STREAM(implicit codec: Codec): String

Definition Classes
ContentTypes
val EXPECT: String

Definition Classes
HeaderNames
val EXPECTATION_FAILED: Int

Definition Classes
Status
val EXPIRES: String

Definition Classes
HeaderNames
val EntityTooLarge: Status

Definition Classes
Results
val ExpectationFailed: Status

Definition Classes
Results
val FAILED_DEPENDENCY: Int

Definition Classes
Status
val FORBIDDEN: Int

Definition Classes
Status
val FORM: String

Definition Classes
ContentTypes
val FORWARDED: String

Definition Classes
HeaderNames
val FOUND: Int

Definition Classes
Status
val FROM: String

Definition Classes
HeaderNames
val FailedDependency: Status

Definition Classes
Results
val Forbidden: Status

Definition Classes
Results
def Found(url: String): Result

Definition Classes
Results
val GATEWAY_TIMEOUT: Int

Definition Classes
Status
val GONE: Int

Definition Classes
Status
val GatewayTimeout: Status

Definition Classes
Results
val Gone: Status

Definition Classes
Results
val HOST: String

Definition Classes
HeaderNames
def HTML(implicit codec: Codec): String

Definition Classes
ContentTypes
val HTTP_1_0: String

Definition Classes
HttpProtocol
val HTTP_1_1: String

Definition Classes
HttpProtocol
val HTTP_VERSION_NOT_SUPPORTED: Int

Definition Classes
Status
val HttpVersionNotSupported: Status

Definition Classes
Results
val IF_MATCH: String

Definition Classes
HeaderNames
val IF_MODIFIED_SINCE: String

Definition Classes
HeaderNames
val IF_NONE_MATCH: String

Definition Classes
HeaderNames
val IF_RANGE: String

Definition Classes
HeaderNames
val IF_UNMODIFIED_SINCE: String

Definition Classes
HeaderNames
val IM_A_TEAPOT: Int

Definition Classes
Status
val INSUFFICIENT_STORAGE: Int

Definition Classes
Status
val INTERNAL_SERVER_ERROR: Int

Definition Classes
Status
val ImATeapot: Status

Definition Classes
Results
val InsufficientStorage: Status

Definition Classes
Results
val InternalServerError: Status

Definition Classes
Results
def JAVASCRIPT(implicit codec: Codec): String

Definition Classes
ContentTypes
val JSON: String

Definition Classes
ContentTypes
val LAST_MODIFIED: String

Definition Classes
HeaderNames
val LENGTH_REQUIRED: Int

Definition Classes
Status
val LINK: String

Definition Classes
HeaderNames
val LOCATION: String

Definition Classes
HeaderNames
val LOCKED: Int

Definition Classes
Status
val Locked: Status

Definition Classes
Results
val MAX_FORWARDS: String

Definition Classes
HeaderNames
val METHOD_NOT_ALLOWED: Int

Definition Classes
Status
val MOVED_PERMANENTLY: Int

Definition Classes
Status
val MULTIPLE_CHOICES: Int

Definition Classes
Status
val MULTI_STATUS: Int

Definition Classes
Status
val MethodNotAllowed: Status

Definition Classes
Results
def MovedPermanently(url: String): Result

Definition Classes
Results
val MultiStatus: Status

Definition Classes
Results
val NON_AUTHORITATIVE_INFORMATION: Int

Definition Classes
Status
val NOT_ACCEPTABLE: Int

Definition Classes
Status
val NOT_FOUND: Int

Definition Classes
Status
val NOT_IMPLEMENTED: Int

Definition Classes
Status
val NOT_MODIFIED: Int

Definition Classes
Status
val NO_CONTENT: Int

Definition Classes
Status
val NoContent: Result

Definition Classes
Results
val NonAuthoritativeInformation: Status

Definition Classes
Results
val NotAcceptable: Status

Definition Classes
Results
val NotFound: Status

Definition Classes
Results
val NotImplemented: Status

Definition Classes
Results
val NotModified: Result

Definition Classes
Results
val OK: Int

Definition Classes
Status
val ORIGIN: String

Definition Classes
HeaderNames
val Ok: Status

Definition Classes
Results
val PARTIAL_CONTENT: Int

Definition Classes
Status
val PAYMENT_REQUIRED: Int

Definition Classes
Status
val PERMANENT_REDIRECT: Int

Definition Classes
Status
val PRAGMA: String

Definition Classes
HeaderNames
val PRECONDITION_FAILED: Int

Definition Classes
Status
val PROXY_AUTHENTICATE: String

Definition Classes
HeaderNames
val PROXY_AUTHENTICATION_REQUIRED: Int

Definition Classes
Status
val PROXY_AUTHORIZATION: String

Definition Classes
HeaderNames
val PartialContent: Status

Definition Classes
Results
val PaymentRequired: Status

Definition Classes
Results
def PermanentRedirect(url: String): Result

Definition Classes
Results
val PreconditionFailed: Status

Definition Classes
Results
val RANGE: String

Definition Classes
HeaderNames
val REFERER: String

Definition Classes
HeaderNames
val REQUESTED_RANGE_NOT_SATISFIABLE: Int

Definition Classes
Status
val REQUEST_ENTITY_TOO_LARGE: Int

Definition Classes
Status
val REQUEST_TIMEOUT: Int

Definition Classes
Status
val REQUEST_URI_TOO_LONG: Int

Definition Classes
Status
val RESET_CONTENT: Int

Definition Classes
Status
val RETRY_AFTER: String

Definition Classes
HeaderNames
def Redirect(call: Call, status: Int): Result

Definition Classes
Results
def Redirect(call: Call): Result

Definition Classes
Results
def Redirect(url: String, queryString: Map[String, Seq[String]], status: Int): Result

Definition Classes
Results
def Redirect(url: String, status: Int): Result

Definition Classes
Results
val RequestTimeout: Status

Definition Classes
Results
val ResetContent: Result

Definition Classes
Results
val SEE_OTHER: Int

Definition Classes
Status
val SERVER: String

Definition Classes
HeaderNames
val SERVICE_UNAVAILABLE: Int

Definition Classes
Status
val SET_COOKIE: String

Definition Classes
HeaderNames
val SET_COOKIE2: String

Definition Classes
HeaderNames
val STRICT_TRANSPORT_SECURITY: String

Definition Classes
HeaderNames
val SWITCHING_PROTOCOLS: Int

Definition Classes
Status
def SeeOther(url: String): Result

Definition Classes
Results
val ServiceUnavailable: Status

Definition Classes
Results
def Status(code: Int): Status

Definition Classes
Results
val SwitchingProtocols: Result

Definition Classes
Results
val TE: String

Definition Classes
HeaderNames
val TEMPORARY_REDIRECT: Int

Definition Classes
Status
def TEXT(implicit codec: Codec): String

Definition Classes
ContentTypes
lazy val TODO: Action[AnyContent]

Definition Classes
ControllerHelpers
val TOO_MANY_REQUESTS: Int

Definition Classes
Status
val TRAILER: String

Definition Classes
HeaderNames
val TRANSFER_ENCODING: String

Definition Classes
HeaderNames
object TargetNode extends Style with Product with Serializable
def TemporaryRedirect(url: String): Result

Definition Classes
Results
val TooManyRequests: Status

Definition Classes
Results
object TypeNode extends Style with Product with Serializable
val UNAUTHORIZED: Int

Definition Classes
Status
val UNPROCESSABLE_ENTITY: Int

Definition Classes
Status
val UNSUPPORTED_MEDIA_TYPE: Int

Definition Classes
Status
val UPGRADE: String

Definition Classes
HeaderNames
val UPGRADE_REQUIRED: Int

Definition Classes
Status
val USER_AGENT: String

Definition Classes
HeaderNames
val USE_PROXY: Int

Definition Classes
Status
val Unauthorized: Status

Definition Classes
Results
object UninhabitedTypeNode extends Style with Product with Serializable
val UnprocessableEntity: Status

Definition Classes
Results
val UnsupportedMediaType: Status

Definition Classes
Results
object UnusableCombinatorNode extends Style with Product with Serializable
object UnvisibleCombinatorNode extends Style with Product with Serializable
object UnvisibleTypeNode extends Style with Product with Serializable
val UriTooLong: Status

Definition Classes
Results
val VARY: String

Definition Classes
HeaderNames
val VIA: String

Definition Classes
HeaderNames
val WARNING: String

Definition Classes
HeaderNames
val WWW_AUTHENTICATE: String

Definition Classes
HeaderNames
def XHTML(implicit codec: Codec): String

Definition Classes
ContentTypes
def XML(implicit codec: Codec): String

Definition Classes
ContentTypes
val X_FORWARDED_FOR: String

Definition Classes
HeaderNames
val X_FORWARDED_HOST: String

Definition Classes
HeaderNames
val X_FORWARDED_PORT: String

Definition Classes
HeaderNames
val X_FORWARDED_PROTO: String

Definition Classes
HeaderNames
val X_REQUESTED_WITH: String

Definition Classes
HeaderNames
final def asInstanceOf[T0]: T0

Definition Classes
Any
val assets: Assets
lazy val bcl: BoundedCombinatoryLogicDebugger
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val combinators: Map[String, (Type, String)]
def computeRequest(request: String): Action[AnyContent]
def controllerComponents: ControllerComponents

Attributes
protected
Definition Classes
InjectedController → BaseControllerHelpers
def defaultExecutionContext: ExecutionContext

Definition Classes
BaseControllerHelpers
implicit lazy val edgeFormat: OWrites[Edge]
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def fallbackControllerComponents: ControllerComponents

Attributes
protected
Definition Classes
InjectedController
implicit def fileMimeTypes: FileMimeTypes

Definition Classes
BaseControllerHelpers
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def findEqualEntries(grammar: TreeGrammar, ty: Type): Option[Type]
implicit lazy val fullEdgeFormat: OWrites[FullEdge]
implicit lazy val fullNodeFormat: OWrites[FullNode]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
implicit lazy val graphFormat: OWrites[Graph]
var graphObj: JsValue
def hashCode(): Int

Definition Classes
AnyRef → Any
def index(): Action[AnyContent]
val infinite: Boolean
def inhabitResult(tgt: Seq[Type]): TreeGrammar
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
implicit def messagesApi: MessagesApi

Definition Classes
BaseControllerHelpers
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
var newGraph: TreeGrammar
var newTargets: Seq[Type]
implicit lazy val nodeFormat: OWrites[Node]
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def parse: PlayBodyParsers

Definition Classes
BaseControllerHelpers
val projectName: String
implicit def request2flash(implicit request: RequestHeader): Flash

Definition Classes
RequestImplicits
implicit def request2session(implicit request: RequestHeader): Session

Definition Classes
RequestImplicits
val results: Results
def setControllerComponents(components: ControllerComponents): Unit

Definition Classes
InjectedController
Annotations
@Inject()
def showDebuggerMessages: Action[AnyContent]
def showGraph: Action[AnyContent]
def showPosition(label: String): Action[AnyContent]
def showRepo: Action[AnyContent]
def showResult(index: Long): Action[AnyContent]
def showSteps(step: Int): Action[AnyContent]
def showUninhabitedTy(): Action[AnyContent]
def showUnusableBecauseOfTy(): Action[AnyContent]
def showUnusableCMsg(): Action[AnyContent]
implicit lazy val styleFormat: Writes[Style]
val substitutionSpace: FiniteSubstitutionSpace
val subtypes: SubtypeEnvironment
implicit def supportedLangs: Langs

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

Definition Classes
AnyRef
var targets: Seq[Type]
val testChannel: TestChannel
def toGraph(treeGrammar: TreeGrammar, tgts: Set[Type], uninhabitedTypes: Set[Type], cannotUseCombinator: Set[(String, Seq[Type])]): Graph
def toString(): String

Definition Classes
AnyRef → Any
var toggle: Boolean
def toggleCycles(step: Int): Action[AnyContent]
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( ... )
val webjarsUtil: WebJarsUtil
def withCharset(mimeType: String)(implicit codec: Codec): String

Definition Classes
ContentTypes

Deprecated Value Members

val TOO_MANY_REQUEST: Int

Definition Classes
Status
Annotations
@deprecated
Deprecated
(Since version 2.6.0) Use TOO_MANY_REQUESTS instead
val TooManyRequest: Status

Definition Classes
Results
Annotations
@deprecated
Deprecated
(Since version 2.6.0) Use TooManyRequests instead

Related Docs: object Debugger | package ide

abstract class Debugger extends InjectedController

Instance Constructors

new Debugger(webjarsUtil: WebJarsUtil, assets: Assets, substitutionSpace: FiniteSubstitutionSpace, combinators: Map[String, Type], subtypes: SubtypeEnvironment, targets: Seq[Type], infinite: Boolean, results: Results, testChannel: TestChannel, projectName: String)

new Debugger(webjarsUtil: WebJarsUtil, assets: Assets, substitutionSpace: FiniteSubstitutionSpace, subtypes: SubtypeEnvironment, targets: Seq[Type], infinite: Boolean, combinatorComponents: Map[String, CombinatorInfo], results: Results, testChannel: TestChannel, projectName: String)

new Debugger(webjarsUtil: WebJarsUtil, assets: Assets, combinators: Map[String, (Type, String)], substitutionSpace: FiniteSubstitutionSpace, subtypes: SubtypeEnvironment, targets: Seq[Type], infinite: Boolean, results: Results, testChannel: TestChannel, projectName: String)

Type Members

case class Edge(source: String, target: String, label: String, id: String = ...) extends Product with Serializable

case class FullEdge(data: Edge) extends Product with Serializable

case class FullNode(data: Node) extends Product with Serializable

case class Graph(nodes: Seq[FullNode], edges: Seq[FullEdge]) extends Product with Serializable

case class Node(label: String, style: Style, parent: Option[String] = None, id: String = ...) extends Product with Serializable

class Status extends Result

trait Style extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val ACCEPT: String

val ACCEPTED: Int

val ACCEPT_CHARSET: String

val ACCEPT_ENCODING: String

val ACCEPT_LANGUAGE: String

val ACCEPT_RANGES: String

val ACCESS_CONTROL_ALLOW_CREDENTIALS: String

val ACCESS_CONTROL_ALLOW_HEADERS: String

val ACCESS_CONTROL_ALLOW_METHODS: String

val ACCESS_CONTROL_ALLOW_ORIGIN: String

val ACCESS_CONTROL_EXPOSE_HEADERS: String

val ACCESS_CONTROL_MAX_AGE: String

val ACCESS_CONTROL_REQUEST_HEADERS: String

val ACCESS_CONTROL_REQUEST_METHOD: String

val AGE: String

val ALLOW: String

val AUTHORIZATION: String

val Accepted: Status

def Action: ActionBuilder[Request, AnyContent]

object ArgumentNode extends Style with Product with Serializable

val BAD_GATEWAY: Int

val BAD_REQUEST: Int

val BINARY: String

val BadGateway: Status

val BadRequest: Status

val CACHE_CONTROL: String

val CACHE_MANIFEST: String

val CHUNKED: String

val CONFLICT: Int

val CONNECTION: String

val CONTENT_DISPOSITION: String

val CONTENT_ENCODING: String

val CONTENT_LANGUAGE: String

val CONTENT_LENGTH: String

val CONTENT_LOCATION: String

val CONTENT_MD5: String

val CONTENT_RANGE: String

val CONTENT_TRANSFER_ENCODING: String

val CONTENT_TYPE: String

val CONTINUE: Int

val COOKIE: String

val CREATED: Int

def CSS(implicit codec: Codec): String

object CombinatorNode extends Style with Product with Serializable

val Conflict: Status

val Continue: Result

val Created: Status

val DATE: String

val ETAG: String

def EVENT_STREAM(implicit codec: Codec): String

val EXPECT: String

val EXPECTATION_FAILED: Int

val EXPIRES: String

val EntityTooLarge: Status

val ExpectationFailed: Status

val FAILED_DEPENDENCY: Int

val FORBIDDEN: Int

val FORM: String

val FORWARDED: String

val FOUND: Int

val FROM: String