com.cyc.cycjava.cycl
Class assertion_handles

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class assertion_handles
extends SubLTranslatedFile

Nested Class Summary

static class	assertion_handles.$assertion_native
static class	assertion_handles.$assertion_p$UnaryFunction
static class	assertion_handles.$find_assertion_by_id$UnaryFunction
static class	assertion_handles.$sxhash_assertion_method$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$dtp_assertion$
static SubLInteger	$int27$141
static SubLInteger	$int41$23
static SubLSymbol	$kw21$OLD
static SubLSymbol	$kw24$SKIP
static SubLSymbol	$kw36$ID
static SubLSymbol	$kw4$ALLOW_OTHER_KEYS
static SubLSymbol	$kw5$DONE
static SubLSymbol	$kw8$PROGRESS_MESSAGE
static SubLList	$list1
static SubLList	$list11
static SubLList	$list12
static SubLList	$list20
static SubLList	$list28
static SubLList	$list29
static SubLList	$list3
static SubLList	$list30
static SubLList	$list31
static SubLList	$list43
static SubLList	$list45
static SubLList	$list49
static SubLList	$list51
static SubLList	$list55
static SubLList	$list56
static SubLList	$list7
static SubLSymbol	$print_assertions_in_cnf$
static SubLString	$str10$Iterate_over_all_HL_assertion_dat
static SubLString	$str19$Return_the_total_number_of_assert
static SubLString	$str2$mapping_Cyc_assertions
static SubLString	$str22$Determining_maximum_assertion_ID
static SubLString	$str37$Invalid_slot__S_for_construction_
static SubLString	$str38$__AS__S__S_
static SubLString	$str39$__AS__S_
static SubLString	$str40$_The_CFASL_invalid_assertion_
static SubLString	$str44$Return_T_iff_OBJECT_is_an_HL_asse
static SubLString	$str47$Freeing_assertions
static SubLString	$str50$Return_the_id_of_this_ASSERTION_
static SubLString	$str54$Return_the_assertion_with_ID__or_
static SubLSymbol	$sym0$_ASSERTION_FROM_ID_
static SubLSymbol	$sym13$DO_KB_SUID_TABLE_OLD_OBJECTS
static SubLSymbol	$sym14$DO_KB_SUID_TABLE_NEW_OBJECTS
static SubLSymbol	$sym15$DO_ASSERTIONS_TABLE
static SubLSymbol	$sym16$CREATE_ASSERTION_DUMP_ID_TABLE
static SubLSymbol	$sym17$WITH_ASSERTION_DUMP_ID_TABLE
static SubLSymbol	$sym18$ASSERTION_COUNT
static SubLSymbol	$sym23$STRINGP
static SubLSymbol	$sym25$ASSERTION
static SubLSymbol	$sym26$ASSERTION_P
static SubLSymbol	$sym32$PRINT_ASSERTION
static SubLSymbol	$sym33$ASSERTION_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym34$AS_ID
static SubLSymbol	$sym35$_CSETF_AS_ID
static SubLSymbol	$sym42$SXHASH_ASSERTION_METHOD
static SubLSymbol	$sym46$FIXNUMP
static SubLSymbol	$sym48$ASSERTION_ID
static SubLSymbol	$sym52$INTEGERP
static SubLSymbol	$sym53$FIND_ASSERTION_BY_ID
static SubLSymbol	$sym6$DO_KB_SUID_TABLE
static SubLSymbol	$sym9$DO_ASSERTIONS
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_as_id(SubLObject object, SubLObject value)
static SubLObject	as_id(SubLObject object)
static SubLObject	assertion_count() Return the total number of assertions.
static SubLObject	assertion_handle_validP(SubLObject assertion)
static SubLObject	assertion_id(SubLObject assertion) Return the id of this ASSERTION.
static SubLObject	assertion_p(SubLObject object)
static SubLObject	clear_assertion_table()
static SubLObject	create_sample_invalid_assertion() Create a sample invalid-assertion.
static SubLObject	declare_assertion_handles_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	deregister_assertion_id(SubLObject id) Note that ID is not in use as an assertion id.
static SubLObject	do_assertions_table()
static SubLObject	finalize_assertions(SubLObject max_assertion_id)
static SubLObject	find_assertion_by_id(SubLObject id) Return the assertion with ID, or NIL if not present.
static SubLObject	free_all_assertions()
static SubLObject	free_assertion(SubLObject assertion) Invalidate ASSERTION.
static SubLObject	get_assertion() Make a new assertion shell, potentially in static space.
static SubLObject	init_assertion_handles_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	lookup_assertion(SubLObject id)
static SubLObject	make_assertion_id() Return a new integer id for an assertion.
static SubLObject	make_assertion_shell(SubLObject id)
static SubLObject	make_assertion(SubLObject arglist)
static SubLObject	register_assertion_id(SubLObject assertion, SubLObject id) Note that ID will be used as the id for ASSERTION.
static SubLObject	reset_assertion_id(SubLObject assertion, SubLObject new_id) Primitively change the assertion id for ASSERTION to NEW-ID.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	set_next_assertion_id(SubLObject max_assertion_id)
static SubLObject	setup_assertion_handles_file()
static SubLObject	setup_assertion_table(SubLObject size, SubLObject exactP)
static SubLObject	sxhash_assertion_method(SubLObject object)
static SubLObject	valid_assertion_handleP(SubLObject object) Return T iff OBJECT is a valid assertion handle.
static SubLObject	valid_assertionP(SubLObject assertion, SubLObject robustP) Return T if ASSERTION is a valid assertion.

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

