Isabelle_Process

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. object Encode

   

   Definition Classes

   Protocol

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def build_theories(id: String, master_dir: Path, theories: List[(Options, List[Path])]): Unit

   

   Definition Classes

   Protocol

7. def cancel_exec(id: Exec): Unit

   

   Definition Classes

   Protocol

8. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

9. def decode(s: String): String

   

   Definition Classes

   Isabelle_Process → Protocol

10. def define_blob(digest: Digest, bytes: Bytes): Unit

    

    Definition Classes

    Protocol

11. def define_command(command: Command): Unit

    

    Definition Classes

    Protocol

12. def dialog_result(serial: Long, result: String): Unit

    

    Definition Classes

    Protocol

13. def discontinue_execution(): Unit

    

    Definition Classes

    Protocol

14. def encode(s: String): String

    

    Definition Classes

    Isabelle_Process → Protocol

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

    

    Definition Classes

    AnyRef

16. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

17. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

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

    

    Definition Classes

    AnyRef → Any

19. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

20. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

21. def join(): Unit

    

    Definition Classes

    Prover

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

    

    Definition Classes

    AnyRef

23. final def notify(): Unit

    

    Definition Classes

    AnyRef

24. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

25. def options(opts: Options): Unit

    

    Definition Classes

    Protocol

26. def protocol_command(name: String, args: String*): Unit

    

    Definition Classes

    Prover → Protocol

27. def protocol_command_bytes(name: String, args: Bytes*): Unit

    

    protocol commands *

    protocol commands *

    Definition Classes

    Prover → Protocol

28. def remove_versions(versions: List[Version]): Unit

    

    Definition Classes

    Protocol

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

    

    Definition Classes

    AnyRef

30. def terminate(): Unit

    

    Definition Classes

    Prover

31. def toString(): String

    

    Definition Classes

    AnyRef → Any

32. def update(old_id: Version, new_id: Version, edits: List[Edit_Command]): Unit

    

    Definition Classes

    Protocol

33. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

36. val xml_cache: Cache

    

    receiver output *

    receiver output *

    Definition Classes

    Prover