changeset 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 dc83cc1f94f2
children 6cebd9671564
files truffle/com.oracle.truffle.api/src/META-INF/upgrade/conditionprofile.hint
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/truffle/com.oracle.truffle.api/src/META-INF/upgrade/conditionprofile.hint	Wed Sep 16 11:59:56 2015 +0200
@@ -0,0 +1,6 @@
+'ConditionProfile fields have to be final to be useful':
+$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)
+=>
+'Add final':
+$mods$ final $type $name = $init$;
+;;