com.cyc.cycjava.cycl.cyc_testing
Class inference_unit_tests

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class inference_unit_tests
extends SubLTranslatedFile

Nested Class Summary

static class	inference_unit_tests.$inference_unit_test_native
static class	inference_unit_tests.$inference_unit_test_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$dtp_inference_unit_test$
static SubLInteger	$int58$513
static SubLInteger	$int64$212
static SubLSymbol	$kw0$UNINITIALIZED
static SubLSymbol	$kw105$CONDITIONAL_SENTENCE_
static SubLSymbol	$kw109$STANDARD
static SubLSymbol	$kw110$VERBOSE
static SubLSymbol	$kw111$TERSE
static SubLSymbol	$kw112$IUT
static SubLSymbol	$kw117$NOT_RUN
static SubLSymbol	$kw118$INVALID
static SubLSymbol	$kw119$SUCCESS
static SubLSymbol	$kw121$UNPROVIDED
static SubLSymbol	$kw122$PROBLEM_STORE
static SubLSymbol	$kw124$FAILURE
static SubLSymbol	$kw125$SKIP
static SubLSymbol	$kw126$BLOCK_
static SubLSymbol	$kw128$BROWSABLE_
static SubLSymbol	$kw129$BINDINGS_AND_HYPOTHETICAL_BINDINGS
static SubLSymbol	$kw132$POST_BUILD
static SubLSymbol	$kw39$NAME
static SubLSymbol	$kw40$COMMENT
static SubLSymbol	$kw41$SENTENCE
static SubLSymbol	$kw42$PROPERTIES
static SubLSymbol	$kw43$RESULT
static SubLSymbol	$kw44$HALT_REASON
static SubLSymbol	$kw45$RESULT_TEST
static SubLSymbol	$kw46$FOLLOWUPS
static SubLSymbol	$kw47$BINDINGS
static SubLSymbol	$kw48$KB
static SubLSymbol	$kw49$OWNER
static SubLSymbol	$kw50$BUG_NUMBER
static SubLSymbol	$kw51$CREATION_DATE
static SubLSymbol	$kw52$CREATOR
static SubLSymbol	$kw53$WORKING_
static SubLSymbol	$kw57$EXPECTED_RESULT
static SubLSymbol	$kw67$ALLOW_OTHER_KEYS
static SubLSymbol	$kw68$DONE
static SubLSymbol	$kw74$CONTINUE
static SubLSymbol	$kw75$PREVIOUS
static SubLSymbol	$kw78$EXPECTED_HALT_REASON
static SubLSymbol	$kw79$EXHAUST_TOTAL
static SubLSymbol	$kw80$EXPECTED_RESULT_TEST
static SubLSymbol	$kw81$TINY
static SubLSymbol	$kw82$BUG
static SubLSymbol	$kw83$CREATED
static SubLList	$list107
static SubLList	$list108
static SubLList	$list127
static SubLList	$list3
static SubLList	$list4
static SubLList	$list5
static SubLList	$list6
static SubLList	$list65
static SubLList	$list66
static SubLList	$list73
static SubLList	$list76
static SubLList	$list77
static SubLList	$list87
static SubLString	$str106$The_test__S_is_not_queried_with__
static SubLString	$str116$No_test_with_name__a_was_found
static SubLString	$str123$Previous_inference_was_not_browsa
static SubLString	$str130$___S____
static SubLString	$str131$_S__
static SubLString	$str133$___S__IUT__S__OWNER__S__
static SubLString	$str134$__Failure_when_asking
static SubLString	$str135$_______S
static SubLString	$str136$____with_properties__s
static SubLString	$str137$__Result_test____s
static SubLString	$str138$__Actual_result______s
static SubLString	$str139$__Expected_result____s
static SubLString	$str140$__Actual_halt_reason______s
static SubLString	$str141$__Expected_halt_reason____s
static SubLString	$str142$____
static SubLString	$str54$Invalid_slot__S_for_construction_
static SubLString	$str56$Cannot_build_inference_test_recip
static SubLString	$str61$Deserialization_produced__A_inste
static SubLSymbol	$sym1$INFERENCE_UNIT_TEST
static SubLSymbol	$sym10$_CSETF_IUT_NAME
static SubLSymbol	$sym100$INFERENCE_TEST_OWNER_P
static SubLSymbol	$sym101$POSITIVE_INTEGER_P
static SubLSymbol	$sym102$UNIVERSAL_DATE_P
static SubLSymbol	$sym103$STRINGP
static SubLSymbol	$sym104$BOOLEANP
static SubLSymbol	$sym11$IUT_COMMENT
static SubLSymbol	$sym113$CYC_TEST_OUTPUT_FORMAT_P
static SubLSymbol	$sym114$CYC_TEST_P
static SubLSymbol	$sym115$FIND_CYC_TEST
static SubLSymbol	$sym12$_CSETF_IUT_COMMENT
static SubLSymbol	$sym120$EL_SENTENCE_P
static SubLSymbol	$sym13$IUT_SENTENCE
static SubLSymbol	$sym14$_CSETF_IUT_SENTENCE
static SubLSymbol	$sym15$IUT_PROPERTIES
static SubLSymbol	$sym16$_CSETF_IUT_PROPERTIES
static SubLSymbol	$sym17$IUT_RESULT
static SubLSymbol	$sym18$_CSETF_IUT_RESULT
static SubLSymbol	$sym19$IUT_HALT_REASON
static SubLSymbol	$sym2$INFERENCE_UNIT_TEST_P
static SubLSymbol	$sym20$_CSETF_IUT_HALT_REASON
static SubLSymbol	$sym21$IUT_RESULT_TEST
static SubLSymbol	$sym22$_CSETF_IUT_RESULT_TEST
static SubLSymbol	$sym23$IUT_FOLLOWUPS
static SubLSymbol	$sym24$_CSETF_IUT_FOLLOWUPS
static SubLSymbol	$sym25$IUT_BINDINGS
static SubLSymbol	$sym26$_CSETF_IUT_BINDINGS
static SubLSymbol	$sym27$IUT_KB
static SubLSymbol	$sym28$_CSETF_IUT_KB
static SubLSymbol	$sym29$IUT_OWNER
static SubLSymbol	$sym30$_CSETF_IUT_OWNER
static SubLSymbol	$sym31$IUT_BUG_NUMBER
static SubLSymbol	$sym32$_CSETF_IUT_BUG_NUMBER
static SubLSymbol	$sym33$IUT_CREATION_DATE
static SubLSymbol	$sym34$_CSETF_IUT_CREATION_DATE
static SubLSymbol	$sym35$IUT_CREATOR
static SubLSymbol	$sym36$_CSETF_IUT_CREATOR
static SubLSymbol	$sym37$IUT_WORKING_
static SubLSymbol	$sym38$_CSETF_IUT_WORKING_
static SubLSymbol	$sym55$INVALID_CONSTANT_
static SubLSymbol	$sym59$CFASL_INPUT_INFERENCE_UNIT_TEST
static SubLSymbol	$sym60$CFASL_OUTPUT_OBJECT_INFERENCE_UNIT_TEST_METHOD
static SubLSymbol	$sym62$_INFERENCE_UNIT_TEST_NAMES_IN_ORDER_
static SubLSymbol	$sym63$_INFERENCE_UNIT_TESTS_BY_NAME_
static SubLSymbol	$sym69$NAME
static SubLSymbol	$sym7$DEFAULT_STRUCT_PRINT_FUNCTION
static SubLSymbol	$sym70$DO_LIST
static SubLSymbol	$sym71$CLET
static SubLSymbol	$sym72$FIND_INFERENCE_UNIT_TEST_BY_NAME
static SubLSymbol	$sym8$INFERENCE_UNIT_TEST_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym84$DEFINE_INFERENCE_UNIT_TEST_INTERNAL
static SubLSymbol	$sym85$CANONICALIZE_INFERENCE_UNIT_TEST_FOLLOWUPS
static SubLSymbol	$sym86$DEFINE_INFERENCE_UNIT_TEST
static SubLSymbol	$sym88$KEYWORDP
static SubLSymbol	$sym89$POSSIBLY_SENTENCE_P
static SubLSymbol	$sym9$IUT_NAME
static SubLSymbol	$sym90$PROPERTY_LIST_P
static SubLSymbol	$sym91$QUERY_PROPERTY_P
static SubLSymbol	$sym92$BINDING_LISTS_P
static SubLSymbol	$sym93$QUERY_HALT_REASON_P
static SubLSymbol	$sym94$FUNCTION_SYMBOL_P
static SubLSymbol	$sym95$INFERENCE_TEST_COMMENT_P
static SubLSymbol	$sym96$NON_DOTTED_LIST_P
static SubLSymbol	$sym97$INFERENCE_UNIT_TEST_FOLLOWUP_P
static SubLSymbol	$sym98$SUBL_VARIABLE_BINDING_LIST_P
static SubLSymbol	$sym99$CYC_TEST_KB_P
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	declare_inference_unit_tests_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	inference_unit_test_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	init_inference_unit_tests_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_inference_unit_tests_file()

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

