zeus.concepts.fn
Class DateFn

java.lang.Object
  zeus.concepts.fn.ValueFunction
      zeus.concepts.fn.DateFn

All Implemented Interfaces:

PrimitiveFn

public class DateFn

extends ValueFunction

implements PrimitiveFn

Field Summary

protected java.lang.String	arg
protected java.util.Calendar	calendar
(package private) static int	DAY
protected static java.lang.String[]	DAY_LIST
(package private) static int	DAY_OF_WEEK
(package private) static int	INTERVAL
(package private) static java.lang.String[]	METHOD_LIST
(package private) static int	MONTH
protected static java.lang.String[]	MONTH_LIST
(package private) static int	NAME_OF_MONTH
(package private) static int	YEAR

Fields inherited from class zeus.concepts.fn.ValueFunction

AND, ARITH, BOOL, COMP, CONS, CONSB, DATE, ELSE, FACT, FIELD, FUNC, ID, ID_MAX, ID_MIN, IMPLY, INT, IS_DETERMINATE, LAND, LNOT, LOR, LVAR, METH, OR, PD_MAX, PD_MIN, precedence, REAL, TIME, TO_STRING, type, TYPE, VECT

Constructor Summary

DateFn(java.lang.String arg)

Method Summary

boolean	equals(java.lang.Object any)
(package private) java.lang.Object	getArg(int position)
(package private) java.util.Calendar	getCalendar()
(package private) ValueFunction	invokeMethod(java.lang.String method, java.util.Vector args)
boolean	isDeterminate()
boolean	less(java.lang.Object any)
ValueFunction	mirror()
boolean	references(ValueFunction var)
java.lang.String	toString()
(package private) ValueFunction	unify(ValueFunction fn, Bindings b)

Methods inherited from class zeus.concepts.fn.ValueFunction

baseID, duplicate, duplicate, evaluationFn, getArg, getID, getPD, normalize, resolve, resolve, simplify, unifiesWith, variables

Methods inherited from class java.lang.Object

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

Field Detail

arg

protected java.lang.String arg

calendar

protected java.util.Calendar calendar

METHOD_LIST

static final java.lang.String[] METHOD_LIST

DAY

static final int DAY

See Also:

Constant Field Values

DAY_OF_WEEK

static final int DAY_OF_WEEK

See Also:

Constant Field Values

MONTH

static final int MONTH

See Also:

Constant Field Values

NAME_OF_MONTH

static final int NAME_OF_MONTH

See Also:

Constant Field Values

YEAR

static final int YEAR

See Also:

Constant Field Values

INTERVAL

static final int INTERVAL

See Also:

Constant Field Values

DAY_LIST

protected static final java.lang.String[] DAY_LIST

MONTH_LIST

protected static final java.lang.String[] MONTH_LIST

Constructor Detail

DateFn

public DateFn(java.lang.String arg)

Method Detail

mirror

public ValueFunction mirror()

Specified by:

mirror in class ValueFunction

toString

public java.lang.String toString()

getArg

java.lang.Object getArg(int position)

Specified by:

getArg in class ValueFunction

isDeterminate

public boolean isDeterminate()

Specified by:

isDeterminate in class ValueFunction

equals

public boolean equals(java.lang.Object any)

less

public boolean less(java.lang.Object any)

Specified by:

less in interface PrimitiveFn

unify

ValueFunction unify(ValueFunction fn,
                    Bindings b)

Specified by:

unify in class ValueFunction

references

public boolean references(ValueFunction var)

Specified by:

references in class ValueFunction

getCalendar

java.util.Calendar getCalendar()

invokeMethod

ValueFunction invokeMethod(java.lang.String method,
                           java.util.Vector args)

Overrides:

invokeMethod in class ValueFunction