Packages

abstract class Debugger extends InjectedController

Linear Supertypes
InjectedController, BaseController, BaseControllerHelpers, ControllerHelpers, RequestImplicits, Rendering, RequestExtractors, AcceptExtractors, ContentTypes, HeaderNames, play.api.http.Status, HttpProtocol, Results, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Debugger
  2. InjectedController
  3. BaseController
  4. BaseControllerHelpers
  5. ControllerHelpers
  6. RequestImplicits
  7. Rendering
  8. RequestExtractors
  9. AcceptExtractors
  10. ContentTypes
  11. HeaderNames
  12. Status
  13. HttpProtocol
  14. Results
  15. AnyRef
  16. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. 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)
  2. 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)
  3. 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

  1. case class Edge(source: String, target: String, label: String, id: String = ...) extends Product with Serializable
  2. case class FullEdge(data: Edge) extends Product with Serializable
  3. case class FullNode(data: Node) extends Product with Serializable
  4. case class Graph(nodes: Seq[FullNode], edges: Seq[FullEdge]) extends Product with Serializable
  5. case class Node(label: String, style: Style, parent: Option[String] = None, id: String = ...) extends Product with Serializable
  6. class Status extends Result
    Definition Classes
    Results
  7. trait Style extends AnyRef

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 ACCEPT: String
    Definition Classes
    HeaderNames
  5. val ACCEPTED: Int
    Definition Classes
    Status
  6. val ACCEPT_CHARSET: String
    Definition Classes
    HeaderNames
  7. val ACCEPT_ENCODING: String
    Definition Classes
    HeaderNames
  8. val ACCEPT_LANGUAGE: String
    Definition Classes
    HeaderNames
  9. val ACCEPT_RANGES: String
    Definition Classes
    HeaderNames
  10. val ACCESS_CONTROL_ALLOW_CREDENTIALS: String
    Definition Classes
    HeaderNames
  11. val ACCESS_CONTROL_ALLOW_HEADERS: String
    Definition Classes
    HeaderNames
  12. val ACCESS_CONTROL_ALLOW_METHODS: String
    Definition Classes
    HeaderNames
  13. val ACCESS_CONTROL_ALLOW_ORIGIN: String
    Definition Classes
    HeaderNames
  14. val ACCESS_CONTROL_EXPOSE_HEADERS: String
    Definition Classes
    HeaderNames
  15. val ACCESS_CONTROL_MAX_AGE: String
    Definition Classes
    HeaderNames
  16. val ACCESS_CONTROL_REQUEST_HEADERS: String
    Definition Classes
    HeaderNames
  17. val ACCESS_CONTROL_REQUEST_METHOD: String
    Definition Classes
    HeaderNames
  18. val AGE: String
    Definition Classes
    HeaderNames
  19. val ALLOW: String
    Definition Classes
    HeaderNames
  20. val AUTHORIZATION: String
    Definition Classes
    HeaderNames
  21. val Accepted: Status
    Definition Classes
    Results
  22. def Action: ActionBuilder[Request, AnyContent]
    Definition Classes
    BaseController
  23. val BAD_GATEWAY: Int
    Definition Classes
    Status
  24. val BAD_REQUEST: Int
    Definition Classes
    Status
  25. val BINARY: String
    Definition Classes
    ContentTypes
  26. val BadGateway: Status
    Definition Classes
    Results
  27. val BadRequest: Status
    Definition Classes
    Results
  28. val CACHE_CONTROL: String
    Definition Classes
    HeaderNames
  29. val CACHE_MANIFEST: String
    Definition Classes
    ContentTypes
  30. val CHUNKED: String
    Definition Classes
    HttpProtocol
  31. val CONFLICT: Int
    Definition Classes
    Status
  32. val CONNECTION: String
    Definition Classes
    HeaderNames
  33. val CONTENT_DISPOSITION: String
    Definition Classes
    HeaderNames
  34. val CONTENT_ENCODING: String
    Definition Classes
    HeaderNames
  35. val CONTENT_LANGUAGE: String
    Definition Classes
    HeaderNames
  36. val CONTENT_LENGTH: String
    Definition Classes
    HeaderNames
  37. val CONTENT_LOCATION: String
    Definition Classes
    HeaderNames
  38. val CONTENT_MD5: String
    Definition Classes
    HeaderNames
  39. val CONTENT_RANGE: String
    Definition Classes
    HeaderNames
  40. val CONTENT_TRANSFER_ENCODING: String
    Definition Classes
    HeaderNames
  41. val CONTENT_TYPE: String
    Definition Classes
    HeaderNames
  42. val CONTINUE: Int
    Definition Classes
    Status
  43. val COOKIE: String
    Definition Classes
    HeaderNames
  44. val CREATED: Int
    Definition Classes
    Status
  45. def CSS(implicit codec: Codec): String
    Definition Classes
    ContentTypes
  46. val Conflict: Status
    Definition Classes
    Results
  47. val Continue: Result
    Definition Classes
    Results
  48. val Created: Status
    Definition Classes
    Results
  49. val DATE: String
    Definition Classes
    HeaderNames
  50. val ETAG: String
    Definition Classes
    HeaderNames
  51. def EVENT_STREAM(implicit codec: Codec): String
    Definition Classes
    ContentTypes
  52. val EXPECT: String
    Definition Classes
    HeaderNames
  53. val EXPECTATION_FAILED: Int
    Definition Classes
    Status
  54. val EXPIRES: String
    Definition Classes
    HeaderNames
  55. val EntityTooLarge: Status
    Definition Classes
    Results
  56. val ExpectationFailed: Status
    Definition Classes
    Results
  57. val FAILED_DEPENDENCY: Int
    Definition Classes
    Status
  58. val FORBIDDEN: Int
    Definition Classes
    Status
  59. val FORM: String
    Definition Classes
    ContentTypes
  60. val FORWARDED: String
    Definition Classes
    HeaderNames
  61. val FOUND: Int
    Definition Classes
    Status
  62. val FROM: String
    Definition Classes
    HeaderNames
  63. val FailedDependency: Status
    Definition Classes
    Results
  64. val Forbidden: Status
    Definition Classes
    Results
  65. def Found(url: String): Result
    Definition Classes
    Results
  66. val GATEWAY_TIMEOUT: Int
    Definition Classes
    Status
  67. val GONE: Int
    Definition Classes
    Status
  68. val GatewayTimeout: Status
    Definition Classes
    Results
  69. val Gone: Status
    Definition Classes
    Results
  70. val HOST: String
    Definition Classes
    HeaderNames
  71. def HTML(implicit codec: Codec): String
    Definition Classes
    ContentTypes
  72. val HTTP_1_0: String
    Definition Classes
    HttpProtocol
  73. val HTTP_1_1: String
    Definition Classes
    HttpProtocol
  74. val HTTP_VERSION_NOT_SUPPORTED: Int
    Definition Classes
    Status
  75. val HttpVersionNotSupported: Status
    Definition Classes
    Results
  76. val IF_MATCH: String
    Definition Classes
    HeaderNames
  77. val IF_MODIFIED_SINCE: String
    Definition Classes
    HeaderNames
  78. val IF_NONE_MATCH: String
    Definition Classes
    HeaderNames
  79. val IF_RANGE: String
    Definition Classes
    HeaderNames
  80. val IF_UNMODIFIED_SINCE: String
    Definition Classes
    HeaderNames
  81. val IM_A_TEAPOT: Int
    Definition Classes
    Status
  82. val INSUFFICIENT_STORAGE: Int
    Definition Classes
    Status
  83. val INTERNAL_SERVER_ERROR: Int
    Definition Classes
    Status
  84. val ImATeapot: Status
    Definition Classes
    Results
  85. val InsufficientStorage: Status
    Definition Classes
    Results
  86. val InternalServerError: Status
    Definition Classes
    Results
  87. def JAVASCRIPT(implicit codec: Codec): String
    Definition Classes
    ContentTypes
  88. val JSON: String
    Definition Classes
    ContentTypes
  89. val LAST_MODIFIED: String
    Definition Classes
    HeaderNames
  90. val LENGTH_REQUIRED: Int
    Definition Classes
    Status
  91. val LINK: String
    Definition Classes
    HeaderNames
  92. val LOCATION: String
    Definition Classes
    HeaderNames
  93. val LOCKED: Int
    Definition Classes
    Status
  94. val Locked: Status
    Definition Classes
    Results
  95. val MAX_FORWARDS: String
    Definition Classes
    HeaderNames
  96. val METHOD_NOT_ALLOWED: Int
    Definition Classes
    Status
  97. val MOVED_PERMANENTLY: Int
    Definition Classes
    Status
  98. val MULTIPLE_CHOICES: Int
    Definition Classes
    Status
  99. val MULTI_STATUS: Int
    Definition Classes
    Status
  100. val MethodNotAllowed: Status
    Definition Classes
    Results
  101. def MovedPermanently(url: String): Result
    Definition Classes
    Results
  102. val MultiStatus: Status
    Definition Classes
    Results
  103. val NON_AUTHORITATIVE_INFORMATION: Int
    Definition Classes
    Status
  104. val NOT_ACCEPTABLE: Int
    Definition Classes
    Status
  105. val NOT_FOUND: Int
    Definition Classes
    Status
  106. val NOT_IMPLEMENTED: Int
    Definition Classes
    Status
  107. val NOT_MODIFIED: Int
    Definition Classes
    Status
  108. val NO_CONTENT: Int
    Definition Classes
    Status
  109. val NoContent: Result
    Definition Classes
    Results
  110. val NonAuthoritativeInformation: Status
    Definition Classes
    Results
  111. val NotAcceptable: Status
    Definition Classes
    Results
  112. val NotFound: Status
    Definition Classes
    Results
  113. val NotImplemented: Status
    Definition Classes
    Results
  114. val NotModified: Result
    Definition Classes
    Results
  115. val OK: Int
    Definition Classes
    Status
  116. val ORIGIN: String
    Definition Classes
    HeaderNames
  117. val Ok: Status
    Definition Classes
    Results
  118. val PARTIAL_CONTENT: Int
    Definition Classes
    Status
  119. val PAYMENT_REQUIRED: Int
    Definition Classes
    Status
  120. val PERMANENT_REDIRECT: Int
    Definition Classes
    Status
  121. val PRAGMA: String
    Definition Classes
    HeaderNames
  122. val PRECONDITION_FAILED: Int
    Definition Classes
    Status
  123. val PROXY_AUTHENTICATE: String
    Definition Classes
    HeaderNames
  124. val PROXY_AUTHENTICATION_REQUIRED: Int
    Definition Classes
    Status
  125. val PROXY_AUTHORIZATION: String
    Definition Classes
    HeaderNames
  126. val PartialContent: Status
    Definition Classes
    Results
  127. val PaymentRequired: Status
    Definition Classes
    Results
  128. def PermanentRedirect(url: String): Result
    Definition Classes
    Results
  129. val PreconditionFailed: Status
    Definition Classes
    Results
  130. val RANGE: String
    Definition Classes
    HeaderNames
  131. val REFERER: String
    Definition Classes
    HeaderNames
  132. val REQUESTED_RANGE_NOT_SATISFIABLE: Int
    Definition Classes
    Status
  133. val REQUEST_ENTITY_TOO_LARGE: Int
    Definition Classes
    Status
  134. val REQUEST_TIMEOUT: Int
    Definition Classes
    Status
  135. val REQUEST_URI_TOO_LONG: Int
    Definition Classes
    Status
  136. val RESET_CONTENT: Int
    Definition Classes
    Status
  137. val RETRY_AFTER: String
    Definition Classes
    HeaderNames
  138. def Redirect(call: Call, status: Int): Result
    Definition Classes
    Results
  139. def Redirect(call: Call): Result
    Definition Classes
    Results
  140. def Redirect(url: String, queryString: Map[String, Seq[String]], status: Int): Result
    Definition Classes
    Results
  141. def Redirect(url: String, status: Int): Result
    Definition Classes
    Results
  142. val RequestTimeout: Status
    Definition Classes
    Results
  143. val ResetContent: Result
    Definition Classes
    Results
  144. val SEE_OTHER: Int
    Definition Classes
    Status
  145. val SERVER: String
    Definition Classes
    HeaderNames
  146. val SERVICE_UNAVAILABLE: Int
    Definition Classes
    Status
  147. val SET_COOKIE: String
    Definition Classes
    HeaderNames
  148. val SET_COOKIE2: String
    Definition Classes
    HeaderNames
  149. val STRICT_TRANSPORT_SECURITY: String
    Definition Classes
    HeaderNames
  150. val SWITCHING_PROTOCOLS: Int
    Definition Classes
    Status
  151. def SeeOther(url: String): Result
    Definition Classes
    Results
  152. val ServiceUnavailable: Status
    Definition Classes
    Results
  153. def Status(code: Int): Status
    Definition Classes
    Results
  154. val SwitchingProtocols: Result
    Definition Classes
    Results
  155. val TE: String
    Definition Classes
    HeaderNames
  156. val TEMPORARY_REDIRECT: Int
    Definition Classes
    Status
  157. def TEXT(implicit codec: Codec): String
    Definition Classes
    ContentTypes
  158. lazy val TODO: Action[AnyContent]
    Definition Classes
    ControllerHelpers
  159. val TOO_MANY_REQUESTS: Int
    Definition Classes
    Status
  160. val TRAILER: String
    Definition Classes
    HeaderNames
  161. val TRANSFER_ENCODING: String
    Definition Classes
    HeaderNames
  162. def TemporaryRedirect(url: String): Result
    Definition Classes
    Results
  163. val TooManyRequests: Status
    Definition Classes
    Results
  164. val UNAUTHORIZED: Int
    Definition Classes
    Status
  165. val UNPROCESSABLE_ENTITY: Int
    Definition Classes
    Status
  166. val UNSUPPORTED_MEDIA_TYPE: Int
    Definition Classes
    Status
  167. val UPGRADE: String
    Definition Classes
    HeaderNames
  168. val UPGRADE_REQUIRED: Int
    Definition Classes
    Status
  169. val USER_AGENT: String
    Definition Classes
    HeaderNames
  170. val USE_PROXY: Int
    Definition Classes
    Status
  171. val Unauthorized: Status
    Definition Classes
    Results
  172. val UnprocessableEntity: Status
    Definition Classes
    Results
  173. val UnsupportedMediaType: Status
    Definition Classes
    Results
  174. val UriTooLong: Status
    Definition Classes
    Results
  175. val VARY: String
    Definition Classes
    HeaderNames
  176. val VIA: String
    Definition Classes
    HeaderNames
  177. val WARNING: String
    Definition Classes
    HeaderNames
  178. val WWW_AUTHENTICATE: String
    Definition Classes
    HeaderNames
  179. def XHTML(implicit codec: Codec): String
    Definition Classes
    ContentTypes
  180. def XML(implicit codec: Codec): String
    Definition Classes
    ContentTypes
  181. val X_FORWARDED_FOR: String
    Definition Classes
    HeaderNames
  182. val X_FORWARDED_HOST: String
    Definition Classes
    HeaderNames
  183. val X_FORWARDED_PORT: String
    Definition Classes
    HeaderNames
  184. val X_FORWARDED_PROTO: String
    Definition Classes
    HeaderNames
  185. val X_REQUESTED_WITH: String
    Definition Classes
    HeaderNames
  186. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  187. val assets: Assets
  188. lazy val bcl: BoundedCombinatoryLogicDebugger
  189. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  190. val combinators: Map[String, (Type, String)]
  191. def computeRequest(request: String): Action[AnyContent]
  192. def controllerComponents: ControllerComponents
    Attributes
    protected
    Definition Classes
    InjectedController → BaseControllerHelpers
  193. def defaultExecutionContext: ExecutionContext
    Definition Classes
    BaseControllerHelpers
  194. implicit lazy val edgeFormat: OWrites[Edge]
  195. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  196. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  197. def fallbackControllerComponents: ControllerComponents
    Attributes
    protected
    Definition Classes
    InjectedController
  198. implicit def fileMimeTypes: FileMimeTypes
    Definition Classes
    BaseControllerHelpers
  199. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  200. def findEqualEntries(grammar: TreeGrammar, ty: Type): Option[Type]
  201. implicit lazy val fullEdgeFormat: OWrites[FullEdge]
  202. implicit lazy val fullNodeFormat: OWrites[FullNode]
  203. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  204. implicit lazy val graphFormat: OWrites[Graph]
  205. var graphObj: JsValue
  206. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  207. def index(): Action[AnyContent]
  208. val infinite: Boolean
  209. def inhabitResult(tgt: Seq[Type]): TreeGrammar
  210. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  211. implicit def messagesApi: MessagesApi
    Definition Classes
    BaseControllerHelpers
  212. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  213. var newGraph: TreeGrammar
  214. var newTargets: Seq[Type]
  215. implicit lazy val nodeFormat: OWrites[Node]
  216. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  217. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  218. def parse: PlayBodyParsers
    Definition Classes
    BaseControllerHelpers
  219. val projectName: String
  220. implicit def request2flash(implicit request: RequestHeader): Flash
    Definition Classes
    RequestImplicits
  221. implicit def request2session(implicit request: RequestHeader): Session
    Definition Classes
    RequestImplicits
  222. val results: Results
  223. def setControllerComponents(components: ControllerComponents): Unit
    Definition Classes
    InjectedController
    Annotations
    @Inject()
  224. def showDebuggerMessages: Action[AnyContent]
  225. def showGraph: Action[AnyContent]
  226. def showPosition(label: String): Action[AnyContent]
  227. def showRepo: Action[AnyContent]
  228. def showResult(index: Long): Action[AnyContent]
  229. def showSteps(step: Int): Action[AnyContent]
  230. def showUninhabitedTy(): Action[AnyContent]
  231. def showUnusableBecauseOfTy(): Action[AnyContent]
  232. def showUnusableCMsg(): Action[AnyContent]
  233. implicit lazy val styleFormat: Writes[Style]
  234. val substitutionSpace: FiniteSubstitutionSpace
  235. val subtypes: SubtypeEnvironment
  236. implicit def supportedLangs: Langs
    Definition Classes
    BaseControllerHelpers
  237. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  238. var targets: Seq[Type]
  239. val testChannel: TestChannel
  240. def toGraph(treeGrammar: TreeGrammar, tgts: Set[Type], uninhabitedTypes: Set[Type], cannotUseCombinator: Set[(String, Seq[Type])]): Graph
  241. def toString(): String
    Definition Classes
    AnyRef → Any
  242. var toggle: Boolean
  243. def toggleCycles(step: Int): Action[AnyContent]
  244. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  245. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  246. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  247. val webjarsUtil: WebJarsUtil
  248. def withCharset(mimeType: String)(implicit codec: Codec): String
    Definition Classes
    ContentTypes
  249. object ArgumentNode extends Style with Product with Serializable
  250. object CombinatorNode extends Style with Product with Serializable
  251. object TargetNode extends Style with Product with Serializable
  252. object TypeNode extends Style with Product with Serializable
  253. object UninhabitedTypeNode extends Style with Product with Serializable
  254. object UnusableCombinatorNode extends Style with Product with Serializable
  255. object UnvisibleCombinatorNode extends Style with Product with Serializable
  256. object UnvisibleTypeNode extends Style with Product with Serializable

Deprecated Value Members

  1. val TOO_MANY_REQUEST: Int
    Definition Classes
    Status
    Annotations
    @deprecated
    Deprecated

    (Since version 2.6.0) Use TOO_MANY_REQUESTS instead

  2. val TooManyRequest: Status
    Definition Classes
    Results
    Annotations
    @deprecated
    Deprecated

    (Since version 2.6.0) Use TooManyRequests instead

Inherited from InjectedController

Inherited from BaseController

Inherited from BaseControllerHelpers

Inherited from ControllerHelpers

Inherited from RequestImplicits

Inherited from Rendering

Inherited from RequestExtractors

Inherited from AcceptExtractors

Inherited from ContentTypes

Inherited from HeaderNames

Inherited from play.api.http.Status

Inherited from HttpProtocol

Inherited from Results

Inherited from AnyRef

Inherited from Any

Ungrouped