edu.tum.cs.isabelle.impl

Environment

final class Environment extends api.Environment

Annotations
@Implementation()
Linear Supertypes
api.Environment, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Environment
  2. Environment
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Environment(home: Path)

Type Members

  1. case class Configuration extends Product with Serializable

    Definition Classes
    Environment

  2. sealed abstract class Observer[T] extends AnyRef

    Definition Classes
    Environment

  3. type Session = isabelle.Session

    Attributes
    protected[edu.tum.cs.isabelle]
    Definition Classes
    Environment → Environment

  4. type XMLBody = List[XMLTree]

    Definition Classes
    Environment

  5. type XMLTree = Tree

    Definition Classes
    Environment → Environment

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 asInstanceOf[T0]: T0

    Definition Classes
    Any

  7. def build(config: Configuration): Int

    Attributes
    protected[edu.tum.cs.isabelle]
    Definition Classes
    Environment → Environment

  8. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  9. def create(config: Configuration, consumer: ((String, Properties), XMLBody) ⇒ Unit): isabelle.Session

    Attributes
    protected[edu.tum.cs.isabelle]
    Definition Classes
    Environment → Environment

  10. def destTree(tree: XMLTree): Either[String, ((String, Properties), XMLBody)]

    Definition Classes
    Environment → Environment

  11. def dispose(session: Session): Unit

    Attributes
    protected[edu.tum.cs.isabelle]
    Definition Classes
    Environment → Environment

  12. def elem(markup: (String, Properties), body: XMLBody): Elem

    Definition Classes
    Environment → Environment

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

    Definition Classes
    AnyRef

  14. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  15. lazy val executionContext: ExecutionContextExecutor

    Definition Classes
    Environment → Environment

  16. val exitTag: String

    Attributes
    protected[edu.tum.cs.isabelle]
    Definition Classes
    Environment → Environment

  17. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  18. def foldTree[A](text: (String) ⇒ A, elem: ((String, Properties), List[A]) ⇒ A)(tree: XMLTree): A

    Definition Classes
    Environment

  19. def fromYXML(source: String): Tree

    Definition Classes
    Environment → Environment

  20. val functionTag: String

    Attributes
    protected[edu.tum.cs.isabelle]
    Definition Classes
    Environment → Environment

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

    Definition Classes
    AnyRef → Any

  22. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  23. val initTag: String

    Attributes
    protected[edu.tum.cs.isabelle]
    Definition Classes
    Environment → Environment

  24. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    AnyRef

  26. final def notify(): Unit

    Definition Classes
    AnyRef

  27. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  28. val protocolTag: String

    Attributes
    protected[edu.tum.cs.isabelle]
    Definition Classes
    Environment → Environment

  29. def sendCommand(session: Session, name: String, args: List[String]): Unit

    Attributes
    protected[edu.tum.cs.isabelle]
    Definition Classes
    Environment → Environment

  30. def sendOptions(session: Session): Unit

    Attributes
    protected[edu.tum.cs.isabelle]
    Definition Classes
    Environment → Environment

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

    Definition Classes
    AnyRef

  32. def text(content: String): Text

    Definition Classes
    Environment → Environment

  33. def toString(): String

    Definition Classes
    Environment → AnyRef → Any

  34. def toYXML(tree: XMLTree): String

    Definition Classes
    Environment → Environment

  35. final val version: Version

    Definition Classes
    Environment

  36. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from api.Environment

Inherited from AnyRef

Inherited from Any

Ungrouped