Java Doc for RuleClauseCode.java in  » RSS-RDF » Jena-2.5.5 » com » hp » hpl » jena » reasoner » rulesys » impl » Java Source Code / Java DocumentationJava Source Code and Java Documentation

Java Source Code / Java Documentation
1. 6.0 JDK Core
2. 6.0 JDK Modules
3. 6.0 JDK Modules com.sun
4. 6.0 JDK Modules com.sun.java
5. 6.0 JDK Modules sun
6. 6.0 JDK Platform
7. Ajax
8. Apache Harmony Java SE
9. Aspect oriented
10. Authentication Authorization
11. Blogger System
12. Build
13. Byte Code
14. Cache
15. Chart
16. Chat
17. Code Analyzer
18. Collaboration
19. Content Management System
20. Database Client
21. Database DBMS
22. Database JDBC Connection Pool
23. Database ORM
24. Development
25. EJB Server geronimo
26. EJB Server GlassFish
27. EJB Server JBoss 4.2.1
28. EJB Server resin 3.1.5
29. ERP CRM Financial
30. ESB
31. Forum
32. GIS
33. Graphic Library
34. Groupware
35. HTML Parser
36. IDE
37. IDE Eclipse
38. IDE Netbeans
39. Installer
40. Internationalization Localization
41. Inversion of Control
42. Issue Tracking
43. J2EE
44. JBoss
45. JMS
46. JMX
47. Library
48. Mail Clients
49. Net
50. Parser
51. PDF
52. Portal
53. Profiler
54. Project Management
55. Report
56. RSS RDF
57. Rule Engine
58. Science
59. Scripting
60. Search Engine
61. Security
62. Sevlet Container
63. Source Control
64. Swing Library
65. Template Engine
66. Test Coverage
67. Testing
68. UML
69. Web Crawler
70. Web Framework
71. Web Mail
72. Web Server
73. Web Services
74. Web Services apache cxf 2.0.1
75. Web Services AXIS2
76. Wiki Engine
77. Workflow Engines
78. XML
79. XML UI
Java
Java Tutorial
Java Open Source
Jar File Download
Java Articles
Java Products
Java by API
Photoshop Tutorials
Maya Tutorials
Flash Tutorials
3ds-Max Tutorials
Illustrator Tutorials
GIMP Tutorials
C# / C Sharp
C# / CSharp Tutorial
C# / CSharp Open Source
ASP.Net
ASP.NET Tutorial
JavaScript DHTML
JavaScript Tutorial
JavaScript Reference
HTML / CSS
HTML CSS Reference
C / ANSI-C
C Tutorial
C++
C++ Tutorial
Ruby
PHP
Python
Python Tutorial
Python Open Source
SQL Server / T-SQL
SQL Server / T-SQL Tutorial
Oracle PL / SQL
Oracle PL/SQL Tutorial
PostgreSQL
SQL / MySQL
MySQL Tutorial
VB.Net
VB.Net Tutorial
Flash / Flex / ActionScript
VBA / Excel / Access / Word
XML
XML Tutorial
Microsoft Office PowerPoint 2007 Tutorial
Microsoft Office Excel 2007 Tutorial
Microsoft Office Word 2007 Tutorial
Java Source Code / Java Documentation » RSS RDF » Jena 2.5.5 » com.hp.hpl.jena.reasoner.rulesys.impl 
Source Cross Reference  Class Diagram Java Document (Java Doc) 


java.lang.Object
   com.hp.hpl.jena.reasoner.rulesys.impl.RuleClauseCode

RuleClauseCode
public class RuleClauseCode (Code)
Object used to hold the compiled bytecode stream for a single rule clause. This uses a slightly WAM-like code stream but gluing of the clauses together into disjunctions is done in the interpreter loop so a complete predicate is represented as a list of RuleClauseCode objects.
author:
   Dave Reynolds
version:
   $Revision: 1.12 $ on $Date: 2008/01/02 12:06:16 $

Inner Class :static class CompileState
Inner Class :static class TermIndex

Field Summary
final public static  byteALLOCATE
    
final public static  byteCALL_BUILTIN
    
final public static  byteCALL_PREDICATE
    
final public static  byteCALL_PREDICATE_INDEX
    
final public static  byteCALL_TABLED
    
