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 Absent extends Error with Product with Serializable

   

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

7. def dumpIsabelleResources(path: Path, classLoader: ClassLoader): Either[Error, Resources]

   

   Searches the specified class loader for Isabelle source files.

   Searches the specified class loader for Isabelle source files.

   Isabelle sources files can be automatically managed by libisabelle. When using an SBT-based build, the sbt-libisabelle plugin automatically configures the build to copy the Isabelle sources stored in src/main/isabelle into an appropriate location such that they become part of the runtime classpath.

   This function expects any number of index files in the location .libisabelle/.files, containing a list of relative path names where Isabelle source files may be found. For example, an entry A/tactic.ML will lead to a lookup for a resource at .libisabelle/A/tactic.ML. All index files will be processed. The referenced files will be copied to the specified location. Path names are expected to be encoded in UTF-8, which is the standard encoding Isabelle uses.

   The specified path will then be turned into an Isabelle "component" (refer to the Isabelle system manual for information about components) by creating an etc/settings file, which we will call resources component. The root directory of the resources component is available in the environment variable LIBISABELLE_RESOURCES_HOME.

   Resources are checked for contained components and session root directories. This is done by looking for ROOT, ROOTS, and etc/settings in direct subdirectories that have been created below the specified path. Components are added as subcomponents to the resources component ($LIBISABELLE_RESOURCES_HOME/etc/components) and session root directories to $LIBISABELLE_RESOURCES_HOME/ROOTS. Session roots that are also components are only added as components, because components are automatically discovered as session roots.

   Note that this will only work correctly if the specified path ultimately gets registered as an Isabelle component. Otherwise, subcomponents that are also session roots do not get discovered properly.

8. def dumpIsabelleResources(): Either[Error, Resources]

   

   Shorthand for dumpIsabelleResources using a temporary path and the current class loader.

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

   

   Definition Classes

   AnyRef

10. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

11. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

13. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

14. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

16. final def notify(): Unit

    

    Definition Classes

    AnyRef

17. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    AnyRef

19. def toString(): String

    

    Definition Classes

    AnyRef → Any

20. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )