public void EmitTrap(TextWriter trapFile) { trapFile.Write(".push "); key.AppendTo(trapFile); trapFile.WriteLine(); }
public void EmitToTrapBuilder(ITrapBuilder tb) { tb.Append(".push "); Key.AppendTo(tb); tb.AppendLine(); }