class TPTPLexical extends Lexical with TPTPTokens

Created by eze on 2016.05.23..

Linear Supertypes
TPTPTokens, Lexical, Tokens, Scanners, Parsers, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TPTPLexical
  2. TPTPTokens
  3. Lexical
  4. Tokens
  5. Scanners
  6. Parsers
  7. AnyRef
  8. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new TPTPLexical()

Type Members

  1. type Elem = Char
    Definition Classes
    Scanners → Parsers
  2. case class Error extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  3. case class ErrorToken extends Token with Product with Serializable
    Definition Classes
    Tokens
  4. case class Failure extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  5. type Input = Reader[Elem]
    Definition Classes
    Parsers
  6. sealed abstract class NoSuccess extends ParseResult[Nothing]
    Definition Classes
    Parsers
  7. trait OnceParser[+T] extends Parser[T]
    Definition Classes
    Parsers
  8. sealed abstract class ParseResult[+T] extends AnyRef
    Definition Classes
    Parsers
  9. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]
    Definition Classes
    Parsers
  10. class Scanner extends Reader[scala.util.parsing.combinator.lexical.Scanners.Token]
    Definition Classes
    Scanners
  11. case class Success[+T] extends ParseResult[T] with Product with Serializable
    Definition Classes
    Parsers
  12. abstract class Token extends AnyRef
    Definition Classes
    Tokens
  13. case class ~[+a, +b] extends Product with Serializable
    Definition Classes
    Parsers
  14. case class DistinctObject (data: String) extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  15. case class DollarDollarWord (data: String) extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  16. case class DollarWord (data: String) extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  17. case class Integer (value: Int) extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  18. case class LowerWord (data: String) extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  19. case class Rational (p: Int, q: Int) extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  20. case class Real (coeff: Double, exp: Int) extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  21. case class SingleQuoted (data: String) extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  22. case class UpperWord (data: String) extends Token with Product with Serializable
    Definition Classes
    TPTPTokens

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from TPTPLexical to any2stringadd[TPTPLexical] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (TPTPLexical, B)
    Implicit
    This member is added by an implicit conversion from TPTPLexical to ArrowAssoc[TPTPLexical] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]
    Definition Classes
    Parsers
  7. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]
    Definition Classes
    Parsers
  8. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  9. def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  10. implicit def accept(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  11. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]
    Definition Classes
    Parsers
  12. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  13. def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  14. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  15. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  16. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  17. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]
    Definition Classes
    Parsers
  18. def chrExcept(cs: Char*): Parser[Elem]
    Definition Classes
    Lexical
  19. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  20. def commentBlock: Parser[Any]
    Attributes
    protected
  21. def commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  22. def digit: Parser[Elem]
    Definition Classes
    Lexical
  23. def distinctObject: Parser[DistinctObject]
  24. def doChar: Parser[Any]
    Attributes
    protected
  25. def dollarDollarWord: Parser[DollarDollarWord]
  26. def dollarWord: Parser[DollarWord]
  27. def elem(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  28. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parsers
  29. def ensuring(cond: (TPTPLexical) ⇒ Boolean, msg: ⇒ Any): TPTPLexical
    Implicit
    This member is added by an implicit conversion from TPTPLexical to Ensuring[TPTPLexical] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  30. def ensuring(cond: (TPTPLexical) ⇒ Boolean): TPTPLexical
    Implicit
    This member is added by an implicit conversion from TPTPLexical to Ensuring[TPTPLexical] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  31. def ensuring(cond: Boolean, msg: ⇒ Any): TPTPLexical
    Implicit
    This member is added by an implicit conversion from TPTPLexical to Ensuring[TPTPLexical] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  32. def ensuring(cond: Boolean): TPTPLexical
    Implicit
    This member is added by an implicit conversion from TPTPLexical to Ensuring[TPTPLexical] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  33. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  34. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  35. def err(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  36. def errorToken(msg: String): Token
    Definition Classes
    Tokens
  37. def exponent: Parser[Real]
    Attributes
    protected
  38. def failure(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  39. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  40. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from TPTPLexical to StringFormat[TPTPLexical] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  41. def fraction: Parser[Real]
    Attributes
    protected
  42. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  43. def guard[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  44. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  45. def integer: Parser[Integer]
  46. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  47. def letter: Parser[Elem]
    Definition Classes
    Lexical
  48. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]
    Definition Classes
    Parsers
  49. def lowerWord: Parser[LowerWord]
  50. def mkList[T]: (~[T, List[T]]) ⇒ List[T]
    Definition Classes
    Parsers
  51. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  52. def not[T](p: ⇒ Parser[T]): Parser[Unit]
    Definition Classes
    Parsers
  53. final def notify(): Unit
    Definition Classes
    AnyRef
  54. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  55. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]
    Definition Classes
    Parsers
  56. def phrase[T](p: Parser[T]): Parser[T]
    Definition Classes
    Parsers
  57. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  58. def rational: Parser[Rational]
  59. def real: Parser[Real]
  60. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  61. def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) The p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.

  62. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  63. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  64. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  65. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  66. def singleQuoted: Parser[SingleQuoted]
  67. def sqChar: Parser[Any]
    Attributes
    protected
  68. def success[T](v: T): Parser[T]
    Definition Classes
    Parsers
  69. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  70. def toString(): String
    Definition Classes
    AnyRef → Any
  71. def token: Parser[Product with Serializable with Token]
    Definition Classes
    TPTPLexical → Scanners
  72. def unsignedInteger: Parser[Int]
  73. def upperWord: Parser[UpperWord]
  74. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  75. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  76. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  77. def whitespace: Parser[Any]
    Definition Classes
    TPTPLexical → Scanners
  78. def whitespaceChar: Parser[Elem]
    Definition Classes
    Lexical
  79. def →[B](y: B): (TPTPLexical, B)
    Implicit
    This member is added by an implicit conversion from TPTPLexical to ArrowAssoc[TPTPLexical] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
  80. object EOF extends Token with Product with Serializable
    Definition Classes
    Tokens
  81. object Ampersand extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  82. object Application extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  83. object Arrow extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  84. object CNF extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  85. object Colon extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  86. object Comma extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  87. object Dot extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  88. object Equals extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  89. object Exclamationmark extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  90. object FOF extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  91. object Include extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  92. object Lambda extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  93. object LeftBracket extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  94. object LeftParenthesis extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  95. object Leftarrow extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  96. object Leftrightarrow extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  97. object Leftrighttildearrow extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  98. object LessSign extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  99. object Minus extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  100. object NotEquals extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  101. object Plus extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  102. object Questionmark extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  103. object RightBracket extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  104. object RightParenthesis extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  105. object Rightarrow extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  106. object Star extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  107. object TFF extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  108. object THF extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  109. object TPI extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  110. object Tilde extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  111. object TildeAmpersand extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  112. object TildePipe extends Token with Product with Serializable
    Definition Classes
    TPTPTokens
  113. object VLine extends Token with Product with Serializable
    Definition Classes
    TPTPTokens

Inherited from TPTPTokens

Inherited from Lexical

Inherited from Tokens

Inherited from Scanners

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from TPTPLexical to any2stringadd[TPTPLexical]

Inherited by implicit conversion StringFormat from TPTPLexical to StringFormat[TPTPLexical]

Inherited by implicit conversion Ensuring from TPTPLexical to Ensuring[TPTPLexical]

Inherited by implicit conversion ArrowAssoc from TPTPLexical to ArrowAssoc[TPTPLexical]

Ungrouped