org.provarules.reference2.builtins

Class ProvaSparqlDisconnectImpl

java.lang.Object

org.provarules.reference2.builtins.ProvaBuiltinImpl

org.provarules.reference2.builtins.ProvaSparqlDisconnectImpl

All Implemented Interfaces:

ProvaBuiltin, ProvaPredicate

public class ProvaSparqlDisconnectImpl
extends ProvaBuiltinImpl

sparql_disconnect built-in.
Usage: sparql_disconnect(Connection).
sparql_connect disconnects the `RepositoryConnection` stored in `Connection`.

Author:

Malte Rohde

Field Summary

Fields inherited from class org.provarules.reference2.builtins.ProvaBuiltinImpl

kb

Constructor Summary

Constructors

Constructor and Description
ProvaSparqlDisconnectImpl(ProvaKnowledgeBase kb)

Method Summary

Modifier and Type	Method and Description
int	getArity()
boolean	process(ProvaReagent prova, ProvaDerivationNode node, ProvaGoal goal, java.util.List<ProvaLiteral> newLiterals, ProvaRule query)

Methods inherited from class org.provarules.reference2.builtins.ProvaBuiltinImpl

addClause, addClauseA, equals, getClauseSet, getKnowledgeBase, getSymbol, process_, setKnowledgeBase

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProvaSparqlDisconnectImpl

public ProvaSparqlDisconnectImpl(ProvaKnowledgeBase kb)

Method Detail

getArity

public int getArity()

Specified by:

getArity in interface ProvaPredicate

Overrides:

getArity in class ProvaBuiltinImpl

process

public boolean process(ProvaReagent prova,
                       ProvaDerivationNode node,
                       ProvaGoal goal,
                       java.util.List<ProvaLiteral> newLiterals,
                       ProvaRule query)

Specified by:

process in interface ProvaBuiltin

Specified by:

process in class ProvaBuiltinImpl