internal static SequenceSetupException MixedTimesAndCallIndicesException()
{
var exception = new SequenceSetupException("Mixed times and CallIndices");
exception.MixedTimesAndCallIndices = true;
return(exception);
}
internal static SequenceSetupException RepeatedCallIndexInSetupException(int callIndex)
{
var exception = new SequenceSetupException(callIndex, "Repeated call index in setup");
exception.RepeatedCallIndexInSetup = true;
return(exception);
}
internal static SequenceSetupException NegativeCallIndexException(int callIndex)
{
var exception = new SequenceSetupException(callIndex, "Negative call index");
exception.NegativeCallIndex = true;
return(exception);
}
internal static SequenceSetupException RepeatedCallIndexAcrossSetupsException(int callIndex)
{
var exception = new SequenceSetupException(callIndex, "Repeated call index across setups");
exception.RepeatedCallIndexAcrossSetups = true;
return(exception);
}
