org.jpc.engine.logtalk

Class LogtalkEngine

java.lang.Object

org.jpc.engine.prolog.AbstractPrologEngine

org.jpc.engine.prolog.PrologEngineProxy

org.jpc.engine.logtalk.LogtalkEngine

All Implemented Interfaces:

PrologDatabase, PrologEngine

public class LogtalkEngine
extends PrologEngineProxy

Field Summary

Fields inherited from class org.jpc.engine.prolog.AbstractPrologEngine

ALL_RESULTS_VAR

Constructor Summary

Constructors

Constructor and Description
LogtalkEngine(PrologEngine prologEngine)

Method Summary

Modifier and Type	Method and Description
Query	abolishCategory(Term category)
Query	abolishEvents(Term event, Term object, Term message, Term sender, Term monitor)
Query	abolishObject(Term object)
Query	abolishProtocol(Term protocol)
LogtalkEngine	asLogtalkEngine()
Query	categoryProperty(Term category, Term property)
Query	complementsObject(Term category, Term object)
Query	conformsToProtocol(Term object, Term protocol)
Query	conformsToProtocol(Term object, Term protocol, Term scope)
Query	createCategory(Term category, Term relations, Term directives, Term Clauses)
Query	createObject(Term object, Term relations, Term directives, Term Clauses)
Query	createProtocol(Term protocol, Term relations, Term directives)
Query	currentCategory(Term category)
Query	currentEvent(Term event, Term object, Term message, Term sender, Term monitor)
String	currentLogtalkFlag(LogtalkFlag flag)
Query	currentObject(Term term)
List<LogtalkObject>	currentObjects()
Query	currentProtocol(Term protocol)
Query	defineEvents(Term event, Term object, Term message, Term sender, Term monitor)
Query	extendsCategory(Term child, Term parent)
Query	extendsCategory(Term child, Term parent, Term scope)
Query	extendsObject(Term child, Term parent)
Query	extendsObject(Term child, Term parent, Term scope)
Query	extendsProtocol(Term child, Term parent)
Query	extendsProtocol(Term child, Term parent, Term scope)
Map<String,LogtalkLibrary>	getLibraries()
Query	implementsProtocol(Term object, Term protocol)
Query	implementsProtocol(Term object, Term protocol, Term scope)
Query	importsCategory(Term object, Term category)
Query	importsCategory(Term object, Term category, Term scope)
Query	instantiatesClass(Term instance, Term clazz)
Query	instantiatesClass(Term instance, Term clazz, Term scope)
boolean	isLogtalkLoaded()
boolean	logtalkLoad(List<? extends Term> terms)
boolean	logtalkLoad(String... resources)
boolean	logtalkLoad(Term... terms)
List<Integer>	objectArities(String objectName)
Query	objectProperty(Term object, Term property)
Query	protocolProperty(Term protocol, Term property)
boolean	setLogtalkFlag(LogtalkFlag flag, String value)
Query	specializesClass(Term clazz, Term superClass)
Query	specializesClass(Term clazz, Term superClass, Term scope)

Methods inherited from class org.jpc.engine.prolog.PrologEngineProxy

asTerm, basicQuery, close, getPrologEngine, isCloseable, setPrologEngine, threadModel

Methods inherited from class org.jpc.engine.prolog.AbstractPrologEngine

abolish, allSucceed, asserta, asserta, assertz, assertz, asTerm, asTerms, asTerms, bagof, bagof, cd, cd, clause, command, command, command, command, currentOp, currentPrologFlag, currentPrologFlag, currentPrologFlag, ensureLoaded, ensureLoaded, ensureLoaded, findall, findall, flushOutput, forall, getOperatorsContext, isBinaryOperator, isUnaryOperator, loadJpc, loadJpcForLogtalk, loadLogtalkFiles, loadPrologFiles, prologDialect, query, query, query, query, query, query, query, query, retract, retractAll, setof, setof, setPrologFlag, setPrologFlag, unify, unify, withLogtalk

