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
  3. class User_Error extends RuntimeException

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_error(msg1: String, msg2: String): Nothing
  6. def cat_lines(lines: TraversableOnce[String]): String
  7. def cat_message(msg1: String, msg2: String): String
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. def commas(ss: Iterable[String]): String
  10. def commas_quote(ss: Iterable[String]): String
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  13. def error(message: String): Nothing
  14. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. def first_line(source: CharSequence): String
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  18. def insert[A](x: A)(xs: List[A]): List[A]
  19. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  20. def is_small_int(s: String): Boolean
  21. def make_regex(s: String): Option[Regex]
  22. def member[A, B](xs: List[A])(x: B): Boolean
  23. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. final def notify(): Unit
    Definition Classes
    AnyRef
  25. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  26. def perhaps_unquote(s: String): String
  27. def quote(s: String): String
  28. def remove[A, B](x: B)(xs: List[A]): List[A]
  29. def separate[A](s: A, list: List[A]): List[A]
  30. def separated_chunks(sep: (Char) ⇒ Boolean, source: CharSequence): Iterator[CharSequence]
  31. def signed_string_of_int(i: Int): String
  32. def signed_string_of_long(i: Long): String
  33. def space_explode(sep: Char, str: String): List[String]
  34. def split_lines(str: String): List[String]
  35. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  36. def take_prefix[A](pred: (A) ⇒ Boolean, xs: List[A]): (List[A], List[A])
  37. def terminate_lines(lines: Iterable[CharSequence]): Iterable[CharSequence]
  38. def toString(): String
    Definition Classes
    AnyRef → Any
  39. def trim_line(s: String): String
  40. def try_unprefix(prfx: String, s: String): Option[String]
  41. def try_unquote(s: String): Option[String]
  42. def try_unsuffix(sffx: String, s: String): Option[String]
  43. def update[A](x: A)(xs: List[A]): List[A]
  44. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  46. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  47. object ERROR

Inherited from AnyRef

Inherited from Any

Ungrouped