frege.runtime

Class Meta

java.lang.Object

frege.runtime.Meta

public class Meta
extends java.lang.Object

Annotations for the class files produced by the frege compiler.

The compiler annotates the class that corresponds to a module 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. Used in the compiler for imports, in the documentation tool, and possibly other tools.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	Meta.Context the equivalent to a Context
static interface	Meta.Expr
static interface	Meta.Field encoding for a field
static interface	Meta.FregePackage General information for a frege package.
static interface	Meta.FunctionPointers This annotation is on the IJ static nested class of a module.
static interface	Meta.QName The equivalent to QName.
static interface	Meta.Rho the equivalent to a Rho
static interface	Meta.Sigma the equivalent to a Sigma
static interface	Meta.SymA equivalent of a type definition
static interface	Meta.SymC
static interface	Meta.SymD equivalent for a SymD
static interface	Meta.SymI
static interface	Meta.SymL equivalent for a SymL
static interface	Meta.SymT
static interface	Meta.SymV equivalent for a SymV
static interface	Meta.Tau The equivalent for a Tau or Kind.

Constructor Summary

Constructors

Constructor and Description
Meta()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Meta

public Meta()