# HG changeset patch # User Doug Simon # Date 1452548996 -3600 # Node ID 468184cf7b34d95dffd830f2de94214111213d8d # Parent 13fab147f1ea48c3c007383499924288bd97c938 require @Option annotated fields to start with upper case letter diff -r 13fab147f1ea -r 468184cf7b34 graal/com.oracle.graal.options.processor/src/com/oracle/graal/options/processor/OptionProcessor.java --- a/graal/com.oracle.graal.options.processor/src/com/oracle/graal/options/processor/OptionProcessor.java Mon Jan 11 22:48:38 2016 +0100 +++ b/graal/com.oracle.graal.options.processor/src/com/oracle/graal/options/processor/OptionProcessor.java Mon Jan 11 22:49:56 2016 +0100 @@ -131,6 +131,11 @@ optionName = fieldName; } + if (!Character.isUpperCase(optionName.charAt(0))) { + processingEnv.getMessager().printMessage(Kind.ERROR, "Option name must start with capital letter", element); + return; + } + DeclaredType declaredOptionValueType = declaredFieldType; while (!types.isSameType(types.erasure(declaredOptionValueType), types.erasure(optionValueType))) { List directSupertypes = types.directSupertypes(declaredFieldType);