01: /******************************************************************
02: * File: AllTabled.java
03: * Created by: Dave Reynolds
04: * Created on: 19-Aug-2003
05: *
06: * (c) Copyright 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
07: * [See end of file]
08: * $Id: TableAll.java,v 1.9 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.*;
12: import com.hp.hpl.jena.reasoner.rulesys.*;
13: import com.hp.hpl.jena.graph.*;
14:
15: /**
16: * Arrange that all backchaining goals should be tabled (aka memoized)
17: * by the LP engine.
18: *
19: * @author <a href="mailto:der@hplb.hpl.hp.com">Dave Reynolds</a>
20: * @version $Revision: 1.9 $ on $Date: 2008/01/02 12:06:21 $
21: */
22: public class TableAll extends BaseBuiltin {
23:
24: /**
25: * Return a name for this builtin, normally this will be the name of the
26: * functor that will be used to invoke it.
27: */
28: public String getName() {
29: return "tableAll";
30: }
31:
32: /**
33: * This method is invoked when the builtin is called in a rule body.
34: * @param args the array of argument values for the builtin, this is an array
35: * of Nodes, some of which may be Node_RuleVariables.
36: * @param length the length of the argument list, may be less than the length of the args array
37: * for some rule engines
38: * @param context an execution context giving access to other relevant data
39: */
40: public void headAction(Node[] args, int length, RuleContext context) {
41: InfGraph infgraph = context.getGraph();
42: if (infgraph instanceof FBRuleInfGraph) {
43: ((FBRuleInfGraph) infgraph).setTabled(Node.ANY);
44: } else if (infgraph instanceof LPBackwardRuleInfGraph) {
45: ((LPBackwardRuleInfGraph) infgraph).setTabled(Node.ANY);
46: } else {
47: // Quietly ignore as an irrelevant directive
48: // Could log or throw exception but currently I want to be able to use
49: // the same rule base from different contexts which do and do not need
50: // to know about this.
51: }
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: */
|