com.cyc.cycjava.cycl
Class deduction_handles

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class deduction_handles
extends SubLTranslatedFile

Nested Class Summary

static class	deduction_handles.$deduction_native
static class	deduction_handles.$deduction_p$UnaryFunction
static class	deduction_handles.$sxhash_deduction_method$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$dtp_deduction$
static SubLInteger	$int28$144
static SubLInteger	$int43$786
static SubLSymbol	$kw22$OLD
static SubLSymbol	$kw25$SKIP
static SubLSymbol	$kw37$ID
static SubLSymbol	$kw40$STREAM
static SubLSymbol	$kw41$BASE
static SubLSymbol	$kw5$ALLOW_OTHER_KEYS
static SubLSymbol	$kw6$DONE
static SubLSymbol	$kw9$PROGRESS_MESSAGE
static SubLList	$list12
static SubLList	$list13
static SubLList	$list2
static SubLList	$list21
static SubLList	$list29
static SubLList	$list30
static SubLList	$list31
static SubLList	$list32
static SubLList	$list4
static SubLList	$list45
static SubLList	$list47
static SubLList	$list49
static SubLList	$list54
static SubLList	$list56
static SubLList	$list60
static SubLList	$list61
static SubLList	$list8
static SubLString	$str11$Iterate_over_all_HL_deduction_dat
static SubLString	$str20$Return_the_total_number_of_deduct
static SubLString	$str23$Determining_maximum_deduction_ID
static SubLString	$str3$mapping_Cyc_deductions
static SubLString	$str38$Invalid_slot__S_for_construction_
static SubLString	$str39$__
static SubLString	$str42$_The_CFASL_invalid_deduction_
static SubLString	$str46$Return_T_iff_OBJECT_is_a_CycL_ded
static SubLString	$str52$Freeing_deductions
static SubLString	$str55$Return_the_id_of_DEDUCTION_
static SubLString	$str59$Return_the_deduction_with_ID__or_
static SubLSymbol	$sym0$_DEDUCTION_FROM_ID_
static SubLSymbol	$sym1$SECOND
static SubLSymbol	$sym10$DO_DEDUCTIONS
static SubLSymbol	$sym14$DO_KB_SUID_TABLE_OLD_OBJECTS
static SubLSymbol	$sym15$DO_KB_SUID_TABLE_NEW_OBJECTS
static SubLSymbol	$sym16$DO_DEDUCTIONS_TABLE
static SubLSymbol	$sym17$CREATE_DEDUCTION_DUMP_ID_TABLE
static SubLSymbol	$sym18$WITH_DEDUCTION_DUMP_ID_TABLE
static SubLSymbol	$sym19$DEDUCTION_COUNT
static SubLSymbol	$sym24$STRINGP
static SubLSymbol	$sym26$DEDUCTION
static SubLSymbol	$sym27$DEDUCTION_P
static SubLSymbol	$sym33$PRINT_DEDUCTION
static SubLSymbol	$sym34$DEDUCTION_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym35$D_ID
static SubLSymbol	$sym36$_CSETF_D_ID
static SubLSymbol	$sym44$SXHASH_DEDUCTION_METHOD
static SubLSymbol	$sym48$VALID_DEDUCTION
static SubLSymbol	$sym50$VALID_SUPPORT_
static SubLSymbol	$sym51$FIXNUMP
static SubLSymbol	$sym53$DEDUCTION_ID
static SubLSymbol	$sym57$INTEGERP
static SubLSymbol	$sym58$FIND_DEDUCTION_BY_ID
static SubLSymbol	$sym7$DO_KB_SUID_TABLE
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	_csetf_d_id(SubLObject object, SubLObject value)
static SubLObject	clear_deduction_table()
static SubLObject	create_sample_invalid_deduction() Create a sample invalid deduction.
static SubLObject	d_id(SubLObject object)
static SubLObject	declare_deduction_handles_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	deduction_count() Return the total number of deductions.
static SubLObject	deduction_handle_validP(SubLObject deduction)
static SubLObject	deduction_id(SubLObject deduction) Return the id of DEDUCTION.
static SubLObject	deduction_p(SubLObject object)
static SubLObject	deduction_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	deregister_deduction_id(SubLObject id) Note that ID is not in use as a deduction id.
static SubLObject	do_deductions_table()
static SubLObject	finalize_deductions(SubLObject max_deduction_id)
static SubLObject	find_deduction_by_id(SubLObject id) Return the deduction with ID, or NIL if not present.
static SubLObject	free_all_deductions()
static SubLObject	free_deduction(SubLObject deduction) Invalidate DEDUCTION.
static SubLObject	get_deduction() Make a new deduction shell, potentially in static space.
static SubLObject	init_deduction_handles_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	lookup_deduction(SubLObject id)
static SubLObject	make_deduction_id() Return a new integer id for a deduction.
static SubLObject	make_deduction_shell(SubLObject id)
static SubLObject	make_deduction(SubLObject arglist)
static SubLObject	register_deduction_id(SubLObject deduction, SubLObject id) Note that ID will be used as the id for DEDUCTION.
static SubLObject	reset_deduction_id(SubLObject deduction, SubLObject new_id) Primitively change the id of DEDUCTION to NEW-ID.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	set_next_deduction_id(SubLObject max_deduction_id)
static SubLObject	setup_deduction_handles_file()
static SubLObject	setup_deduction_table(SubLObject size, SubLObject exactP)
static SubLObject	sxhash_deduction_method(SubLObject object)
static SubLObject	valid_deduction_handleP(SubLObject object) Return T iff OBJECT is a valid deduction handle.
static SubLObject	valid_deduction(SubLObject deduction, SubLObject robustP)
static SubLObject	valid_deductionP(SubLObject deduction, SubLObject robustP) Return T if DEDUCTION is a valid deduction.

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_deduction$

