com.cyc.cycjava.cycl.cyc_testing
Class removal_module_tests

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class removal_module_tests
extends SubLTranslatedFile

Nested Class Summary

static class	removal_module_tests.$removal_module_test_native
static class	removal_module_tests.$removal_module_test_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const54$EverythingPSC
static SubLSymbol	$dtp_removal_module_test$
static SubLInteger	$int46$100
static SubLSymbol	$kw32$HL_MODULE
static SubLSymbol	$kw33$ID
static SubLSymbol	$kw34$SENTENCE
static SubLSymbol	$kw35$MT
static SubLSymbol	$kw36$PROPERTIES
static SubLSymbol	$kw37$COMMENT
static SubLSymbol	$kw38$KB
static SubLSymbol	$kw39$OWNER
static SubLSymbol	$kw40$BUG_NUMBER
static SubLSymbol	$kw41$CREATION_DATE
static SubLSymbol	$kw42$CREATOR
static SubLSymbol	$kw43$WORKING_
static SubLSymbol	$kw53$ALLOW_OTHER_KEYS
static SubLSymbol	$kw55$TINY
static SubLSymbol	$kw56$BUG
static SubLSymbol	$kw57$CREATED
static SubLSymbol	$kw67$STANDARD
static SubLSymbol	$kw69$TERSE
static SubLSymbol	$kw70$RMT
static SubLSymbol	$kw72$SUCCESS
static SubLSymbol	$kw73$NOT_RUN
static SubLSymbol	$kw74$INVALID
static SubLSymbol	$kw75$UNSPECIFIED
static SubLSymbol	$kw76$ERROR
static SubLSymbol	$kw77$FAILURE
static SubLSymbol	$kw78$IGNORE_ERRORS_TARGET
static SubLSymbol	$kw80$FAILURE_BINDINGS
static SubLSymbol	$kw81$FAILURE_HALT_REASON
static SubLSymbol	$kw82$FAILURE_REMOVAL_MODULE
static SubLSymbol	$kw83$CONDITIONAL_SENTENCE_
static SubLSymbol	$kw84$BROWSABLE_
static SubLSymbol	$kw85$CACHE_INFERENCE_RESULTS_
static SubLSymbol	$kw86$BLOCK_
static SubLSymbol	$kw88$POST_BUILD
static SubLList	$list2
static SubLList	$list3
static SubLList	$list4
static SubLList	$list5
static SubLList	$list51
static SubLList	$list52
static SubLString	$str44$Invalid_slot__S_for_construction_
static SubLString	$str60$Define_a_removal_module_test_numb
static SubLString	$str87$___S__S____
static SubLString	$str89$Unknown_output_format__A
static SubLString	$str90$_S__
static SubLString	$str91$_S__RMT___S__S___OWNER__S__
static SubLSymbol	$sym0$REMOVAL_MODULE_TEST
static SubLSymbol	$sym1$REMOVAL_MODULE_TEST_P
static SubLSymbol	$sym10$RMT_ID
static SubLSymbol	$sym11$_CSETF_RMT_ID
static SubLSymbol	$sym12$RMT_SENTENCE
static SubLSymbol	$sym13$_CSETF_RMT_SENTENCE
static SubLSymbol	$sym14$RMT_MT
static SubLSymbol	$sym15$_CSETF_RMT_MT
static SubLSymbol	$sym16$RMT_PROPERTIES
static SubLSymbol	$sym17$_CSETF_RMT_PROPERTIES
static SubLSymbol	$sym18$RMT_COMMENT
static SubLSymbol	$sym19$_CSETF_RMT_COMMENT
static SubLSymbol	$sym20$RMT_KB
static SubLSymbol	$sym21$_CSETF_RMT_KB
static SubLSymbol	$sym22$RMT_OWNER
static SubLSymbol	$sym23$_CSETF_RMT_OWNER
static SubLSymbol	$sym24$RMT_BUG_NUMBER
static SubLSymbol	$sym25$_CSETF_RMT_BUG_NUMBER
static SubLSymbol	$sym26$RMT_CREATION_DATE
static SubLSymbol	$sym27$_CSETF_RMT_CREATION_DATE
static SubLSymbol	$sym28$RMT_CREATOR
static SubLSymbol	$sym29$_CSETF_RMT_CREATOR
static SubLSymbol	$sym30$RMT_WORKING_
static SubLSymbol	$sym31$_CSETF_RMT_WORKING_
static SubLSymbol	$sym45$_REMOVAL_MODULE_TESTS_
static SubLSymbol	$sym47$TERM__
static SubLSymbol	$sym48$HL_MODULE_NAME
static SubLSymbol	$sym49$_
static SubLSymbol	$sym50$INVALID_CONSTANT_
static SubLSymbol	$sym58$DEFINE_REMOVAL_MODULE_TEST_INT
static SubLSymbol	$sym59$DEFINE_REMOVAL_MODULE_TEST
static SubLSymbol	$sym6$DEFAULT_STRUCT_PRINT_FUNCTION
static SubLSymbol	$sym61$STRINGP
static SubLSymbol	$sym62$CYC_TEST_KB_P
static SubLSymbol	$sym63$INFERENCE_TEST_OWNER_P
static SubLSymbol	$sym64$POSITIVE_INTEGER_P
static SubLSymbol	$sym65$UNIVERSAL_DATE_P
static SubLSymbol	$sym66$BOOLEANP
static SubLSymbol	$sym68$CYC_TEST_OUTPUT_FORMAT_P
static SubLSymbol	$sym7$REMOVAL_MODULE_TEST_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym71$RUN_REMOVAL_MODULE_TESTS_FOR_PRED
static SubLSymbol	$sym79$IGNORE_ERRORS_HANDLER
static SubLSymbol	$sym8$RMT_HL_MODULE
static SubLSymbol	$sym9$_CSETF_RMT_HL_MODULE
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_removal_module_tests_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_removal_module_tests_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	removal_module_test_print_function_trampoline(SubLObject object, SubLObject stream)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_removal_module_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_removal_module_test$

