org.checkerframework.framework.qual

Annotation Type EnsuresQualifiersIf

@Documented
 @Retention(value=RUNTIME)
 @Target(value=METHOD)
 @InheritedAnnotation
public @interface EnsuresQualifiersIf

A meta-annotation to allow multiple conditional postcondition annotations.

Author:

Stefan Heule

See Also:

EnsuresQualifierIf

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
EnsuresQualifierIf[]	value

Element Detail

value

public abstract EnsuresQualifierIf[] value