public OutcomeContext AddNewOutcomeContext(Outcome outcome, WarningContext warningContext)
{
Contract.Requires(outcome != null);
Contract.Ensures(Contract.Result<OutcomeContext>() != null);
throw new NotImplementedException();
}
public OutcomeContext NewOutcomeContext(Outcome outcome)
{
Contract.Ensures(Contract.Result<OutcomeContext>() != null);
throw new NotImplementedException();
}
public OutcomeContext AddNewOutcomeContext(Outcome outcome, WarningContext context)
{
if (!this.IsValid) return null;
var result = this.model.NewOutcomeContext(outcome);
result.WarningContext = context;
return result;
}
public OutcomeContext AddNewOutcomeContext(Outcome outcome, WarningContext warningContext)
{
return underlying.AddNewOutcomeContext(outcome, warningContext);
}
