frege.runtime

Annotation Type Meta.SymL

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

equivalent for a SymL

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
Meta.QName	alias
Meta.QName	name

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
java.lang.String	doc
int	offset
boolean	publik

Element Detail

name

public abstract Meta.QName name

alias

public abstract Meta.QName alias

offset

public abstract int offset

Default:

0

doc

public abstract java.lang.String doc

Default:

""

publik

public abstract boolean publik

Default:

true