$dtp_inference_unit_test$

public static SubLSymbol $dtp_inference_unit_test$

$kw0$UNINITIALIZED

public static final SubLSymbol $kw0$UNINITIALIZED

$sym1$INFERENCE_UNIT_TEST

public static final SubLSymbol $sym1$INFERENCE_UNIT_TEST

$sym2$INFERENCE_UNIT_TEST_P

public static final SubLSymbol $sym2$INFERENCE_UNIT_TEST_P

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$sym7$DEFAULT_STRUCT_PRINT_FUNCTION

public static final SubLSymbol $sym7$DEFAULT_STRUCT_PRINT_FUNCTION

$sym8$INFERENCE_UNIT_TEST_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym8$INFERENCE_UNIT_TEST_PRINT_FUNCTION_TRAMPOLINE

$sym9$IUT_NAME

public static final SubLSymbol $sym9$IUT_NAME

$sym10$_CSETF_IUT_NAME

public static final SubLSymbol $sym10$_CSETF_IUT_NAME

$sym11$IUT_COMMENT

public static final SubLSymbol $sym11$IUT_COMMENT

$sym12$_CSETF_IUT_COMMENT

public static final SubLSymbol $sym12$_CSETF_IUT_COMMENT

$sym13$IUT_SENTENCE

