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

Inherited from AnyRef

Inherited from Any

Ungrouped