private void DeleteWatchpoint(int num) { SubruleDebuggingConfigurationRule cr = shellProcEnv.SubruleDebugConfig.ConfigurationRules[num]; shellProcEnv.SubruleDebugConfig.Delete(num); Console.WriteLine("deleted entry " + num + " - " + cr.ToString()); }
private void ToggleWatchpoint(int num) { SubruleDebuggingConfigurationRule cr = shellProcEnv.SubruleDebugConfig.ConfigurationRules[num]; cr.Enabled = !cr.Enabled; Console.WriteLine("toggled entry " + num + " - " + cr.ToString()); }
private void InsertWatchpoint(int num) { SubruleDebuggingConfigurationRule cr = EditOrCreateRule(null); if (cr == null) { Console.WriteLine("aborted"); } else { shellProcEnv.SubruleDebugConfig.Insert(cr, num); Console.WriteLine("inserted entry " + num + " - " + cr.ToString()); } }
private void EditWatchpoint(int num) { SubruleDebuggingConfigurationRule cr = shellProcEnv.SubruleDebugConfig.ConfigurationRules[num]; cr = EditOrCreateRule(cr); if (cr == null) { Console.WriteLine("aborted"); } else { Console.WriteLine("edited entry " + num + " - " + cr.ToString()); shellProcEnv.SubruleDebugConfig.Replace(num, cr); } }
private void AppendWatchpoint() { SubruleDebuggingConfigurationRule cr = EditOrCreateRule(null); if (cr == null) { Console.WriteLine("aborted"); } else { shellProcEnv.SubruleDebugConfig.Insert(cr); Console.WriteLine("appended entry " + (shellProcEnv.SubruleDebugConfig.ConfigurationRules.Count - 1) + " - " + cr.ToString()); } }
void InternalHalt(SubruleDebuggingConfigurationRule cr, object data, params object[] additionalData) { context.workaround.PrintHighlighted("Break ", HighlightingMode.Breakpoint); Console.WriteLine("because " + cr.ToString(data, shellProcEnv.ProcEnv.NamedGraph, additionalData)); ycompClient.UpdateDisplay(); ycompClient.Sync(); if(!detailedMode) { context.highlightSeq = lastlyEntered; PrintSequence(debugSequences.Peek(), context, debugSequences.Count); Console.WriteLine(); PrintDebugTracesStack(false); } QueryContinueOrTrace(true); }