com.cyc.cycjava.cycl.cyc_testing.kb_content_test
Class kct_utils

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class kct_utils
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const11$isa
static SubLObject	$const13$comment
static SubLObject	$const16$testResponsibleCyclist
static SubLObject	$const18$testCollectionCyclistResponsible
static SubLObject	$const19$testMetricsToGather
static SubLObject	$const20$testAnswersCycL_Exact
static SubLObject	$const21$testAnswersCycL_Wanted
static SubLObject	$const22$testAnswersCycL_NotWanted
static SubLObject	$const23$testAnswersCycLUnimportant
static SubLObject	$const24$testAnswers_Cardinality_Exact
static SubLObject	$const25$testAnswers_Cardinality_Min
static SubLObject	$const26$testAnswers_Cardinality_Max
static SubLObject	$const29$EverythingPSC
static SubLObject	$const31$TestVocabularyMt
static SubLObject	$const38$testAnswerSupport_Wanted
static SubLObject	$const39$testAnswerSupport_NotWanted
static SubLObject	$const40$testAnswerSupportedByHLSupportMod
static SubLObject	$const41$testAnswerSupportedByHLSupportMod
static SubLObject	$const5$testQuerySpecification
static SubLObject	$const65$AreteQuery
static SubLObject	$const7$KBContentTest_FullySpecified
static SubLObject	$const77$CycArchitectureMt
static SubLObject	$const78$CycKBContentTestFramework
static SubLObject	$const79$defaultSoftwareParameterValueInSo
static SubLObject	$const8$KBContentTest
static SubLObject	$const80$True
static SubLObject	$const81$False
static SubLObject	$const9$KBContentTestSpecificationType
static SubLSymbol	$kct_collection_execution_type$
static SubLSymbol	$kct_debug$
static SubLSymbol	$kct_default_error_notify_cyclist$
static SubLSymbol	$kct_test_execution_type$
static SubLSymbol	$kct_use_sampling_mode$
static SubLSymbol	$kw15$WHO
static SubLSymbol	$kw30$GAF
static SubLSymbol	$kw32$SEVERE
static SubLSymbol	$kw35$NOT_A_TEST_SPECIFICATION
static SubLSymbol	$kw37$NO_VALID_QUERY
static SubLSymbol	$kw43$NO_TEST_EXPECTATION
static SubLSymbol	$kw45$EXACT_ANSWER_CONTAINS_MALFORMED_INFERENCE_BINDING_SET
static SubLSymbol	$kw48$WANTED_ANSWER_IS_NOT_AN_INFERENCE_BINDING_SET
static SubLSymbol	$kw50$UNWANTED_ANSWER_IS_NOT_AN_INFERENCE_BINDING_SET
static SubLSymbol	$kw51$PROBLEM
static SubLSymbol	$kw53$NO_RESPONSIBLE_CYCLIST
static SubLSymbol	$kw54$BREADTH
static SubLSymbol	$kw55$QUEUE
static SubLSymbol	$kw56$STACK
static SubLSymbol	$kw58$ERROR
static SubLSymbol	$kw6$TRUE
static SubLSymbol	$kw61$CERROR
static SubLSymbol	$kw63$WARN
static SubLList	$list17
static SubLList	$list2
static SubLList	$list27
static SubLList	$list67
static SubLList	$list86
static SubLString	$str0$I
static SubLString	$str1$C
static SubLString	$str33$
static SubLString	$str34$___A_is_not_a___KBContentTest_Ful
static SubLString	$str36$___A_does_not_have_a_valid_arg2_f
static SubLString	$str42$___A_has_no_stated_test_expectati
static SubLString	$str44$___A_s_exact_answer_should_includ
static SubLString	$str46$_A_
static SubLString	$str47$___A_s_wanted_answer_should_be_an
static SubLString	$str49$___A_s_unwanted_answer_should_be_
static SubLString	$str52$___A_does_not_have_a_responsible_
static SubLString	$str59$_A_is_not_a__A
static SubLString	$str62$continue_anyway
static SubLString	$str64$_A_is_not_a_valid__sbhl_type_erro
static SubLString	$str66$attempting_to_bind_direction_link
static SubLString	$str68$Node__a_does_not_pass_sbhl_type_t
static SubLString	$str69$___A_is_not_a___KBContentTestSpec
static SubLString	$str70$___A_has_no_responsible_Cyclists_
static SubLString	$str71$___A_has_no_instances_
static SubLString	$str72$Sampling
static SubLString	$str73$Hypothesize
static SubLString	$str74$Simple
static SubLString	$str75$Test_Set
static SubLString	$str76$Individual_Test
static SubLSymbol	$sym10$FORT_P
static SubLSymbol	$sym12$KCT_TEST_COLLECTION_P
static SubLSymbol	$sym14$COLLECTION_P
static SubLSymbol	$sym28$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym3$VALID_CONSTANT_
static SubLSymbol	$sym4$CONSTANT_P
static SubLSymbol	$sym57$RELEVANT_SBHL_TV_IS_GENERAL_TV
static SubLSymbol	$sym60$SBHL_TRUE_TV_P
static SubLSymbol	$sym82$CANONICALIZE_QUERY_BINDINGS_INT
static SubLSymbol	$sym83$NCANONICALIZE_QUERY_BINDING_INT
static SubLSymbol	$sym84$TERM__
static SubLSymbol	$sym85$VARIABLE_BINDING_VARIABLE
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_kct_utils_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_kct_utils_file()
static SubLObject	initialize_kct_kb_feature() Determines whether the portion of the KB necessary for KCTs is loaded.
static SubLObject	initialize_kct()
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_kct_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

