com.cyc.cycjava.cycl
Class misc_kb_utilities

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class misc_kb_utilities
extends SubLTranslatedFile

Nested Class Summary

static class

misc_kb_utilities.$get_term_id$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const1$EverythingPSC
static SubLObject	$const50$DeadTerm
static SubLObject	$const52$InstanceNamedFn
static SubLObject	$const53$InstanceNamedFn_Ternary
static SubLObject	$const6$Microtheory
static SubLInteger	$int13$256
static SubLSymbol	$kb_handle_internal_method_table$
static SubLSymbol	$kw15$CONSTANT
static SubLSymbol	$kw18$NART
static SubLSymbol	$kw19$VARIABLE
static SubLSymbol	$kw21$ASSERTION
static SubLSymbol	$kw23$DEDUCTION
static SubLSymbol	$kw35$MT
static SubLSymbol	$kw36$BROAD_MT
static SubLSymbol	$kw37$MAPPING_DONE
static SubLSymbol	$kw40$SKIP
static SubLSymbol	$kw46$DEFAULT
static SubLSymbol	$kw47$CHECKED
static SubLSymbol	$kw49$EOF
static SubLList	$list31
static SubLString	$str14$_S_is_not_a_KB_datastructure_obje
static SubLString	$str2$__Collecting_proprietary_constant
static SubLString	$str3$_____s_____
static SubLString	$str38$do_broad_mt_index
static SubLString	$str4$_s_found_
static SubLString	$str41$_a
static SubLString	$str42$
static SubLString	$str45$_s_is_not_a_microtheory_
static SubLString	$str48$____a__does_not_refer_to_a_valid_
static SubLString	$str5$__Preparing_to_kill__s_proprietar
static SubLString	$str7$___s_terms_killed_
static SubLString	$str8$__Done_
static SubLString	$str9$__Returning_to_Lisp_Interactor_
static SubLSymbol	$sym0$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym10$DONE
static SubLSymbol	$sym11$ASSERTION_P
static SubLSymbol	$sym12$NART_P
static SubLSymbol	$sym16$KB_HANDLE_INTERNAL_CONSTANT_METHOD
static SubLSymbol	$sym17$KB_HANDLE_INTERNAL_NART_METHOD
static SubLSymbol	$sym20$KB_HANDLE_INTERNAL_VARIABLE_METHOD
static SubLSymbol	$sym22$KB_HANDLE_INTERNAL_ASSERTION_METHOD
static SubLSymbol	$sym24$KB_HANDLE_INTERNAL_DEDUCTION_METHOD
static SubLSymbol	$sym25$FIRST
static SubLSymbol	$sym26$FIND_CONSTANT_BY_INTERNAL_ID
static SubLSymbol	$sym27$FIND_NART_BY_ID
static SubLSymbol	$sym28$FIND_VARIABLE_BY_ID
static SubLSymbol	$sym29$FIND_ASSERTION_BY_ID
static SubLSymbol	$sym30$FIND_DEDUCTION_BY_ID
static SubLSymbol	$sym32$INTEGERP
static SubLSymbol	$sym33$KEYWORDP
static SubLSymbol	$sym34$CONSTANT_OR_NAT_
static SubLSymbol	$sym39$STRINGP
static SubLSymbol	$sym43$STRING_
static SubLSymbol	$sym44$COERCE_NAME
static SubLSymbol	$sym51$VALID_CONSTANT_
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_misc_kb_utilities_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_misc_kb_utilities_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	kb_handle_internal_assertion_method(SubLObject object)
static SubLObject	kb_handle_internal_constant_method(SubLObject object)
static SubLObject	kb_handle_internal_deduction_method(SubLObject object)
static SubLObject	kb_handle_internal_nart_method(SubLObject object)
static SubLObject	kb_handle_internal_variable_method(SubLObject object)
static SubLObject	possibly_clear_genl_pos(SubLObject assertion) used in various afterAddings that affect genl-pos?
static SubLObject	register_find_object_by_kb_handle_method(SubLObject type, SubLObject method)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_misc_kb_utilities_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

$kb_handle_internal_method_table$

public static SubLSymbol $kb_handle_internal_method_table$

$sym0$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym0$RELEVANT_MT_IS_EVERYTHING

$const1$EverythingPSC

public static final SubLObject $const1$EverythingPSC

$str2$__Collecting_proprietary_constant

public static final SubLString $str2$__Collecting_proprietary_constant

$str3$_____s_____

public static final SubLString $str3$_____s_____

$str4$_s_found_

public static final SubLString $str4$_s_found_

$str5$__Preparing_to_kill__s_proprietar

public static final SubLString $str5$__Preparing_to_kill__s_proprietar

$const6$Microtheory

public static final SubLObject $const6$Microtheory

$str7$___s_terms_killed_

public static final SubLString $str7$___s_terms_killed_

$str8$__Done_

public static final SubLString $str8$__Done_

$str9$__Returning_to_Lisp_Interactor_

public static final SubLString $str9$__Returning_to_Lisp_Interactor_

$sym10$DONE

public static final SubLSymbol $sym10$DONE

$sym11$ASSERTION_P

public static final SubLSymbol $sym11$ASSERTION_P

$sym12$NART_P

public static final SubLSymbol $sym12$NART_P

$int13$256

public static final SubLInteger $int13$256

$str14$_S_is_not_a_KB_datastructure_obje

