com.cyc.cycjava.cycl
Class assertion_manager

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.assertion_manager
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class assertion_manager
extends SubLTranslatedFile


Nested Class Summary
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLSymbol $arete_assertions_touched$
           
static SubLSymbol $kw2$UNINITIALIZED
           
static SubLString $str3$assertion
           
static SubLString $str5$assertion_index
           
static SubLSymbol $sym0$_ARETE_ASSERTIONS_TOUCHED_
           
static SubLSymbol $sym1$_ASSERTION_CONTENT_MANAGER_
           
static SubLSymbol $sym4$LOAD_ASSERTION_DEF_FROM_CACHE
           
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 arete_note_assertion_touched(SubLObject assertion)
           
static SubLObject cached_assertion_count()
          Return the number of assertions whose content is cached in memory.
static SubLObject clear_assertion_content_table()
           
static SubLObject declare_assertion_manager_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject deregister_assertion_content(SubLObject id)
          Note that ID is not in use as an ASSERTION-CONTENT id
static SubLObject init_assertion_manager_file()
           
static SubLObject initialize_assertion_hl_store_cache()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject lookup_assertion_content(SubLObject id)
           
static SubLObject mark_assertion_content_as_muted(SubLObject id)
           
static SubLObject register_assertion_content(SubLObject id, SubLObject assertion_content)
          Note that ID will be used as the id for ASSERTION-CONTENT.
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_assertion_content_table(SubLObject size, SubLObject exactP)
           
static SubLObject setup_assertion_manager_file()
           
static SubLObject swap_out_all_pristine_assertions()
           
 
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

$arete_assertions_touched$

public static SubLSymbol $arete_assertions_touched$

$sym0$_ARETE_ASSERTIONS_TOUCHED_

public static final SubLSymbol $sym0$_ARETE_ASSERTIONS_TOUCHED_

$sym1$_ASSERTION_CONTENT_MANAGER_

public static final SubLSymbol $sym1$_ASSERTION_CONTENT_MANAGER_

$kw2$UNINITIALIZED

public static final SubLSymbol $kw2$UNINITIALIZED

$str3$assertion

public static final SubLString $str3$assertion

$sym4$LOAD_ASSERTION_DEF_FROM_CACHE

public static final SubLSymbol $sym4$LOAD_ASSERTION_DEF_FROM_CACHE

$str5$assertion_index

public static final SubLString $str5$assertion_index
Method Detail

arete_note_assertion_touched

public static final SubLObject arete_note_assertion_touched(SubLObject assertion)

setup_assertion_content_table

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

clear_assertion_content_table

public static final SubLObject clear_assertion_content_table()

cached_assertion_count

public static final SubLObject cached_assertion_count()
Return the number of assertions whose content is cached in memory.


lookup_assertion_content

public static final SubLObject lookup_assertion_content(SubLObject id)

register_assertion_content

public static final SubLObject register_assertion_content(SubLObject id,
                                                          SubLObject assertion_content)
Note that ID will be used as the id for ASSERTION-CONTENT.


deregister_assertion_content

public static final SubLObject deregister_assertion_content(SubLObject id)
Note that ID is not in use as an ASSERTION-CONTENT id


mark_assertion_content_as_muted

public static final SubLObject mark_assertion_content_as_muted(SubLObject id)

swap_out_all_pristine_assertions

public static final SubLObject swap_out_all_pristine_assertions()

initialize_assertion_hl_store_cache

public static final SubLObject initialize_assertion_hl_store_cache()

declare_assertion_manager_file

public static final SubLObject declare_assertion_manager_file()

init_assertion_manager_file

public static final SubLObject init_assertion_manager_file()

setup_assertion_manager_file

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