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