internal bool Holds(InterpretationContext c, Set <IComparable> domain)
{
c.SetAsActive();
try
{
//check each predicate
foreach (Predicate pred in predicates)
{
if (pred.isStatic)
{
if (!((bool)pred.method.Invoke(null, new object[0])))
{
return(false);
}
}
else
{
// if instance-based, check predicate for each instance in domain
foreach (IComparable obj in domain)
{
if (!((bool)pred.method.Invoke(obj, new object[0])))
{
return(false);
}
}
}
}
return(true);
}
finally
{
c.ClearAsActive();
}
}
//static private bool ContainsAnyValue(object/*?*/[] arguments)
//{
// for (int i = 0; i < arguments.Length; i++)
// {
// if (arguments[i] == Any.Value) return true;
// }
// return false;
//}
internal bool Holds(InterpretationContext c, IComparable /*?*/ thisArg, IComparable[] /*?*/ arguments)
{
c.SetAsActive();
try
{
//check each predicate
foreach (Predicate pred in predicates)
{
if (!pred.Holds(thisArg, arguments))
{
return(false);
}
}
return(true);
}
finally
{
c.ClearAsActive();
}
}
internal IEnumerable <string> GetEnablingConditionDescriptions(InterpretationContext c, IComparable /*?*/ thisArg, IComparable[] /*?*/ arguments, bool returnFailures)
{
foreach (Predicate pred in predicates)
{
c.SetAsActive();
try
{
bool holds = pred.Holds(thisArg, arguments);
if ((returnFailures && !holds) || (!returnFailures && holds))
{
foreach (string s in pred.description)
{
yield return(s);
}
}
}
finally
{
c.ClearAsActive();
}
}
}