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