com.cyc.cycjava.cycl.cyc_testing
Class ctest_utils
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.cyc_testing.ctest_utils
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class ctest_utils
- extends SubLTranslatedFile
Field Summary |
static SubLSymbol |
$collection_execution_type$
|
static SubLSymbol |
$collection_test_collection_type$
A C collection type denotes a collection of KB Content Tests. |
static SubLObject |
$const108$IndividualTestMetric
|
static SubLObject |
$const109$CollectionTestMetric
|
static SubLObject |
$const111$TestMetric
|
static SubLObject |
$const112$UnsupportedTestMetric
|
static SubLObject |
$const18$TestResultNotification_EmailBrief
|
static SubLObject |
$const19$TKBTemplateTestForMissingMt
|
static SubLObject |
$const28$BaseKB
|
static SubLObject |
$const29$UniversalVocabularyMt
|
static SubLObject |
$const30$TKBTemplateTestForMissingExplanat
|
static SubLObject |
$const31$TKBTemplateTestForMissingExample
|
static SubLObject |
$const32$TKBTemplateIntegrityTest
|
static SubLObject |
$const33$TKB_RTVQueries
|
static SubLSymbol |
$csc_table_name$
|
static SubLSymbol |
$ctest_binding_level_metric$
Type designator for query level metrics. |
static SubLSymbol |
$ctest_collection_level_metric$
Type designator for test collection level metrics. |
static SubLSymbol |
$ctest_dfailure_status$
|
static SubLSymbol |
$ctest_error_status$
|
static SubLSymbol |
$ctest_failure_status$
|
static SubLSymbol |
$ctest_metric_types$
|
static SubLSymbol |
$ctest_output_formats$
|
static SubLSymbol |
$ctest_output_styles$
|
static SubLSymbol |
$ctest_problem_status$
|
static SubLSymbol |
$ctest_query_level_metric$
Type designator for query level metrics. |
static SubLSymbol |
$ctest_required_metrics$
NIL or a list of #$IndividualTestMetric instances. |
static SubLSymbol |
$ctest_skipped_status$
|
static SubLSymbol |
$ctest_storing_configs_p$
If T, we maintain, in the repository, a versioned history of how tests were configured. |
static SubLSymbol |
$ctest_storing_p$
If T, we are in a test running environment in which we are storing to the Cyc Test Repository. |
static SubLSymbol |
$ctest_success_status$
|
static SubLSymbol |
$ctest_support_designations$
|
static SubLSymbol |
$ctest_support_types$
|
static SubLSymbol |
$ctest_test_statuses$
|
static SubLSymbol |
$ctest_test_types$
|
static SubLSymbol |
$default_binding_set$
|
static SubLSymbol |
$default_binding_set2$
|
static SubLSymbol |
$default_collection_id$
|
static SubLSymbol |
$default_dependency_test_id$
|
static SubLSymbol |
$default_dependency_test_id2$
|
static SubLSymbol |
$default_email_notify_style_id$
|
static SubLSymbol |
$default_isa_id$
|
static SubLSymbol |
$default_isa_id2$
|
static SubLSymbol |
$default_module_mt$
|
static SubLSymbol |
$default_module_mt2$
|
static SubLSymbol |
$default_module_sentence$
|
static SubLSymbol |
$default_set_of_binding_sets$
|
static SubLSymbol |
$default_set_of_binding_sets2$
|
static SubLSymbol |
$default_set_of_binding_sets3$
|
static SubLSymbol |
$default_string_binding_set$
|
static SubLSymbol |
$default_test_id$
|
static SubLSymbol |
$default_test_mt$
|
static SubLSymbol |
$default_test_query$
|
static SubLSymbol |
$hypothesize_execution_mode$
Tests having query formulas which are in the form of an implication, which are run by hypothesizing terms to satisfy the LHS, substituting them into the RHS, and performing a query using the substituted RHS. |
static SubLSymbol |
$individual_execution_type$
|
static SubLInteger |
$int40$60
|
static SubLInteger |
$int42$50
|
static SubLInteger |
$int44$100
|
static SubLSymbol |
$ipc_table_name$
|
static SubLSymbol |
$kct_binding_set_designations$
|
static SubLSymbol |
$kct_exact_binding_set_designation$
|
static SubLSymbol |
$kct_module_support_type$
|
static SubLSymbol |
$kct_support_support_type$
|
static SubLSymbol |
$kct_test_type$
|
static SubLSymbol |
$kct_unimportant_binding_set_designation$
|
static SubLSymbol |
$kct_unwanted_binding_set_designation$
|
static SubLSymbol |
$kct_unwanted_support_designation$
|
static SubLSymbol |
$kct_wanted_binding_set_designation$
|
static SubLSymbol |
$kct_wanted_support_designation$
|
static SubLSymbol |
$kctc_table_name$
|
static SubLSymbol |
$kctcas_table_name$
|
static SubLSymbol |
$kctcc_table_name$
|
static SubLSymbol |
$kctccbs_table_name$
|
static SubLSymbol |
$kctcg_table_name$
|
static SubLSymbol |
$kctci_table_name$
|
static SubLSymbol |
$kcte_table_name$
|
static SubLSymbol |
$kctem_table_name$
|
static SubLSymbol |
$kcts_project_desc$
|
static SubLSymbol |
$kw101$TRUE
|
static SubLSymbol |
$kw102$FALSE
|
static SubLSymbol |
$kw103$TRUE_DEF
|
static SubLSymbol |
$kw104$TRUE_MON
|
static SubLSymbol |
$kw105$FALSE_DEF
|
static SubLSymbol |
$kw106$FALSE_MON
|
static SubLSymbol |
$kw35$TEXT
|
static SubLSymbol |
$kw36$HTML
|
static SubLSymbol |
$kw37$BRIEF
|
static SubLSymbol |
$kw38$VERBOSE
|
static SubLSymbol |
$kw39$POST_BUILD
|
static SubLList |
$list27
|
static SubLList |
$list34
|
static SubLSymbol |
$max_binding_designation_len$
|
static SubLSymbol |
$max_collection_type_len$
|
static SubLSymbol |
$max_cyclist_id_len$
|
static SubLSymbol |
$max_date_len$
|
static SubLSymbol |
$max_email_notify_style_id_len$
|
static SubLSymbol |
$max_exec_mode_len$
|
static SubLSymbol |
$max_exec_type_len$
|
static SubLSymbol |
$max_image_type_len$
|
static SubLSymbol |
$max_image_version_len$
|
static SubLSymbol |
$max_inference_param_id_len$
|
static SubLSymbol |
$max_kb_number_len$
|
static SubLSymbol |
$max_machine_hardware_type_len$
|
static SubLSymbol |
$max_machine_name_len$
|
static SubLSymbol |
$max_machine_type_len$
|
static SubLSymbol |
$max_metric_id_len$
|
static SubLSymbol |
$max_os_type_len$
|
static SubLSymbol |
$max_support_designation_len$
|
static SubLSymbol |
$max_support_type_len$
|
static SubLSymbol |
$max_system_version_num_len$
|
static SubLSymbol |
$max_test_execution_type_len$
|
static SubLSymbol |
$max_test_id_len$
|
static SubLSymbol |
$max_test_metric_type_len$
|
static SubLSymbol |
$max_test_retry_time$
|
static SubLSymbol |
$max_test_status_len$
|
static SubLSymbol |
$max_test_type_len$
|
static SubLSymbol |
$mc_table_name$
|
static SubLSymbol |
$sampling_execution_mode$
Tests having query formulas which are in the form of an implication, which are run by locating existing objects in the KB that satisfy the LHS, substituting them into the RHS, and performing a query using the substituted RHS. |
static SubLSymbol |
$simple_execution_mode$
Tests having query formulas which are not in the form of an implication, which are run by performing a query using the query formula. |
static SubLString |
$str100$test_type
|
static SubLString |
$str20$___TheSet____ELInferenceBindingFn
|
static SubLString |
$str22$A_SOMETHING
|
static SubLString |
$str24$ANOTHER_THING
|
static SubLString |
$str26$YET_ANOTHER_THING
|
static SubLString |
$str41$cyc_system_config
|
static SubLString |
$str43$machine_config
|
static SubLString |
$str45$test_execution
|
static SubLString |
$str46$KBCONTENT
|
static SubLString |
$str47$SUCCESS
|
static SubLString |
$str48$FAILURE
|
static SubLString |
$str49$DFAILURE
|
static SubLString |
$str50$ERROR
|
static SubLString |
$str51$SKIPPED
|
static SubLString |
$str52$PROBLEM
|
static SubLString |
$str53$test_collection_metric_result
|
static SubLString |
$str54$test_metric_result
|
static SubLString |
$str55$test_execution_member
|
static SubLString |
$str56$kct_execution
|
static SubLString |
$str57$C
|
static SubLString |
$str58$I
|
static SubLString |
$str59$kct_execution_member
|
static SubLString |
$str60$S
|
static SubLString |
$str61$H
|
static SubLString |
$str62$X
|
static SubLString |
$str63$kct_config
|
static SubLString |
$str64$KB_Content_Test_System
|
static SubLString |
$str65$kct_collection_config
|
static SubLString |
$str66$test_cyclist_responsible_config
|
static SubLString |
$str67$kct_config_cycl_binding_set
|
static SubLString |
$str68$E
|
static SubLString |
$str69$W
|
static SubLString |
$str70$N
|
static SubLString |
$str71$U
|
static SubLString |
$str72$kct_config_answer_support
|
static SubLString |
$str73$M
|
static SubLString |
$str74$inference_param_config
|
static SubLString |
$str75$test_metric_config
|
static SubLString |
$str76$Q
|
static SubLString |
$str77$B
|
static SubLString |
$str78$test_dependency_config
|
static SubLString |
$str79$kct_config_genls
|
static SubLString |
$str80$kct_config_isas
|
static SubLString |
$str81$Test_or_test_collection_GUID_must
|
static SubLString |
$str82$binding_designation
|
static SubLString |
$str83$cyclist_id
|
static SubLString |
$str84$email_notify_style_id
|
static SubLString |
$str85$execution_type
|
static SubLString |
$str86$genls_id
|
static SubLString |
$str87$image_type
|
static SubLString |
$str88$image_version
|
static SubLString |
$str89$inference_metric_id
|
static SubLString |
$str90$isa_id
|
static SubLString |
$str91$kb_number
|
static SubLString |
$str92$machine_hardware_type
|
static SubLString |
$str93$machine_name
|
static SubLString |
$str94$machine_type
|
static SubLString |
$str95$os_type
|
static SubLString |
$str96$support_type
|
static SubLString |
$str97$system_version_num
|
static SubLString |
$str98$test_id
|
static SubLString |
$str99$test_status
|
static SubLSymbol |
$sym0$_DEFAULT_EMAIL_NOTIFY_STYLE_ID_
|
static SubLSymbol |
$sym1$_DEFAULT_TEST_ID_
|
static SubLSymbol |
$sym10$_DEFAULT_MODULE_MT2_
|
static SubLSymbol |
$sym107$KEYWORDP
|
static SubLSymbol |
$sym11$_DEFAULT_DEPENDENCY_TEST_ID_
|
static SubLSymbol |
$sym110$CONSTANT_P
|
static SubLSymbol |
$sym113$CTEST_UNSUPPORTED_METRIC_
|
static SubLSymbol |
$sym12$_DEFAULT_DEPENDENCY_TEST_ID2_
|
static SubLSymbol |
$sym13$_DEFAULT_ISA_ID_
|
static SubLSymbol |
$sym14$_DEFAULT_ISA_ID2_
|
static SubLSymbol |
$sym15$_DEFAULT_TEST_QUERY_
|
static SubLSymbol |
$sym16$_DEFAULT_TEST_MT_
|
static SubLSymbol |
$sym17$_DEFAULT_COLLECTION_ID_
|
static SubLSymbol |
$sym2$_DEFAULT_STRING_BINDING_SET_
|
static SubLSymbol |
$sym21$_SOMETHING
|
static SubLSymbol |
$sym23$_OTHERTHING
|
static SubLSymbol |
$sym25$_ANOTHERTHING
|
static SubLSymbol |
$sym3$_DEFAULT_BINDING_SET_
|
static SubLSymbol |
$sym4$_DEFAULT_BINDING_SET2_
|
static SubLSymbol |
$sym5$_DEFAULT_SET_OF_BINDING_SETS_
|
static SubLSymbol |
$sym6$_DEFAULT_SET_OF_BINDING_SETS2_
|
static SubLSymbol |
$sym7$_DEFAULT_SET_OF_BINDING_SETS3_
|
static SubLSymbol |
$sym8$_DEFAULT_MODULE_SENTENCE_
|
static SubLSymbol |
$sym9$_DEFAULT_MODULE_MT_
|
static SubLSymbol |
$system_test_collection_type$
An S collection type denotes a system wide collection of KB Content Tests. |
static SubLSymbol |
$tcmr_table_name$
|
static SubLSymbol |
$tcrc_table_name$
|
static SubLSymbol |
$tdc_table_name$
|
static SubLSymbol |
$te_table_name$
|
static SubLSymbol |
$tem_table_name$
|
static SubLSymbol |
$tests_in_process$
Index of guids for tests and test collections which are currently being
constructed. |
static SubLSymbol |
$tmc_table_name$
|
static SubLSymbol |
$tmr_table_name$
|
static SubLFile |
me
|
static java.lang.String |
myName
|
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
$default_email_notify_style_id$
public static SubLSymbol $default_email_notify_style_id$
$default_test_id$
public static SubLSymbol $default_test_id$
$default_string_binding_set$
public static SubLSymbol $default_string_binding_set$
$default_binding_set$
public static SubLSymbol $default_binding_set$
$default_binding_set2$
public static SubLSymbol $default_binding_set2$
$default_set_of_binding_sets$
public static SubLSymbol $default_set_of_binding_sets$
$default_set_of_binding_sets2$
public static SubLSymbol $default_set_of_binding_sets2$
$default_set_of_binding_sets3$
public static SubLSymbol $default_set_of_binding_sets3$
$default_module_sentence$
public static SubLSymbol $default_module_sentence$
$default_module_mt$
public static SubLSymbol $default_module_mt$
$default_module_mt2$
public static SubLSymbol $default_module_mt2$
$default_dependency_test_id$
public static SubLSymbol $default_dependency_test_id$
$default_dependency_test_id2$
public static SubLSymbol $default_dependency_test_id2$
$default_isa_id$
public static SubLSymbol $default_isa_id$
$default_isa_id2$
public static SubLSymbol $default_isa_id2$
$default_test_query$
public static SubLSymbol $default_test_query$
$default_test_mt$
public static SubLSymbol $default_test_mt$
$default_collection_id$
public static SubLSymbol $default_collection_id$
$ctest_output_formats$
public static SubLSymbol $ctest_output_formats$
$ctest_output_styles$
public static SubLSymbol $ctest_output_styles$
$max_test_retry_time$
public static SubLSymbol $max_test_retry_time$
$csc_table_name$
public static SubLSymbol $csc_table_name$
$max_image_type_len$
public static SubLSymbol $max_image_type_len$
$max_image_version_len$
public static SubLSymbol $max_image_version_len$
$max_system_version_num_len$
public static SubLSymbol $max_system_version_num_len$
$max_kb_number_len$
public static SubLSymbol $max_kb_number_len$
$mc_table_name$
public static SubLSymbol $mc_table_name$
$max_machine_name_len$
public static SubLSymbol $max_machine_name_len$
$max_machine_type_len$
public static SubLSymbol $max_machine_type_len$
$max_machine_hardware_type_len$
public static SubLSymbol $max_machine_hardware_type_len$
$max_os_type_len$
public static SubLSymbol $max_os_type_len$
$te_table_name$
public static SubLSymbol $te_table_name$
$max_test_id_len$
public static SubLSymbol $max_test_id_len$
$max_test_type_len$
public static SubLSymbol $max_test_type_len$
$max_date_len$
public static SubLSymbol $max_date_len$
$max_test_status_len$
public static SubLSymbol $max_test_status_len$
$max_test_execution_type_len$
public static SubLSymbol $max_test_execution_type_len$
$ctest_test_types$
public static SubLSymbol $ctest_test_types$
$ctest_test_statuses$
public static SubLSymbol $ctest_test_statuses$
$ctest_success_status$
public static SubLSymbol $ctest_success_status$
$ctest_failure_status$
public static SubLSymbol $ctest_failure_status$
$ctest_dfailure_status$
public static SubLSymbol $ctest_dfailure_status$
$ctest_error_status$
public static SubLSymbol $ctest_error_status$
$ctest_skipped_status$
public static SubLSymbol $ctest_skipped_status$
$ctest_problem_status$
public static SubLSymbol $ctest_problem_status$
$kct_test_type$
public static SubLSymbol $kct_test_type$
$tcmr_table_name$
public static SubLSymbol $tcmr_table_name$
$max_metric_id_len$
public static SubLSymbol $max_metric_id_len$
$tmr_table_name$
public static SubLSymbol $tmr_table_name$
$tem_table_name$
public static SubLSymbol $tem_table_name$
$kcte_table_name$
public static SubLSymbol $kcte_table_name$
$max_exec_type_len$
public static SubLSymbol $max_exec_type_len$
$collection_execution_type$
public static SubLSymbol $collection_execution_type$
$individual_execution_type$
public static SubLSymbol $individual_execution_type$
$kctem_table_name$
public static SubLSymbol $kctem_table_name$
$max_exec_mode_len$
public static SubLSymbol $max_exec_mode_len$
$sampling_execution_mode$
public static SubLSymbol $sampling_execution_mode$
- Tests having query formulas which are in the form of an implication, which are run by locating existing objects in the KB that satisfy the LHS, substituting them into the RHS, and performing a query using the substituted RHS.
$hypothesize_execution_mode$
public static SubLSymbol $hypothesize_execution_mode$
- Tests having query formulas which are in the form of an implication, which are run by hypothesizing terms to satisfy the LHS, substituting them into the RHS, and performing a query using the substituted RHS.
$simple_execution_mode$
public static SubLSymbol $simple_execution_mode$
- Tests having query formulas which are not in the form of an implication, which are run by performing a query using the query formula.
$kctc_table_name$
public static SubLSymbol $kctc_table_name$
$kcts_project_desc$
public static SubLSymbol $kcts_project_desc$
$kctcc_table_name$
public static SubLSymbol $kctcc_table_name$
$max_collection_type_len$
public static SubLSymbol $max_collection_type_len$
$collection_test_collection_type$
public static SubLSymbol $collection_test_collection_type$
- A C collection type denotes a collection of KB Content Tests.
$system_test_collection_type$
public static SubLSymbol $system_test_collection_type$
- An S collection type denotes a system wide collection of KB Content Tests.
$tcrc_table_name$
public static SubLSymbol $tcrc_table_name$
$max_cyclist_id_len$
public static SubLSymbol $max_cyclist_id_len$
$max_email_notify_style_id_len$
public static SubLSymbol $max_email_notify_style_id_len$
$kctccbs_table_name$
public static SubLSymbol $kctccbs_table_name$
$max_binding_designation_len$
public static SubLSymbol $max_binding_designation_len$
$kct_exact_binding_set_designation$
public static SubLSymbol $kct_exact_binding_set_designation$
$kct_wanted_binding_set_designation$
public static SubLSymbol $kct_wanted_binding_set_designation$
$kct_unwanted_binding_set_designation$
public static SubLSymbol $kct_unwanted_binding_set_designation$
$kct_unimportant_binding_set_designation$
public static SubLSymbol $kct_unimportant_binding_set_designation$
$kct_binding_set_designations$
public static SubLSymbol $kct_binding_set_designations$
$kctcas_table_name$
public static SubLSymbol $kctcas_table_name$
$max_support_type_len$
public static SubLSymbol $max_support_type_len$
$max_support_designation_len$
public static SubLSymbol $max_support_designation_len$
$ctest_support_types$
public static SubLSymbol $ctest_support_types$
$ctest_support_designations$
public static SubLSymbol $ctest_support_designations$
$kct_wanted_support_designation$
public static SubLSymbol $kct_wanted_support_designation$
$kct_unwanted_support_designation$
public static SubLSymbol $kct_unwanted_support_designation$
$kct_support_support_type$
public static SubLSymbol $kct_support_support_type$
$kct_module_support_type$
public static SubLSymbol $kct_module_support_type$
$ipc_table_name$
public static SubLSymbol $ipc_table_name$
$max_inference_param_id_len$
public static SubLSymbol $max_inference_param_id_len$
$tmc_table_name$
public static SubLSymbol $tmc_table_name$
$max_test_metric_type_len$
public static SubLSymbol $max_test_metric_type_len$
$ctest_metric_types$
public static SubLSymbol $ctest_metric_types$
$ctest_collection_level_metric$
public static SubLSymbol $ctest_collection_level_metric$
- Type designator for test collection level metrics.
$ctest_query_level_metric$
public static SubLSymbol $ctest_query_level_metric$
- Type designator for query level metrics.
$ctest_binding_level_metric$
public static SubLSymbol $ctest_binding_level_metric$
- Type designator for query level metrics.
$tdc_table_name$
public static SubLSymbol $tdc_table_name$
$kctcg_table_name$
public static SubLSymbol $kctcg_table_name$
$kctci_table_name$
public static SubLSymbol $kctci_table_name$
$ctest_storing_p$
public static SubLSymbol $ctest_storing_p$
- If T, we are in a test running environment in which we are storing to the Cyc Test Repository.
$ctest_storing_configs_p$
public static SubLSymbol $ctest_storing_configs_p$
- If T, we maintain, in the repository, a versioned history of how tests were configured.
This was the default until October 2004, but was disabled due to problems with completing
the storage of config info within the 4-hour SDBC timeout.
$ctest_required_metrics$
public static SubLSymbol $ctest_required_metrics$
- NIL or a list of #$IndividualTestMetric instances. Metrics in this list will be collected
for every individual test, whether the test is configured to collect them or not.
$tests_in_process$
public static SubLSymbol $tests_in_process$
- Index of guids for tests and test collections which are currently being
constructed. This will help avoid tests in the same collection from attempting to
insert config records for the same test or same parent collection when that test
and/or test collection is currently being saved to the Repository.
$sym0$_DEFAULT_EMAIL_NOTIFY_STYLE_ID_
public static final SubLSymbol $sym0$_DEFAULT_EMAIL_NOTIFY_STYLE_ID_
$sym1$_DEFAULT_TEST_ID_
public static final SubLSymbol $sym1$_DEFAULT_TEST_ID_
$sym2$_DEFAULT_STRING_BINDING_SET_
public static final SubLSymbol $sym2$_DEFAULT_STRING_BINDING_SET_
$sym3$_DEFAULT_BINDING_SET_
public static final SubLSymbol $sym3$_DEFAULT_BINDING_SET_
$sym4$_DEFAULT_BINDING_SET2_
public static final SubLSymbol $sym4$_DEFAULT_BINDING_SET2_
$sym5$_DEFAULT_SET_OF_BINDING_SETS_
public static final SubLSymbol $sym5$_DEFAULT_SET_OF_BINDING_SETS_
$sym6$_DEFAULT_SET_OF_BINDING_SETS2_
public static final SubLSymbol $sym6$_DEFAULT_SET_OF_BINDING_SETS2_
$sym7$_DEFAULT_SET_OF_BINDING_SETS3_
public static final SubLSymbol $sym7$_DEFAULT_SET_OF_BINDING_SETS3_
$sym8$_DEFAULT_MODULE_SENTENCE_
public static final SubLSymbol $sym8$_DEFAULT_MODULE_SENTENCE_
$sym9$_DEFAULT_MODULE_MT_
public static final SubLSymbol $sym9$_DEFAULT_MODULE_MT_
$sym10$_DEFAULT_MODULE_MT2_
public static final SubLSymbol $sym10$_DEFAULT_MODULE_MT2_
$sym11$_DEFAULT_DEPENDENCY_TEST_ID_
public static final SubLSymbol $sym11$_DEFAULT_DEPENDENCY_TEST_ID_
$sym12$_DEFAULT_DEPENDENCY_TEST_ID2_
public static final SubLSymbol $sym12$_DEFAULT_DEPENDENCY_TEST_ID2_
$sym13$_DEFAULT_ISA_ID_
public static final SubLSymbol $sym13$_DEFAULT_ISA_ID_
$sym14$_DEFAULT_ISA_ID2_
public static final SubLSymbol $sym14$_DEFAULT_ISA_ID2_
$sym15$_DEFAULT_TEST_QUERY_
public static final SubLSymbol $sym15$_DEFAULT_TEST_QUERY_
$sym16$_DEFAULT_TEST_MT_
public static final SubLSymbol $sym16$_DEFAULT_TEST_MT_
$sym17$_DEFAULT_COLLECTION_ID_
public static final SubLSymbol $sym17$_DEFAULT_COLLECTION_ID_
$const18$TestResultNotification_EmailBrief
public static final SubLObject $const18$TestResultNotification_EmailBrief
$const19$TKBTemplateTestForMissingMt
public static final SubLObject $const19$TKBTemplateTestForMissingMt
$str20$___TheSet____ELInferenceBindingFn
public static final SubLString $str20$___TheSet____ELInferenceBindingFn
$sym21$_SOMETHING
public static final SubLSymbol $sym21$_SOMETHING
$str22$A_SOMETHING
public static final SubLString $str22$A_SOMETHING
$sym23$_OTHERTHING
public static final SubLSymbol $sym23$_OTHERTHING
$str24$ANOTHER_THING
public static final SubLString $str24$ANOTHER_THING
$sym25$_ANOTHERTHING
public static final SubLSymbol $sym25$_ANOTHERTHING
$str26$YET_ANOTHER_THING
public static final SubLString $str26$YET_ANOTHER_THING
$list27
public static final SubLList $list27
$const28$BaseKB
public static final SubLObject $const28$BaseKB
$const29$UniversalVocabularyMt
public static final SubLObject $const29$UniversalVocabularyMt
$const30$TKBTemplateTestForMissingExplanat
public static final SubLObject $const30$TKBTemplateTestForMissingExplanat
$const31$TKBTemplateTestForMissingExample
public static final SubLObject $const31$TKBTemplateTestForMissingExample
$const32$TKBTemplateIntegrityTest
public static final SubLObject $const32$TKBTemplateIntegrityTest
$const33$TKB_RTVQueries
public static final SubLObject $const33$TKB_RTVQueries
$list34
public static final SubLList $list34
$kw35$TEXT
public static final SubLSymbol $kw35$TEXT
$kw36$HTML
public static final SubLSymbol $kw36$HTML
$kw37$BRIEF
public static final SubLSymbol $kw37$BRIEF
$kw38$VERBOSE
public static final SubLSymbol $kw38$VERBOSE
$kw39$POST_BUILD
public static final SubLSymbol $kw39$POST_BUILD
$int40$60
public static final SubLInteger $int40$60
$str41$cyc_system_config
public static final SubLString $str41$cyc_system_config
$int42$50
public static final SubLInteger $int42$50
$str43$machine_config
public static final SubLString $str43$machine_config
$int44$100
public static final SubLInteger $int44$100
$str45$test_execution
public static final SubLString $str45$test_execution
$str46$KBCONTENT
public static final SubLString $str46$KBCONTENT
$str47$SUCCESS
public static final SubLString $str47$SUCCESS
$str48$FAILURE
public static final SubLString $str48$FAILURE
$str49$DFAILURE
public static final SubLString $str49$DFAILURE
$str50$ERROR
public static final SubLString $str50$ERROR
$str51$SKIPPED
public static final SubLString $str51$SKIPPED
$str52$PROBLEM
public static final SubLString $str52$PROBLEM
$str53$test_collection_metric_result
public static final SubLString $str53$test_collection_metric_result
$str54$test_metric_result
public static final SubLString $str54$test_metric_result
$str55$test_execution_member
public static final SubLString $str55$test_execution_member
$str56$kct_execution
public static final SubLString $str56$kct_execution
$str57$C
public static final SubLString $str57$C
$str58$I
public static final SubLString $str58$I
$str59$kct_execution_member
public static final SubLString $str59$kct_execution_member
$str60$S
public static final SubLString $str60$S
$str61$H
public static final SubLString $str61$H
$str62$X
public static final SubLString $str62$X
$str63$kct_config
public static final SubLString $str63$kct_config
$str64$KB_Content_Test_System
public static final SubLString $str64$KB_Content_Test_System
$str65$kct_collection_config
public static final SubLString $str65$kct_collection_config
$str66$test_cyclist_responsible_config
public static final SubLString $str66$test_cyclist_responsible_config
$str67$kct_config_cycl_binding_set
public static final SubLString $str67$kct_config_cycl_binding_set
$str68$E
public static final SubLString $str68$E
$str69$W
public static final SubLString $str69$W
$str70$N
public static final SubLString $str70$N
$str71$U
public static final SubLString $str71$U
$str72$kct_config_answer_support
public static final SubLString $str72$kct_config_answer_support
$str73$M
public static final SubLString $str73$M
$str74$inference_param_config
public static final SubLString $str74$inference_param_config
$str75$test_metric_config
public static final SubLString $str75$test_metric_config
$str76$Q
public static final SubLString $str76$Q
$str77$B
public static final SubLString $str77$B
$str78$test_dependency_config
public static final SubLString $str78$test_dependency_config
$str79$kct_config_genls
public static final SubLString $str79$kct_config_genls
$str80$kct_config_isas
public static final SubLString $str80$kct_config_isas
$str81$Test_or_test_collection_GUID_must
public static final SubLString $str81$Test_or_test_collection_GUID_must
$str82$binding_designation
public static final SubLString $str82$binding_designation
$str83$cyclist_id
public static final SubLString $str83$cyclist_id
$str84$email_notify_style_id
public static final SubLString $str84$email_notify_style_id
$str85$execution_type
public static final SubLString $str85$execution_type
$str86$genls_id
public static final SubLString $str86$genls_id
$str87$image_type
public static final SubLString $str87$image_type
$str88$image_version
public static final SubLString $str88$image_version
$str89$inference_metric_id
public static final SubLString $str89$inference_metric_id
$str90$isa_id
public static final SubLString $str90$isa_id
$str91$kb_number
public static final SubLString $str91$kb_number
$str92$machine_hardware_type
public static final SubLString $str92$machine_hardware_type
$str93$machine_name
public static final SubLString $str93$machine_name
$str94$machine_type
public static final SubLString $str94$machine_type
$str95$os_type
public static final SubLString $str95$os_type
$str96$support_type
public static final SubLString $str96$support_type
$str97$system_version_num
public static final SubLString $str97$system_version_num
$str98$test_id
public static final SubLString $str98$test_id
$str99$test_status
public static final SubLString $str99$test_status
$str100$test_type
public static final SubLString $str100$test_type
$kw101$TRUE
public static final SubLSymbol $kw101$TRUE
$kw102$FALSE
public static final SubLSymbol $kw102$FALSE
$kw103$TRUE_DEF
public static final SubLSymbol $kw103$TRUE_DEF
$kw104$TRUE_MON
public static final SubLSymbol $kw104$TRUE_MON
$kw105$FALSE_DEF
public static final SubLSymbol $kw105$FALSE_DEF
$kw106$FALSE_MON
public static final SubLSymbol $kw106$FALSE_MON
$sym107$KEYWORDP
public static final SubLSymbol $sym107$KEYWORDP
$const108$IndividualTestMetric
public static final SubLObject $const108$IndividualTestMetric
$const109$CollectionTestMetric
public static final SubLObject $const109$CollectionTestMetric
$sym110$CONSTANT_P
public static final SubLSymbol $sym110$CONSTANT_P
$const111$TestMetric
public static final SubLObject $const111$TestMetric
$const112$UnsupportedTestMetric
public static final SubLObject $const112$UnsupportedTestMetric
$sym113$CTEST_UNSUPPORTED_METRIC_
public static final SubLSymbol $sym113$CTEST_UNSUPPORTED_METRIC_
initialize_ctest
public static final SubLObject initialize_ctest()
declare_ctest_utils_file
public static final SubLObject declare_ctest_utils_file()
init_ctest_utils_file
public static final SubLObject init_ctest_utils_file()
setup_ctest_utils_file
public static final SubLObject setup_ctest_utils_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.