public static final SubLString $str14$_S_is_not_a_KB_datastructure_obje

$kw15$CONSTANT

public static final SubLSymbol $kw15$CONSTANT

$sym16$KB_HANDLE_INTERNAL_CONSTANT_METHOD

public static final SubLSymbol $sym16$KB_HANDLE_INTERNAL_CONSTANT_METHOD

$sym17$KB_HANDLE_INTERNAL_NART_METHOD

public static final SubLSymbol $sym17$KB_HANDLE_INTERNAL_NART_METHOD

$kw18$NART

public static final SubLSymbol $kw18$NART

$kw19$VARIABLE

public static final SubLSymbol $kw19$VARIABLE

$sym20$KB_HANDLE_INTERNAL_VARIABLE_METHOD

public static final SubLSymbol $sym20$KB_HANDLE_INTERNAL_VARIABLE_METHOD

$kw21$ASSERTION

public static final SubLSymbol $kw21$ASSERTION

$sym22$KB_HANDLE_INTERNAL_ASSERTION_METHOD

public static final SubLSymbol $sym22$KB_HANDLE_INTERNAL_ASSERTION_METHOD

$kw23$DEDUCTION

public static final SubLSymbol $kw23$DEDUCTION

$sym24$KB_HANDLE_INTERNAL_DEDUCTION_METHOD

public static final SubLSymbol $sym24$KB_HANDLE_INTERNAL_DEDUCTION_METHOD

$sym25$FIRST

public static final SubLSymbol $sym25$FIRST

$sym26$FIND_CONSTANT_BY_INTERNAL_ID

public static final SubLSymbol $sym26$FIND_CONSTANT_BY_INTERNAL_ID

$sym27$FIND_NART_BY_ID

public static final SubLSymbol $sym27$FIND_NART_BY_ID

$sym28$FIND_VARIABLE_BY_ID

public static final SubLSymbol $sym28$FIND_VARIABLE_BY_ID

$sym29$FIND_ASSERTION_BY_ID

public static final SubLSymbol $sym29$FIND_ASSERTION_BY_ID

$sym30$FIND_DEDUCTION_BY_ID

public static final SubLSymbol $sym30$FIND_DEDUCTION_BY_ID

$list31

public static final SubLList $list31

$sym32$INTEGERP

public static final SubLSymbol $sym32$INTEGERP

$sym33$KEYWORDP

public static final SubLSymbol $sym33$KEYWORDP

$sym34$CONSTANT_OR_NAT_

public static final SubLSymbol $sym34$CONSTANT_OR_NAT_

$kw35$MT

public static final SubLSymbol $kw35$MT

$kw36$BROAD_MT

public static final SubLSymbol $kw36$BROAD_MT

$kw37$MAPPING_DONE

public static final SubLSymbol $kw37$MAPPING_DONE

$str38$do_broad_mt_index

public static final SubLString $str38$do_broad_mt_index

$sym39$STRINGP

public static final SubLSymbol $sym39$STRINGP

$kw40$SKIP

public static final SubLSymbol $kw40$SKIP

$str41$_a

public static final SubLString $str41$_a

$str42$

public static final SubLString $str42$

$sym43$STRING_

public static final SubLSymbol $sym43$STRING_

$sym44$COERCE_NAME

public static final SubLSymbol $sym44$COERCE_NAME

$str45$_s_is_not_a_microtheory_

public static final SubLString $str45$_s_is_not_a_microtheory_

$kw46$DEFAULT

public static final SubLSymbol $kw46$DEFAULT

$kw47$CHECKED

public static final SubLSymbol $kw47$CHECKED

$str48$____a__does_not_refer_to_a_valid_

public static final SubLString $str48$____a__does_not_refer_to_a_valid_

$kw49$EOF

public static final SubLSymbol $kw49$EOF

$const50$DeadTerm

public static final SubLObject $const50$DeadTerm

$sym51$VALID_CONSTANT_

public static final SubLSymbol $sym51$VALID_CONSTANT_

$const52$InstanceNamedFn

public static final SubLObject $const52$InstanceNamedFn

$const53$InstanceNamedFn_Ternary

public static final SubLObject $const53$InstanceNamedFn_Ternary

Method Detail

kb_handle_internal_constant_method

public static final SubLObject kb_handle_internal_constant_method(SubLObject object)

kb_handle_internal_nart_method

public static final SubLObject kb_handle_internal_nart_method(SubLObject object)

kb_handle_internal_variable_method

public static final SubLObject kb_handle_internal_variable_method(SubLObject object)

kb_handle_internal_assertion_method

public static final SubLObject kb_handle_internal_assertion_method(SubLObject object)

kb_handle_internal_deduction_method

public static final SubLObject kb_handle_internal_deduction_method(SubLObject object)

register_find_object_by_kb_handle_method

public static final SubLObject register_find_object_by_kb_handle_method(SubLObject type,
                                                                        SubLObject method)

possibly_clear_genl_pos

public static final SubLObject possibly_clear_genl_pos(SubLObject assertion)

used in various afterAddings that affect genl-pos?

Parameters:

ASSERTION - assertion

declare_misc_kb_utilities_file

public static final SubLObject declare_misc_kb_utilities_file()

init_misc_kb_utilities_file

public static final SubLObject init_misc_kb_utilities_file()

setup_misc_kb_utilities_file

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