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);
}