public static final SubLSymbol $sym13$IUT_SENTENCE

$sym14$_CSETF_IUT_SENTENCE

public static final SubLSymbol $sym14$_CSETF_IUT_SENTENCE

$sym15$IUT_PROPERTIES

public static final SubLSymbol $sym15$IUT_PROPERTIES

$sym16$_CSETF_IUT_PROPERTIES

public static final SubLSymbol $sym16$_CSETF_IUT_PROPERTIES

$sym17$IUT_RESULT

public static final SubLSymbol $sym17$IUT_RESULT

$sym18$_CSETF_IUT_RESULT

public static final SubLSymbol $sym18$_CSETF_IUT_RESULT

$sym19$IUT_HALT_REASON

public static final SubLSymbol $sym19$IUT_HALT_REASON

$sym20$_CSETF_IUT_HALT_REASON

public static final SubLSymbol $sym20$_CSETF_IUT_HALT_REASON

$sym21$IUT_RESULT_TEST

public static final SubLSymbol $sym21$IUT_RESULT_TEST

$sym22$_CSETF_IUT_RESULT_TEST

public static final SubLSymbol $sym22$_CSETF_IUT_RESULT_TEST

$sym23$IUT_FOLLOWUPS

public static final SubLSymbol $sym23$IUT_FOLLOWUPS

$sym24$_CSETF_IUT_FOLLOWUPS

public static final SubLSymbol $sym24$_CSETF_IUT_FOLLOWUPS

$sym25$IUT_BINDINGS

public static final SubLSymbol $sym25$IUT_BINDINGS

$sym26$_CSETF_IUT_BINDINGS

public static final SubLSymbol $sym26$_CSETF_IUT_BINDINGS

$sym27$IUT_KB

