frege.runtime

Annotation Type Meta.Context

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

the equivalent to a Context

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
Meta.QName	clas

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
int	tau

Element Detail

clas

public abstract Meta.QName clas

tau

public abstract int tau

Default:

0