public static SubLSymbol $dtp_deduction$

$sym0$_DEDUCTION_FROM_ID_

public static final SubLSymbol $sym0$_DEDUCTION_FROM_ID_

$sym1$SECOND

public static final SubLSymbol $sym1$SECOND

$list2

public static final SubLList $list2

$str3$mapping_Cyc_deductions

public static final SubLString $str3$mapping_Cyc_deductions

$list4

public static final SubLList $list4

$kw5$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw5$ALLOW_OTHER_KEYS

$kw6$DONE

public static final SubLSymbol $kw6$DONE

$sym7$DO_KB_SUID_TABLE

public static final SubLSymbol $sym7$DO_KB_SUID_TABLE

$list8

public static final SubLList $list8

$kw9$PROGRESS_MESSAGE

public static final SubLSymbol $kw9$PROGRESS_MESSAGE

$sym10$DO_DEDUCTIONS

public static final SubLSymbol $sym10$DO_DEDUCTIONS

$str11$Iterate_over_all_HL_deduction_dat

public static final SubLString $str11$Iterate_over_all_HL_deduction_dat

$list12

public static final SubLList $list12

$list13

public static final SubLList $list13

$sym14$DO_KB_SUID_TABLE_OLD_OBJECTS

public static final SubLSymbol $sym14$DO_KB_SUID_TABLE_OLD_OBJECTS

$sym15$DO_KB_SUID_TABLE_NEW_OBJECTS

public static final SubLSymbol $sym15$DO_KB_SUID_TABLE_NEW_OBJECTS

$sym16$DO_DEDUCTIONS_TABLE

public static final SubLSymbol $sym16$DO_DEDUCTIONS_TABLE

$sym17$CREATE_DEDUCTION_DUMP_ID_TABLE

public static final SubLSymbol $sym17$CREATE_DEDUCTION_DUMP_ID_TABLE

$sym18$WITH_DEDUCTION_DUMP_ID_TABLE

public static final SubLSymbol $sym18$WITH_DEDUCTION_DUMP_ID_TABLE

$sym19$DEDUCTION_COUNT

public static final SubLSymbol $sym19$DEDUCTION_COUNT

$str20$Return_the_total_number_of_deduct

public static final SubLString $str20$Return_the_total_number_of_deduct

$list21

public static final SubLList $list21

$kw22$OLD

public static final SubLSymbol $kw22$OLD

$str23$Determining_maximum_deduction_ID

public static final SubLString $str23$Determining_maximum_deduction_ID

$sym24$STRINGP

public static final SubLSymbol $sym24$STRINGP

$kw25$SKIP

public static final SubLSymbol $kw25$SKIP

$sym26$DEDUCTION

public static final SubLSymbol $sym26$DEDUCTION

$sym27$DEDUCTION_P

public static final SubLSymbol $sym27$DEDUCTION_P

$int28$144

public static final SubLInteger $int28$144

$list29

public static final SubLList $list29

$list30

public static final SubLList $list30

$list31

public static final SubLList $list31

$list32

public static final SubLList $list32

$sym33$PRINT_DEDUCTION

public static final SubLSymbol $sym33$PRINT_DEDUCTION

$sym34$DEDUCTION_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym34$DEDUCTION_PRINT_FUNCTION_TRAMPOLINE

$sym35$D_ID

public static final SubLSymbol $sym35$D_ID

$sym36$_CSETF_D_ID

public static final SubLSymbol $sym36$_CSETF_D_ID

$kw37$ID

public static final SubLSymbol $kw37$ID

$str38$Invalid_slot__S_for_construction_

public static final SubLString $str38$Invalid_slot__S_for_construction_

$str39$__

public static final SubLString $str39$__

$kw40$STREAM

public static final SubLSymbol $kw40$STREAM

$kw41$BASE

public static final SubLSymbol $kw41$BASE