public static final SubLSymbol $sym27$IUT_KB

$sym28$_CSETF_IUT_KB

public static final SubLSymbol $sym28$_CSETF_IUT_KB

$sym29$IUT_OWNER

public static final SubLSymbol $sym29$IUT_OWNER

$sym30$_CSETF_IUT_OWNER

public static final SubLSymbol $sym30$_CSETF_IUT_OWNER

$sym31$IUT_BUG_NUMBER

public static final SubLSymbol $sym31$IUT_BUG_NUMBER

$sym32$_CSETF_IUT_BUG_NUMBER

public static final SubLSymbol $sym32$_CSETF_IUT_BUG_NUMBER

$sym33$IUT_CREATION_DATE

public static final SubLSymbol $sym33$IUT_CREATION_DATE

$sym34$_CSETF_IUT_CREATION_DATE

public static final SubLSymbol $sym34$_CSETF_IUT_CREATION_DATE

$sym35$IUT_CREATOR

public static final SubLSymbol $sym35$IUT_CREATOR

$sym36$_CSETF_IUT_CREATOR

public static final SubLSymbol $sym36$_CSETF_IUT_CREATOR

$sym37$IUT_WORKING_

public static final SubLSymbol $sym37$IUT_WORKING_

$sym38$_CSETF_IUT_WORKING_

public static final SubLSymbol $sym38$_CSETF_IUT_WORKING_

$kw39$NAME

public static final SubLSymbol $kw39$NAME

$kw40$COMMENT

public static final SubLSymbol $kw40$COMMENT

$kw41$SENTENCE

public static final SubLSymbol $kw41$SENTENCE

$kw42$PROPERTIES

public static final SubLSymbol $kw42$PROPERTIES

$kw43$RESULT

public static final SubLSymbol $kw43$RESULT

$kw44$HALT_REASON

public static final SubLSymbol $kw44$HALT_REASON

$kw45$RESULT_TEST

public static final SubLSymbol $kw45$RESULT_TEST

$kw46$FOLLOWUPS

public static final SubLSymbol $kw46$FOLLOWUPS

$kw47$BINDINGS

public static final SubLSymbol $kw47$BINDINGS

$kw48$KB

public static final SubLSymbol $kw48$KB

$kw49$OWNER

public static final SubLSymbol $kw49$OWNER

$kw50$BUG_NUMBER

public static final SubLSymbol $kw50$BUG_NUMBER

$kw51$CREATION_DATE

public static final SubLSymbol $kw51$CREATION_DATE

$kw52$CREATOR

public static final SubLSymbol $kw52$CREATOR

$kw53$WORKING_

public static final SubLSymbol $kw53$WORKING_

$str54$Invalid_slot__S_for_construction_

public static final SubLString $str54$Invalid_slot__S_for_construction_

$sym55$INVALID_CONSTANT_

public static final SubLSymbol $sym55$INVALID_CONSTANT_

$str56$Cannot_build_inference_test_recip

public static final SubLString $str56$Cannot_build_inference_test_recip

$kw57$EXPECTED_RESULT

public static final SubLSymbol $kw57$EXPECTED_RESULT

$int58$513

public static final SubLInteger $int58$513

$sym59$CFASL_INPUT_INFERENCE_UNIT_TEST

public static final SubLSymbol $sym59$CFASL_INPUT_INFERENCE_UNIT_TEST

$sym60$CFASL_OUTPUT_OBJECT_INFERENCE_UNIT_TEST_METHOD

public static final SubLSymbol $sym60$CFASL_OUTPUT_OBJECT_INFERENCE_UNIT_TEST_METHOD

$str61$Deserialization_produced__A_inste

public static final SubLString $str61$Deserialization_produced__A_inste

$sym62$_INFERENCE_UNIT_TEST_NAMES_IN_ORDER_

public static final SubLSymbol $sym62$_INFERENCE_UNIT_TEST_NAMES_IN_ORDER_

$sym63$_INFERENCE_UNIT_TESTS_BY_NAME_

public static final SubLSymbol $sym63$_INFERENCE_UNIT_TESTS_BY_NAME_

