frege.runtime

Annotation Type Meta.QName

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

The equivalent to QName.

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
java.lang.String	base

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
int	kind
java.lang.String	member
java.lang.String	pack

Element Detail

base

public abstract java.lang.String base

kind

public abstract int kind

Default:

1

pack

public abstract java.lang.String pack

Default:

"frege.Prelude"

member

public abstract java.lang.String member

Default:

""