public void AddAssertion(ControlWordLabel label, Object value, int line = -1)
{
if (AssertedSignals.Count > 0 && Bank != label.Bank)
{
throw new MicroassemblerParseException(((line == -1) ? "Assertion attempts" : $"Assertion on line {line} attempts") + $" to assert a signal '{label.Name}' on bank {label.Bank} while already on bank {Bank}");
}
Bank = label.Bank;
AssertedSignals.Add(label, value);
}
public override Object Clone() => new SequenceAssertion()
{
Bank = Bank, Line = Line, AssertedSignals = AssertedSignals.ToDictionary(e => e.Key, e => e.Value)
};