# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@oracle.com>
# Date 1442397596 -7200
# Node ID 96e70615cc4abbac2a16e8d33985cdfac4977221
# Parent  dc83cc1f94f2f2b48e5233039ad5fb38bb859d92
Jackpot rule to warn about non-final ConditionProfile fields and help users to fix that.

diff -r dc83cc1f94f2 -r 96e70615cc4a truffle/com.oracle.truffle.api/src/META-INF/upgrade/conditionprofile.hint
--- /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$;
+;;