$int64$212

public static final SubLInteger $int64$212

$list65

public static final SubLList $list65

$list66

public static final SubLList $list66

$kw67$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw67$ALLOW_OTHER_KEYS

$kw68$DONE

public static final SubLSymbol $kw68$DONE

$sym69$NAME

public static final SubLSymbol $sym69$NAME

$sym70$DO_LIST

public static final SubLSymbol $sym70$DO_LIST

$sym71$CLET

public static final SubLSymbol $sym71$CLET

$sym72$FIND_INFERENCE_UNIT_TEST_BY_NAME

public static final SubLSymbol $sym72$FIND_INFERENCE_UNIT_TEST_BY_NAME

$list73

public static final SubLList $list73

$kw74$CONTINUE

public static final SubLSymbol $kw74$CONTINUE

$kw75$PREVIOUS

public static final SubLSymbol $kw75$PREVIOUS

$list76

public static final SubLList $list76

$list77

public static final SubLList $list77

$kw78$EXPECTED_HALT_REASON

public static final SubLSymbol $kw78$EXPECTED_HALT_REASON

$kw79$EXHAUST_TOTAL

public static final SubLSymbol $kw79$EXHAUST_TOTAL

$kw80$EXPECTED_RESULT_TEST

public static final SubLSymbol $kw80$EXPECTED_RESULT_TEST

$kw81$TINY

public static final SubLSymbol $kw81$TINY

$kw82$BUG

public static final SubLSymbol $kw82$BUG

$kw83$CREATED

public static final SubLSymbol $kw83$CREATED

$sym84$DEFINE_INFERENCE_UNIT_TEST_INTERNAL

public static final SubLSymbol $sym84$DEFINE_INFERENCE_UNIT_TEST_INTERNAL

$sym85$CANONICALIZE_INFERENCE_UNIT_TEST_FOLLOWUPS

public static final SubLSymbol $sym85$CANONICALIZE_INFERENCE_UNIT_TEST_FOLLOWUPS

$sym86$DEFINE_INFERENCE_UNIT_TEST

public static final SubLSymbol $sym86$DEFINE_INFERENCE_UNIT_TEST

$list87

public static final SubLList $list87

$sym88$KEYWORDP

public static final SubLSymbol $sym88$KEYWORDP

$sym89$POSSIBLY_SENTENCE_P

public static final SubLSymbol $sym89$POSSIBLY_SENTENCE_P

$sym90$PROPERTY_LIST_P

public static final SubLSymbol $sym90$PROPERTY_LIST_P

$sym91$QUERY_PROPERTY_P

public static final SubLSymbol $sym91$QUERY_PROPERTY_P

$sym92$BINDING_LISTS_P

public static final SubLSymbol $sym92$BINDING_LISTS_P

$sym93$QUERY_HALT_REASON_P

public static final SubLSymbol $sym93$QUERY_HALT_REASON_P

$sym94$FUNCTION_SYMBOL_P

public static final SubLSymbol $sym94$FUNCTION_SYMBOL_P

$sym95$INFERENCE_TEST_COMMENT_P

public static final SubLSymbol $sym95$INFERENCE_TEST_COMMENT_P

$sym96$NON_DOTTED_LIST_P

public static final SubLSymbol $sym96$NON_DOTTED_LIST_P

$sym97$INFERENCE_UNIT_TEST_FOLLOWUP_P

public static final SubLSymbol $sym97$INFERENCE_UNIT_TEST_FOLLOWUP_P

$sym98$SUBL_VARIABLE_BINDING_LIST_P

public static final SubLSymbol $sym98$SUBL_VARIABLE_BINDING_LIST_P

$sym99$CYC_TEST_KB_P

public static final SubLSymbol $sym99$CYC_TEST_KB_P

$sym100$INFERENCE_TEST_OWNER_P

public static final SubLSymbol $sym100$INFERENCE_TEST_OWNER_P

$sym101$POSITIVE_INTEGER_P

public static final SubLSymbol $sym101$POSITIVE_INTEGER_P

$sym102$UNIVERSAL_DATE_P

