frege.runtime

Annotation Type Meta.Field

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

encoding for a field

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
int	sigma

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
java.lang.String	doc
java.lang.String	name
int	offset
boolean	privat
boolean	strict

Element Detail

sigma

public abstract int sigma

offset

public abstract int offset

Default:

0

name

public abstract java.lang.String name

Default:

""

doc

public abstract java.lang.String doc

Default:

""

privat

public abstract boolean privat

Default:

false

strict

public abstract boolean strict

Default:

true