edu.isi.powerloom.extensions.timepoint
Class Timepoint

java.lang.Object
  edu.isi.powerloom.extensions.timepoint.Timepoint

public class Timepoint
extends java.lang.Object

Field Summary

static StellaHashTable	$DATE_TIME_HASH_TABLE$ Table for interning date-time logic wrappers
static Keyword	KWD_CLOSED
static Keyword	KWD_COMPUTED
static Keyword	KWD_FRIDAY
static Keyword	KWD_MONDAY
static Keyword	KWD_RELATION_COMPUTATION
static Keyword	KWD_RELATION_CONSTRAINT
static Keyword	KWD_RELATION_EVALUATOR
static Keyword	KWD_RELATION_SPECIALIST
static Keyword	KWD_SATURDAY
static Keyword	KWD_SUNDAY
static Keyword	KWD_THURSDAY
static Keyword	KWD_TUESDAY
static Keyword	KWD_WEDNESDAY
static Surrogate	SGT_TIMEPOINT_KB_DURATION_OF
static Surrogate	SGT_TIMEPOINT_KB_FRIDAY
static Surrogate	SGT_TIMEPOINT_KB_MONDAY
static Surrogate	SGT_TIMEPOINT_KB_SATURDAY
static Surrogate	SGT_TIMEPOINT_KB_SUNDAY
static Surrogate	SGT_TIMEPOINT_KB_THURSDAY
static Surrogate	SGT_TIMEPOINT_KB_TIMEPOINT_OF
static Surrogate	SGT_TIMEPOINT_KB_TUESDAY
static Surrogate	SGT_TIMEPOINT_KB_WEDNESDAY
static Symbol	SYM_PL_KERNEL_KB_COMPUTATION_SPECIALIST
static Symbol	SYM_PL_KERNEL_KB_CONSTRAINT_SPECIALIST
static Symbol	SYM_STELLA_TRUE
static Symbol	SYM_TIMEPOINT_KB_DAY_OF_WEEK
static Symbol	SYM_TIMEPOINT_KB_DURATION_OF
static Symbol	SYM_TIMEPOINT_KB_TIME_
static Symbol	SYM_TIMEPOINT_KB_TIMEi
static Symbol	SYM_TIMEPOINT_KB_TIMEPOINT
static Symbol	SYM_TIMEPOINT_KB_TIMEPOINT_DATE
static Symbol	SYM_TIMEPOINT_KB_TIMEPOINT_DAY
static Symbol	SYM_TIMEPOINT_KB_TIMEPOINT_DAY_OF_WEEK
static Symbol	SYM_TIMEPOINT_KB_TIMEPOINT_HOUR
static Symbol	SYM_TIMEPOINT_KB_TIMEPOINT_MINUTE
static Symbol	SYM_TIMEPOINT_KB_TIMEPOINT_MONTH
static Symbol	SYM_TIMEPOINT_KB_TIMEPOINT_OF
static Symbol	SYM_TIMEPOINT_KB_TIMEPOINT_OF$
static Symbol	SYM_TIMEPOINT_KB_TIMEPOINT_SECOND
static Symbol	SYM_TIMEPOINT_KB_TIMEPOINT_TIME
static Symbol	SYM_TIMEPOINT_KB_TIMEPOINT_YEAR
static Symbol	SYM_TIMEPOINT_SUPPORT_DURATION_OF_CONSTRAINT
static Symbol	SYM_TIMEPOINT_SUPPORT_pTP
static Symbol	SYM_TIMEPOINT_SUPPORT_STARTUP_TIMEPOINT_KB
static Symbol	SYM_TIMEPOINT_SUPPORT_STARTUP_TIMEPOINT_SUPPORT
static Symbol	SYM_TIMEPOINT_SUPPORT_TIME_MINUS_CONSTRAINT
static Symbol	SYM_TIMEPOINT_SUPPORT_TIME_PLUS_CONSTRAINT
static Symbol	SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DATE_COMPUTATION
static Symbol	SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DAY_COMPUTATION
static Symbol	SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DAY_OF_WEEK_COMPUTATION
static Symbol	SYM_TIMEPOINT_SUPPORT_TIMEPOINT_HOUR_COMPUTATION
static Symbol	SYM_TIMEPOINT_SUPPORT_TIMEPOINT_MINUTE_COMPUTATION
static Symbol	SYM_TIMEPOINT_SUPPORT_TIMEPOINT_MONTH_COMPUTATION
static Symbol	SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF_CONSTRAINT
static Symbol	SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF$_EVALUATOR
static Symbol	SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF$_SPECIALIST
static Symbol	SYM_TIMEPOINT_SUPPORT_TIMEPOINT_SECOND_COMPUTATION
static Symbol	SYM_TIMEPOINT_SUPPORT_TIMEPOINT_TIME_COMPUTATION
static Symbol	SYM_TIMEPOINT_SUPPORT_TIMEPOINT_YEAR_COMPUTATION

