comparison truffle/com.oracle.truffle.object/src/com/oracle/truffle/object/ObjectStorageOptions.java @ 22291:c3ea80aa5762

make debug counters optional
author Andreas Woess <andreas.woess@oracle.com>
date Thu, 08 Oct 2015 14:21:33 +0200
parents dc83cc1f94f2
children 364bab1763c9
comparison
equal deleted inserted replaced
22290:ca426f243321 22291:c3ea80aa5762
36 36
37 /** Allocation of in-object fields. */ 37 /** Allocation of in-object fields. */
38 public static boolean InObjectFields = booleanOption(OPTION_PREFIX + "InObjectFields", true); 38 public static boolean InObjectFields = booleanOption(OPTION_PREFIX + "InObjectFields", true);
39 39
40 // Debug options (should be final) 40 // Debug options (should be final)
41 public static final boolean DebugCounters = booleanOption(OPTION_PREFIX + "DebugCounters", true);
41 public static final boolean TraceReshape = booleanOption(OPTION_PREFIX + "TraceReshape", false); 42 public static final boolean TraceReshape = booleanOption(OPTION_PREFIX + "TraceReshape", false);
42 public static final boolean DumpShapes = booleanOption(OPTION_PREFIX + "DumpShapes", false); 43 public static final boolean DumpShapes = booleanOption(OPTION_PREFIX + "DumpShapes", false);
43 44
44 public static final boolean Profile = booleanOption(OPTION_PREFIX + "Profile", false); 45 public static final boolean Profile = booleanOption(OPTION_PREFIX + "Profile", false);
45 public static final int ProfileTopResults = Integer.getInteger(OPTION_PREFIX + "ProfileTopResults", -1); 46 public static final int ProfileTopResults = Integer.getInteger(OPTION_PREFIX + "ProfileTopResults", -1);