com.cyc.cycjava.cycl.inference.harness
Class after_adding

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.inference.harness.after_adding

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class after_adding
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$after_addings_disabledP$ When non-nil, afterAddings are disabled.
static SubLObject	$const12$EverythingPSC
static SubLObject	$const13$afterAdding
static SubLObject	$const16$afterRemoving
static SubLSymbol	$debug_after_addingsP$ Set this to T if you want to see errors caused by afterAddings instead of catching them
static SubLSymbol	$gaf_after_adding_predicates$ The predicates whose extent implement the afterAdding and afterRemoving support.
static SubLInteger	$int10$100
static SubLSymbol	$kw14$GAF
static SubLSymbol	$kw19$TRUE
static SubLSymbol	$kw8$IGNORE_ERRORS_TARGET
static SubLList	$list0
static SubLList	$list15
static SubLList	$list17
static SubLList	$list4
static SubLList	$list7
static SubLSymbol	$sym1$_GAF_AFTER_ADDINGS_HASH_
static SubLSymbol	$sym11$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym18$FORT_P
static SubLSymbol	$sym2$_GAF_AFTER_REMOVINGS_HASH_
static SubLSymbol	$sym20$PROPAGATE_GAF_AFTER_ADDING
static SubLSymbol	$sym21$SYMBOLP
static SubLSymbol	$sym22$HLMT_P
static SubLSymbol	$sym23$RELEVANT_MT_IS_SPEC_MT
static SubLSymbol	$sym24$REPROPAGATE_GAF_AFTER_ADDING_INTERNAL
static SubLSymbol	$sym25$RELEVANT_MT_IS_GENL_MT
static SubLSymbol	$sym3$CLET
static SubLSymbol	$sym5$ARGUMENT_P
static SubLSymbol	$sym6$ASSERTION_P
static SubLSymbol	$sym9$IGNORE_ERRORS_HANDLER
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_after_addings()
static SubLObject	clear_after_removings()
static SubLObject	clear_gaf_after_addings()
static SubLObject	clear_gaf_after_removings()
static SubLObject	declare_after_adding_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	get_gaf_after_addings(SubLObject pred)
static SubLObject	get_gaf_after_removings(SubLObject pred)
static SubLObject	handle_after_addings(SubLObject argument, SubLObject assertion)
static SubLObject	handle_after_removings(SubLObject argument, SubLObject assertion)
static SubLObject	handle_gaf_after_adding(SubLObject function, SubLObject argument, SubLObject assertion)
static SubLObject	handle_gaf_after_addings(SubLObject argument, SubLObject assertion)
static SubLObject	handle_gaf_after_removing(SubLObject function, SubLObject argument, SubLObject assertion)
static SubLObject	handle_gaf_after_removings(SubLObject argument, SubLObject assertion)
static SubLObject	init_after_adding_file()
static SubLObject	initialize_gaf_after_addings_hash()
static SubLObject	initialize_gaf_after_removings_hash()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	rebuild_after_adding_caches()
static SubLObject	rebuild_gaf_after_adding_caches()
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_after_adding_file()

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

$debug_after_addingsP$

public static SubLSymbol $debug_after_addingsP$

Set this to T if you want to see errors caused by afterAddings instead of catching them

$gaf_after_adding_predicates$

public static SubLSymbol $gaf_after_adding_predicates$

The predicates whose extent implement the afterAdding and afterRemoving support.

$after_addings_disabledP$

public static SubLSymbol $after_addings_disabledP$

When non-nil, afterAddings are disabled.

$list0

public static final SubLList $list0

$sym1$_GAF_AFTER_ADDINGS_HASH_

public static final SubLSymbol $sym1$_GAF_AFTER_ADDINGS_HASH_

$sym2$_GAF_AFTER_REMOVINGS_HASH_

public static final SubLSymbol $sym2$_GAF_AFTER_REMOVINGS_HASH_

$sym3$CLET

public static final SubLSymbol $sym3$CLET

$list4

public static final SubLList $list4

$sym5$ARGUMENT_P

public static final SubLSymbol $sym5$ARGUMENT_P

$sym6$ASSERTION_P

public static final SubLSymbol $sym6$ASSERTION_P

$list7

public static final SubLList $list7

$kw8$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw8$IGNORE_ERRORS_TARGET

$sym9$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym9$IGNORE_ERRORS_HANDLER

$int10$100

public static final SubLInteger $int10$100

$sym11$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym11$RELEVANT_MT_IS_EVERYTHING

$const12$EverythingPSC

public static final SubLObject $const12$EverythingPSC

$const13$afterAdding

public static final SubLObject $const13$afterAdding

$kw14$GAF

public static final SubLSymbol $kw14$GAF

$list15

public static final SubLList $list15

$const16$afterRemoving

public static final SubLObject $const16$afterRemoving

$list17

public static final SubLList $list17

$sym18$FORT_P

public static final SubLSymbol $sym18$FORT_P

$kw19$TRUE

public static final SubLSymbol $kw19$TRUE

$sym20$PROPAGATE_GAF_AFTER_ADDING

public static final SubLSymbol $sym20$PROPAGATE_GAF_AFTER_ADDING

$sym21$SYMBOLP

public static final SubLSymbol $sym21$SYMBOLP

$sym22$HLMT_P

public static final SubLSymbol $sym22$HLMT_P

$sym23$RELEVANT_MT_IS_SPEC_MT

public static final SubLSymbol $sym23$RELEVANT_MT_IS_SPEC_MT

$sym24$REPROPAGATE_GAF_AFTER_ADDING_INTERNAL

public static final SubLSymbol $sym24$REPROPAGATE_GAF_AFTER_ADDING_INTERNAL

$sym25$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym25$RELEVANT_MT_IS_GENL_MT

Method Detail

clear_after_addings

public static final SubLObject clear_after_addings()

clear_gaf_after_addings

public static final SubLObject clear_gaf_after_addings()

clear_after_removings

public static final SubLObject clear_after_removings()

clear_gaf_after_removings

public static final SubLObject clear_gaf_after_removings()

handle_after_addings

public static final SubLObject handle_after_addings(SubLObject argument,
                                                    SubLObject assertion)

handle_gaf_after_addings

public static final SubLObject handle_gaf_after_addings(SubLObject argument,
                                                        SubLObject assertion)

handle_after_removings

public static final SubLObject handle_after_removings(SubLObject argument,
                                                      SubLObject assertion)

handle_gaf_after_removings

public static final SubLObject handle_gaf_after_removings(SubLObject argument,
                                                          SubLObject assertion)

get_gaf_after_addings

public static final SubLObject get_gaf_after_addings(SubLObject pred)

get_gaf_after_removings

public static final SubLObject get_gaf_after_removings(SubLObject pred)

handle_gaf_after_adding

public static final SubLObject handle_gaf_after_adding(SubLObject function,
                                                       SubLObject argument,
                                                       SubLObject assertion)

handle_gaf_after_removing

public static final SubLObject handle_gaf_after_removing(SubLObject function,
                                                         SubLObject argument,
                                                         SubLObject assertion)

rebuild_after_adding_caches

public static final SubLObject rebuild_after_adding_caches()

rebuild_gaf_after_adding_caches

public static final SubLObject rebuild_gaf_after_adding_caches()

initialize_gaf_after_addings_hash

public static final SubLObject initialize_gaf_after_addings_hash()

initialize_gaf_after_removings_hash

public static final SubLObject initialize_gaf_after_removings_hash()

declare_after_adding_file

public static final SubLObject declare_after_adding_file()

init_after_adding_file

public static final SubLObject init_after_adding_file()

setup_after_adding_file

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