public static SubLSymbol $dtp_removal_module_test$

$sym0$REMOVAL_MODULE_TEST

public static final SubLSymbol $sym0$REMOVAL_MODULE_TEST

$sym1$REMOVAL_MODULE_TEST_P

public static final SubLSymbol $sym1$REMOVAL_MODULE_TEST_P

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$sym6$DEFAULT_STRUCT_PRINT_FUNCTION

public static final SubLSymbol $sym6$DEFAULT_STRUCT_PRINT_FUNCTION

$sym7$REMOVAL_MODULE_TEST_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$REMOVAL_MODULE_TEST_PRINT_FUNCTION_TRAMPOLINE

$sym8$RMT_HL_MODULE

public static final SubLSymbol $sym8$RMT_HL_MODULE

$sym9$_CSETF_RMT_HL_MODULE

public static final SubLSymbol $sym9$_CSETF_RMT_HL_MODULE

$sym10$RMT_ID

public static final SubLSymbol $sym10$RMT_ID

$sym11$_CSETF_RMT_ID

public static final SubLSymbol $sym11$_CSETF_RMT_ID

$sym12$RMT_SENTENCE

public static final SubLSymbol $sym12$RMT_SENTENCE

$sym13$_CSETF_RMT_SENTENCE

public static final SubLSymbol $sym13$_CSETF_RMT_SENTENCE

$sym14$RMT_MT

public static final SubLSymbol $sym14$RMT_MT

$sym15$_CSETF_RMT_MT

public static final SubLSymbol $sym15$_CSETF_RMT_MT

$sym16$RMT_PROPERTIES

public static final SubLSymbol $sym16$RMT_PROPERTIES

$sym17$_CSETF_RMT_PROPERTIES