public static SubLSymbol $dtp_assertion$

$print_assertions_in_cnf$

public static SubLSymbol $print_assertions_in_cnf$

$sym0$_ASSERTION_FROM_ID_

public static final SubLSymbol $sym0$_ASSERTION_FROM_ID_

$list1

public static final SubLList $list1

$str2$mapping_Cyc_assertions

public static final SubLString $str2$mapping_Cyc_assertions

$list3

public static final SubLList $list3

$kw4$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw4$ALLOW_OTHER_KEYS

$kw5$DONE

public static final SubLSymbol $kw5$DONE

$sym6$DO_KB_SUID_TABLE

public static final SubLSymbol $sym6$DO_KB_SUID_TABLE

$list7

public static final SubLList $list7

$kw8$PROGRESS_MESSAGE

public static final SubLSymbol $kw8$PROGRESS_MESSAGE

$sym9$DO_ASSERTIONS

public static final SubLSymbol $sym9$DO_ASSERTIONS

$str10$Iterate_over_all_HL_assertion_dat

public static final SubLString $str10$Iterate_over_all_HL_assertion_dat

$list11

public static final SubLList $list11

$list12

public static final SubLList $list12

$sym13$DO_KB_SUID_TABLE_OLD_OBJECTS

public static final SubLSymbol $sym13$DO_KB_SUID_TABLE_OLD_OBJECTS

$sym14$DO_KB_SUID_TABLE_NEW_OBJECTS

public static final SubLSymbol $sym14$DO_KB_SUID_TABLE_NEW_OBJECTS

$sym15$DO_ASSERTIONS_TABLE

public static final SubLSymbol $sym15$DO_ASSERTIONS_TABLE

$sym16$CREATE_ASSERTION_DUMP_ID_TABLE

public static final SubLSymbol $sym16$CREATE_ASSERTION_DUMP_ID_TABLE

$sym17$WITH_ASSERTION_DUMP_ID_TABLE

public static final SubLSymbol $sym17$WITH_ASSERTION_DUMP_ID_TABLE

$sym18$ASSERTION_COUNT

public static final SubLSymbol $sym18$ASSERTION_COUNT

$str19$Return_the_total_number_of_assert

public static final SubLString $str19$Return_the_total_number_of_assert

$list20

public static final SubLList $list20

$kw21$OLD

public static final SubLSymbol $kw21$OLD

$str22$Determining_maximum_assertion_ID

public static final SubLString $str22$Determining_maximum_assertion_ID

$sym23$STRINGP

public static final SubLSymbol $sym23$STRINGP

$kw24$SKIP

public static final SubLSymbol $kw24$SKIP

$sym25$ASSERTION

public static final SubLSymbol $sym25$ASSERTION

$sym26$ASSERTION_P

public static final SubLSymbol $sym26$ASSERTION_P

$int27$141

public static final SubLInteger $int27$141

$list28

public static final SubLList $list28

$list29

public static final SubLList $list29

$list30

public static final SubLList $list30

$list31

public static final SubLList $list31

$sym32$PRINT_ASSERTION

public static final SubLSymbol $sym32$PRINT_ASSERTION

$sym33$ASSERTION_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym33$ASSERTION_PRINT_FUNCTION_TRAMPOLINE

$sym34$AS_ID

public static final SubLSymbol $sym34$AS_ID

$sym35$_CSETF_AS_ID

public static final SubLSymbol $sym35$_CSETF_AS_ID

