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