Packages

final class Parser extends RecordSig

Annotations
@record()
Linear Supertypes
RecordSig, Mutable, MutableMarker, Clonable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Parser
  2. RecordSig
  3. Mutable
  4. MutableMarker
  5. Clonable
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Parser(__input: sireum.ISZ[C], __offset: Z, __errorOpt: Option[ErrorMsg])

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def $cannotMixImmutableAndMutable: Nothing
    Attributes
    protected
    Definition Classes
    Mutable
  4. def $clone: Parser
    Definition Classes
    Parser → MutableMarker → Clonable
  5. def $content: Seq[(java.lang.String, Any)]
    Definition Classes
    ParserRecordSig
  6. def $hasEquals: Boolean
    Attributes
    protected
    Definition Classes
    Mutable
  7. def $hasString: Boolean
    Attributes
    protected
    Definition Classes
    Mutable
  8. final def $owned: Boolean
    Definition Classes
    RecordSig → MutableMarker
  9. final def $owned_=(b: Boolean): Parser.this.type
    Definition Classes
    RecordSig → MutableMarker
  10. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def apply(input: sireum.ISZ[C] = '>..., offset: Z = '>..., errorOpt: Option[ErrorMsg] = '>...): Parser
  12. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  13. def at(i: Z): C
  14. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  15. def computeLineColumn(i: Z): (Z, Z)
  16. def detect(): Type
  17. def eof(): B
  18. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. def equals(o: Any): Boolean
    Definition Classes
    Parser → AnyRef → Any
  20. def errorIfEof(i: Z): Unit
  21. def errorMessage: String
  22. def errorOpt: Option[ErrorMsg]
  23. def errorOpt_=(errorOpt: Option[ErrorMsg]): Parser.this.type
  24. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  25. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  26. def getErrorOpt: Option[ErrorMsg]
  27. def getInput: sireum.ISZ[C]
  28. def getOffset: Z
  29. def hash: Z
    Definition Classes
    RecordSig
  30. def hashCode(): Int
    Definition Classes
    Parser → AnyRef → Any
  31. def incOffset(n: Z): C
  32. def input: sireum.ISZ[C]
  33. def isDigit(c: C): B
    Annotations
    @pure()
  34. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  35. def isWhitespace(c: C): B
    Annotations
    @pure()
  36. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  37. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  38. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  39. def offset: Z
  40. def offset_=(offset: Z): Parser.this.type
  41. def parseArrayBegin(): B
  42. def parseArrayNext(): B
  43. def parseB(): B
  44. def parseBag[T](f: () ⇒ T): Bag[T]
  45. def parseC(): C
  46. def parseConstant(text: String): Unit
  47. def parseDocInfo(): DocInfo
  48. def parseEither[L, R](f0: () ⇒ L, f1: () ⇒ R): Either[L, R]
  49. def parseException(i: Z, msg: String): Unit
  50. def parseF32(): F32
  51. def parseF64(): F64
  52. def parseGraph[V, E](f: () ⇒ V, g: () ⇒ E): Graph[V, E]
  53. def parseHashBag[T](f: () ⇒ T): HashBag[T]
  54. def parseHashMap[K, V](k: () ⇒ K, v: () ⇒ V): HashMap[K, V]
  55. def parseHashSMap[K, V](k: () ⇒ K, v: () ⇒ V): HashSMap[K, V]
  56. def parseHashSSet[T](f: () ⇒ T): HashSSet[T]
  57. def parseHashSet[T](f: () ⇒ T): HashSet[T]
  58. def parseISN[T](f: () ⇒ T): IS[N, T]
  59. def parseISN16[T](f: () ⇒ T): IS[N16, T]
  60. def parseISN32[T](f: () ⇒ T): IS[N32, T]
  61. def parseISN64[T](f: () ⇒ T): IS[N64, T]
  62. def parseISN8[T](f: () ⇒ T): IS[N8, T]
  63. def parseISS16[T](f: () ⇒ T): IS[S16, T]
  64. def parseISS32[T](f: () ⇒ T): IS[S32, T]
  65. def parseISS64[T](f: () ⇒ T): IS[S64, T]
  66. def parseISS8[T](f: () ⇒ T): IS[S8, T]
  67. def parseISU16[T](f: () ⇒ T): IS[U16, T]
  68. def parseISU32[T](f: () ⇒ T): IS[U32, T]
  69. def parseISU64[T](f: () ⇒ T): IS[U64, T]
  70. def parseISU8[T](f: () ⇒ T): IS[U8, T]
  71. def parseISZ[T](f: () ⇒ T): IS[Z, T]
  72. def parseISZ16[T](f: () ⇒ T): IS[Z16, T]
  73. def parseISZ32[T](f: () ⇒ T): IS[Z32, T]
  74. def parseISZ64[T](f: () ⇒ T): IS[Z64, T]
  75. def parseISZ8[T](f: () ⇒ T): IS[Z8, T]
  76. def parseMEither[L, R](f0: () ⇒ L, f1: () ⇒ R): MEither[L, R]
  77. def parseMOption[T](f: () ⇒ T): MOption[T]
  78. def parseMSN[T](f: () ⇒ T): MS[N, T]
  79. def parseMSN16[T](f: () ⇒ T): MS[N16, T]
  80. def parseMSN32[T](f: () ⇒ T): MS[N32, T]
  81. def parseMSN64[T](f: () ⇒ T): MS[N64, T]
  82. def parseMSN8[T](f: () ⇒ T): MS[N8, T]
  83. def parseMSS16[T](f: () ⇒ T): MS[S16, T]
  84. def parseMSS32[T](f: () ⇒ T): MS[S32, T]
  85. def parseMSS64[T](f: () ⇒ T): MS[S64, T]
  86. def parseMSS8[T](f: () ⇒ T): MS[S8, T]
  87. def parseMSU16[T](f: () ⇒ T): MS[U16, T]
  88. def parseMSU32[T](f: () ⇒ T): MS[U32, T]
  89. def parseMSU64[T](f: () ⇒ T): MS[U64, T]
  90. def parseMSU8[T](f: () ⇒ T): MS[U8, T]
  91. def parseMSZ[T](f: () ⇒ T): MS[Z, T]
  92. def parseMSZ16[T](f: () ⇒ T): MS[Z16, T]
  93. def parseMSZ32[T](f: () ⇒ T): MS[Z32, T]
  94. def parseMSZ64[T](f: () ⇒ T): MS[Z64, T]
  95. def parseMSZ8[T](f: () ⇒ T): MS[Z8, T]
  96. def parseMap[K, V](k: () ⇒ K, v: () ⇒ V): Map[K, V]
  97. def parseMessage(): Message
  98. def parseN(): N
  99. def parseN16(): N16
  100. def parseN32(): N32
  101. def parseN64(): N64
  102. def parseN8(): N8
  103. def parseNumber(): String
  104. def parseObjectBegin(): B
  105. def parseObjectKey(expectedKey: String): String
  106. def parseObjectKeys(expectedKeys: sireum.ISZ[String]): String
  107. def parseObjectNext(): B
  108. def parseObjectType(expectedType: String): String
  109. def parseObjectTypes(expectedTypes: sireum.ISZ[String]): String
  110. def parseOption[T](f: () ⇒ T): Option[T]
  111. def parsePoset[T](f: () ⇒ T): Poset[T]
  112. def parsePosition(): Position
  113. def parseR(): R
  114. def parseS16(): S16
  115. def parseS32(): S32
  116. def parseS64(): S64
  117. def parseS8(): S8
  118. def parseSet[T](f: () ⇒ T): Set[T]
  119. def parseStack[T](f: () ⇒ T): Stack[T]
  120. def parseString(): String
  121. def parseU16(): U16
  122. def parseU32(): U32
  123. def parseU64(): U64
  124. def parseU8(): U8
  125. def parseUnionFind[T](f: () ⇒ T): UnionFind[T]
  126. def parseWhitespace(): Unit
  127. def parseZ(): Z
  128. def parseZ16(): Z16
  129. def parseZ32(): Z32
  130. def parseZ64(): Z64
  131. def parseZ8(): Z8
  132. def parseZS(): sireum.ZS
  133. def setErrorOpt(errorOpt: Option[ErrorMsg]): Parser.this.type
  134. def setOffset(offset: Z): Parser.this.type
  135. def slice(start: Z, til: Z): sireum.ISZ[C]
    Annotations
    @pure()
  136. def string: String
    Definition Classes
    ParserRecordSigMutable
  137. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  138. def toString(): java.lang.String
    Definition Classes
    Parser → AnyRef → Any
  139. val typesOption: sireum.ISZ[String]
  140. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  141. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  142. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from RecordSig

Inherited from Mutable

Inherited from MutableMarker

Inherited from Clonable

Inherited from AnyRef

Inherited from Any

Ungrouped