Constructor Summary

Timepoint()

Method Summary

static boolean	canBindAllP(Cons plObjects, Cons values)
static LogicObject	dowKeywordToInstance(Keyword dow)
static Stella_Object	durationOfConstraint(IntegerWrapper missingArgument, StringWrapper x1, DateTimeLogicWrapper x2)
static DateTimeLogicWrapper	helpGetCalendarTime(Stella_Object item)
static double	helpGetFloat(Stella_Object obj)
static int	helpGetInteger(Stella_Object obj)
static DateTimeLogicWrapper	helpGetTimeDuration(Stella_Object item)
static DateTimeLogicWrapper	helpGetTimeObject(Stella_Object item)
static double	helpGetTimezone(Stella_Object obj)
static double	helpGetTimeZone(Stella_Object timeZoneSpecifier)
static Stella_Object	timeMinusConstraint(IntegerWrapper missingArgument, DateTimeLogicWrapper x1, DateTimeLogicWrapper x2, DateTimeLogicWrapper x3)
static Stella_Object	timePlusConstraint(IntegerWrapper missingArgument, DateTimeLogicWrapper x1, DateTimeLogicWrapper x2, DateTimeLogicWrapper x3)
static DateTimeLogicWrapper	timepointOf$Computation(IntegerWrapper yy, IntegerWrapper mm, IntegerWrapper dd, IntegerWrapper hr, IntegerWrapper min, NumberWrapper sec, Stella_Object tz)
static void	timepointOf$Evaluator(Proposition self)
static Keyword	timepointOf$Specialist(ControlFrame frame, Keyword lastmove)
static Stella_Object	timepointOfConstraint(IntegerWrapper missingArgument, StringWrapper x1, DateTimeLogicWrapper x2)
static DateTimeLogicWrapper	wrapDateTime(DateTimeObject value) Return an interned LOGIC-WRAPPER for value.

Methods inherited from class java.lang.Object

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

Field Detail

$DATE_TIME_HASH_TABLE$

public static StellaHashTable $DATE_TIME_HASH_TABLE$

Table for interning date-time logic wrappers

SGT_TIMEPOINT_KB_TIMEPOINT_OF

public static Surrogate SGT_TIMEPOINT_KB_TIMEPOINT_OF

SGT_TIMEPOINT_KB_DURATION_OF

public static Surrogate SGT_TIMEPOINT_KB_DURATION_OF

KWD_MONDAY

public static Keyword KWD_MONDAY

SGT_TIMEPOINT_KB_MONDAY

public static Surrogate SGT_TIMEPOINT_KB_MONDAY

KWD_TUESDAY

public static Keyword KWD_TUESDAY

SGT_TIMEPOINT_KB_TUESDAY

public static Surrogate SGT_TIMEPOINT_KB_TUESDAY

KWD_WEDNESDAY

public static Keyword KWD_WEDNESDAY

SGT_TIMEPOINT_KB_WEDNESDAY

public static Surrogate SGT_TIMEPOINT_KB_WEDNESDAY

KWD_THURSDAY

public static Keyword KWD_THURSDAY

SGT_TIMEPOINT_KB_THURSDAY

public static Surrogate SGT_TIMEPOINT_KB_THURSDAY

KWD_FRIDAY

public static Keyword KWD_FRIDAY

SGT_TIMEPOINT_KB_FRIDAY

public static Surrogate SGT_TIMEPOINT_KB_FRIDAY

KWD_SATURDAY

