private static String originalConditionName(LoopMonitor monitor) { return "loopOriginalCondition_" + monitor.instanceID(); }
private static String catchName(LoopMonitor monitor) { return "loopMonitorCatch_" + monitor.instanceID(); }
private static String conditionName(LoopMonitor monitor) { return "loopConditionEvaluation_" + monitor.instanceID(); }
private static String counterName(LoopMonitor monitor) { return "loopEntrancesCounter_" + monitor.instanceID(); }