public static final SubLSymbol $sym17$_CSETF_RMT_PROPERTIES

$sym18$RMT_COMMENT

public static final SubLSymbol $sym18$RMT_COMMENT

$sym19$_CSETF_RMT_COMMENT

public static final SubLSymbol $sym19$_CSETF_RMT_COMMENT

$sym20$RMT_KB

public static final SubLSymbol $sym20$RMT_KB

$sym21$_CSETF_RMT_KB

public static final SubLSymbol $sym21$_CSETF_RMT_KB

$sym22$RMT_OWNER

public static final SubLSymbol $sym22$RMT_OWNER

$sym23$_CSETF_RMT_OWNER

public static final SubLSymbol $sym23$_CSETF_RMT_OWNER

$sym24$RMT_BUG_NUMBER

public static final SubLSymbol $sym24$RMT_BUG_NUMBER

$sym25$_CSETF_RMT_BUG_NUMBER

public static final SubLSymbol $sym25$_CSETF_RMT_BUG_NUMBER

$sym26$RMT_CREATION_DATE

public static final SubLSymbol $sym26$RMT_CREATION_DATE

$sym27$_CSETF_RMT_CREATION_DATE

public static final SubLSymbol $sym27$_CSETF_RMT_CREATION_DATE

$sym28$RMT_CREATOR

public static final SubLSymbol $sym28$RMT_CREATOR

$sym29$_CSETF_RMT_CREATOR

public static final SubLSymbol $sym29$_CSETF_RMT_CREATOR

$sym30$RMT_WORKING_

public static final SubLSymbol $sym30$RMT_WORKING_

$sym31$_CSETF_RMT_WORKING_

public static final SubLSymbol $sym31$_CSETF_RMT_WORKING_

$kw32$HL_MODULE

public static final SubLSymbol $kw32$HL_MODULE

$kw33$ID

public static final SubLSymbol $kw33$ID

$kw34$SENTENCE

public static final SubLSymbol $kw34$SENTENCE

$kw35$MT

public static final SubLSymbol $kw35$MT

$kw36$PROPERTIES

public static final SubLSymbol $kw36$PROPERTIES

$kw37$COMMENT

public static final SubLSymbol $kw37$COMMENT

$kw38$KB

public static final SubLSymbol $kw38$KB

$kw39$OWNER

public static final SubLSymbol $kw39$OWNER

$kw40$BUG_NUMBER

public static final SubLSymbol $kw40$BUG_NUMBER

$kw41$CREATION_DATE

public static final SubLSymbol $kw41$CREATION_DATE

$kw42$CREATOR

public static final SubLSymbol $kw42$CREATOR

$kw43$WORKING_

public static final SubLSymbol $kw43$WORKING_

$str44$Invalid_slot__S_for_construction_

public static final SubLString $str44$Invalid_slot__S_for_construction_

$sym45$_REMOVAL_MODULE_TESTS_

public static final SubLSymbol $sym45$_REMOVAL_MODULE_TESTS_

$int46$100

public static final SubLInteger $int46$100

$sym47$TERM__

public static final SubLSymbol $sym47$TERM__

$sym48$HL_MODULE_NAME

public static final SubLSymbol $sym48$HL_MODULE_NAME

$sym49$_

public static final SubLSymbol $sym49$_

$sym50$INVALID_CONSTANT_

public static final SubLSymbol $sym50$INVALID_CONSTANT_

$list51

public static final SubLList $list51

$list52

public static final SubLList $list52

$kw53$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw53$ALLOW_OTHER_KEYS

$const54$EverythingPSC

public static final SubLObject $const54$EverythingPSC

$kw55$TINY

public static final SubLSymbol $kw55$TINY

$kw56$BUG

public static final SubLSymbol $kw56$BUG

$kw57$CREATED

public static final SubLSymbol $kw57$CREATED

