# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1403899823 -7200
# Node ID e589c26c2eb89659681a68539f4f55277ec8e743
# Parent  d56a09df1a1fb0f04a84732d4c6a60e275c19d52
enforce use of boxed types for OptionDescriptor

diff -r d56a09df1a1f -r e589c26c2eb8 graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionDescriptor.java
--- a/graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionDescriptor.java	Fri Jun 27 19:55:54 2014 +0200
+++ b/graal/com.oracle.graal.options/src/com/oracle/graal/options/OptionDescriptor.java	Fri Jun 27 22:10:23 2014 +0200
@@ -42,11 +42,13 @@
         this.option = option;
         this.declaringClass = declaringClass;
         this.fieldName = fieldName;
+        assert !type.isPrimitive() : "must used boxed type instead of " + type;
         option.setDescriptor(this);
     }
 
     /**
-     * Gets the type of values stored in the option.
+     * Gets the type of values stored in the option. This will be the boxed type for a primitive
+     * option.
      */
     public Class<?> getType() {
         return type;