com.cyc.cycjava.cycl
Class somewhere_cache

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.somewhere_cache

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class somewhere_cache
extends SubLTranslatedFile

Nested Class Summary

Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const16$interArgResultIsa
static SubLObject	$const19$EverythingPSC
static SubLSymbol	$kw20$GAF
static SubLSymbol	$kw21$TRUE
static SubLSymbol	$kw4$UNINITIALIZED
static SubLSymbol	$kw7$YES
static SubLSymbol	$kw8$NO
static SubLSymbol	$kw9$MAYBE
static SubLList	$list0
static SubLList	$list1
static SubLList	$list10
static SubLList	$list12
static SubLObject	$list2
static SubLSymbol	$somewhere_cache_gaf_after_adding_info$ For use by get-after-adding and get-after-removing
static SubLString	$str11$Initializing_all_somewhere_caches
static SubLString	$str17$somewhere_cache_argnum_mismatch_f
static SubLSymbol	$sym13$GAF_ASSERTION_
static SubLSymbol	$sym14$FORT_P
static SubLSymbol	$sym15$_INTER_ARG_RESULT_ISA_SOMEWHERE_CACHE_
static SubLSymbol	$sym18$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym3$_SOME_PRED_ASSERTION_SOMEWHERE_CACHE_
static SubLSymbol	$sym5$SOMEWHERE_CACHED_PRED_P
static SubLSymbol	$sym6$VALID_SOMEWHERE_CACHE_ITEM_
static SubLFile	me
static java.lang.String	myName

Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

EMPTY_SUBL_OBJECT_ARRAY

Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols

ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER

Method Summary

