Packages

sealed trait Writer extends RecordSig

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

Abstract Value Members

  1. abstract def $clone: MutableMarker
    Definition Classes
    MutableMarker → Clonable
  2. abstract def $content: Seq[(java.lang.String, Any)]
    Definition Classes
    RecordSig
  3. abstract def result: sireum.ISZ[U8]
  4. abstract def writeArrayHeader(n: Z): Unit
  5. abstract def writeB(b: B): Unit
  6. abstract def writeBinary(array: sireum.ISZ[U8]): Unit
  7. abstract def writeDocInfo(o: DocInfo): Unit
  8. abstract def writeExtTypeHeader(extType: S8, payloadLen: Z): Unit
  9. abstract def writeF32(n: F32): Unit
  10. abstract def writeF64(n: F64): Unit
  11. abstract def writeMapHeader(n: Z): Unit
  12. abstract def writeNil(): Unit
  13. abstract def writePayload(data: sireum.ISZ[U8]): Unit
  14. abstract def writePosition(o: Position): Unit
  15. abstract def writeS16(n: S16): Unit
  16. abstract def writeS32(n: S32): Unit
  17. abstract def writeS64(n: S64): Unit
  18. abstract def writeS8(n: S8): Unit
  19. abstract def writeString(s: String): Unit
  20. abstract def writeU16(n: U16): Unit
  21. abstract def writeU32(n: U32): Unit
  22. abstract def writeU64(n: U64): Unit
  23. abstract def writeU8(n: U8): Unit
  24. abstract def writeZ(n: Z): Unit

