Resources

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 Dependencies

   

5. def append(node_name: Name, source_path: Path): String

   

6. def append(dir: String, source_path: Path): String

   

7. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

8. def check_thy(name: Name, start: Pos = Token.Pos.command, strict: Boolean = true): Header

   

9. def check_thy_reader(node_name: Name, reader: Reader[Char], start: Pos = Token.Pos.command, strict: Boolean = true): Header

   

10. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

11. def commit(change: Change): Unit

    

12. def dependencies(thys: List[(Name, T)], progress: Progress = No_Progress): Dependencies[Unit]

    

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

    

    Definition Classes

    AnyRef

14. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

15. val file_formats: Environment

    

16. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

18. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

19. def import_name(name: Name, s: String): Name

    

20. def import_name(qualifier: String, dir: String, s: String): Name

    

21. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

22. def is_hidden(name: Name): Boolean

    

23. def loaded_files(syntax: Outer_Syntax, name: Name): () ⇒ List[Path]

    

24. val log: Logger

    

25. def make_preview(snapshot: Snapshot): Option[Preview]

    

26. def make_theory_content(thy_name: Name): Option[String]

    

27. def make_theory_name(name: Name): Option[Name]

    

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

    

    Definition Classes

    AnyRef

29. final def notify(): Unit

    

    Definition Classes

    AnyRef

30. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

31. def parse_change(reparse_limit: Int, previous: Version, doc_blobs: Blobs, edits: List[Edit_Text], consolidate: List[Name]): Change

    

32. def pure_files(syntax: Outer_Syntax): List[Path]

    

33. val session_base: Base

    

34. def session_dependencies(info: Info, progress: Progress = No_Progress): Dependencies[Options]

    

35. def source_file(raw_name: String): Option[String]

    

36. def special_header(name: Name): Option[Header]

    

37. def standard_import(base: Base, qualifier: String, dir: String, s: String): String

    

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

    

    Definition Classes

    AnyRef

39. def theory_name(qualifier: String, theory: String): String

    

40. def thy_path(path: Path): Path

    

41. def toString(): String

    

    Definition Classes

    AnyRef → Any

42. def undefined_blobs(nodes: Nodes): List[Name]

    

43. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

46. def with_thy_reader[A](name: Name, f: (Reader[Char]) ⇒ A): A