$sym58$DEFINE_REMOVAL_MODULE_TEST_INT

public static final SubLSymbol $sym58$DEFINE_REMOVAL_MODULE_TEST_INT

$sym59$DEFINE_REMOVAL_MODULE_TEST

public static final SubLSymbol $sym59$DEFINE_REMOVAL_MODULE_TEST

$str60$Define_a_removal_module_test_numb

public static final SubLString $str60$Define_a_removal_module_test_numb

$sym61$STRINGP

public static final SubLSymbol $sym61$STRINGP

$sym62$CYC_TEST_KB_P

public static final SubLSymbol $sym62$CYC_TEST_KB_P

$sym63$INFERENCE_TEST_OWNER_P

public static final SubLSymbol $sym63$INFERENCE_TEST_OWNER_P

$sym64$POSITIVE_INTEGER_P

public static final SubLSymbol $sym64$POSITIVE_INTEGER_P

$sym65$UNIVERSAL_DATE_P

public static final SubLSymbol $sym65$UNIVERSAL_DATE_P

$sym66$BOOLEANP

public static final SubLSymbol $sym66$BOOLEANP

$kw67$STANDARD

public static final SubLSymbol $kw67$STANDARD

$sym68$CYC_TEST_OUTPUT_FORMAT_P

public static final SubLSymbol $sym68$CYC_TEST_OUTPUT_FORMAT_P

$kw69$TERSE

public static final SubLSymbol $kw69$TERSE

$kw70$RMT

public static final SubLSymbol $kw70$RMT

$sym71$RUN_REMOVAL_MODULE_TESTS_FOR_PRED

public static final SubLSymbol $sym71$RUN_REMOVAL_MODULE_TESTS_FOR_PRED

$kw72$SUCCESS

public static final SubLSymbol $kw72$SUCCESS

$kw73$NOT_RUN

public static final SubLSymbol $kw73$NOT_RUN

$kw74$INVALID

public static final SubLSymbol $kw74$INVALID

$kw75$UNSPECIFIED

public static final SubLSymbol $kw75$UNSPECIFIED

$kw76$ERROR

public static final SubLSymbol $kw76$ERROR

$kw77$FAILURE

public static final SubLSymbol $kw77$FAILURE

$kw78$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw78$IGNORE_ERRORS_TARGET

$sym79$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym79$IGNORE_ERRORS_HANDLER

$kw80$FAILURE_BINDINGS

public static final SubLSymbol $kw80$FAILURE_BINDINGS

$kw81$FAILURE_HALT_REASON

public static final SubLSymbol $kw81$FAILURE_HALT_REASON

$kw82$FAILURE_REMOVAL_MODULE

public static final SubLSymbol $kw82$FAILURE_REMOVAL_MODULE

$kw83$CONDITIONAL_SENTENCE_

public static final SubLSymbol $kw83$CONDITIONAL_SENTENCE_

$kw84$BROWSABLE_

public static final SubLSymbol $kw84$BROWSABLE_

$kw85$CACHE_INFERENCE_RESULTS_

public static final SubLSymbol $kw85$CACHE_INFERENCE_RESULTS_

$kw86$BLOCK_

public static final SubLSymbol $kw86$BLOCK_

$str87$___S__S____

public static final SubLString $str87$___S__S____

$kw88$POST_BUILD

public static final SubLSymbol $kw88$POST_BUILD

$str89$Unknown_output_format__A

public static final SubLString $str89$Unknown_output_format__A

$str90$_S__

public static final SubLString $str90$_S__

$str91$_S__RMT___S__S___OWNER__S__

public static final SubLString $str91$_S__RMT___S__S___OWNER__S__

Method Detail

removal_module_test_print_function_trampoline

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

declare_removal_module_tests_file

public static final SubLObject declare_removal_module_tests_file()

init_removal_module_tests_file

public static final SubLObject init_removal_module_tests_file()

setup_removal_module_tests_file

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