com.cyc.cycjava.cycl
Class clause_strucs

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class clause_strucs
extends SubLTranslatedFile

Nested Class Summary

static class	clause_strucs.$clause_struc_native
static class	clause_strucs.$clause_struc_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$clause_struc_dump_id_table$
static SubLSymbol	$dtp_clause_struc$
static SubLInteger	$int2$142
static SubLInteger	$int23$242
static SubLSymbol	$kw15$ID
static SubLSymbol	$kw16$CNF
static SubLSymbol	$kw17$ASSERTIONS
static SubLSymbol	$kw26$FREE
static SubLSymbol	$kw27$TRUE
static SubLSymbol	$kw30$ALLOW_OTHER_KEYS
static SubLSymbol	$kw31$DONE
static SubLSymbol	$kw42$PROGRESS_MESSAGE
static SubLSymbol	$kw50$SKIP
static SubLSymbol	$kw51$IGNORE_ERRORS_TARGET
static SubLList	$list28
static SubLList	$list29
static SubLList	$list3
static SubLList	$list4
static SubLList	$list40
static SubLList	$list41
static SubLList	$list45
static SubLList	$list5
static SubLList	$list57
static SubLList	$list6
static SubLString	$str18$Invalid_slot__S_for_construction_
static SubLString	$str19$_
static SubLString	$str20$_
static SubLString	$str21$_
static SubLString	$str22$_The_CFASL_invalid_clause_struc_
static SubLString	$str25$CLAUSE_STRUC_resource_lock
static SubLString	$str43$mapping_Cyc_clause_structs
static SubLString	$str48$Cleaning_clause_struc_table
static SubLString	$str53$invalid_clause_struct__S
static SubLString	$str54$Freeing_clause_strucs
static SubLString	$str55$Determining_maximum_clause_struc_
static SubLSymbol	$sym0$CLAUSE_STRUC
static SubLSymbol	$sym1$CLAUSE_STRUC_P
static SubLSymbol	$sym10$_CSETF_CLS_ID
static SubLSymbol	$sym11$CLS_CNF
static SubLSymbol	$sym12$_CSETF_CLS_CNF
static SubLSymbol	$sym13$CLS_ASSERTIONS
static SubLSymbol	$sym14$_CSETF_CLS_ASSERTIONS
static SubLSymbol	$sym24$SXHASH_CLAUSE_STRUC_METHOD
static SubLSymbol	$sym32$DO_LIST
static SubLSymbol	$sym33$CLAUSE_STRUC_ASSERTIONS
static SubLSymbol	$sym34$INVALID_CONSTANT_
static SubLSymbol	$sym35$VALID_ASSERTION
static SubLSymbol	$sym36$INTEGERP
static SubLSymbol	$sym37$CNF_P
static SubLSymbol	$sym38$ASSERTION_P
static SubLSymbol	$sym39$_CLAUSE_STRUC_FROM_ID_
static SubLSymbol	$sym44$DO_KB_SUID_TABLE
static SubLSymbol	$sym46$CLAUSE_STRUC_TABLE
static SubLSymbol	$sym47$DO_CLAUSE_STRUCS
static SubLSymbol	$sym49$STRINGP
static SubLSymbol	$sym52$IGNORE_ERRORS_HANDLER
static SubLSymbol	$sym56$CLET
static SubLSymbol	$sym58$CREATE_CLAUSE_STRUC_DUMP_ID_TABLE
static SubLSymbol	$sym59$WITH_CLAUSE_STRUC_DUMP_ID_TABLE
static SubLSymbol	$sym7$PRINT_CLAUSE_STRUC
static SubLSymbol	$sym8$CLAUSE_STRUC_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym9$CLS_ID
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_cls_assertions(SubLObject object, SubLObject value)
static SubLObject	_csetf_cls_cnf(SubLObject object, SubLObject value)
static SubLObject	_csetf_cls_id(SubLObject object, SubLObject value)
static SubLObject	clause_struc_cnf(SubLObject clause_struc) Return the cnf of CLAUSE-STRUC.
static SubLObject	clause_struc_p(SubLObject object)
static SubLObject	clause_struc_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	clause_struc_table()
static SubLObject	clear_clause_struc_table()
static SubLObject	cls_cnf(SubLObject object)
static SubLObject	create_sample_invalid_clause_struc() Create a sample invalid clause-struc.
static SubLObject	declare_clause_strucs_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	finalize_clause_strucs(SubLObject max_clause_struc_id)
static SubLObject	find_clause_struc_by_id(SubLObject id) Return the clause-struc with ID, or NIL if not present.
static SubLObject	free_all_clause_strucs()
static SubLObject	get_clause_struc() Get a CLAUSE-STRUC from the free list, or make a new one if needed
static SubLObject	init_clause_struc(SubLObject clause_struc) Initialize a CLAUSE-STRUC for use
static SubLObject	init_clause_strucs_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	lookup_clause_struc(SubLObject id)
static SubLObject	make_clause_struc_shell(SubLObject cnf, SubLObject id)
static SubLObject	make_clause_struc(SubLObject arglist)
static SubLObject	make_static_clause_struc() Make a new CLAUSE-STRUC in the static area
static SubLObject	register_clause_struc_id(SubLObject clause_struc, SubLObject id) Note that ID will be used as the id for CLAUSE-STRUC.
static SubLObject	reset_clause_struc_assertions(SubLObject clause_struc, SubLObject new_assertions) Primitively set the assertions for CLAUSE-STRUC to NEW-ASSERTIONS.
static SubLObject	reset_clause_struc_id(SubLObject clause_struc, SubLObject new_id) Primitively change the clause-struc id for CLAUSE-STRUC to NEW-ID.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	set_next_clause_struc_id(SubLObject max_clause_struc_id)
static SubLObject	setup_clause_struc_table(SubLObject size, SubLObject exactP)
static SubLObject	setup_clause_strucs_file()
static SubLObject	sxhash_clause_struc_method(SubLObject object)

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

