Packages

final class Impl extends Reader with RecordSig

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

Instance Constructors

  1. new Impl(__buf: sireum.ISZ[U8], __curr: Z)

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: Impl
    Definition Classes
    Impl → MutableMarker → Clonable
  5. def $content: Seq[(java.lang.String, Any)]
    Definition Classes
    Impl → RecordSig
  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): Impl.this.type
    Definition Classes
    RecordSig → MutableMarker
  10. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def apply(buf: sireum.ISZ[U8] = '>..., curr: Z = '>...): Impl
  12. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  13. def buf: sireum.ISZ[U8]
  14. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  15. def curr: Z
    Definition Classes
    Impl → Reader
  16. def curr_=(curr: Z): Impl.this.type
  17. val docInfoPool: sireum.MSZ[DocInfo]
  18. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. def equals(o: Any): Boolean
    Definition Classes
    Impl → AnyRef → Any
  20. def error(offset: Z, msg: String): Unit
    Definition Classes
    Impl → Reader
  21. var errorOpt: Option[ErrorMsg]
  22. def expectZ(n: Z): Unit
    Definition Classes
    Impl → Reader
  23. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  24. def fix8(n: Z): Z
    Definition Classes
    Reader
    Annotations
    @pure()
  25. def getBuf: sireum.ISZ[U8]
  26. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  27. def getCurr: Z
  28. def hash: Z
    Definition Classes
    RecordSig
  29. def hashCode(): Int
    Definition Classes
    Impl → AnyRef → Any
  30. def init(): Unit
    Definition Classes
    Impl → Reader
  31. var initialized: B
  32. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  33. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  34. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  35. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  36. def peek(): U8
  37. var pooling: B
  38. def read16(): U16
  39. def read32(): U32
  40. def read64(): U64
  41. def read8(): U8
  42. def readArrayHeader(): Z
    Definition Classes
    Impl → Reader
  43. def readB(): B
    Definition Classes
    Impl → Reader
  44. def readBag[T](f: () ⇒ T): Bag[T]
    Definition Classes
    Reader
  45. def readBinary(): sireum.ISZ[U8]
    Definition Classes
    Impl → Reader
  46. def readC(): C
    Definition Classes
    Reader
  47. def readDocInfo(): DocInfo
    Definition Classes
    Impl → Reader
  48. def readDocInfoNoPool(): DocInfo
  49. def readEither[L, R](l: () ⇒ L, r: () ⇒ R): Either[L, R]
    Definition Classes
    Reader
  50. def readExtTypeHeader(): Option[(S8, Z)]
    Definition Classes
    Impl → Reader
  51. def readF32(): F32
    Definition Classes
    Impl → Reader
  52. def readF64(): F64
    Definition Classes
    Impl → Reader
  53. def readGraph[V, E](f: () ⇒ V, g: () ⇒ E): Graph[V, E]
    Definition Classes
    Reader
  54. def readHashBag[T](f: () ⇒ T): HashBag[T]
    Definition Classes
    Reader
  55. def readHashMap[K, V](f: () ⇒ K, g: () ⇒ V): HashMap[K, V]
    Definition Classes
    Reader
  56. def readHashSMap[K, V](f: () ⇒ K, g: () ⇒ V): HashSMap[K, V]
    Definition Classes
    Reader
  57. def readHashSSet[T](f: () ⇒ T): HashSSet[T]
    Definition Classes
    Reader
  58. def readHashSet[T](f: () ⇒ T): HashSet[T]
    Definition Classes
    Reader
  59. def readISN[V](f: () ⇒ V): IS[N, V]
    Definition Classes
    Reader
  60. def readISN16[V](f: () ⇒ V): IS[N16, V]
    Definition Classes
    Reader
  61. def readISN32[V](f: () ⇒ V): IS[N32, V]
    Definition Classes
    Reader
  62. def readISN64[V](f: () ⇒ V): IS[N64, V]
    Definition Classes
    Reader
  63. def readISN8[V](f: () ⇒ V): IS[N8, V]
    Definition Classes
    Reader
  64. def readISS16[V](f: () ⇒ V): IS[S16, V]
    Definition Classes
    Reader
  65. def readISS32[V](f: () ⇒ V): IS[S32, V]
    Definition Classes
    Reader
  66. def readISS64[V](f: () ⇒ V): IS[S64, V]
    Definition Classes
    Reader
  67. def readISS8[V](f: () ⇒ V): IS[S8, V]
    Definition Classes
    Reader
  68. def readISU16[V](f: () ⇒ V): IS[U16, V]
    Definition Classes
    Reader
  69. def readISU32[V](f: () ⇒ V): IS[U32, V]
    Definition Classes
    Reader
  70. def readISU64[V](f: () ⇒ V): IS[U64, V]
    Definition Classes
    Reader
  71. def readISU8[V](f: () ⇒ V): IS[U8, V]
    Definition Classes
    Reader
  72. def readISZ[V](f: () ⇒ V): IS[Z, V]
    Definition Classes
    Reader
  73. def readISZ16[V](f: () ⇒ V): IS[Z16, V]
    Definition Classes
    Reader
  74. def readISZ32[V](f: () ⇒ V): IS[Z32, V]
    Definition Classes
    Reader
  75. def readISZ64[V](f: () ⇒ V): IS[Z64, V]
    Definition Classes
    Reader
  76. def readISZ8[V](f: () ⇒ V): IS[Z8, V]
    Definition Classes
    Reader
  77. def readMEither[L, R](l: () ⇒ L, r: () ⇒ R): MEither[L, R]
    Definition Classes
    Reader
  78. def readMOption[T](f: () ⇒ T): MOption[T]
    Definition Classes
    Reader
  79. def readMSN[V](f: () ⇒ V): MS[N, V]
    Definition Classes
    Reader
  80. def readMSN16[V](f: () ⇒ V): MS[N16, V]
    Definition Classes
    Reader
  81. def readMSN32[V](f: () ⇒ V): MS[N32, V]
    Definition Classes
    Reader
  82. def readMSN64[V](f: () ⇒ V): MS[N64, V]
    Definition Classes
    Reader
  83. def readMSN8[V](f: () ⇒ V): MS[N8, V]
    Definition Classes
    Reader
  84. def readMSS16[V](f: () ⇒ V): MS[S16, V]
    Definition Classes
    Reader
  85. def readMSS32[V](f: () ⇒ V): MS[S32, V]
    Definition Classes
    Reader
  86. def readMSS64[V](f: () ⇒ V): MS[S64, V]
    Definition Classes
    Reader
  87. def readMSS8[V](f: () ⇒ V): MS[S8, V]
    Definition Classes
    Reader
  88. def readMSU16[V](f: () ⇒ V): MS[U16, V]
    Definition Classes
    Reader
  89. def readMSU32[V](f: () ⇒ V): MS[U32, V]
    Definition Classes
    Reader
  90. def readMSU64[V](f: () ⇒ V): MS[U64, V]
    Definition Classes
    Reader
  91. def readMSU8[V](f: () ⇒ V): MS[U8, V]
    Definition Classes
    Reader
  92. def readMSZ[V](f: () ⇒ V): MS[Z, V]
    Definition Classes
    Reader
  93. def readMSZ16[V](f: () ⇒ V): MS[Z16, V]
    Definition Classes
    Reader
  94. def readMSZ32[V](f: () ⇒ V): MS[Z32, V]
    Definition Classes
    Reader
  95. def readMSZ64[V](f: () ⇒ V): MS[Z64, V]
    Definition Classes
    Reader
  96. def readMSZ8[V](f: () ⇒ V): MS[Z8, V]
    Definition Classes
    Reader
  97. def readMap[K, V](f: () ⇒ K, g: () ⇒ V): Map[K, V]
    Definition Classes
    Reader
  98. def readMapHeader(): Z
    Definition Classes
    Impl → Reader
  99. def readMessage(): Message
    Definition Classes
    Reader
  100. def readN(): N
    Definition Classes
    Reader
  101. def readN16(): N16
    Definition Classes
    Reader
  102. def readN32(): N32
    Definition Classes
    Reader
  103. def readN64(): N64
    Definition Classes
    Reader
  104. def readN8(): N8
    Definition Classes
    Reader
  105. def readOption[T](f: () ⇒ T): Option[T]
    Definition Classes
    Reader
  106. def readPayload(n: Z): sireum.ISZ[U8]
    Definition Classes
    Impl → Reader
  107. def readPoset[T](f: () ⇒ T): Poset[T]
    Definition Classes
    Reader
  108. def readPosition(): Position
    Definition Classes
    Reader
  109. def readR(): R
    Definition Classes
    Impl → Reader
  110. def readS16(): S16
    Definition Classes
    Reader
  111. def readS32(): S32
    Definition Classes
    Reader
  112. def readS64(): S64
    Definition Classes
    Reader
  113. def readS8(): S8
    Definition Classes
    Reader
  114. def readSet[T](f: () ⇒ T): Set[T]
    Definition Classes
    Reader
  115. def readStack[T](f: () ⇒ T): Stack[T]
    Definition Classes
    Reader
  116. def readString(): String
    Definition Classes
    Impl → Reader
  117. def readStringNoPool(): String
  118. def readU16(): U16
    Definition Classes
    Reader
  119. def readU32(): U32
    Definition Classes
    Reader
  120. def readU64(): U64
    Definition Classes
    Reader
  121. def readU8(): U8
    Definition Classes
    Reader
  122. def readUnionFind[T](f: () ⇒ T): UnionFind[T]
    Definition Classes
    Reader
  123. def readZ(): Z
    Definition Classes
    Impl → Reader
  124. def readZ16(): Z16
    Definition Classes
    Reader
  125. def readZ32(): Z32
    Definition Classes
    Reader
  126. def readZ64(): Z64
    Definition Classes
    Reader
  127. def readZ8(): Z8
    Definition Classes
    Reader
  128. def readZS(): sireum.ZS
    Definition Classes
    Reader
  129. def setCurr(curr: Z): Impl.this.type
  130. def skip(n: Z): Unit
    Definition Classes
    Impl → Reader
  131. def skipIfNil(): B
    Definition Classes
    Impl → Reader
  132. def string: String
    Definition Classes
    Impl → RecordSig → Mutable
  133. val stringPool: sireum.MSZ[String]
  134. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  135. def toString(): java.lang.String
    Definition Classes
    Impl → AnyRef → Any
  136. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  137. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  138. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from Reader

Inherited from RecordSig

Inherited from Mutable

Inherited from MutableMarker

Inherited from Clonable

Inherited from AnyRef

Inherited from Any

Ungrouped