public static Keyword KWD_SATURDAY

SGT_TIMEPOINT_KB_SATURDAY

public static Surrogate SGT_TIMEPOINT_KB_SATURDAY

KWD_SUNDAY

public static Keyword KWD_SUNDAY

SGT_TIMEPOINT_KB_SUNDAY

public static Surrogate SGT_TIMEPOINT_KB_SUNDAY

SYM_TIMEPOINT_SUPPORT_STARTUP_TIMEPOINT_SUPPORT

public static Symbol SYM_TIMEPOINT_SUPPORT_STARTUP_TIMEPOINT_SUPPORT

SYM_TIMEPOINT_KB_TIMEPOINT

public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT

SYM_TIMEPOINT_KB_DAY_OF_WEEK

public static Symbol SYM_TIMEPOINT_KB_DAY_OF_WEEK

KWD_CLOSED

public static Keyword KWD_CLOSED

SYM_STELLA_TRUE

public static Symbol SYM_STELLA_TRUE

SYM_TIMEPOINT_KB_TIMEPOINT_OF

public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_OF

SYM_TIMEPOINT_SUPPORT_pTP

public static Symbol SYM_TIMEPOINT_SUPPORT_pTP

KWD_COMPUTED

public static Keyword KWD_COMPUTED

KWD_RELATION_CONSTRAINT

public static Keyword KWD_RELATION_CONSTRAINT

SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF_CONSTRAINT

public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF_CONSTRAINT

KWD_RELATION_SPECIALIST

public static Keyword KWD_RELATION_SPECIALIST

SYM_PL_KERNEL_KB_CONSTRAINT_SPECIALIST

public static Symbol SYM_PL_KERNEL_KB_CONSTRAINT_SPECIALIST

SYM_TIMEPOINT_KB_DURATION_OF

public static Symbol SYM_TIMEPOINT_KB_DURATION_OF

SYM_TIMEPOINT_SUPPORT_DURATION_OF_CONSTRAINT

public static Symbol SYM_TIMEPOINT_SUPPORT_DURATION_OF_CONSTRAINT

SYM_TIMEPOINT_KB_TIME_

public static Symbol SYM_TIMEPOINT_KB_TIME_

SYM_TIMEPOINT_SUPPORT_TIME_MINUS_CONSTRAINT

public static Symbol SYM_TIMEPOINT_SUPPORT_TIME_MINUS_CONSTRAINT

SYM_TIMEPOINT_KB_TIMEi

public static Symbol SYM_TIMEPOINT_KB_TIMEi

SYM_TIMEPOINT_SUPPORT_TIME_PLUS_CONSTRAINT

public static Symbol SYM_TIMEPOINT_SUPPORT_TIME_PLUS_CONSTRAINT

SYM_TIMEPOINT_KB_TIMEPOINT_OF$

public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_OF$

KWD_RELATION_EVALUATOR

public static Keyword KWD_RELATION_EVALUATOR

SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF$_EVALUATOR

public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF$_EVALUATOR

SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF$_SPECIALIST

public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_OF$_SPECIALIST

SYM_TIMEPOINT_KB_TIMEPOINT_YEAR

public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_YEAR

KWD_RELATION_COMPUTATION

public static Keyword KWD_RELATION_COMPUTATION

SYM_TIMEPOINT_SUPPORT_TIMEPOINT_YEAR_COMPUTATION

public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_YEAR_COMPUTATION

SYM_PL_KERNEL_KB_COMPUTATION_SPECIALIST

public static Symbol SYM_PL_KERNEL_KB_COMPUTATION_SPECIALIST

SYM_TIMEPOINT_KB_TIMEPOINT_MONTH

public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_MONTH

SYM_TIMEPOINT_SUPPORT_TIMEPOINT_MONTH_COMPUTATION

public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_MONTH_COMPUTATION

SYM_TIMEPOINT_KB_TIMEPOINT_DAY

public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_DAY

SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DAY_COMPUTATION

public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DAY_COMPUTATION

SYM_TIMEPOINT_KB_TIMEPOINT_DAY_OF_WEEK

public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_DAY_OF_WEEK

SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DAY_OF_WEEK_COMPUTATION