public static SubLSymbol $dtp_clause_struc$

$clause_struc_dump_id_table$

public static SubLSymbol $clause_struc_dump_id_table$

$sym0$CLAUSE_STRUC

public static final SubLSymbol $sym0$CLAUSE_STRUC

$sym1$CLAUSE_STRUC_P

public static final SubLSymbol $sym1$CLAUSE_STRUC_P

$int2$142

public static final SubLInteger $int2$142

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$sym7$PRINT_CLAUSE_STRUC

public static final SubLSymbol $sym7$PRINT_CLAUSE_STRUC

$sym8$CLAUSE_STRUC_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym8$CLAUSE_STRUC_PRINT_FUNCTION_TRAMPOLINE

$sym9$CLS_ID

public static final SubLSymbol $sym9$CLS_ID

$sym10$_CSETF_CLS_ID

public static final SubLSymbol $sym10$_CSETF_CLS_ID

$sym11$CLS_CNF

public static final SubLSymbol $sym11$CLS_CNF

$sym12$_CSETF_CLS_CNF

public static final SubLSymbol $sym12$_CSETF_CLS_CNF

$sym13$CLS_ASSERTIONS

public static final SubLSymbol $sym13$CLS_ASSERTIONS

$sym14$_CSETF_CLS_ASSERTIONS

public static final SubLSymbol $sym14$_CSETF_CLS_ASSERTIONS

$kw15$ID

public static final SubLSymbol $kw15$ID

$kw16$CNF

public static final SubLSymbol $kw16$CNF

$kw17$ASSERTIONS

public static final SubLSymbol $kw17$ASSERTIONS

$str18$Invalid_slot__S_for_construction_

public static final SubLString $str18$Invalid_slot__S_for_construction_

$str19$_

public static final SubLString $str19$_

$str20$_

public static final SubLString $str20$_

$str21$_

public static final SubLString $str21$_

$str22$_The_CFASL_invalid_clause_struc_

public static final SubLString $str22$_The_CFASL_invalid_clause_struc_

$int23$242

public static final SubLInteger $int23$242

$sym24$SXHASH_CLAUSE_STRUC_METHOD

public static final SubLSymbol $sym24$SXHASH_CLAUSE_STRUC_METHOD

$str25$CLAUSE_STRUC_resource_lock

public static final SubLString $str25$CLAUSE_STRUC_resource_lock

$kw26$FREE

public static final SubLSymbol $kw26$FREE

$kw27$TRUE

public static final SubLSymbol $kw27$TRUE

$list28

public static final SubLList $list28

$list29

public static final SubLList $list29

$kw30$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw30$ALLOW_OTHER_KEYS

$kw31$DONE

public static final SubLSymbol $kw31$DONE

$sym32$DO_LIST

public static final SubLSymbol $sym32$DO_LIST

$sym33$CLAUSE_STRUC_ASSERTIONS

public static final SubLSymbol $sym33$CLAUSE_STRUC_ASSERTIONS

$sym34$INVALID_CONSTANT_

public static final SubLSymbol $sym34$INVALID_CONSTANT_

$sym35$VALID_ASSERTION

public static final SubLSymbol $sym35$VALID_ASSERTION

$sym36$INTEGERP

public static final SubLSymbol $sym36$INTEGERP

$sym37$CNF_P

public static final SubLSymbol $sym37$CNF_P

$sym38$ASSERTION_P

public static final SubLSymbol $sym38$ASSERTION_P

$sym39$_CLAUSE_STRUC_FROM_ID_

public static final SubLSymbol $sym39$_CLAUSE_STRUC_FROM_ID_

$list40

public static final SubLList $list40

$list41

