com.cyc.cycjava.cycl.cyc_testing
Class evaluatable_relation_tests
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.cyc_testing.evaluatable_relation_tests
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class evaluatable_relation_tests
- 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
$dtp_evaluatable_relation_test$
public static SubLSymbol $dtp_evaluatable_relation_test$
$sym0$EVALUATABLE_RELATION_TEST
public static final SubLSymbol $sym0$EVALUATABLE_RELATION_TEST
$sym1$EVALUATABLE_RELATION_TEST_P
public static final SubLSymbol $sym1$EVALUATABLE_RELATION_TEST_P
$list2
public static final SubLList $list2
$list3
public static final SubLList $list3
$list4
public static final SubLList $list4
$list5
public static final SubLList $list5
$sym6$DEFAULT_STRUCT_PRINT_FUNCTION
public static final SubLSymbol $sym6$DEFAULT_STRUCT_PRINT_FUNCTION
$sym7$EVALUATABLE_RELATION_TEST_PRINT_FUNCTION_TRAMPOLINE
public static final SubLSymbol $sym7$EVALUATABLE_RELATION_TEST_PRINT_FUNCTION_TRAMPOLINE
$sym8$ERT_RELATION
public static final SubLSymbol $sym8$ERT_RELATION
$sym9$_CSETF_ERT_RELATION
public static final SubLSymbol $sym9$_CSETF_ERT_RELATION
$sym10$ERT_ID
public static final SubLSymbol $sym10$ERT_ID
$sym11$_CSETF_ERT_ID
public static final SubLSymbol $sym11$_CSETF_ERT_ID
$sym12$ERT_SENTENCE
public static final SubLSymbol $sym12$ERT_SENTENCE
$sym13$_CSETF_ERT_SENTENCE
public static final SubLSymbol $sym13$_CSETF_ERT_SENTENCE
$sym14$ERT_KB
public static final SubLSymbol $sym14$ERT_KB
$sym15$_CSETF_ERT_KB
public static final SubLSymbol $sym15$_CSETF_ERT_KB
$sym16$ERT_OWNER
public static final SubLSymbol $sym16$ERT_OWNER
$sym17$_CSETF_ERT_OWNER
public static final SubLSymbol $sym17$_CSETF_ERT_OWNER
$kw18$RELATION
public static final SubLSymbol $kw18$RELATION
$kw19$ID
public static final SubLSymbol $kw19$ID
$kw20$SENTENCE
public static final SubLSymbol $kw20$SENTENCE
$kw21$KB
public static final SubLSymbol $kw21$KB
$kw22$OWNER
public static final SubLSymbol $kw22$OWNER
$str23$Invalid_slot__S_for_construction_
public static final SubLString $str23$Invalid_slot__S_for_construction_
$sym24$_EVALUATABLE_RELATION_TESTS_
public static final SubLSymbol $sym24$_EVALUATABLE_RELATION_TESTS_
$int25$100
public static final SubLInteger $int25$100
$sym26$FORT_P
public static final SubLSymbol $sym26$FORT_P
$sym27$_
public static final SubLSymbol $sym27$_
$str28$
public static final SubLString $str28$
$sym29$INVALID_CONSTANT_
public static final SubLSymbol $sym29$INVALID_CONSTANT_
$list30
public static final SubLList $list30
$list31
public static final SubLList $list31
$kw32$ALLOW_OTHER_KEYS
public static final SubLSymbol $kw32$ALLOW_OTHER_KEYS
$kw33$FULL
public static final SubLSymbol $kw33$FULL
$sym34$DEFINE_EVALUATABLE_RELATION_TEST_INT
public static final SubLSymbol $sym34$DEFINE_EVALUATABLE_RELATION_TEST_INT
$sym35$DEFINE_EVALUATABLE_FUNCTION_TEST
public static final SubLSymbol $sym35$DEFINE_EVALUATABLE_FUNCTION_TEST
$list36
public static final SubLList $list36
$list37
public static final SubLList $list37
$sym38$DEFINE_EVALUATABLE_PREDICATE_TEST
public static final SubLSymbol $sym38$DEFINE_EVALUATABLE_PREDICATE_TEST
$list39
public static final SubLList $list39
$sym40$INTEGERP
public static final SubLSymbol $sym40$INTEGERP
$sym41$POSSIBLY_SENTENCE_P
public static final SubLSymbol $sym41$POSSIBLY_SENTENCE_P
$sym42$CYC_TEST_KB_P
public static final SubLSymbol $sym42$CYC_TEST_KB_P
$sym43$INFERENCE_TEST_OWNER_P
public static final SubLSymbol $sym43$INFERENCE_TEST_OWNER_P
$list44
public static final SubLList $list44
$list45
public static final SubLList $list45
$kw46$RESULT
public static final SubLSymbol $kw46$RESULT
$kw47$DONT_CARE
public static final SubLSymbol $kw47$DONT_CARE
$kw48$MT
public static final SubLSymbol $kw48$MT
$sym49$DEFINE_SIMPLE_EVALUATABLE_FUNCTION_TEST_INT
public static final SubLSymbol $sym49$DEFINE_SIMPLE_EVALUATABLE_FUNCTION_TEST_INT
$sym50$DEFINE_SIMPLE_EVALUATABLE_FUNCTION_TEST
public static final SubLSymbol $sym50$DEFINE_SIMPLE_EVALUATABLE_FUNCTION_TEST
$list51
public static final SubLList $list51
$list52
public static final SubLList $list52
$const53$InferencePSC
public static final SubLObject $const53$InferencePSC
$kw54$TESTS
public static final SubLSymbol $kw54$TESTS
$kw55$WORKING_
public static final SubLSymbol $kw55$WORKING_
$sym56$DEFINE_SIMPLE_EVALUATABLE_FUNCTION_TEST_BLOCK_INT
public static final SubLSymbol $sym56$DEFINE_SIMPLE_EVALUATABLE_FUNCTION_TEST_BLOCK_INT
$sym57$DEFINE_SIMPLE_EVALUATABLE_FUNCTION_TEST_BLOCK
public static final SubLSymbol $sym57$DEFINE_SIMPLE_EVALUATABLE_FUNCTION_TEST_BLOCK
$list58
public static final SubLList $list58
$kw59$ILL_FORMED
public static final SubLSymbol $kw59$ILL_FORMED
$const60$trueSubL
public static final SubLObject $const60$trueSubL
$const61$SubLQuoteFn
public static final SubLObject $const61$SubLQuoteFn
$sym62$CNOT
public static final SubLSymbol $sym62$CNOT
$sym63$EL_WFF_
public static final SubLSymbol $sym63$EL_WFF_
$sym64$QUOTE
public static final SubLSymbol $sym64$QUOTE
$const65$evaluate
public static final SubLObject $const65$evaluate
$sym66$_RESULT
public static final SubLSymbol $sym66$_RESULT
$kw67$UNEVALUATABLE
public static final SubLSymbol $kw67$UNEVALUATABLE
$const68$unknownSentence
public static final SubLObject $const68$unknownSentence
$const69$thereExists
public static final SubLObject $const69$thereExists
$const70$ist
public static final SubLObject $const70$ist
$list71
public static final SubLList $list71
$list72
public static final SubLList $list72
$list73
public static final SubLList $list73
$sym74$DEFINE_SIMPLE_EVALUATABLE_PREDICATE_TEST_INT
public static final SubLSymbol $sym74$DEFINE_SIMPLE_EVALUATABLE_PREDICATE_TEST_INT
$sym75$DEFINE_SIMPLE_EVALUATABLE_PREDICATE_TEST
public static final SubLSymbol $sym75$DEFINE_SIMPLE_EVALUATABLE_PREDICATE_TEST
$list76
public static final SubLList $list76
$list77
public static final SubLList $list77
$sym78$DEFINE_SIMPLE_EVALUATABLE_PREDICATE_TEST_BLOCK_INT
public static final SubLSymbol $sym78$DEFINE_SIMPLE_EVALUATABLE_PREDICATE_TEST_BLOCK_INT
$sym79$DEFINE_SIMPLE_EVALUATABLE_PREDICATE_TEST_BLOCK
public static final SubLSymbol $sym79$DEFINE_SIMPLE_EVALUATABLE_PREDICATE_TEST_BLOCK
$list80
public static final SubLList $list80
$const81$and
public static final SubLObject $const81$and
$kw82$FALSE
public static final SubLSymbol $kw82$FALSE
$list83
public static final SubLList $list83
$kw84$TRUE
public static final SubLSymbol $kw84$TRUE
$kw85$STANDARD
public static final SubLSymbol $kw85$STANDARD
$sym86$CYC_TEST_OUTPUT_FORMAT_P
public static final SubLSymbol $sym86$CYC_TEST_OUTPUT_FORMAT_P
$kw87$TERSE
public static final SubLSymbol $kw87$TERSE
$kw88$ERT
public static final SubLSymbol $kw88$ERT
$kw89$NOT_RUN
public static final SubLSymbol $kw89$NOT_RUN
$kw90$INVALID
public static final SubLSymbol $kw90$INVALID
$kw91$ERROR
public static final SubLSymbol $kw91$ERROR
$kw92$IGNORE_ERRORS_TARGET
public static final SubLSymbol $kw92$IGNORE_ERRORS_TARGET
$sym93$IGNORE_ERRORS_HANDLER
public static final SubLSymbol $sym93$IGNORE_ERRORS_HANDLER
$kw94$FAILURE
public static final SubLSymbol $kw94$FAILURE
$kw95$SUCCESS
public static final SubLSymbol $kw95$SUCCESS
$kw96$CACHE_INFERENCE_RESULTS_
public static final SubLSymbol $kw96$CACHE_INFERENCE_RESULTS_
$kw97$BROWSABLE_
public static final SubLSymbol $kw97$BROWSABLE_
$kw98$CONDITIONAL_SENTENCE_
public static final SubLSymbol $kw98$CONDITIONAL_SENTENCE_
$str99$___S__S____
public static final SubLString $str99$___S__S____
$kw100$POST_BUILD
public static final SubLSymbol $kw100$POST_BUILD
$str101$Unknown_output_format__A
public static final SubLString $str101$Unknown_output_format__A
$str102$_S__
public static final SubLString $str102$_S__
$str103$_S__ERT___S__S___OWNER__S__
public static final SubLString $str103$_S__ERT___S__S___OWNER__S__
evaluatable_relation_test_print_function_trampoline
public static final SubLObject evaluatable_relation_test_print_function_trampoline(SubLObject object,
SubLObject stream)
declare_evaluatable_relation_tests_file
public static final SubLObject declare_evaluatable_relation_tests_file()
init_evaluatable_relation_tests_file
public static final SubLObject init_evaluatable_relation_tests_file()
setup_evaluatable_relation_tests_file
public static final SubLObject setup_evaluatable_relation_tests_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.