src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.debug/src/org/graalvm/compiler/debug/DebugOptions.java
changeset 47798 9fe9292f5931
parent 47216 71c04702a3d5
child 48861 47f19ff9903c
equal deleted inserted replaced
47797:d20059c27430 47798:9fe9292f5931
   126 
   126 
   127     @Option(help = "Output probabilities for fixed nodes during binary graph dumping.", type = OptionType.Debug)
   127     @Option(help = "Output probabilities for fixed nodes during binary graph dumping.", type = OptionType.Debug)
   128     public static final OptionKey<Boolean> PrintGraphProbabilities = new OptionKey<>(false);
   128     public static final OptionKey<Boolean> PrintGraphProbabilities = new OptionKey<>(false);
   129     @Option(help = "Enable dumping to the IdealGraphVisualizer.", type = OptionType.Debug)
   129     @Option(help = "Enable dumping to the IdealGraphVisualizer.", type = OptionType.Debug)
   130     public static final OptionKey<Boolean> PrintGraph = new OptionKey<>(true);
   130     public static final OptionKey<Boolean> PrintGraph = new OptionKey<>(true);
   131     @Option(help = "Dump graphs in binary format instead of XML format.", type = OptionType.Debug)
       
   132     public static final OptionKey<Boolean> PrintBinaryGraphs = new OptionKey<>(true);
       
   133     @Option(help = "Print graphs to files instead of sending them over the network.", type = OptionType.Debug)
   131     @Option(help = "Print graphs to files instead of sending them over the network.", type = OptionType.Debug)
   134     public static final OptionKey<Boolean> PrintGraphFile = new OptionKey<>(false);
   132     public static final OptionKey<Boolean> PrintGraphFile = new OptionKey<>(false);
   135 
   133 
   136     @Option(help = "Host part of the address to which graphs are dumped.", type = OptionType.Debug)
   134     @Option(help = "Host part of the address to which graphs are dumped.", type = OptionType.Debug)
   137     public static final OptionKey<String> PrintGraphHost = new OptionKey<>("127.0.0.1");
   135     public static final OptionKey<String> PrintGraphHost = new OptionKey<>("127.0.0.1");