Packages

final class Impl extends Writer with RecordSig

Annotations
@record()
Linear Supertypes
Writer, RecordSig, Mutable, MutableMarker, Clonable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Impl
  2. Writer
  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(__pooling: B, __buf: sireum.MSZ[U8], __size: 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 addS16(n: S16): Unit
  12. def addS32(n: S32): Unit
  13. def addS64(n: S64): Unit
  14. def addS8(n: S8): Unit
  15. def addString(s: String): Z
  16. def addU16(n: U16): Unit
  17. def addU32(n: U32): Unit
  18. def addU64(n: U64): Unit
  19. def addU8(n: U8): Unit
  20. def apply(pooling: B = ..., buf: sireum.MSZ[U8] = ..., size: Z = ...): Impl
  21. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  22. def buf: sireum.MSZ[U8]
  23. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  24. var docInfoPool: HashSMap[DocInfo, Z]
  25. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. def equals(o: Any): Boolean
    Definition Classes
    Impl → AnyRef → Any
  27. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  28. def getBuf: sireum.MSZ[U8]
  29. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  30. def getPooling: B
  31. def getSize: Z
  32. def hash: Z
    Definition Classes
    RecordSig
  33. def hashCode(): Int
    Definition Classes
    Impl → AnyRef → Any
  34. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  35. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  36. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  37. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  38. def pooling: B
  39. def result: sireum.ISZ[U8]
    Definition Classes
    Impl → Writer
  40. def setSize(size: Z): Impl.this.type
  41. def size: Z
  42. def size_=(size: Z): Impl.this.type
  43. def string: String
    Definition Classes
    Impl → RecordSig → Mutable
  44. var stringPool: HashSMap[String, Z]
  45. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  46. def toString(): java.lang.String
    Definition Classes
    Impl → AnyRef → Any
  47. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  48. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  50. def writeArrayHeader(n: Z): Unit
    Definition Classes
    Impl → Writer
  51. def writeB(b: B): Unit
    Definition Classes
    Impl → Writer
  52. def writeBag[T](o: Bag[T], f: (T) ⇒ Unit): Unit
    Definition Classes
    Writer
  53. def writeBinary(array: sireum.ISZ[U8]): Unit
    Definition Classes
    Impl → Writer
  54. def writeC(c: C): Unit
    Definition Classes
    Writer
  55. def writeDocInfo(o: DocInfo): Unit
    Definition Classes
    Impl → Writer
  56. def writeDocInfoNoPool(o: DocInfo): Unit
  57. def writeEither[L, R](o: Either[L, R], l: (L) ⇒ Unit, r: (R) ⇒ Unit): Unit
    Definition Classes
    Writer
  58. def writeExtTypeHeader(extType: S8, payloadLen: Z): Unit
    Definition Classes
    Impl → Writer
  59. def writeF32(n: F32): Unit
    Definition Classes
    Impl → Writer
  60. def writeF64(n: F64): Unit
    Definition Classes
    Impl → Writer
  61. def writeGraph[V, E](o: Graph[V, E], f: (V) ⇒ Unit, g: (E) ⇒ Unit): Unit
    Definition Classes
    Writer
  62. def writeHashBag[T](o: HashBag[T], f: (T) ⇒ Unit): Unit
    Definition Classes
    Writer
  63. def writeHashMap[K, V](o: HashMap[K, V], f: (K) ⇒ Unit, g: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  64. def writeHashSMap[K, V](o: HashSMap[K, V], f: (K) ⇒ Unit, g: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  65. def writeHashSSet[T](o: HashSSet[T], f: (T) ⇒ Unit): Unit
    Definition Classes
    Writer
  66. def writeHashSet[T](o: HashSet[T], f: (T) ⇒ Unit): Unit
    Definition Classes
    Writer
  67. def writeISN[V](s: IS[N, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  68. def writeISN16[V](s: IS[N16, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  69. def writeISN32[V](s: IS[N32, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  70. def writeISN64[V](s: IS[N64, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  71. def writeISN8[V](s: IS[N8, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  72. def writeISS16[V](s: IS[S16, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  73. def writeISS32[V](s: IS[S32, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  74. def writeISS64[V](s: IS[S64, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  75. def writeISS8[V](s: IS[S8, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  76. def writeISU16[V](s: IS[U16, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  77. def writeISU32[V](s: IS[U32, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  78. def writeISU64[V](s: IS[U64, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  79. def writeISU8[V](s: IS[U8, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  80. def writeISZ[V](s: IS[Z, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  81. def writeISZ16[V](s: IS[Z16, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  82. def writeISZ32[V](s: IS[Z32, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  83. def writeISZ64[V](s: IS[Z64, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  84. def writeISZ8[V](s: IS[Z8, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  85. def writeMEither[L, R](o: MEither[L, R], l: (L) ⇒ Unit, r: (R) ⇒ Unit): Unit
    Definition Classes
    Writer
  86. def writeMOption[T](o: MOption[T], f: (T) ⇒ Unit): Unit
    Definition Classes
    Writer
  87. def writeMSN[V](s: MS[N, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  88. def writeMSN16[V](s: MS[N16, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  89. def writeMSN32[V](s: MS[N32, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  90. def writeMSN64[V](s: MS[N64, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  91. def writeMSN8[V](s: MS[N8, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  92. def writeMSS16[V](s: MS[S16, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  93. def writeMSS32[V](s: MS[S32, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  94. def writeMSS64[V](s: MS[S64, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  95. def writeMSS8[V](s: MS[S8, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  96. def writeMSU16[V](s: MS[U16, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  97. def writeMSU32[V](s: MS[U32, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  98. def writeMSU64[V](s: MS[U64, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  99. def writeMSU8[V](s: MS[U8, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  100. def writeMSZ[V](s: MS[Z, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  101. def writeMSZ16[V](s: MS[Z16, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  102. def writeMSZ32[V](s: MS[Z32, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  103. def writeMSZ64[V](s: MS[Z64, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  104. def writeMSZ8[V](s: MS[Z8, V], f: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  105. def writeMap[K, V](o: Map[K, V], f: (K) ⇒ Unit, g: (V) ⇒ Unit): Unit
    Definition Classes
    Writer
  106. def writeMapHeader(n: Z): Unit
    Definition Classes
    Impl → Writer
  107. def writeMessage(o: Message): Unit
    Definition Classes
    Writer
  108. def writeN(n: N): Unit
    Definition Classes
    Writer
  109. def writeN16(n: N16): Unit
    Definition Classes
    Writer
  110. def writeN32(n: N32): Unit
    Definition Classes
    Writer
  111. def writeN64(n: N64): Unit
    Definition Classes
    Writer
  112. def writeN8(n: N8): Unit
    Definition Classes
    Writer
  113. def writeNil(): Unit
    Definition Classes
    Impl → Writer
  114. def writeOption[T](o: Option[T], f: (T) ⇒ Unit): Unit
    Definition Classes
    Writer
  115. def writePayload(data: sireum.ISZ[U8]): Unit
    Definition Classes
    Impl → Writer
  116. def writePoset[T](o: Poset[T], f: (T) ⇒ Unit): Unit
    Definition Classes
    Writer
  117. def writePosition(o: Position): Unit
    Definition Classes
    Impl → Writer
  118. def writeR(n: R): Unit
    Definition Classes
    Writer
  119. def writeS16(n: S16): Unit
    Definition Classes
    Impl → Writer
  120. def writeS32(n: S32): Unit
    Definition Classes
    Impl → Writer
  121. def writeS64(n: S64): Unit
    Definition Classes
    Impl → Writer
  122. def writeS8(n: S8): Unit
    Definition Classes
    Impl → Writer
  123. def writeSet[T](o: Set[T], f: (T) ⇒ Unit): Unit
    Definition Classes
    Writer
  124. def writeStack[T](o: Stack[T], f: (T) ⇒ Unit): Unit
    Definition Classes
    Writer
  125. def writeString(s: String): Unit
    Definition Classes
    Impl → Writer
  126. def writeStringNoPool(s: String): Unit
  127. def writeU16(n: U16): Unit
    Definition Classes
    Impl → Writer
  128. def writeU32(n: U32): Unit
    Definition Classes
    Impl → Writer
  129. def writeU64(n: U64): Unit
    Definition Classes
    Impl → Writer
  130. def writeU8(n: U8): Unit
    Definition Classes
    Impl → Writer
  131. def writeUnionFind[T](o: UnionFind[T], f: (T) ⇒ Unit): Unit
    Definition Classes
    Writer
  132. def writeZ(n: Z): Unit
    Definition Classes
    Impl → Writer
  133. def writeZ16(n: Z16): Unit
    Definition Classes
    Writer
  134. def writeZ32(n: Z32): Unit
    Definition Classes
    Writer
  135. def writeZ64(n: Z64): Unit
    Definition Classes
    Writer
  136. def writeZ8(n: Z8): Unit
    Definition Classes
    Writer
  137. def writeZS(s: sireum.ZS): Unit
    Definition Classes
    Writer

Inherited from Writer

Inherited from RecordSig

Inherited from Mutable

Inherited from MutableMarker

Inherited from Clonable

Inherited from AnyRef

Inherited from Any

Ungrouped