frege.runtime

Annotation Type Meta.SymI

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

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
Meta.QName	clas
Meta.SymV[]	funs
Meta.SymL[]	lnks
Meta.QName	name
int	typ

Optional Element Summary

Optional Elements

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

Element Detail

name

public abstract Meta.QName name

clas

public abstract Meta.QName clas

typ

public abstract int typ

lnks

public abstract Meta.SymL[] lnks

funs

public abstract Meta.SymV[] funs

offset

public abstract int offset

Default:

0

doc

public abstract java.lang.String doc

Default:

""