com.cyc.cycjava.cycl.cyc_testing
Class ctest_utils

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.cyc_testing.ctest_utils
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class ctest_utils
extends SubLTranslatedFile


Nested Class Summary
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
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 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_ctest_utils_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_ctest_utils_file()
           
static SubLObject initialize_ctest()
           
 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_ctest_utils_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

$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_
Method Detail

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.