public static BoolExpr GetSpecForClause1 <T>(string spec, TreeNode <T> node, string interVar)
{
var opr = spec.ContainsWhich(RelationalOperators.operators);
var operands = spec.SplitBy(RelationalOperators.operators[opr]);
var arg_1 = GetArg(GetIntermediateVariableWithPropertyAsString(node, operands, spec, interVar));
var arg_2 = GetArg(operands.Last());
var boolExpr = RelationalOperators.GetSpec(opr, arg_1, arg_2, context);
return(boolExpr);
}
public static BoolExpr GetSpecForClause(string spec)
{
var opr = spec.ContainsWhich(RelationalOperators.operators);
var operands = spec.SplitBy(RelationalOperators.operators[opr]);
var arg_1 = GetArg(operands.First());
var arg_2 = GetArg(operands.Last());
var boolExpr = RelationalOperators.GetSpec(opr, arg_1, arg_2, context);
return(boolExpr);
}