Concrete 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 $hasEquals: Boolean
    Attributes
    protected
    Definition Classes
    Mutable
  5. def $hasString: Boolean
    Attributes
    protected
    Definition Classes
    Mutable
  6. final def $owned: Boolean
    Definition Classes
    RecordSig → MutableMarker
  7. final def $owned_=(b: Boolean): Writer.this.type
    Definition Classes
    RecordSig → MutableMarker
  8. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. def hash: Z
    Definition Classes
    RecordSig
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. def string: String
    Definition Classes
    RecordSig → Mutable
  22. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  23. def toString(): java.lang.String
    Definition Classes
    AnyRef → Any
  24. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  27. def writeBag[T](o: Bag[T], f: (T) ⇒ Unit): Unit
  28. def writeC(c: C): Unit
  29. def writeEither[L, R](o: Either[L, R], l: (L) ⇒ Unit, r: (R) ⇒ Unit): Unit
  30. def writeGraph[V, E](o: Graph[V, E], f: (V) ⇒ Unit, g: (E) ⇒ Unit): Unit
  31. def writeHashBag[T](o: HashBag[T], f: (T) ⇒ Unit): Unit
  32. def writeHashMap[K, V](o: HashMap[K, V], f: (K) ⇒ Unit, g: (V) ⇒ Unit): Unit
  33. def writeHashSMap[K, V](o: HashSMap[K, V], f: (K) ⇒ Unit, g: (V) ⇒ Unit): Unit
  34. def writeHashSSet[T](o: HashSSet[T], f: (T) ⇒ Unit): Unit
  35. def writeHashSet[T](o: HashSet[T], f: (T) ⇒ Unit): Unit
  36. def writeISN[V](s: IS[N, V], f: (V) ⇒ Unit): Unit
  37. def writeISN16[V](s: IS[N16, V], f: (V) ⇒ Unit): Unit
  38. def writeISN32[V](s: IS[N32, V], f: (V) ⇒ Unit): Unit
  39. def writeISN64[V](s: IS[N64, V], f: (V) ⇒ Unit): Unit
  40. def writeISN8[V](s: IS[N8, V], f: (V) ⇒ Unit): Unit
  41. def writeISS16[V](s: IS[S16, V], f: (V) ⇒ Unit): Unit
  42. def writeISS32[V](s: IS[S32, V], f: (V) ⇒ Unit): Unit
  43. def writeISS64[V](s: IS[S64, V], f: (V) ⇒ Unit): Unit
  44. def writeISS8[V](s: IS[S8, V], f: (V) ⇒ Unit): Unit
  45. def writeISU16[V](s: IS[U16, V], f: (V) ⇒ Unit): Unit
  46. def writeISU32[V](s: IS[U32, V], f: (V) ⇒ Unit): Unit
  47. def writeISU64[V](s: IS[U64, V], f: (V) ⇒ Unit): Unit
  48. def writeISU8[V](s: IS[U8, V], f: (V) ⇒ Unit): Unit
  49. def writeISZ[V](s: IS[Z, V], f: (V) ⇒ Unit): Unit
  50. def writeISZ16[V](s: IS[Z16, V], f: (V) ⇒ Unit): Unit
  51. def writeISZ32[V](s: IS[Z32, V], f: (V) ⇒ Unit): Unit
  52. def writeISZ64[V](s: IS[Z64, V], f: (V) ⇒ Unit): Unit
  53. def writeISZ8[V](s: IS[Z8, V], f: (V) ⇒ Unit): Unit
  54. def writeMEither[L, R](o: MEither[L, R], l: (L) ⇒ Unit, r: (R) ⇒ Unit): Unit
  55. def writeMOption[T](o: MOption[T], f: (T) ⇒ Unit): Unit
  56. def writeMSN[V](s: MS[N, V], f: (V) ⇒ Unit): Unit
  57. def writeMSN16[V](s: MS[N16, V], f: (V) ⇒ Unit): Unit
  58. def writeMSN32[V](s: MS[N32, V], f: (V) ⇒ Unit): Unit
  59. def writeMSN64[V](s: MS[N64, V], f: (V) ⇒ Unit): Unit
  60. def writeMSN8[V](s: MS[N8, V], f: (V) ⇒ Unit): Unit
  61. def writeMSS16[V](s: MS[S16, V], f: (V) ⇒ Unit): Unit
  62. def writeMSS32[V](s: MS[S32, V], f: (V) ⇒ Unit): Unit
  63. def writeMSS64[V](s: MS[S64, V], f: (V) ⇒ Unit): Unit
  64. def writeMSS8[V](s: MS[S8, V], f: (V) ⇒ Unit): Unit
  65. def writeMSU16[V](s: MS[U16, V], f: (V) ⇒ Unit): Unit
  66. def writeMSU32[V](s: MS[U32, V], f: (V) ⇒ Unit): Unit
  67. def writeMSU64[V](s: MS[U64, V], f: (V) ⇒ Unit): Unit
  68. def writeMSU8[V](s: MS[U8, V], f: (V) ⇒ Unit): Unit
  69. def writeMSZ[V](s: MS[Z, V], f: (V) ⇒ Unit): Unit
  70. def writeMSZ16[V](s: MS[Z16, V], f: (V) ⇒ Unit): Unit
  71. def writeMSZ32[V](s: MS[Z32, V], f: (V) ⇒ Unit): Unit
  72. def writeMSZ64[V](s: MS[Z64, V], f: (V) ⇒ Unit): Unit
  73. def writeMSZ8[V](s: MS[Z8, V], f: (V) ⇒ Unit): Unit
  74. def writeMap[K, V](o: Map[K, V], f: (K) ⇒ Unit, g: (V) ⇒ Unit): Unit
  75. def writeMessage(o: Message): Unit
  76. def writeN(n: N): Unit
  77. def writeN16(n: N16): Unit
  78. def writeN32(n: N32): Unit
  79. def writeN64(n: N64): Unit
  80. def writeN8(n: N8): Unit
  81. def writeOption[T](o: Option[T], f: (T) ⇒ Unit): Unit
  82. def writePoset[T](o: Poset[T], f: (T) ⇒ Unit): Unit
  83. def writeR(n: R): Unit
  84. def writeSet[T](o: Set[T], f: (T) ⇒ Unit): Unit
  85. def writeStack[T](o: Stack[T], f: (T) ⇒ Unit): Unit
  86. def writeUnionFind[T](o: UnionFind[T], f: (T) ⇒ Unit): Unit
  87. def writeZ16(n: Z16): Unit
  88. def writeZ32(n: Z32): Unit
  89. def writeZ64(n: Z64): Unit
  90. def writeZ8(n: Z8): Unit
  91. def writeZS(s: sireum.ZS): Unit

Inherited from RecordSig

Inherited from Mutable

Inherited from MutableMarker

Inherited from Clonable

Inherited from AnyRef

Inherited from Any

Ungrouped