Serialized Dryad repositories.
This module defines the structure of a serialized Dryad repositoryand provides strategies to (de)serialize such a serialized repository.
Constructor details
|
|
Class(ATerm , ATerm , ATerm )
|
File
|
classpath.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
|
SimpleName of this class
|
ATerm
|
Location of this class
|
ATerm
|
Member classes of this class
|
|
Constructor for exported classes.
|
|
|
ClassFile(ATerm )
|
File
|
classpath.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
|
Path of .class file
|
|
Constructor for the location of a bytecode .class file.
|
|
|
Jar(ATerm , ATerm )
|
File
|
classpath.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
|
Path of jar file
|
ATerm
|
Path of class file in jar file
|
|
Constructor for the location of a class file in a jar.
|
|
|
Package(ATerm , ATerm , ATerm )
|
File
|
classpath.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
|
SimpleName of this package
|
ATerm
|
List of subpackages
|
ATerm
|
List of top level classes
|
|
Constructor for exported packages.
|
|
|
Source(ATerm )
|
File
|
classpath.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
|
Path of source file
|
|
Constructor for the location of source files.
|
|
Strategy details
|
ATerm
|
define-bytecode-class(ATerm location)
|
Defines the .class file of the specified name and location in the Dryad repository.
Example names:org/foo/Bar.classorg/foo/Bar$Fred.class
todo
|
Local classes are not supported
|
todo
|
Anonymous classes are not supported
|
type
|
List(Char) -> Class Object
|
|
|
ATerm
|
define-bytecode-class-file
|
No information available.
type
|
String -> Class Object
|
|
|
ATerm
|
define-jar-entries
|
Defines the classes in the specified jar file in the Dryad repository.
|
|
ATerm
|
export-repository
|
Exports the current Dryad repository by constructing an ATerm that represents its content.The structure of the ExportedPackage result is specified in dryad/model/classpath.
type
|
_ -> ExportedPackage
|
|
|
ATerm
|
fgetchars-lines(Strategy postlinehook, Strategy at-last)
|
File
|
classpath.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
Strategy
postlinehook
|
List(Char) -> a
|
|
No information available.
|
|
ATerm
|
fgetchars-until(Strategy pred)
|
fails if there is an immediate EOF.
|
|
ATerm
|
import-repository
|
Imports a serialized Dryad repository by registering a package, its subpackages and all classes in the Dryad repository.
The structure of the ExportedPackage input is specified in dryad/model/classpath.
type
|
ExportedPackage -> ExportedPackage
|
|
|
ATerm
|
parse-class-pathname
|
No information available.
type
|
List(Char) -> (List(String), String)
|
|
|
ATerm
|
private-define-jar-entry(ATerm jar)
|
File
|
classpath.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
ATerm
jar
|
Jar file of this class file (String).
|
|
Private util for define-jar-entries. Do not invoke directly.
This strategy does not fail if the specified file does not havethe .class extension.
type
|
List(Char) -> Class Object
|
|
|