public static final SubLList $list41

$kw42$PROGRESS_MESSAGE

public static final SubLSymbol $kw42$PROGRESS_MESSAGE

$str43$mapping_Cyc_clause_structs

public static final SubLString $str43$mapping_Cyc_clause_structs

$sym44$DO_KB_SUID_TABLE

public static final SubLSymbol $sym44$DO_KB_SUID_TABLE

$list45

public static final SubLList $list45

$sym46$CLAUSE_STRUC_TABLE

public static final SubLSymbol $sym46$CLAUSE_STRUC_TABLE

$sym47$DO_CLAUSE_STRUCS

public static final SubLSymbol $sym47$DO_CLAUSE_STRUCS

$str48$Cleaning_clause_struc_table

public static final SubLString $str48$Cleaning_clause_struc_table

$sym49$STRINGP

public static final SubLSymbol $sym49$STRINGP

$kw50$SKIP

public static final SubLSymbol $kw50$SKIP

$kw51$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw51$IGNORE_ERRORS_TARGET

$sym52$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym52$IGNORE_ERRORS_HANDLER

$str53$invalid_clause_struct__S

public static final SubLString $str53$invalid_clause_struct__S

$str54$Freeing_clause_strucs

public static final SubLString $str54$Freeing_clause_strucs

$str55$Determining_maximum_clause_struc_

public static final SubLString $str55$Determining_maximum_clause_struc_

$sym56$CLET

public static final SubLSymbol $sym56$CLET

$list57

public static final SubLList $list57

$sym58$CREATE_CLAUSE_STRUC_DUMP_ID_TABLE

public static final SubLSymbol $sym58$CREATE_CLAUSE_STRUC_DUMP_ID_TABLE

$sym59$WITH_CLAUSE_STRUC_DUMP_ID_TABLE

public static final SubLSymbol $sym59$WITH_CLAUSE_STRUC_DUMP_ID_TABLE

Method Detail

clause_struc_print_function_trampoline

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

clause_struc_p

public static final SubLObject clause_struc_p(SubLObject object)

cls_cnf

public static final SubLObject cls_cnf(SubLObject object)

_csetf_cls_id

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

_csetf_cls_cnf

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

_csetf_cls_assertions

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

make_clause_struc

public static final SubLObject make_clause_struc(SubLObject arglist)

sxhash_clause_struc_method

public static final SubLObject sxhash_clause_struc_method(SubLObject object)

make_static_clause_struc

public static final SubLObject make_static_clause_struc()

Make a new CLAUSE-STRUC in the static area

init_clause_struc

public static final SubLObject init_clause_struc(SubLObject clause_struc)

Initialize a CLAUSE-STRUC for use

get_clause_struc

public static final SubLObject get_clause_struc()

Get a CLAUSE-STRUC from the free list, or make a new one if needed

reset_clause_struc_id

public static final SubLObject reset_clause_struc_id(SubLObject clause_struc,
                                                     SubLObject new_id)

Primitively change the clause-struc id for CLAUSE-STRUC to NEW-ID.

clause_struc_cnf

public static final SubLObject clause_struc_cnf(SubLObject clause_struc)

Return the cnf of CLAUSE-STRUC.

reset_clause_struc_assertions

public static final SubLObject reset_clause_struc_assertions(SubLObject clause_struc,
                                                             SubLObject new_assertions)

Primitively set the assertions for CLAUSE-STRUC to NEW-ASSERTIONS.

find_clause_struc_by_id

public static final SubLObject find_clause_struc_by_id(SubLObject id)

Return the clause-struc with ID, or NIL if not present.

make_clause_struc_shell

public static final SubLObject make_clause_struc_shell(SubLObject cnf,
                                                       SubLObject id)

create_sample_invalid_clause_struc

public static final SubLObject create_sample_invalid_clause_struc()

Create a sample invalid clause-struc.

clause_struc_table

public static final SubLObject clause_struc_table()

setup_clause_struc_table

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

finalize_clause_strucs

public static final SubLObject finalize_clause_strucs(SubLObject max_clause_struc_id)

free_all_clause_strucs

public static final SubLObject free_all_clause_strucs()

clear_clause_struc_table

public static final SubLObject clear_clause_struc_table()

set_next_clause_struc_id

public static final SubLObject set_next_clause_struc_id(SubLObject max_clause_struc_id)

register_clause_struc_id

public static final SubLObject register_clause_struc_id(SubLObject clause_struc,
                                                        SubLObject id)

Note that ID will be used as the id for CLAUSE-STRUC.

lookup_clause_struc

public static final SubLObject lookup_clause_struc(SubLObject id)

declare_clause_strucs_file

public static final SubLObject declare_clause_strucs_file()

init_clause_strucs_file

public static final SubLObject init_clause_strucs_file()

setup_clause_strucs_file

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