final public static  byteCALL_TRIPLE_MATCH
    
final public static  byteCALL_WILD_TABLED
    
final public static  byteCLEAR_ARG
    
final public static  byteCLEAR_TEMP
    
final public static  byteCLEAR_VARIABLE
    
final public static  byteGET_CONSTANT
    
final public static  byteGET_FUNCTOR
    
final public static  byteGET_TEMP
    
final public static  byteGET_VARIABLE
    
final public static  byteLAST_CALL_PREDICATE
    
final public static  byteMAKE_FUNCTOR
    
final public static  intMAX_ARGUMENT_VARS
     The maximum number of argument variables allowed in a single goal Future refactorings will remove this restriction.
final public static  intMAX_PERMANENT_VARS
     The maximum number of permanent variables allowed in a single rule clause.
final public static  intMAX_TEMPORARY_VARS
     The maximum number of temporary variables allowed in a single rule clause.
final public static  bytePROCEED
    
final public static  bytePUT_CONSTANT
    
final public static  bytePUT_DEREF_VARIABLE
    
final public static  bytePUT_NEW_VARIABLE
    
final public static  bytePUT_TEMP
    
final public static  bytePUT_VARIABLE
    
final public static  byteTEST_BOUND
    
final public static  byteTEST_UNBOUND
    
final public static  byteUNIFY_TEMP
    
final public static  byteUNIFY_VARIABLE
    
protected  Object[]args
    
protected  byte[]code
    
public static  RuleClauseCodereturnCodeBlock
    
protected  Rulerule
    
protected  int[]termStart
    

Constructor Summary
public  RuleClauseCode(Rule rule)
     Constructor.

Method Summary
public  voidcompile(LPRuleStore ruleStore)
     Compile the rule into byte code.
public  Object[]getArgs()
     Return the argument vector associated with this clauses' byte codes.
public  byte[]getCode()
     Return the byte code vector for this clause.
public  RulegetRule()
     Return the rule from which this code block was compiled.
public static  voidmain(String[] args)
     Debug support - not unit testing.
public  voidprint(PrintStream out)
    
public  inttermIndex(int pc)
     Translate a program counter offset to the index of the corresponding body term (or -1 if a head term or a dummy rule).
public  StringtoString()
     Print clause as rule for tracing.

Field Detail
ALLOCATE
final public static byte ALLOCATE(Code)
Allocate a new environment frame



