01: /******************************************************************
02: * File: ListNotEqual.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: ListNotEqual.java,v 1.9 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: * Test if the two argument lists differ.
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:20 $
19: */
20: public class ListNotEqual 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 "listNotEqual";
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 !ListEqual.listEqual(n0, n1, context);
52: }
53: }
54:
55: /*
56: (c) Copyright 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
57: All rights reserved.
58:
59: Redistribution and use in source and binary forms, with or without
60: modification, are permitted provided that the following conditions
61: are met:
62:
63: 1. Redistributions of source code must retain the above copyright
64: notice, this list of conditions and the following disclaimer.
65:
66: 2. Redistributions in binary form must reproduce the above copyright
67: notice, this list of conditions and the following disclaimer in the
68: documentation and/or other materials provided with the distribution.
69:
70: 3. The name of the author may not be used to endorse or promote products
71: derived from this software without specific prior written permission.
72:
73: THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
74: IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
75: OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
76: IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
77: INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
78: NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
79: DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
80: THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
81: (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
82: THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
83: */
|