$kw36$ID

public static final SubLSymbol $kw36$ID

$str37$Invalid_slot__S_for_construction_

public static final SubLString $str37$Invalid_slot__S_for_construction_

$str38$__AS__S__S_

public static final SubLString $str38$__AS__S__S_

$str39$__AS__S_

public static final SubLString $str39$__AS__S_

$str40$_The_CFASL_invalid_assertion_

public static final SubLString $str40$_The_CFASL_invalid_assertion_

$int41$23

public static final SubLInteger $int41$23

$sym42$SXHASH_ASSERTION_METHOD

public static final SubLSymbol $sym42$SXHASH_ASSERTION_METHOD

$list43

public static final SubLList $list43

$str44$Return_T_iff_OBJECT_is_an_HL_asse

public static final SubLString $str44$Return_T_iff_OBJECT_is_an_HL_asse

$list45

public static final SubLList $list45

$sym46$FIXNUMP

public static final SubLSymbol $sym46$FIXNUMP

$str47$Freeing_assertions

public static final SubLString $str47$Freeing_assertions

$sym48$ASSERTION_ID

public static final SubLSymbol $sym48$ASSERTION_ID

$list49

public static final SubLList $list49

$str50$Return_the_id_of_this_ASSERTION_

public static final SubLString $str50$Return_the_id_of_this_ASSERTION_

$list51

public static final SubLList $list51

$sym52$INTEGERP

public static final SubLSymbol $sym52$INTEGERP

$sym53$FIND_ASSERTION_BY_ID

public static final SubLSymbol $sym53$FIND_ASSERTION_BY_ID

$str54$Return_the_assertion_with_ID__or_

public static final SubLString $str54$Return_the_assertion_with_ID__or_

$list55

public static final SubLList $list55

$list56

public static final SubLList $list56

Method Detail

do_assertions_table

public static final SubLObject do_assertions_table()

setup_assertion_table

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

finalize_assertions

public static final SubLObject finalize_assertions(SubLObject max_assertion_id)

clear_assertion_table

public static final SubLObject clear_assertion_table()

assertion_count

public static final SubLObject assertion_count()

Return the total number of assertions.

lookup_assertion

public static final SubLObject lookup_assertion(SubLObject id)

set_next_assertion_id

public static final SubLObject set_next_assertion_id(SubLObject max_assertion_id)

register_assertion_id

public static final SubLObject register_assertion_id(SubLObject assertion,
                                                     SubLObject id)

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

deregister_assertion_id

public static final SubLObject deregister_assertion_id(SubLObject id)

Note that ID is not in use as an assertion id.

make_assertion_id

public static final SubLObject make_assertion_id()

Return a new integer id for an assertion.

assertion_p

public static final SubLObject assertion_p(SubLObject object)

as_id

public static final SubLObject as_id(SubLObject object)

_csetf_as_id

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

make_assertion

public static final SubLObject make_assertion(SubLObject arglist)

sxhash_assertion_method

public static final SubLObject sxhash_assertion_method(SubLObject object)

get_assertion

public static final SubLObject get_assertion()

Make a new assertion shell, potentially in static space.

free_assertion

public static final SubLObject free_assertion(SubLObject assertion)

Invalidate ASSERTION.

valid_assertion_handleP

public static final SubLObject valid_assertion_handleP(SubLObject object)

Return T iff OBJECT is a valid assertion handle.

valid_assertionP

public static final SubLObject valid_assertionP(SubLObject assertion,
                                                SubLObject robustP)

Return T if ASSERTION is a valid assertion.

make_assertion_shell

public static final SubLObject make_assertion_shell(SubLObject id)

create_sample_invalid_assertion

public static final SubLObject create_sample_invalid_assertion()

Create a sample invalid-assertion.

free_all_assertions

public static final SubLObject free_all_assertions()

assertion_id

public static final SubLObject assertion_id(SubLObject assertion)

Return the id of this ASSERTION.

reset_assertion_id

public static final SubLObject reset_assertion_id(SubLObject assertion,
                                                  SubLObject new_id)

Primitively change the assertion id for ASSERTION to NEW-ID.

assertion_handle_validP

public static final SubLObject assertion_handle_validP(SubLObject assertion)

find_assertion_by_id

public static final SubLObject find_assertion_by_id(SubLObject id)

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

declare_assertion_handles_file

public static final SubLObject declare_assertion_handles_file()

init_assertion_handles_file

public static final SubLObject init_assertion_handles_file()

setup_assertion_handles_file

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