private void ReportConstraintViolation(
string message,
BoolExpression extraConstraint,
ViewGenErrorCode errorCode,
IEnumerable <LeftCellWrapper> relevantWrappers)
{
if (ErrorPatternMatcher.FindMappingErrors(this._viewgenContext, this._domainMap, this._errorLog))
{
return;
}
extraConstraint.ExpensiveSimplify();
HashSet <LeftCellWrapper> leftCellWrapperSet = new HashSet <LeftCellWrapper>(relevantWrappers);
new List <LeftCellWrapper>((IEnumerable <LeftCellWrapper>)leftCellWrapperSet).Sort(LeftCellWrapper.OriginalCellIdComparer);
StringBuilder builder = new StringBuilder();
builder.AppendLine(message);
RewritingValidator.EntityConfigurationToUserString(extraConstraint, builder);
this._errorLog.AddEntry(new ErrorLog.Record(errorCode, builder.ToString(), (IEnumerable <LeftCellWrapper>)leftCellWrapperSet, ""));
}
internal static void EntityConfigurationToUserString(
BoolExpression condition,
StringBuilder builder)
{
RewritingValidator.EntityConfigurationToUserString(condition, builder, true);
}