$kct_test_execution_type$

public static SubLSymbol $kct_test_execution_type$

$kct_collection_execution_type$

public static SubLSymbol $kct_collection_execution_type$

$kct_default_error_notify_cyclist$

public static SubLSymbol $kct_default_error_notify_cyclist$

$kct_use_sampling_mode$

public static SubLSymbol $kct_use_sampling_mode$

$kct_debug$

public static SubLSymbol $kct_debug$

$str0$I

public static final SubLString $str0$I

$str1$C

public static final SubLString $str1$C

$list2

public static final SubLList $list2

$sym3$VALID_CONSTANT_

public static final SubLSymbol $sym3$VALID_CONSTANT_

$sym4$CONSTANT_P

public static final SubLSymbol $sym4$CONSTANT_P

$const5$testQuerySpecification

public static final SubLObject $const5$testQuerySpecification

$kw6$TRUE

public static final SubLSymbol $kw6$TRUE

$const7$KBContentTest_FullySpecified

public static final SubLObject $const7$KBContentTest_FullySpecified

$const8$KBContentTest

public static final SubLObject $const8$KBContentTest

$const9$KBContentTestSpecificationType

public static final SubLObject $const9$KBContentTestSpecificationType

$sym10$FORT_P

public static final SubLSymbol $sym10$FORT_P

$const11$isa

public static final SubLObject $const11$isa

$sym12$KCT_TEST_COLLECTION_P

public static final SubLSymbol $sym12$KCT_TEST_COLLECTION_P

$const13$comment

public static final SubLObject $const13$comment

$sym14$COLLECTION_P

public static final SubLSymbol $sym14$COLLECTION_P

$kw15$WHO

public static final SubLSymbol $kw15$WHO

$const16$testResponsibleCyclist

public static final SubLObject $const16$testResponsibleCyclist

$list17

public static final SubLList $list17

$const18$testCollectionCyclistResponsible

public static final SubLObject $const18$testCollectionCyclistResponsible

$const19$testMetricsToGather

public static final SubLObject $const19$testMetricsToGather

$const20$testAnswersCycL_Exact

public static final SubLObject $const20$testAnswersCycL_Exact

$const21$testAnswersCycL_Wanted

public static final SubLObject $const21$testAnswersCycL_Wanted

$const22$testAnswersCycL_NotWanted

public static final SubLObject $const22$testAnswersCycL_NotWanted

$const23$testAnswersCycLUnimportant

public static final SubLObject $const23$testAnswersCycLUnimportant

$const24$testAnswers_Cardinality_Exact

public static final SubLObject $const24$testAnswers_Cardinality_Exact

$const25$testAnswers_Cardinality_Min

public static final SubLObject $const25$testAnswers_Cardinality_Min

$const26$testAnswers_Cardinality_Max

public static final SubLObject $const26$testAnswers_Cardinality_Max

$list27

public static final SubLList $list27

$sym28$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym28$RELEVANT_MT_IS_EVERYTHING

$const29$EverythingPSC

public static final SubLObject $const29$EverythingPSC

$kw30$GAF

public static final SubLSymbol $kw30$GAF

$const31$TestVocabularyMt

public static final SubLObject $const31$TestVocabularyMt

$kw32$SEVERE

public static final SubLSymbol $kw32$SEVERE

$str33$

public static final SubLString $str33$

$str34$___A_is_not_a___KBContentTest_Ful

public static final SubLString $str34$___A_is_not_a___KBContentTest_Ful

$kw35$NOT_A_TEST_SPECIFICATION

public static final SubLSymbol $kw35$NOT_A_TEST_SPECIFICATION

$str36$___A_does_not_have_a_valid_arg2_f

public static final SubLString $str36$___A_does_not_have_a_valid_arg2_f

$kw37$NO_VALID_QUERY

public static final SubLSymbol $kw37$NO_VALID_QUERY

$const38$testAnswerSupport_Wanted

public static final SubLObject $const38$testAnswerSupport_Wanted

$const39$testAnswerSupport_NotWanted

public static final SubLObject $const39$testAnswerSupport_NotWanted

$const40$testAnswerSupportedByHLSupportMod

public static final SubLObject $const40$testAnswerSupportedByHLSupportMod

$const41$testAnswerSupportedByHLSupportMod

public static final SubLObject $const41$testAnswerSupportedByHLSupportMod

$str42$___A_has_no_stated_test_expectati

public static final SubLString $str42$___A_has_no_stated_test_expectati

$kw43$NO_TEST_EXPECTATION

