public void Init(IWorkaround workaround)
{
this.workaround = workaround;
bpPosCounter = -1;
cpPosCounter = -1;
highlightSeq = null;
success = false;
choice = false;
sequences = null;
}
public void Init(IWorkaround workaround)
{
this.workaround = workaround;
bpPosCounter = -1;
cpPosCounter = -1;
highlightSeq = null;
success = false;
choice = false;
sequences = null;
}
public PrintSequenceContext(IWorkaround workaround)
{
Init(workaround);
}
public PrintSequenceContext(IWorkaround workaround)
{
Init(workaround);
}
/// <summary>
/// Called from shell after an debugging abort highlighting the lastly executed rule
/// </summary>
public static void PrintSequence(Sequence seq, Sequence highlight, IWorkaround workaround)
{
PrintSequenceContext context = new PrintSequenceContext(workaround);
context.highlightSeq = highlight;
PrintSequence(seq, context, 0);
// TODO: what to do if abort came within sequence called from top sequence?
}
