@Retention(value=RUNTIME)
public static @interface MD.FregePackage
General information for a frege package.
Modifier and Type | Optional Element and Description |
---|---|
java.lang.String |
doc
The documentation of the package.
|
MD.Expr[] |
exprs
Table of expressions.
|
java.lang.String[] |
imps
Name of imported packages.
|
java.lang.String[] |
nmss
Namespaces of imported packages.
|
MD.Operator[] |
ops
Operator table.
|
MD.Rho[] |
rhos
Table of Rho types.
|
MD.Sigma[] |
sigmas
Table of Sigma types.
|
java.lang.String |
source
Name of the source file.
|
MD.SymA[] |
symas
Table of type aliases.
|
MD.SymC[] |
symcs
Table of type classes.
|
MD.SymI[] |
symis
Table of instances.
|
MD.SymL[] |
symls
Table of symbolic links.
|
MD.SymT[] |
symts
Table of data types.
|
MD.SymV[] |
symvs
Table of values and functions.
|
MD.Tau[] |
taus
Table of Tau types.
|
long |
time
Compile time.
|
public abstract java.lang.String source
Name of the source file.
public abstract long time
Compile time.
public abstract java.lang.String doc
The documentation of the package.
public abstract MD.Operator[] ops
Operator table.
public abstract java.lang.String[] imps
Name of imported packages.
public abstract java.lang.String[] nmss
Namespaces of imported packages.
public abstract MD.Tau[] taus
Table of Tau types.
public abstract MD.Rho[] rhos
Table of Rho types.
public abstract MD.Sigma[] sigmas
Table of Sigma types.
public abstract MD.SymA[] symas
Table of type aliases.
public abstract MD.SymC[] symcs
Table of type classes.
public abstract MD.SymI[] symis
Table of instances.
public abstract MD.SymT[] symts
Table of data types.
public abstract MD.SymL[] symls
Table of symbolic links.
public abstract MD.SymV[] symvs
Table of values and functions.
public abstract MD.Expr[] exprs
Table of expressions.