public static final SubLSymbol $sym102$UNIVERSAL_DATE_P

$sym103$STRINGP

public static final SubLSymbol $sym103$STRINGP

$sym104$BOOLEANP

public static final SubLSymbol $sym104$BOOLEANP

$kw105$CONDITIONAL_SENTENCE_

public static final SubLSymbol $kw105$CONDITIONAL_SENTENCE_

$str106$The_test__S_is_not_queried_with__

public static final SubLString $str106$The_test__S_is_not_queried_with__

$list107

public static final SubLList $list107

$list108

public static final SubLList $list108

$kw109$STANDARD

public static final SubLSymbol $kw109$STANDARD

$kw110$VERBOSE

public static final SubLSymbol $kw110$VERBOSE

$kw111$TERSE

public static final SubLSymbol $kw111$TERSE

$kw112$IUT

public static final SubLSymbol $kw112$IUT

$sym113$CYC_TEST_OUTPUT_FORMAT_P

public static final SubLSymbol $sym113$CYC_TEST_OUTPUT_FORMAT_P

$sym114$CYC_TEST_P

public static final SubLSymbol $sym114$CYC_TEST_P

$sym115$FIND_CYC_TEST

public static final SubLSymbol $sym115$FIND_CYC_TEST

$str116$No_test_with_name__a_was_found

public static final SubLString $str116$No_test_with_name__a_was_found

$kw117$NOT_RUN

public static final SubLSymbol $kw117$NOT_RUN

$kw118$INVALID

public static final SubLSymbol $kw118$INVALID

$kw119$SUCCESS

public static final SubLSymbol $kw119$SUCCESS

$sym120$EL_SENTENCE_P

public static final SubLSymbol $sym120$EL_SENTENCE_P

$kw121$UNPROVIDED

public static final SubLSymbol $kw121$UNPROVIDED

$kw122$PROBLEM_STORE

public static final SubLSymbol $kw122$PROBLEM_STORE

$str123$Previous_inference_was_not_browsa

public static final SubLString $str123$Previous_inference_was_not_browsa

$kw124$FAILURE

public static final SubLSymbol $kw124$FAILURE

$kw125$SKIP

public static final SubLSymbol $kw125$SKIP

$kw126$BLOCK_

public static final SubLSymbol $kw126$BLOCK_

$list127

public static final SubLList $list127

$kw128$BROWSABLE_

public static final SubLSymbol $kw128$BROWSABLE_

$kw129$BINDINGS_AND_HYPOTHETICAL_BINDINGS

public static final SubLSymbol $kw129$BINDINGS_AND_HYPOTHETICAL_BINDINGS

$str130$___S____

public static final SubLString $str130$___S____

$str131$_S__

public static final SubLString $str131$_S__

$kw132$POST_BUILD

public static final SubLSymbol $kw132$POST_BUILD

$str133$___S__IUT__S__OWNER__S__

public static final SubLString $str133$___S__IUT__S__OWNER__S__

$str134$__Failure_when_asking

public static final SubLString $str134$__Failure_when_asking

$str135$_______S

public static final SubLString $str135$_______S

$str136$____with_properties__s

public static final SubLString $str136$____with_properties__s

$str137$__Result_test____s

public static final SubLString $str137$__Result_test____s

$str138$__Actual_result______s

public static final SubLString $str138$__Actual_result______s

$str139$__Expected_result____s

public static final SubLString $str139$__Expected_result____s

$str140$__Actual_halt_reason______s

public static final SubLString $str140$__Actual_halt_reason______s

$str141$__Expected_halt_reason____s

public static final SubLString $str141$__Expected_halt_reason____s

$str142$____

public static final SubLString $str142$____

Method Detail

inference_unit_test_print_function_trampoline

public static final SubLObject inference_unit_test_print_function_trampoline(SubLObject object,
                                                                             SubLObject stream)

declare_inference_unit_tests_file

public static final SubLObject declare_inference_unit_tests_file()

init_inference_unit_tests_file

public static final SubLObject init_inference_unit_tests_file()

setup_inference_unit_tests_file

public static final SubLObject setup_inference_unit_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.