com.cyc.cycjava.cycl
Class at_cache
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.at_cache
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class at_cache
- extends SubLTranslatedFile
| 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 |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$arg_type_cache$
public static SubLSymbol $arg_type_cache$
- relation -> argnum -> col -> mts
| | |
hash list alist
$sym0$_ARG_TYPE_CACHE_
public static final SubLSymbol $sym0$_ARG_TYPE_CACHE_
$int1$1024
public static final SubLInteger $int1$1024
$list2
public static final SubLList $list2
$sym3$_ARG_TYPE_CACHE_INITIALIZED__
public static final SubLSymbol $sym3$_ARG_TYPE_CACHE_INITIALIZED__
$const4$argsIsa
public static final SubLObject $const4$argsIsa
$const5$argAndRestIsa
public static final SubLObject $const5$argAndRestIsa
$list6
public static final SubLList $list6
$const7$UniversalVocabularyMt
public static final SubLObject $const7$UniversalVocabularyMt
$sym8$RELEVANT_MT_IS_EVERYTHING
public static final SubLSymbol $sym8$RELEVANT_MT_IS_EVERYTHING
$const9$EverythingPSC
public static final SubLObject $const9$EverythingPSC
$const10$Relation
public static final SubLObject $const10$Relation
$const11$isa
public static final SubLObject $const11$isa
$kw12$BREADTH
public static final SubLSymbol $kw12$BREADTH
$kw13$QUEUE
public static final SubLSymbol $kw13$QUEUE
$kw14$STACK
public static final SubLSymbol $kw14$STACK
$sym15$RELEVANT_SBHL_TV_IS_GENERAL_TV
public static final SubLSymbol $sym15$RELEVANT_SBHL_TV_IS_GENERAL_TV
$kw16$ERROR
public static final SubLSymbol $kw16$ERROR
$str17$_A_is_not_a__A
public static final SubLString $str17$_A_is_not_a__A
$sym18$SBHL_TRUE_TV_P
public static final SubLSymbol $sym18$SBHL_TRUE_TV_P
$kw19$CERROR
public static final SubLSymbol $kw19$CERROR
$str20$continue_anyway
public static final SubLString $str20$continue_anyway
$kw21$WARN
public static final SubLSymbol $kw21$WARN
$str22$_A_is_not_a_valid__sbhl_type_erro
public static final SubLString $str22$_A_is_not_a_valid__sbhl_type_erro
$str23$attempting_to_bind_direction_link
public static final SubLString $str23$attempting_to_bind_direction_link
$list24
public static final SubLList $list24
$str25$Node__a_does_not_pass_sbhl_type_t
public static final SubLString $str25$Node__a_does_not_pass_sbhl_type_t
$kw26$GAF
public static final SubLSymbol $kw26$GAF
$kw27$TRUE
public static final SubLSymbol $kw27$TRUE
$sym28$CYC_ADD_TO_ARG_TYPE_CACHE
public static final SubLSymbol $sym28$CYC_ADD_TO_ARG_TYPE_CACHE
$sym29$CYC_REMOVE_FROM_ARG_TYPE_CACHE
public static final SubLSymbol $sym29$CYC_REMOVE_FROM_ARG_TYPE_CACHE
$sym30$GAF_ASSERTION_
public static final SubLSymbol $sym30$GAF_ASSERTION_
$sym31$ARG_TYPE_CACHED_PRED_P
public static final SubLSymbol $sym31$ARG_TYPE_CACHED_PRED_P
arg_type_cached_pred_p
public static final SubLObject arg_type_cached_pred_p(SubLObject object)
some_args_isa_assertion_somewhereP
public static final SubLObject some_args_isa_assertion_somewhereP(SubLObject relation)
some_arg_and_rest_isa_assertion_somewhereP
public static final SubLObject some_arg_and_rest_isa_assertion_somewhereP(SubLObject relation)
cached_arg_isas_in_mt
public static final SubLObject cached_arg_isas_in_mt(SubLObject relation,
SubLObject argnum,
SubLObject mt)
cached_arg_isas_in_relevant_mts
public static final SubLObject cached_arg_isas_in_relevant_mts(SubLObject relation,
SubLObject argnum)
at_cache_relevant_collections
public static final SubLObject at_cache_relevant_collections(SubLObject collection_table)
at_cache_lookup_argnum_table
public static final SubLObject at_cache_lookup_argnum_table(SubLObject relation)
at_cache_use_possibleP
public static final SubLObject at_cache_use_possibleP(SubLObject constraint_pred,
SubLObject argnum)
arg_type_cached_argnum_p
public static final SubLObject arg_type_cached_argnum_p(SubLObject object)
at_cache_initialize_relation
public static final SubLObject at_cache_initialize_relation(SubLObject relation)
at_cache_initialize_argnum_table
public static final SubLObject at_cache_initialize_argnum_table(SubLObject relation,
SubLObject max_argnum)
at_cache_initialize_collection_table
public static final SubLObject at_cache_initialize_collection_table(SubLObject relation,
SubLObject constraint_pred)
at_cache_set_argnum_table
public static final SubLObject at_cache_set_argnum_table(SubLObject relation,
SubLObject argnum_table)
max_constrained_argnum
public static final SubLObject max_constrained_argnum(SubLObject relation)
- 0 indicates no arg constraints on RELATION
constrained_argnum
public static final SubLObject constrained_argnum(SubLObject constraint_pred)
cyc_add_to_arg_type_cache
public static final SubLObject cyc_add_to_arg_type_cache(SubLObject argument,
SubLObject assertion)
cyc_remove_from_arg_type_cache
public static final SubLObject cyc_remove_from_arg_type_cache(SubLObject argument,
SubLObject assertion)
cyc_update_arg_type_cache
public static final SubLObject cyc_update_arg_type_cache(SubLObject gaf)
note_at_cache_initialized
public static final SubLObject note_at_cache_initialized()
declare_at_cache_file
public static final SubLObject declare_at_cache_file()
init_at_cache_file
public static final SubLObject init_at_cache_file()
setup_at_cache_file
public static final SubLObject setup_at_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.