Packages

o

isabelle

Library

object Library

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Library
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class Line_Termination extends CharSequence
  2. class Reverse extends CharSequence

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def UUID(): String
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def cat_lines(lines: TraversableOnce[String]): String
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  8. def commas(ss: Iterable[String]): String
  9. def commas_quote(ss: Iterable[String]): String
  10. def decode_lines(s: String): String
  11. def distinct[A](xs: List[A], eq: (A, A) ⇒ Boolean = (x: A, y: A) => x == y): List[A]
  12. def duplicates[A](lst: List[A], eq: (A, A) ⇒ Boolean = (x: A, y: A) => x == y): List[A]
  13. def encode_lines(s: String): String
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  16. def escape_regex(s: String): String
  17. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  18. def first_line(source: CharSequence): String
  19. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  20. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  21. def insert[A](x: A)(xs: List[A]): List[A]
  22. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  23. def is_regex_meta(c: Char): Boolean
  24. def is_small_int(s: String): Boolean
  25. def isolate_substring(s: String): String
  26. def make_regex(s: String): Option[Regex]
  27. def make_string(f: (StringBuilder) ⇒ Unit): String
  28. def member[A, B](xs: List[A])(x: B): Boolean
  29. def merge[A](xs: List[A], ys: List[A]): List[A]
  30. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  31. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  33. def perhaps_unprefix(prfx: String, s: String): String
  34. def perhaps_unquote(s: String): String
  35. def perhaps_unsuffix(sffx: String, s: String): String
  36. def prefix_lines(prfx: String, str: String): String
  37. def proper[A](x: A): Option[A]
  38. def proper_list[A](list: List[A]): Option[List[A]]
  39. def proper_string(s: String): Option[String]
  40. def quote(s: String): String
  41. def remove[A, B](x: B)(xs: List[A]): List[A]
  42. def separate[A](s: A, list: List[A]): List[A]
  43. def separated_chunks(sep: (Char) ⇒ Boolean, source: CharSequence): Iterator[CharSequence]
  44. def signed_string_of_int(i: Int): String
  45. def signed_string_of_long(i: Long): String
  46. def space_explode(sep: Char, str: String): List[String]
  47. def split_lines(str: String): List[String]
  48. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  49. def take_prefix[A](pred: (A) ⇒ Boolean, xs: List[A]): (List[A], List[A])
  50. def terminate_lines(lines: TraversableOnce[String]): String
  51. def toString(): String
    Definition Classes
    AnyRef → Any
  52. def trim_line(s: String): String
  53. def trim_split_lines(s: String): List[String]
  54. def try_unprefix(prfx: String, s: String): Option[String]
  55. def try_unquote(s: String): Option[String]
  56. def try_unsuffix(sffx: String, s: String): Option[String]
  57. def update[A](x: A)(xs: List[A]): List[A]
  58. def using[A <: AnyRef { def close(): Unit }, B](x: A)(f: (A) ⇒ B): B
  59. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  60. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  61. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped