com.cyc.cycjava.cycl
Class unrepresented_terms

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.unrepresented_terms
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class unrepresented_terms
extends SubLTranslatedFile


Nested Class Summary
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLSymbol $kw16$SKIP
           
static SubLSymbol $kw4$ALLOW_OTHER_KEYS
           
static SubLSymbol $kw5$PROGRESS_MESSAGE
           
static SubLSymbol $kw7$DONE
           
static SubLList $list10
           
static SubLList $list17
           
static SubLList $list2
           
static SubLList $list21
           
static SubLList $list26
           
static SubLList $list3
           
static SubLList $list9
           
static SubLString $str18$mapping_Cyc_strings
           
static SubLString $str22$mapping_Cyc_numbers
           
static SubLString $str24$Determining_maximum_unrepresented
           
static SubLString $str6$mapping_Cyc_unrepresented_terms
           
static SubLSymbol $sym0$_UNREPRESENTED_TERM_TO_SUID_
           
static SubLSymbol $sym1$_UNREPRESENTED_TERM_FROM_SUID_
           
static SubLSymbol $sym11$DO_KB_SUID_TABLE_OLD_OBJECTS
           
static SubLSymbol $sym12$DO_KB_SUID_TABLE_NEW_OBJECTS
           
static SubLSymbol $sym13$DO_UNREPRESENTED_TERMS_TABLE
           
static SubLSymbol $sym14$DO_KB_UNREPRESENTED_TERMS
           
static SubLSymbol $sym15$STRINGP
           
static SubLSymbol $sym19$PWHEN
           
static SubLSymbol $sym20$SUBL_STRING_P
           
static SubLSymbol $sym23$SUBL_REAL_NUMBER_P
           
static SubLSymbol $sym25$CLET
           
static SubLSymbol $sym27$CREATE_UNREPRESENTED_TERM_DUMP_ID_TABLE
           
static SubLSymbol $sym28$WITH_UNREPRESENTED_TERM_DUMP_ID_TABLE
           
static SubLSymbol $sym8$DO_KB_SUID_TABLE
           
static SubLSymbol $unrepresented_term_dump_id_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 clear_unrepresented_term_suid_table()
           
static SubLObject clear_unrepresented_term_table()
           
static SubLObject declare_unrepresented_terms_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject deregister_unrepresented_term_suid(SubLObject suid)
          Note that SUID is not in use as a unrepresented term suid.
static SubLObject do_unrepresented_terms_table()
           
static SubLObject finalize_unrepresented_term_suid_table(SubLObject max_unrepresented_term_id)
           
static SubLObject finalize_unrepresented_terms(SubLObject max_unrepresented_term_id)
           
static SubLObject find_or_create_unrepresented_term_suid(SubLObject v_term)
           
static SubLObject find_unrepresented_term_by_dump_id(SubLObject dump_id)
           
static SubLObject find_unrepresented_term_by_suid(SubLObject suid)
           
static SubLObject init_unrepresented_terms_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject kb_unrepresented_term_count()
          Return the total number of unrepresented-terms mentioned in the KB.
static SubLObject kb_unrepresented_term_p(SubLObject object)
           
static SubLObject lookup_unrepresented_term_by_suid(SubLObject suid)
           
static SubLObject lookup_unrepresented_term_suid(SubLObject v_term)
           
static SubLObject make_unrepresented_term_suid()
          Return a new integer suid for a unrepresented-term.
static SubLObject register_unrepresented_term_suid(SubLObject v_term, SubLObject suid)
          Note that SUID will be used as the suid for UNREPRESENTED-TERM.
static SubLObject reset_unrepresented_term_index(SubLObject v_term, SubLObject new_index, SubLObject bootstrapP)
          Primitively change the assertion index for TERM to NEW-INDEX.
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject set_next_unrepresented_term_suid(SubLObject max_unrepresented_term_id)
           
static SubLObject setup_unrepresented_term_suid_table(SubLObject size, SubLObject exactP)
           
static SubLObject setup_unrepresented_term_table(SubLObject size, SubLObject exactP)
           
static SubLObject setup_unrepresented_terms_file()
           
static SubLObject unrepresented_term_index(SubLObject v_term)
           
static SubLObject unrepresented_term_suid(SubLObject v_term)
           
 
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

$unrepresented_term_dump_id_table$

public static SubLSymbol $unrepresented_term_dump_id_table$

$sym0$_UNREPRESENTED_TERM_TO_SUID_

public static final SubLSymbol $sym0$_UNREPRESENTED_TERM_TO_SUID_

$sym1$_UNREPRESENTED_TERM_FROM_SUID_

public static final SubLSymbol $sym1$_UNREPRESENTED_TERM_FROM_SUID_

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$kw4$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw4$ALLOW_OTHER_KEYS

$kw5$PROGRESS_MESSAGE

public static final SubLSymbol $kw5$PROGRESS_MESSAGE

$str6$mapping_Cyc_unrepresented_terms

public static final SubLString $str6$mapping_Cyc_unrepresented_terms

$kw7$DONE

public static final SubLSymbol $kw7$DONE

$sym8$DO_KB_SUID_TABLE

public static final SubLSymbol $sym8$DO_KB_SUID_TABLE

$list9

public static final SubLList $list9

$list10

public static final SubLList $list10

$sym11$DO_KB_SUID_TABLE_OLD_OBJECTS

public static final SubLSymbol $sym11$DO_KB_SUID_TABLE_OLD_OBJECTS

$sym12$DO_KB_SUID_TABLE_NEW_OBJECTS

public static final SubLSymbol $sym12$DO_KB_SUID_TABLE_NEW_OBJECTS

$sym13$DO_UNREPRESENTED_TERMS_TABLE

public static final SubLSymbol $sym13$DO_UNREPRESENTED_TERMS_TABLE

$sym14$DO_KB_UNREPRESENTED_TERMS

public static final SubLSymbol $sym14$DO_KB_UNREPRESENTED_TERMS

$sym15$STRINGP

public static final SubLSymbol $sym15$STRINGP

$kw16$SKIP

public static final SubLSymbol $kw16$SKIP

$list17

public static final SubLList $list17

$str18$mapping_Cyc_strings

public static final SubLString $str18$mapping_Cyc_strings

$sym19$PWHEN

public static final SubLSymbol $sym19$PWHEN

$sym20$SUBL_STRING_P

public static final SubLSymbol $sym20$SUBL_STRING_P

$list21

public static final SubLList $list21

$str22$mapping_Cyc_numbers

public static final SubLString $str22$mapping_Cyc_numbers

$sym23$SUBL_REAL_NUMBER_P

public static final SubLSymbol $sym23$SUBL_REAL_NUMBER_P

$str24$Determining_maximum_unrepresented

public static final SubLString $str24$Determining_maximum_unrepresented

$sym25$CLET

public static final SubLSymbol $sym25$CLET

$list26

public static final SubLList $list26

$sym27$CREATE_UNREPRESENTED_TERM_DUMP_ID_TABLE

public static final SubLSymbol $sym27$CREATE_UNREPRESENTED_TERM_DUMP_ID_TABLE

$sym28$WITH_UNREPRESENTED_TERM_DUMP_ID_TABLE

public static final SubLSymbol $sym28$WITH_UNREPRESENTED_TERM_DUMP_ID_TABLE
Method Detail

do_unrepresented_terms_table

public static final SubLObject do_unrepresented_terms_table()

setup_unrepresented_term_suid_table

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

finalize_unrepresented_term_suid_table

public static final SubLObject finalize_unrepresented_term_suid_table(SubLObject max_unrepresented_term_id)

clear_unrepresented_term_suid_table

public static final SubLObject clear_unrepresented_term_suid_table()

kb_unrepresented_term_count

public static final SubLObject kb_unrepresented_term_count()
Return the total number of unrepresented-terms mentioned in the KB.


lookup_unrepresented_term_by_suid

public static final SubLObject lookup_unrepresented_term_by_suid(SubLObject suid)

lookup_unrepresented_term_suid

public static final SubLObject lookup_unrepresented_term_suid(SubLObject v_term)

find_unrepresented_term_by_suid

public static final SubLObject find_unrepresented_term_by_suid(SubLObject suid)

unrepresented_term_suid

public static final SubLObject unrepresented_term_suid(SubLObject v_term)

kb_unrepresented_term_p

public static final SubLObject kb_unrepresented_term_p(SubLObject object)

set_next_unrepresented_term_suid

public static final SubLObject set_next_unrepresented_term_suid(SubLObject max_unrepresented_term_id)

register_unrepresented_term_suid

public static final SubLObject register_unrepresented_term_suid(SubLObject v_term,
                                                                SubLObject suid)
Note that SUID will be used as the suid for UNREPRESENTED-TERM.


deregister_unrepresented_term_suid

public static final SubLObject deregister_unrepresented_term_suid(SubLObject suid)
Note that SUID is not in use as a unrepresented term suid.


make_unrepresented_term_suid

public static final SubLObject make_unrepresented_term_suid()
Return a new integer suid for a unrepresented-term.


find_or_create_unrepresented_term_suid

public static final SubLObject find_or_create_unrepresented_term_suid(SubLObject v_term)

finalize_unrepresented_terms

public static final SubLObject finalize_unrepresented_terms(SubLObject max_unrepresented_term_id)

unrepresented_term_index

public static final SubLObject unrepresented_term_index(SubLObject v_term)

setup_unrepresented_term_table

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

clear_unrepresented_term_table

public static final SubLObject clear_unrepresented_term_table()

reset_unrepresented_term_index

public static final SubLObject reset_unrepresented_term_index(SubLObject v_term,
                                                              SubLObject new_index,
                                                              SubLObject bootstrapP)
Primitively change the assertion index for TERM to NEW-INDEX. If BOOTSTRAP? is non-nil, then a new SUID will be created for TERM if one does not already exist.


find_unrepresented_term_by_dump_id

public static final SubLObject find_unrepresented_term_by_dump_id(SubLObject dump_id)

declare_unrepresented_terms_file

public static final SubLObject declare_unrepresented_terms_file()

init_unrepresented_terms_file

public static final SubLObject init_unrepresented_terms_file()

setup_unrepresented_terms_file

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