public void Selection()
{
var contradictionSpec = new Contradiction<int>();
Assert.That(contradictionSpec.IsSatisfiedBy(Int32.MinValue), Is.False);
Assert.That(contradictionSpec.IsSatisfiedBy(1), Is.False);
Assert.That(contradictionSpec.IsSatisfiedBy(0), Is.False);
Assert.That(contradictionSpec.IsSatisfiedBy(-1), Is.False);
Assert.That(contradictionSpec.IsSatisfiedBy(Int32.MaxValue), Is.False);
}
public void Criteria()
{
var contradiction = new Contradiction<int>();
var contradictionCriteria = contradiction.Criteria;
Assert.That(contradictionCriteria.Body, Is.AssignableTo<ConstantExpression>());
var constant = (ConstantExpression)contradictionCriteria.Body;
Assert.That(constant.NodeType, Is.EqualTo(ExpressionType.Constant));
Assert.That(constant.Value, Is.False);
ExpressionWriter.Write(contradictionCriteria);
}
public void ReadModelBase()
{
var fileDialog = new OpenFileDialog();
fileDialog.ShowDialog();
if (fileDialog.FileName != "")
{
_gatheredBases.ModelsBase.ModelList = new List <Model>();
_gatheredBases.ModelsBase.ReadModels(fileDialog.FileName);
_viewModel._currentModelBasePath = fileDialog.FileName;
_viewModel.ButtonsLogic.ModelBaseOpened = true;
}
Contradiction.CheckContradictionWIthModelsAndRulebase(_gatheredBases);
}
public void CheckContradictionBetweenModelsAndRulebase()
{
Contradiction.CheckContradictionWIthModelsAndRulebase(_bases);
}
public void CheckContradictionWithConstrains()
{
Contradiction.CheckContradictionWithConstarinsMethod(_bases);
}
public void ReportAboutOutsideContradiction()
{
Contradiction.ReportAboutContradictionInRules(_bases, _viewModel);
}
public void CheckOutsideContradiction()
{
Contradiction.CheckOutsideContradiction(_bases, true);
}
public void TestOutsideContradictionMethod()
{
Contradiction.CheckOutsideContradiction(bases);
}
