--- a/graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/TruffleTypes.java	Wed Jul 10 09:23:15 2013 +0200
+++ b/graal/com.oracle.truffle.dsl.processor/src/com/oracle/truffle/dsl/processor/TruffleTypes.java	Wed Jul 10 09:42:22 2013 +0200
@@ -40,6 +40,8 @@
  */
 public final class TruffleTypes {
 
+    public static final String OPTION_DETAILED_REWRITE_REASONS = "DetailedRewriteReasons";
+
     private final TypeMirror node;
     private final TypeMirror nodeArray;
     private final TypeMirror unexpectedValueException;
@@ -53,6 +55,7 @@
     private final TypeMirror compilerDirectives;
     private final TypeMirror compilerAsserts;
     private final DeclaredType slowPath;
+    private final DeclaredType truffleOptions;
 
     private final List<String> errors = new ArrayList<>();
 
@@ -70,6 +73,7 @@
         nodeInfoAnnotation = getRequired(context, NodeInfo.class);
         nodeInfoKind = getRequired(context, NodeInfo.Kind.class);
         slowPath = getRequired(context, SlowPath.class);
+        truffleOptions = getRequired(context, TruffleOptions.class);
     }
 
     public DeclaredType getNodeInfoAnnotation() {
@@ -140,6 +144,10 @@
         return compilerAsserts;
     }
 
+    public DeclaredType getTruffleOptions() {
+        return truffleOptions;
+    }
+
     public DeclaredType getSlowPath() {
         return slowPath;
     }