Packages

  • package root
    Definition Classes
    root
  • package de
    Definition Classes
    root
  • package unruh
    Definition Classes
    de
  • package isabelle

    This library allows to control an Isabelle process from a Scala application.

    This library allows to control an Isabelle process from a Scala application. For first steps and pointers, see the README.

    In case of missing/incorrect documentation, create an issue.

    Definition Classes
    unruh
  • package java

    This package provides methods for making access to scala-isabelle possible from Java (or other non-Scala JVM languages).

    This package provides methods for making access to scala-isabelle possible from Java (or other non-Scala JVM languages).

    It does not provide any new functionality but only various wrapper methods for cases where some of the methods in this library are hard to access from Java. (E.g., when a method expects Scala collections as input.)

    For Scala methods that need but lack a wrapper, please file an issue.

    Definition Classes
    isabelle
  • JIsabelle
  • JPatterns
o

de.unruh.isabelle.java

JIsabelle

object JIsabelle

This object contains utility methods for invoking scala-isabelle methods from Java in cases where the original method is difficult to invoke from Java.

For Scala methods that need but lack a wrapper, please file an issue.

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

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 clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  9. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  10. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  11. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  13. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  14. def setup(isabelleHome: Path): Setup

    Invokes Isabelle.Setup(isabelleHome=isabelleHome).

    Invokes Isabelle.Setup(isabelleHome=isabelleHome). All other arguments to Isabelle.Setup take default values.

  15. def setupSetBuild(build: Boolean, setup: Setup): Setup

    Sets the build flag in the setup setup.

    Sets the build flag in the setup setup.

    build

    the new value for setup.build

    returns

    setup with build set to build

  16. def setupSetLogic(logic: String, setup: Setup): Setup

    Sets the logic directory in the setup setup.

    Sets the logic directory in the setup setup.

    logic

    the new value for setup.logic

    returns

    setup with logic set to logic

  17. def setupSetSessionRoots(sessionRoots: Iterable[Path], setup: Setup): Setup

    Sets the sessionRoots directories in the setup setup.

    Sets the sessionRoots directories in the setup setup.

    sessionRoots

    the new value for setup.sessionRoots. It will automatically be converted to a Scala Seq.

    returns

    setup with sessionRoots set to sessionRoots

  18. def setupSetUserDir(userDir: Path, setup: Setup): Setup

    Sets the userDir directory in the setup setup.

    Sets the userDir directory in the setup setup. Note: There is no way to change the userDir to None. However, the default value for userDir is None.

    returns

    setup with userDir set to Some(userDir)

  19. def setupSetVerbose(verbose: Boolean, setup: Setup): Setup

    Sets the verbose flag in the setup setup.

    Sets the verbose flag in the setup setup.

    verbose

    the new value for setup.verbose

    returns

    setup with verbose set to verbose

  20. def setupSetWorkingDirectory(workingDirectory: Path, setup: Setup): Setup

    Sets the workingDirectory directory in the setup setup.

    Sets the workingDirectory directory in the setup setup.

    workingDirectory

    the new value for setup.workingDirectory

    returns

    setup with workingDirectory set to workingDirectory

  21. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  22. def toString(): String
    Definition Classes
    AnyRef → Any
  23. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  25. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped