Class/Object

isabelle.Build

Session_Tree

Related Docs: object Session_Tree | package Build

Permalink

final class Session_Tree extends PartialFunction[String, Session_Info]

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Session_Tree
  2. PartialFunction
  3. Function1
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def andThen[C](k: (Session_Info) ⇒ C): PartialFunction[String, C]

    Permalink
    Definition Classes
    PartialFunction → Function1
  5. def apply(name: String): Session_Info

    Permalink
    Definition Classes
    Session_Tree → Function1
  6. def applyOrElse[A1 <: String, B1 >: Session_Info](x: A1, default: (A1) ⇒ B1): B1

    Permalink
    Definition Classes
    PartialFunction
  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  8. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. def compose[A](g: (A) ⇒ String): (A) ⇒ Session_Info

    Permalink
    Definition Classes
    Function1
    Annotations
    @unspecialized()
  10. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  14. val graph: Graph[String, Session_Info]

    Permalink
  15. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  16. def isDefinedAt(name: String): Boolean

    Permalink
    Definition Classes
    Session_Tree → PartialFunction
  17. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  18. def lift: (String) ⇒ Option[Session_Info]

    Permalink
    Definition Classes
    PartialFunction
  19. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  20. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  21. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  22. def orElse[A1 <: String, B1 >: Session_Info](that: PartialFunction[A1, B1]): PartialFunction[A1, B1]

    Permalink
    Definition Classes
    PartialFunction
  23. def runWith[U](action: (Session_Info) ⇒ U): (String) ⇒ Boolean

    Permalink
    Definition Classes
    PartialFunction
  24. def selection(requirements: Boolean = false, all_sessions: Boolean = false, exclude_session_groups: List[String] = Nil, exclude_sessions: List[String] = Nil, session_groups: List[String] = Nil, sessions: List[String] = Nil): (List[String], Session_Tree)

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

    Permalink
    Definition Classes
    AnyRef
  26. def toString(): String

    Permalink
    Definition Classes
    Session_Tree → Function1 → AnyRef → Any
  27. def topological_order: List[(String, Session_Info)]

    Permalink
  28. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from PartialFunction[String, Session_Info]

Inherited from (String) ⇒ Session_Info

Inherited from AnyRef

Inherited from Any

Ungrouped