Package org.projog.core.predicate.builtin.time

Class ConvertTime

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.time.ConvertTime

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class ConvertTime
extends AbstractSingleResultPredicate

convert_time(X,Y) - converts a timestamp to a textual representation.

Constructor Summary

Constructors

Constructor	Description
ConvertTime()

Method Summary

Modifier and Type	Method	Description
private Atom	createAtom(java.util.Date d)
private java.util.Date	createDate(Term timestamp)
protected boolean	evaluate(Term timestamp, Term text)

Methods inherited from class org.projog.core.predicate.AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.projog.core.predicate.PredicateFactory

isAlwaysCutOnBacktrack

Constructor Detail

ConvertTime

public ConvertTime()

Method Detail

evaluate

protected boolean evaluate(Term timestamp,
                           Term text)

Overrides:

evaluate in class AbstractSingleResultPredicate

createDate

private java.util.Date createDate(Term timestamp)

createAtom

private Atom createAtom(java.util.Date d)