Uses of Class
org.checkerframework.framework.qual.QualifierArgument

Packages that use QualifierArgument

Package	Description
org.checkerframework.checker.calledmethods.qual
org.checkerframework.checker.index.qual
org.checkerframework.checker.nullness.qual
org.checkerframework.common.initializedfields.qual
org.checkerframework.common.value.qual

Uses of QualifierArgument in org.checkerframework.checker.calledmethods.qual

Methods in org.checkerframework.checker.calledmethods.qual with annotations of type QualifierArgument

Modifier and Type	Method	Description
String[]	methods()	The methods guaranteed to be invoked on the expressions.
String[]	methods()	The methods guaranteed to be invoked on the expressions if the result of the method is EnsuresCalledMethodsIf.result().
String[]	methods()	The methods guaranteed to be invoked on the expressions.

Uses of QualifierArgument in org.checkerframework.checker.index.qual

Methods in org.checkerframework.checker.index.qual with annotations of type QualifierArgument

Modifier and Type	Method	Description
String[]	offset()	This expression plus each of the value expressions is less than the length of the sequence on successful method termination.
String[]	offset()	This expression plus each of the expressions is less than the length of the sequence after the method returns the given result.
String[]	targetValue()	Sequences, each of which is longer than the each of the expressions' value on successful method termination.
String[]	targetValue()	Sequences, each of which is longer than each of the expressions' value after the method returns the given result.

Uses of QualifierArgument in org.checkerframework.checker.nullness.qual

Methods in org.checkerframework.checker.nullness.qual with annotations of type QualifierArgument

Modifier and Type	Method	Description
String[]	map()	Returns Java expressions whose values are maps, each of which contains each expression value as a key (after successful method termination).
String[]	map()	Returns Java expressions whose values are maps, each of which contains each expression value as a key (after the method returns the given result).

Uses of QualifierArgument in org.checkerframework.common.initializedfields.qual

Methods in org.checkerframework.common.initializedfields.qual with annotations of type QualifierArgument

Modifier and Type	Method	Description
String[]	fields()	Fields that this method initializes.

Uses of QualifierArgument in org.checkerframework.common.value.qual

Methods in org.checkerframework.common.value.qual with annotations of type QualifierArgument

Modifier and Type	Method	Description
int	targetValue()	Returns the minimum number of elements in the sequence.