private void disableTiming(Output output) { generateOutput(output); Microtiming.setEnabled(false); output.line("Disabling Microtiming..."); }
private void enableTiming(Output output) { if (Microtiming.isEnabled()) { generateOutput(output); Microtiming.setEnabled(false); output.line("Resetting Microtiming..."); } else { output.line("Enabling Microtiming..."); } Microtiming.setEnabled(true); }