$str42$_The_CFASL_invalid_deduction_

public static final SubLString $str42$_The_CFASL_invalid_deduction_

$int43$786

public static final SubLInteger $int43$786

$sym44$SXHASH_DEDUCTION_METHOD

public static final SubLSymbol $sym44$SXHASH_DEDUCTION_METHOD

$list45

public static final SubLList $list45

$str46$Return_T_iff_OBJECT_is_a_CycL_ded

public static final SubLString $str46$Return_T_iff_OBJECT_is_a_CycL_ded

$list47

public static final SubLList $list47

$sym48$VALID_DEDUCTION

public static final SubLSymbol $sym48$VALID_DEDUCTION

$list49

public static final SubLList $list49

$sym50$VALID_SUPPORT_

public static final SubLSymbol $sym50$VALID_SUPPORT_

$sym51$FIXNUMP

public static final SubLSymbol $sym51$FIXNUMP

$str52$Freeing_deductions

public static final SubLString $str52$Freeing_deductions

$sym53$DEDUCTION_ID

public static final SubLSymbol $sym53$DEDUCTION_ID

$list54

public static final SubLList $list54

$str55$Return_the_id_of_DEDUCTION_

public static final SubLString $str55$Return_the_id_of_DEDUCTION_

$list56

public static final SubLList $list56

$sym57$INTEGERP

public static final SubLSymbol $sym57$INTEGERP

$sym58$FIND_DEDUCTION_BY_ID

public static final SubLSymbol $sym58$FIND_DEDUCTION_BY_ID

$str59$Return_the_deduction_with_ID__or_

public static final SubLString $str59$Return_the_deduction_with_ID__or_

$list60

public static final SubLList $list60

$list61

public static final SubLList $list61

Method Detail

do_deductions_table

public static final SubLObject do_deductions_table()

setup_deduction_table

public static final SubLObject setup_deduction_table(SubLObject size,
                                                     SubLObject exactP)

finalize_deductions

public static final SubLObject finalize_deductions(SubLObject max_deduction_id)

clear_deduction_table

public static final SubLObject clear_deduction_table()

deduction_count

public static final SubLObject deduction_count()

Return the total number of deductions.

lookup_deduction

public static final SubLObject lookup_deduction(SubLObject id)

set_next_deduction_id

public static final SubLObject set_next_deduction_id(SubLObject max_deduction_id)

register_deduction_id

public static final SubLObject register_deduction_id(SubLObject deduction,
                                                     SubLObject id)

Note that ID will be used as the id for DEDUCTION.

deregister_deduction_id

public static final SubLObject deregister_deduction_id(SubLObject id)

Note that ID is not in use as a deduction id.

make_deduction_id

public static final SubLObject make_deduction_id()

Return a new integer id for a deduction.

deduction_print_function_trampoline

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

deduction_p

public static final SubLObject deduction_p(SubLObject object)

d_id

public static final SubLObject d_id(SubLObject object)

_csetf_d_id

public static final SubLObject _csetf_d_id(SubLObject object,
                                           SubLObject value)

make_deduction

public static final SubLObject make_deduction(SubLObject arglist)

sxhash_deduction_method

public static final SubLObject sxhash_deduction_method(SubLObject object)

get_deduction

public static final SubLObject get_deduction()

Make a new deduction shell, potentially in static space.

free_deduction

public static final SubLObject free_deduction(SubLObject deduction)

Invalidate DEDUCTION.

valid_deduction_handleP

public static final SubLObject valid_deduction_handleP(SubLObject object)

Return T iff OBJECT is a valid deduction handle.

valid_deduction

public static final SubLObject valid_deduction(SubLObject deduction,
                                               SubLObject robustP)

valid_deductionP

public static final SubLObject valid_deductionP(SubLObject deduction,
                                                SubLObject robustP)

Return T if DEDUCTION is a valid deduction. ROBUST requests more thorough checking.

make_deduction_shell

public static final SubLObject make_deduction_shell(SubLObject id)

create_sample_invalid_deduction

public static final SubLObject create_sample_invalid_deduction()

Create a sample invalid deduction.

free_all_deductions

public static final SubLObject free_all_deductions()

deduction_id

public static final SubLObject deduction_id(SubLObject deduction)

Return the id of DEDUCTION.

reset_deduction_id

public static final SubLObject reset_deduction_id(SubLObject deduction,
                                                  SubLObject new_id)

Primitively change the id of DEDUCTION to NEW-ID.

deduction_handle_validP

public static final SubLObject deduction_handle_validP(SubLObject deduction)

find_deduction_by_id

public static final SubLObject find_deduction_by_id(SubLObject id)

Return the deduction with ID, or NIL if not present.

declare_deduction_handles_file

public static final SubLObject declare_deduction_handles_file()

init_deduction_handles_file

public static final SubLObject init_deduction_handles_file()

setup_deduction_handles_file

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