static SubLObject	cache_some_pred_assertion_somewhere(SubLObject v_set, SubLObject gaf)
static SubLObject	clear_all_somewhere_caches()
static SubLObject	declare_somewhere_cache_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_somewhere_cache_file()
static SubLObject	initialize_somewhere_cache(SubLObject pred)
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	load_somewhere_cache_from_stream(SubLObject stream)
static SubLObject	lookup_somewhere_set_for_pred(SubLObject pred, SubLObject initialize_if_uninitializedP)
static SubLObject	recache_some_pred_assertion_somewhere_int(SubLObject pred, SubLObject v_term)
static SubLObject	recache_some_pred_assertion_somewhere(SubLObject argument, SubLObject assertion) 'after-adding' and 'after-removing' for preds in *somewhere-cached-preds-table*.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_somewhere_cache_file()
static SubLObject	some_pred_assertion_somewhere_argnum(SubLObject pred)
static SubLObject	some_pred_assertion_somewhereP_internal(SubLObject pred, SubLObject v_term, SubLObject argnum, SubLObject initialize_if_uninitializedP)
static SubLObject	some_pred_assertion_somewhereP(SubLObject pred, SubLObject v_term, SubLObject argnum, SubLObject initialize_if_uninitializedP) Return T iff there are any true assertions of the form (PRED ...
static SubLObject	somewhere_cache_unbuiltP()
static SubLObject	somewhere_cached_pred_p(SubLObject object)
static SubLObject	valid_somewhere_cache_itemP(SubLObject object)

Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile

extractFunctionNamed

Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile

checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main

Methods inherited from class java.lang.Object

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

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName

See Also:

Constant Field Values

$somewhere_cache_gaf_after_adding_info$

public static SubLSymbol $somewhere_cache_gaf_after_adding_info$

For use by get-after-adding and get-after-removing

$list0

public static final SubLList $list0

$list1

public static final SubLList $list1

$list2

public static final SubLObject $list2

$sym3$_SOME_PRED_ASSERTION_SOMEWHERE_CACHE_

public static final SubLSymbol $sym3$_SOME_PRED_ASSERTION_SOMEWHERE_CACHE_

$kw4$UNINITIALIZED

public static final SubLSymbol $kw4$UNINITIALIZED

$sym5$SOMEWHERE_CACHED_PRED_P

public static final SubLSymbol $sym5$SOMEWHERE_CACHED_PRED_P

$sym6$VALID_SOMEWHERE_CACHE_ITEM_

public static final SubLSymbol $sym6$VALID_SOMEWHERE_CACHE_ITEM_

$kw7$YES

public static final SubLSymbol $kw7$YES

$kw8$NO

public static final SubLSymbol $kw8$NO

$kw9$MAYBE

public static final SubLSymbol $kw9$MAYBE

$list10

public static final SubLList $list10

$str11$Initializing_all_somewhere_caches

public static final SubLString $str11$Initializing_all_somewhere_caches

$list12

public static final SubLList $list12

$sym13$GAF_ASSERTION_

public static final SubLSymbol $sym13$GAF_ASSERTION_

$sym14$FORT_P

public static final SubLSymbol $sym14$FORT_P

$sym15$_INTER_ARG_RESULT_ISA_SOMEWHERE_CACHE_

public static final SubLSymbol $sym15$_INTER_ARG_RESULT_ISA_SOMEWHERE_CACHE_

$const16$interArgResultIsa

public static final SubLObject $const16$interArgResultIsa

$str17$somewhere_cache_argnum_mismatch_f

public static final SubLString $str17$somewhere_cache_argnum_mismatch_f

$sym18$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym18$RELEVANT_MT_IS_EVERYTHING

$const19$EverythingPSC

public static final SubLObject $const19$EverythingPSC

$kw20$GAF

public static final SubLSymbol $kw20$GAF

$kw21$TRUE

public static final SubLSymbol $kw21$TRUE

Method Detail

some_pred_assertion_somewhereP

public static final SubLObject some_pred_assertion_somewhereP(SubLObject pred,
                                                              SubLObject v_term,
                                                              SubLObject argnum,
                                                              SubLObject initialize_if_uninitializedP)

Return T iff there are any true assertions of the form (PRED ... TERM ...) where TERM appears in the ARGNUMth position of the assertion, where ARGNUM is specified in the *somewhere-cached-preds-table*. Does not account for specPreds of PRED.

Parameters:

INITIALIZE-IF-UNINITIALIZED? - booleanp; if the somewhere cache for PRED and ARGNUM has not been initialized yet, should we initialize it? If NIL, we'll error instead.

clear_all_somewhere_caches

public static final SubLObject clear_all_somewhere_caches()

recache_some_pred_assertion_somewhere

public static final SubLObject recache_some_pred_assertion_somewhere(SubLObject argument,
                                                                     SubLObject assertion)

'after-adding' and 'after-removing' for preds in *somewhere-cached-preds-table*. This is not asserted as an afterAdding and afterRemoving in the KB, it's hard-coded specially in get-after-adding and get-after-removing.

somewhere_cached_pred_p

public static final SubLObject somewhere_cached_pred_p(SubLObject object)

some_pred_assertion_somewhere_argnum

public static final SubLObject some_pred_assertion_somewhere_argnum(SubLObject pred)

some_pred_assertion_somewhereP_internal

public static final SubLObject some_pred_assertion_somewhereP_internal(SubLObject pred,
                                                                       SubLObject v_term,
                                                                       SubLObject argnum,
                                                                       SubLObject initialize_if_uninitializedP)

lookup_somewhere_set_for_pred

public static final SubLObject lookup_somewhere_set_for_pred(SubLObject pred,
                                                             SubLObject initialize_if_uninitializedP)

initialize_somewhere_cache

public static final SubLObject initialize_somewhere_cache(SubLObject pred)

recache_some_pred_assertion_somewhere_int

public static final SubLObject recache_some_pred_assertion_somewhere_int(SubLObject pred,
                                                                         SubLObject v_term)

cache_some_pred_assertion_somewhere

public static final SubLObject cache_some_pred_assertion_somewhere(SubLObject v_set,
                                                                   SubLObject gaf)

valid_somewhere_cache_itemP

public static final SubLObject valid_somewhere_cache_itemP(SubLObject object)

Returns:

BOOLEANP; Is OBJECT something we can reliably stick in the somewhere cache?

somewhere_cache_unbuiltP

public static final SubLObject somewhere_cache_unbuiltP()

load_somewhere_cache_from_stream

public static final SubLObject load_somewhere_cache_from_stream(SubLObject stream)

declare_somewhere_cache_file

public static final SubLObject declare_somewhere_cache_file()

init_somewhere_cache_file

public static final SubLObject init_somewhere_cache_file()

setup_somewhere_cache_file

public static final SubLObject setup_somewhere_cache_file()

declareFunctions

public void declareFunctions()

Description copied from interface: SubLFile

Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.

initializeVariables

public void initializeVariables()

Description copied from interface: SubLFile

Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.

runTopLevelForms

public void runTopLevelForms()

Description copied from interface: SubLFile

Runs all top-level forms in order. Like CRTL setup.