CALL_BUILTIN
final public static byte CALL_BUILTIN(Code)
call a built-in operation defined by a rule clause (clauseIndex(



CALL_PREDICATE
final public static byte CALL_PREDICATE(Code)
call a predicate code object (predicateCodeList)



CALL_PREDICATE_INDEX
final public static byte CALL_PREDICATE_INDEX(Code)
call a predicate code object with run time indexing (predicateCodeList)



CALL_TABLED
final public static byte CALL_TABLED(Code)
call a table code object ()



CALL_TRIPLE_MATCH
final public static byte CALL_TRIPLE_MATCH(Code)
call a pure triple match (predicate)



CALL_WILD_TABLED
final public static byte CALL_WILD_TABLED(Code)
call a table code object from a wildcard ()



CLEAR_ARG
final public static byte CLEAR_ARG(Code)
reset an argument to an unbound variable (Ai)



CLEAR_TEMP
final public static byte CLEAR_TEMP(Code)
reset a temp variable to an unbound variable (Ti)



CLEAR_VARIABLE
final public static byte CLEAR_VARIABLE(Code)
reset a permanent variable to an unbound variable (Yi)



GET_CONSTANT
final public static byte GET_CONSTANT(Code)
fetch constant argument (const, Ai)



GET_FUNCTOR
final public static byte GET_FUNCTOR(Code)
deconstruct a functor argument (functor)



GET_TEMP
final public static byte GET_TEMP(Code)
fetch temporary variable argument (Ti, Ai)



GET_VARIABLE
final public static byte GET_VARIABLE(Code)
fetch permanent variable argument, first occurance (Yi, Ai)



LAST_CALL_PREDICATE
final public static byte LAST_CALL_PREDICATE(Code)
variant on CALL_PREDICATE using the last call optimization, only current used in chain rules



MAKE_FUNCTOR
final public static byte MAKE_FUNCTOR(Code)
create a functor object from a rule template (templateFunctor)



MAX_ARGUMENT_VARS
final public static int MAX_ARGUMENT_VARS(Code)
The maximum number of argument variables allowed in a single goal Future refactorings will remove this restriction.



MAX_PERMANENT_VARS
final public static int MAX_PERMANENT_VARS(Code)
The maximum number of permanent variables allowed in a single rule clause. Now only relevent for initial holding clause.



MAX_TEMPORARY_VARS
final public static int MAX_TEMPORARY_VARS(Code)
The maximum number of temporary variables allowed in a single rule clause.



PROCEED
final public static byte PROCEED(Code)
return from a call, proceeed along AND tree



PUT_CONSTANT
final public static byte PUT_CONSTANT(Code)
put constant value into call parameter (const, Ai)



PUT_DEREF_VARIABLE
final public static byte PUT_DEREF_VARIABLE(Code)
put a dereferenced permanent variable into call parameter ready for BUILTIN call (Yi, Ai)



PUT_NEW_VARIABLE
final public static byte PUT_NEW_VARIABLE(Code)
put permanaent variable into call parameter, first occurance (Yi, Ai)



PUT_TEMP
final public static byte PUT_TEMP(Code)
put temp variable into call parameter (Ti, Ai)



PUT_VARIABLE
final public static byte PUT_VARIABLE(Code)
put permanaent variable into call parameter (Yi, Ai)



TEST_BOUND
final public static byte TEST_BOUND(Code)
Test if an argument is bound (Ai)



TEST_UNBOUND
final public static byte TEST_UNBOUND(Code)
Test if an argument is unbound (Ai)



UNIFY_TEMP
final public static byte UNIFY_TEMP(Code)
fetch temporary variable argument, later occurance (Ti, Ai)



UNIFY_VARIABLE
final public static byte UNIFY_VARIABLE(Code)
fetch permanent variable argument, later occurance (Yi, Ai)



args
protected Object[] args(Code)
Any Object argements needed by the byte codes



code
protected byte[] code(Code)
The byte code sequence



returnCodeBlock
public static RuleClauseCode returnCodeBlock(Code)
Dummy code block which just returns



rule
protected Rule rule(Code)
The rule from which is code was derived



termStart
protected int[] termStart(Code)
starting byte code offset for body terms




Constructor Detail
RuleClauseCode
public RuleClauseCode(Rule rule)(Code)
Constructor.
Parameters:
  rule - the rule to be compiled




Method Detail
compile
public void compile(LPRuleStore ruleStore)(Code)
Compile the rule into byte code.
Parameters:
  ruleStore - the store of LP rules through which calls to other predicatescan be resolved.



getArgs
public Object[] getArgs()(Code)
Return the argument vector associated with this clauses' byte codes.



getCode
public byte[] getCode()(Code)
Return the byte code vector for this clause.



getRule
public Rule getRule()(Code)
Return the rule from which this code block was compiled.



main
public static void main(String[] args)(Code)
Debug support - not unit testing.



print
public void print(PrintStream out)(Code)
Debug helper - list the code to a stream



termIndex
public int termIndex(int pc)(Code)
Translate a program counter offset to the index of the corresponding body term (or -1 if a head term or a dummy rule).



toString
public String toString()(Code)
Print clause as rule for tracing.



Methods inherited from java.lang.Object
native protected Object clone() throws CloneNotSupportedException(Code)(Java Doc)
public boolean equals(Object obj)(Code)(Java Doc)
protected void finalize() throws Throwable(Code)(Java Doc)
final native public Class getClass()(Code)(Java Doc)
native public int hashCode()(Code)(Java Doc)
final native public void notify()(Code)(Java Doc)
final native public void notifyAll()(Code)(Java Doc)
public String toString()(Code)(Java Doc)
final native public void wait(long timeout) throws InterruptedException(Code)(Java Doc)
final public void wait(long timeout, int nanos) throws InterruptedException(Code)(Java Doc)
final public void wait() throws InterruptedException(Code)(Java Doc)

w__w__w___.___j__a___v__a___2s___.c___o___m__ | Contact Us
Copyright 2009 - 12 Demo Source and Support. All rights reserved.
All other trademarks are property of their respective owners.