Isabelle_Charset

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. final def aliases(): Set[String]

   Definition Classes

   Charset

7. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

8. def canEncode(): Boolean

   Definition Classes

   Charset

9. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. final def compareTo(arg0: Charset): Int

    Definition Classes

    Charset → Comparable

11. def contains(cs: Charset): Boolean

    Definition Classes

    Isabelle_Charset → Charset

12. final def decode(arg0: ByteBuffer): CharBuffer

    Definition Classes

    Charset

13. def displayName(arg0: Locale): String

    Definition Classes

    Charset

14. def displayName(): String

    Definition Classes

    Charset

15. final def encode(arg0: String): ByteBuffer

    Definition Classes

    Charset

16. final def encode(arg0: CharBuffer): ByteBuffer

    Definition Classes

    Charset

17. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

18. final def equals(arg0: Any): Boolean

    Definition Classes

    Charset → AnyRef → Any

19. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

20. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

21. final def hashCode(): Int

    Definition Classes

    Charset → AnyRef → Any

22. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

23. final def isRegistered(): Boolean

    Definition Classes

    Charset

24. final def name(): String

    Definition Classes

    Charset

25. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

26. def newDecoder(): CharsetDecoder

    Definition Classes

    Isabelle_Charset → Charset

27. def newEncoder(): CharsetEncoder

    Definition Classes

    Isabelle_Charset → Charset

28. final def notify(): Unit

    Definition Classes

    AnyRef

29. final def notifyAll(): Unit

    Definition Classes

    AnyRef

30. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

31. final def toString(): String

    Definition Classes

    Charset → AnyRef → Any

32. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

33. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

34. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )