/**
* This method is invoked when the builtin is called in a rule body.
*
* @param args the array of argument values for the builtin, this is an array of Nodes, some of
* which may be Node_RuleVariables.
* @param length the length of the argument list, may be less than the length of the args array
* for some rule engines
* @param context an execution context giving access to other relevant data
* @return return true if the buildin predicate is deemed to have succeeded in the current
* environment
*/
@SuppressWarnings("unused")
public boolean bodyCall(Node[] args, int length, RuleContext context) {
checkArgs(length, context);
BindingEnvironment env = context.getEnv();
Object maxVal = null;
Node min = null;
boolean allLongs = true;
if (length >= 3) {
for (int i = 0; i < length; i++) {
Node n1 = getArg(i, args, context);
if (n1.isLiteral()) {
Object v1 = n1.getLiteralValue();
if (v1 instanceof Number) {
Number nv1 = (Number) v1;
if (maxVal == null) {
maxVal = nv1;
} else {
if (v1 instanceof Float || v1 instanceof Double) {
double pwd = nv1.doubleValue();
if (pwd > ((Number) maxVal).doubleValue()) {
maxVal = nv1;
}
allLongs = false;
} else if (v1 instanceof Integer || v1 instanceof Long) {
long pwd = nv1.longValue();
if (pwd > ((Number) maxVal).doubleValue()) {
maxVal = nv1;
}
}
}
} else if (v1 instanceof XSDDateTime) {
if (maxVal == null) {
maxVal = v1;
} else if (maxVal instanceof XSDDateTime) {
if (((XSDDateTime) maxVal).compareTo((XSDDateTime) v1) < 0) {
maxVal = v1;
}
} else {
throw new BuiltinException(
this,
context,
"Can't compare datetime ("
+ v1.toString()
+ ") with non-datetime value ("
+ maxVal.toString()
+ ")");
}
} else {
return false;
}
}
} // end for
} else {
Node n1 = getArg(0, args, context);
if (n1 == null || n1.equals(RDF.Nodes.nil)) {
return false;
} else {
maxVal = maxOfList(n1, context);
}
}
if (maxVal == null) {
return false;
}
if (maxVal instanceof Float) {
min = Utils.makeFloatNode(((Number) maxVal).floatValue());
} else if (maxVal instanceof Double) {
min = Util.makeDoubleNode(((Number) maxVal).doubleValue());
} else if (maxVal instanceof XSDDateTime) {
min = Utils.makeXSDDateTimeNode((XSDDateTime) maxVal);
} else if (maxVal instanceof Integer) {
min = Util.makeIntNode(((Number) maxVal).intValue());
} else {
min = Util.makeLongNode(((Number) maxVal).longValue());
}
return env.bind(args[length - 1], min);
}