public static final SubLSymbol $kw43$NO_TEST_EXPECTATION

$str44$___A_s_exact_answer_should_includ

public static final SubLString $str44$___A_s_exact_answer_should_includ

$kw45$EXACT_ANSWER_CONTAINS_MALFORMED_INFERENCE_BINDING_SET

public static final SubLSymbol $kw45$EXACT_ANSWER_CONTAINS_MALFORMED_INFERENCE_BINDING_SET

$str46$_A_

public static final SubLString $str46$_A_

$str47$___A_s_wanted_answer_should_be_an

public static final SubLString $str47$___A_s_wanted_answer_should_be_an

$kw48$WANTED_ANSWER_IS_NOT_AN_INFERENCE_BINDING_SET

public static final SubLSymbol $kw48$WANTED_ANSWER_IS_NOT_AN_INFERENCE_BINDING_SET

$str49$___A_s_unwanted_answer_should_be_

public static final SubLString $str49$___A_s_unwanted_answer_should_be_

$kw50$UNWANTED_ANSWER_IS_NOT_AN_INFERENCE_BINDING_SET

public static final SubLSymbol $kw50$UNWANTED_ANSWER_IS_NOT_AN_INFERENCE_BINDING_SET

$kw51$PROBLEM

public static final SubLSymbol $kw51$PROBLEM

$str52$___A_does_not_have_a_responsible_

public static final SubLString $str52$___A_does_not_have_a_responsible_

$kw53$NO_RESPONSIBLE_CYCLIST

public static final SubLSymbol $kw53$NO_RESPONSIBLE_CYCLIST

$kw54$BREADTH

public static final SubLSymbol $kw54$BREADTH

$kw55$QUEUE

public static final SubLSymbol $kw55$QUEUE

$kw56$STACK

public static final SubLSymbol $kw56$STACK

$sym57$RELEVANT_SBHL_TV_IS_GENERAL_TV

public static final SubLSymbol $sym57$RELEVANT_SBHL_TV_IS_GENERAL_TV

$kw58$ERROR

public static final SubLSymbol $kw58$ERROR

$str59$_A_is_not_a__A

public static final SubLString $str59$_A_is_not_a__A

$sym60$SBHL_TRUE_TV_P

public static final SubLSymbol $sym60$SBHL_TRUE_TV_P

$kw61$CERROR

public static final SubLSymbol $kw61$CERROR

$str62$continue_anyway

public static final SubLString $str62$continue_anyway

$kw63$WARN

public static final SubLSymbol $kw63$WARN

$str64$_A_is_not_a_valid__sbhl_type_erro

public static final SubLString $str64$_A_is_not_a_valid__sbhl_type_erro

$const65$AreteQuery

public static final SubLObject $const65$AreteQuery

$str66$attempting_to_bind_direction_link

public static final SubLString $str66$attempting_to_bind_direction_link

$list67

public static final SubLList $list67

$str68$Node__a_does_not_pass_sbhl_type_t

public static final SubLString $str68$Node__a_does_not_pass_sbhl_type_t

$str69$___A_is_not_a___KBContentTestSpec

public static final SubLString $str69$___A_is_not_a___KBContentTestSpec

$str70$___A_has_no_responsible_Cyclists_

public static final SubLString $str70$___A_has_no_responsible_Cyclists_

$str71$___A_has_no_instances_

public static final SubLString $str71$___A_has_no_instances_

$str72$Sampling

public static final SubLString $str72$Sampling

$str73$Hypothesize

public static final SubLString $str73$Hypothesize

$str74$Simple

public static final SubLString $str74$Simple

$str75$Test_Set

public static final SubLString $str75$Test_Set

$str76$Individual_Test

public static final SubLString $str76$Individual_Test

$const77$CycArchitectureMt

public static final SubLObject $const77$CycArchitectureMt

$const78$CycKBContentTestFramework

public static final SubLObject $const78$CycKBContentTestFramework

$const79$defaultSoftwareParameterValueInSo

public static final SubLObject $const79$defaultSoftwareParameterValueInSo

$const80$True

public static final SubLObject $const80$True

$const81$False

public static final SubLObject $const81$False

$sym82$CANONICALIZE_QUERY_BINDINGS_INT

public static final SubLSymbol $sym82$CANONICALIZE_QUERY_BINDINGS_INT

$sym83$NCANONICALIZE_QUERY_BINDING_INT

public static final SubLSymbol $sym83$NCANONICALIZE_QUERY_BINDING_INT

$sym84$TERM__

public static final SubLSymbol $sym84$TERM__

$sym85$VARIABLE_BINDING_VARIABLE

public static final SubLSymbol $sym85$VARIABLE_BINDING_VARIABLE

$list86

public static final SubLList $list86

Method Detail

initialize_kct

public static final SubLObject initialize_kct()

initialize_kct_kb_feature

public static final SubLObject initialize_kct_kb_feature()

Determines whether the portion of the KB necessary for KCTs is loaded.

declare_kct_utils_file

public static final SubLObject declare_kct_utils_file()

init_kct_utils_file

public static final SubLObject init_kct_utils_file()

setup_kct_utils_file

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