public class MD
extends java.lang.Object
Annotations for the frege compiler.
The compiler annotates the main class with the annotations defined here. This makes it possible to recreate a symbol table of an imported package up to the expressions for variable symbols.
Modifier and Type | Class and Description |
---|---|
static interface |
MD.Context |
static interface |
MD.Expr |
static interface |
MD.FregePackage
General information for a frege package.
|
static interface |
MD.LambdaClasses
Information on lambda classes for top level or data/instance member functions
already generated in this package.
|
static interface |
MD.Operator
Information from the infix* definitions.
|
static interface |
MD.QName
The equivalent to QName.
|
static interface |
MD.Rho |
static interface |
MD.Sigma |
static interface |
MD.SymA |
static interface |
MD.SymC |
static interface |
MD.SymD |
static interface |
MD.SymI |
static interface |
MD.SymL |
static interface |
MD.SymT |
static interface |
MD.SymV |
static interface |
MD.Tau
The equivalent for a Tau.
|
Constructor and Description |
---|
MD() |