tools.jinniengineanswer
Class JinniEngineObjectAnswer

java.lang.Object
  tools.jinniengineanswer.JinniEngineObjectAnswer

public class JinniEngineObjectAnswer
extends java.lang.Object

This is an answer object used to check out a 'static' answer given by the JinnIde server which allows one using the JinnIde server as validation system or framework. It basically serves to find true or false anwers through the isValid method. More detailed answers are still simply dealt with using the getAnswer method which just returns the answer of Jinni as a String. Note that we keep a hash map of answer objects which allows using this framework for object predicate calls using trace, all and other modes including multiple threads on both sides! In comparison the original Jinni method with get_answer is restricted to a single answer mode and non-object predicate calls.

Version:

Cassandra

Author:

Wolfgang Chico Toepfer

Constructor Summary

JinniEngineObjectAnswer()

Method Summary

static JinniEngineAnswer	getAnswer(java.lang.String uniqueID) This is for a more general application where more than just a true or false is needed as output information.
static void	setAnswer(JinniEngineAnswer anAnswer, java.lang.String uniqueID) Sets the query response; should only be used on the pure Prolog Jinni side

Methods inherited from class java.lang.Object

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

Constructor Detail

JinniEngineObjectAnswer

public JinniEngineObjectAnswer()

Method Detail

getAnswer

public static JinniEngineAnswer getAnswer(java.lang.String uniqueID)

This is for a more general application where more than just a true or false is needed as output information. Still it is a simple answer as no support for evaluating single logic variables is given which might be next though..

Returns:

contains the query response of Jinni which is related to the query of this answer object

Throws:

JinniEngineException

setAnswer

public static void setAnswer(JinniEngineAnswer anAnswer,
                             java.lang.String uniqueID)

Sets the query response; should only be used on the pure Prolog Jinni side

Parameters:

anAnswer - query response of Jinni