frege.runtime

Annotation Type Meta.FregePackage

@Retention(value=RUNTIME)
public static @interface Meta.FregePackage

General information for a frege package.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
java.lang.String	doc The documentation of the package.
Meta.Expr[]	exprs Table of expressions.
java.lang.String[]	imps Name of imported packages.
int	jmajor Major target version.
int	jminor Minor target version.
java.lang.String[]	nmss Namespaces of imported packages.
Meta.Rho[]	rhos Table of Rho types.
Meta.Sigma[]	sigmas Table of Sigma types.
java.lang.String	source Name of the source file.
Meta.SymA[]	symas Table of type aliases.
Meta.SymC[]	symcs Table of type classes.
Meta.SymI[]	symis Table of instances.
Meta.SymL[]	symls Table of symbolic links.
Meta.SymT[]	symts Table of data types.
Meta.SymV[]	symvs Table of values and functions.
Meta.Tau[]	taus Table of Tau types.
long	time Compile time.

Element Detail

source

public abstract java.lang.String source

Name of the source file.

Default:

""

time

public abstract long time

Compile time.

Default:

0L

jmajor

public abstract int jmajor

Major target version.

Default:

1

jminor

public abstract int jminor

Minor target version.

Default:

7

doc

public abstract java.lang.String doc

The documentation of the package.

Default:

""

imps

public abstract java.lang.String[] imps

Name of imported packages.

Default:

{}

nmss

public abstract java.lang.String[] nmss

Namespaces of imported packages.

Default:

{}

taus

public abstract Meta.Tau[] taus

Table of Tau types.

Default:

{}

rhos

public abstract Meta.Rho[] rhos

Table of Rho types.

Default:

{}

sigmas

public abstract Meta.Sigma[] sigmas

Table of Sigma types.

Default:

{}

symas

public abstract Meta.SymA[] symas

Table of type aliases.

Default:

{}

symcs

public abstract Meta.SymC[] symcs

Table of type classes.

Default:

{}

symis

public abstract Meta.SymI[] symis

Table of instances.

Default:

{}

symts

public abstract Meta.SymT[] symts

Table of data types.

Default:

{}

symls

public abstract Meta.SymL[] symls

Table of symbolic links.

Default:

{}

symvs

public abstract Meta.SymV[] symvs

Table of values and functions.

Default:

{}

exprs

public abstract Meta.Expr[] exprs

Table of expressions.

Default:

{}