annotate truffle/com.oracle.truffle.api/src/META-INF/upgrade/conditionprofile.hint @ 22158:96e70615cc4a

Jackpot rule to warn about non-final ConditionProfile fields and help users to fix that.
author Jaroslav Tulach <jaroslav.tulach@oracle.com>
date Wed, 16 Sep 2015 11:59:56 +0200
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
22158
96e70615cc4a Jackpot rule to warn about non-final ConditionProfile fields and help users to fix that.
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents:
diff changeset
1 'ConditionProfile fields have to be final to be useful':
96e70615cc4a Jackpot rule to warn about non-final ConditionProfile fields and help users to fix that.
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents:
diff changeset
2 $mods$ $type $name = $init$; :: $name instanceof com.oracle.truffle.api.utilities.ConditionProfile && !hasModifier($name, javax.lang.model.element.Modifier.FINAL) && elementKindMatches($name, javax.lang.model.element.ElementKind.FIELD)
96e70615cc4a Jackpot rule to warn about non-final ConditionProfile fields and help users to fix that.
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents:
diff changeset
3 =>
96e70615cc4a Jackpot rule to warn about non-final ConditionProfile fields and help users to fix that.
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents:
diff changeset
4 'Add final':
96e70615cc4a Jackpot rule to warn about non-final ConditionProfile fields and help users to fix that.
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents:
diff changeset
5 $mods$ final $type $name = $init$;
96e70615cc4a Jackpot rule to warn about non-final ConditionProfile fields and help users to fix that.
Jaroslav Tulach <jaroslav.tulach@oracle.com>
parents:
diff changeset
6 ;;