Package org.checkerframework.framework.testchecker.flowexpression.qual

Annotation Interface FlowExp

@SubtypeOf(FETop.class)
@Target({TYPE_USE,TYPE_PARAMETER})
public @interface FlowExp

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element	Description
String[]	value

Element Details

value

@JavaExpression
String[] value

Default:

{}