Methods inherited from class java.lang.Object

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

Constructor Detail

LogtalkEngine

public LogtalkEngine(PrologEngine prologEngine)

Method Detail

isLogtalkLoaded

public boolean isLogtalkLoaded()

logtalkLoad

public boolean logtalkLoad(List<? extends Term> terms)

logtalkLoad

public boolean logtalkLoad(Term... terms)

logtalkLoad

public boolean logtalkLoad(String... resources)

currentLogtalkFlag

public String currentLogtalkFlag(LogtalkFlag flag)

setLogtalkFlag

public boolean setLogtalkFlag(LogtalkFlag flag,
                              String value)

getLibraries

public Map<String,LogtalkLibrary> getLibraries()

currentObject

public Query currentObject(Term term)

currentObjects

public List<LogtalkObject> currentObjects()

objectArities

public List<Integer> objectArities(String objectName)

Parameters:

objectName -

Returns:

a list of arities of all the Logtalk objects in the logic side having as id the parameter of the Java method

createObject

public Query createObject(Term object,
                          Term relations,
                          Term directives,
                          Term Clauses)

abolishObject

public Query abolishObject(Term object)

instantiatesClass

public Query instantiatesClass(Term instance,
                               Term clazz)

instantiatesClass

public Query instantiatesClass(Term instance,
                               Term clazz,
                               Term scope)

specializesClass

public Query specializesClass(Term clazz,
                              Term superClass)

specializesClass

public Query specializesClass(Term clazz,
                              Term superClass,
                              Term scope)

extendsObject

public Query extendsObject(Term child,
                           Term parent)

extendsObject

public Query extendsObject(Term child,
                           Term parent,
                           Term scope)

importsCategory

public Query importsCategory(Term object,
                             Term category)

importsCategory

public Query importsCategory(Term object,
                             Term category,
                             Term scope)

implementsProtocol

public Query implementsProtocol(Term object,
                                Term protocol)

implementsProtocol

public Query implementsProtocol(Term object,
                                Term protocol,
                                Term scope)

conformsToProtocol

public Query conformsToProtocol(Term object,
                                Term protocol)

conformsToProtocol

public Query conformsToProtocol(Term object,
                                Term protocol,
                                Term scope)

complementsObject

public Query complementsObject(Term category,
                               Term object)

objectProperty

public Query objectProperty(Term object,
                            Term property)

currentProtocol

public Query currentProtocol(Term protocol)

createProtocol

public Query createProtocol(Term protocol,
                            Term relations,
                            Term directives)

abolishProtocol

public Query abolishProtocol(Term protocol)

extendsProtocol

public Query extendsProtocol(Term child,
                             Term parent)

extendsProtocol

public Query extendsProtocol(Term child,
                             Term parent,
                             Term scope)

protocolProperty

public Query protocolProperty(Term protocol,
                              Term property)

currentCategory

public Query currentCategory(Term category)

createCategory

public Query createCategory(Term category,
                            Term relations,
                            Term directives,
                            Term Clauses)

abolishCategory

public Query abolishCategory(Term category)

extendsCategory

public Query extendsCategory(Term child,
                             Term parent)

extendsCategory

public Query extendsCategory(Term child,
                             Term parent,
                             Term scope)

categoryProperty

public Query categoryProperty(Term category,
                              Term property)

currentEvent

public Query currentEvent(Term event,
                          Term object,
                          Term message,
                          Term sender,
                          Term monitor)

defineEvents

public Query defineEvents(Term event,
                          Term object,
                          Term message,
                          Term sender,
                          Term monitor)

abolishEvents

public Query abolishEvents(Term event,
                           Term object,
                           Term message,
                           Term sender,
                           Term monitor)

asLogtalkEngine

public LogtalkEngine asLogtalkEngine()

Specified by:

asLogtalkEngine in interface PrologEngine

Overrides:

asLogtalkEngine in class AbstractPrologEngine