01: /******************************************************************
02: * File: unbound.java
03: * Created by: Dave Reynolds
04: * Created on: 11-May-2003
05: *
06: * (c) Copyright 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
07: * [See end of file]
08: * $Id: Unbound.java,v 1.10 2008/01/02 12:06:20 andy_seaborne Exp $
09: *****************************************************************/package com.hp.hpl.jena.reasoner.rulesys.builtins;
10:
11: import com.hp.hpl.jena.reasoner.rulesys.*;
12: import com.hp.hpl.jena.graph.*;
13:
14: /**
15: * Predicate used to check if a variable has not been bound.
16: *
17: * @author <a href="mailto:der@hplb.hpl.hp.com">Dave Reynolds</a>
18: * @version $Revision: 1.10 $ on $Date: 2008/01/02 12:06:20 $
19: */
20: public class Unbound extends BaseBuiltin {
21:
22: /**
23: * Return a name for this builtin, normally this will be the name of the
24: * functor that will be used to invoke it.
25: */
26: public String getName() {
27: return "unbound";
28: }
29:
30: /**
31: * This method is invoked when the builtin is called in a rule body.
32: * @param args the array of argument values for the builtin, this is an array
33: * of Nodes, some of which may be Node_RuleVariables.
34: * @param length the length of the argument list, may be less than the length of the args array
35: * for some rule engines
36: * @param context an execution context giving access to other relevant data
37: * @return return true if the buildin predicate is deemed to have succeeded in
38: * the current environment
39: */
40: public boolean bodyCall(Node[] args, int length, RuleContext context) {
41: BindingEnvironment env = context.getEnv();
42: for (int i = 0; i < length; i++) {
43: if (!(getArg(i, args, context) instanceof Node_RuleVariable))
44: return false;
45: }
46: return true;
47: }
48:
49: }
50:
51: /*
52: (c) Copyright 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
53: All rights reserved.
54:
55: Redistribution and use in source and binary forms, with or without
56: modification, are permitted provided that the following conditions
57: are met:
58:
59: 1. Redistributions of source code must retain the above copyright
60: notice, this list of conditions and the following disclaimer.
61:
62: 2. Redistributions in binary form must reproduce the above copyright
63: notice, this list of conditions and the following disclaimer in the
64: documentation and/or other materials provided with the distribution.
65:
66: 3. The name of the author may not be used to endorse or promote products
67: derived from this software without specific prior written permission.
68:
69: THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
70: IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
71: OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
72: IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
73: INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
74: NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
75: DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
76: THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
77: (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
78: THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
79: */
|