public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DAY_OF_WEEK_COMPUTATION

SYM_TIMEPOINT_KB_TIMEPOINT_HOUR

public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_HOUR

SYM_TIMEPOINT_SUPPORT_TIMEPOINT_HOUR_COMPUTATION

public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_HOUR_COMPUTATION

SYM_TIMEPOINT_KB_TIMEPOINT_MINUTE

public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_MINUTE

SYM_TIMEPOINT_SUPPORT_TIMEPOINT_MINUTE_COMPUTATION

public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_MINUTE_COMPUTATION

SYM_TIMEPOINT_KB_TIMEPOINT_SECOND

public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_SECOND

SYM_TIMEPOINT_SUPPORT_TIMEPOINT_SECOND_COMPUTATION

public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_SECOND_COMPUTATION

SYM_TIMEPOINT_KB_TIMEPOINT_DATE

public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_DATE

SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DATE_COMPUTATION

public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_DATE_COMPUTATION

SYM_TIMEPOINT_KB_TIMEPOINT_TIME

public static Symbol SYM_TIMEPOINT_KB_TIMEPOINT_TIME

SYM_TIMEPOINT_SUPPORT_TIMEPOINT_TIME_COMPUTATION

public static Symbol SYM_TIMEPOINT_SUPPORT_TIMEPOINT_TIME_COMPUTATION

SYM_TIMEPOINT_SUPPORT_STARTUP_TIMEPOINT_KB

public static Symbol SYM_TIMEPOINT_SUPPORT_STARTUP_TIMEPOINT_KB

Constructor Detail

Timepoint

public Timepoint()

Method Detail

wrapDateTime

public static DateTimeLogicWrapper wrapDateTime(DateTimeObject value)

Return an interned LOGIC-WRAPPER for value. This assures us that all logic-wrapped DATE-TIME-OBJECTs are the same object.

Parameters:

value -

Returns:

DateTimeLogicWrapper

helpGetCalendarTime

public static DateTimeLogicWrapper helpGetCalendarTime(Stella_Object item)

helpGetTimeDuration

public static DateTimeLogicWrapper helpGetTimeDuration(Stella_Object item)

helpGetTimeObject

public static DateTimeLogicWrapper helpGetTimeObject(Stella_Object item)

helpGetInteger

public static int helpGetInteger(Stella_Object obj)

helpGetFloat

public static double helpGetFloat(Stella_Object obj)

helpGetTimezone

public static double helpGetTimezone(Stella_Object obj)

canBindAllP

public static boolean canBindAllP(Cons plObjects,
                                  Cons values)

timepointOfConstraint

public static Stella_Object timepointOfConstraint(IntegerWrapper missingArgument,
                                                  StringWrapper x1,
                                                  DateTimeLogicWrapper x2)

timepointOf$Computation

public static DateTimeLogicWrapper timepointOf$Computation(IntegerWrapper yy,
                                                           IntegerWrapper mm,
                                                           IntegerWrapper dd,
                                                           IntegerWrapper hr,
                                                           IntegerWrapper min,
                                                           NumberWrapper sec,
                                                           Stella_Object tz)

timepointOf$Evaluator

public static void timepointOf$Evaluator(Proposition self)

timepointOf$Specialist

public static Keyword timepointOf$Specialist(ControlFrame frame,
                                             Keyword lastmove)

durationOfConstraint

public static Stella_Object durationOfConstraint(IntegerWrapper missingArgument,
                                                 StringWrapper x1,
                                                 DateTimeLogicWrapper x2)

timeMinusConstraint

public static Stella_Object timeMinusConstraint(IntegerWrapper missingArgument,
                                                DateTimeLogicWrapper x1,
                                                DateTimeLogicWrapper x2,
                                                DateTimeLogicWrapper x3)

timePlusConstraint

public static Stella_Object timePlusConstraint(IntegerWrapper missingArgument,
                                               DateTimeLogicWrapper x1,
                                               DateTimeLogicWrapper x2,
                                               DateTimeLogicWrapper x3)

helpGetTimeZone

public static double helpGetTimeZone(Stella_Object timeZoneSpecifier)

dowKeywordToInstance

public static LogicObject dowKeywordToInstance(Keyword dow)