frege.runtime

Annotation Type Meta.SymA

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

equivalent of a type definition

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
Meta.QName	name
int	typ

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
java.lang.String	doc
int	kind
int	offset
boolean	publik
int[]	vars

Element Detail

name

public abstract Meta.QName name

typ

public abstract int typ

offset

public abstract int offset

Default:

0

vars

public abstract int[] vars

Default:

{}

doc

public abstract java.lang.String doc

Default:

""

publik

public abstract boolean publik

Default:

true

kind

public abstract int kind

Default:

0