Uses of Class
org.checkerframework.framework.qual.QualifierArgument
-
-
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 java.lang.String[]
methods()
The methods guaranteed to be invoked on the expressions.java.lang.String[]
methods()
The methods guaranteed to be invoked on the expressions if the result of the method isEnsuresCalledMethodsIf.result()
.java.lang.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 java.lang.String[]
offset()
This expression plus each of the value expressions is less than the length of the sequence on successful method termination.java.lang.String[]
offset()
This expression plus each of the expressions is less than the length of the sequence after the method returns the given result.java.lang.String[]
targetValue()
Sequences, each of which is longer than the each of the expressions' value on successful method termination.java.lang.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 java.lang.String[]
map()
Returns Java expressions whose values are maps, each of which contains each expression value as a key (after successful method termination).java.lang.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 java.lang.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.
-