frege.runtime

Annotation Type Meta.SymC

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

Required Element Summary

Required Elements

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

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
java.lang.String	doc
Meta.QName[]	ins1
Meta.QName[]	ins2
int	offset
boolean	publik
Meta.QName[]	sups

Element Detail

name

public abstract Meta.QName name

tau

public abstract int tau

lnks

public abstract Meta.SymL[] lnks

funs

public abstract Meta.SymV[] funs

offset

public abstract int offset

Default:

0

sups

public abstract Meta.QName[] sups

Default:

{}

ins1

public abstract Meta.QName[] ins1

Default:

{}

ins2

public abstract Meta.QName[] ins2

Default:

{}

doc

public abstract java.lang.String doc

Default:

""

publik

public abstract boolean publik

Default:

true