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

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from Reader

Inherited from RecordSig

Inherited from Mutable

Inherited from MutableMarker

Inherited from Clonable

Inherited from AnyRef

Inherited from Any

Ungrouped