frege.runtime

Annotation Type Meta.FunctionPointers

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

This annotation is on the IJ static nested class of a module. It tells which function "pointers" are implemented in this module. This will avoid multiple generation of function pointers for the same function in different classes, since the function pointers of imported classes can be re-used. Entries in qnames() and jnames() with the same index belong together.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
java.lang.String[]	jnames names of function pointers.
Meta.QName[]	qnames qualified names of functions

Element Detail

qnames

public abstract Meta.QName[] qnames

qualified names of functions

Default:

{}

jnames

public abstract java.lang.String[] jnames

names of function pointers. This is only the member name, the package name and IJ must be prepended upon reading!

Default:

{}