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

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class rule_after_adding
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const10$ruleAfterAdding
static SubLObject	$const13$ruleAfterRemoving
static SubLObject	$const9$EverythingPSC
static SubLInteger	$int7$100
static SubLSymbol	$kw11$GAF
static SubLSymbol	$kw16$TRUE
static SubLSymbol	$kw21$RULE
static SubLSymbol	$kw5$IGNORE_ERRORS_TARGET
static SubLList	$list12
static SubLList	$list14
static SubLList	$list4
static SubLSymbol	$rule_after_adding_predicates$ The predicates whose extent implement the ruleAfterAdding and ruleAfterRemoving support.
static SubLSymbol	$sym0$_RULE_AFTER_ADDINGS_HASH_
static SubLSymbol	$sym1$_RULE_AFTER_REMOVINGS_HASH_
static SubLSymbol	$sym15$FORT_P
static SubLSymbol	$sym17$PROPAGATE_RULE_AFTER_ADDING
static SubLSymbol	$sym18$SYMBOLP
static SubLSymbol	$sym19$HLMT_P
static SubLSymbol	$sym2$ARGUMENT_P
static SubLSymbol	$sym20$RELEVANT_MT_IS_SPEC_MT
static SubLSymbol	$sym22$RELEVANT_MT_IS_GENL_MT
static SubLSymbol	$sym3$ASSERTION_P
static SubLSymbol	$sym6$IGNORE_ERRORS_HANDLER
static SubLSymbol	$sym8$RELEVANT_MT_IS_EVERYTHING
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_rule_after_addings()
static SubLObject	clear_rule_after_removings()
static SubLObject	declare_rule_after_adding_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	get_rule_after_addings(SubLObject pred)
static SubLObject	handle_rule_after_addings_int(SubLObject argument, SubLObject literal, SubLObject assertion)
static SubLObject	handle_rule_after_addings(SubLObject argument, SubLObject assertion)
static SubLObject	handle_rule_after_removings_int(SubLObject argument, SubLObject literal, SubLObject assertion)
static SubLObject	handle_rule_after_removings(SubLObject argument, SubLObject assertion)
static SubLObject	init_rule_after_adding_file()
static SubLObject	initialize_rule_after_addings_hash()
static SubLObject	initialize_rule_after_removings_hash()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	rebuild_rule_after_adding_caches()
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_rule_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

$rule_after_adding_predicates$

public static SubLSymbol $rule_after_adding_predicates$

The predicates whose extent implement the ruleAfterAdding and ruleAfterRemoving support.

$sym0$_RULE_AFTER_ADDINGS_HASH_

public static final SubLSymbol $sym0$_RULE_AFTER_ADDINGS_HASH_

$sym1$_RULE_AFTER_REMOVINGS_HASH_

public static final SubLSymbol $sym1$_RULE_AFTER_REMOVINGS_HASH_

$sym2$ARGUMENT_P

public static final SubLSymbol $sym2$ARGUMENT_P

$sym3$ASSERTION_P

public static final SubLSymbol $sym3$ASSERTION_P

$list4

public static final SubLList $list4

$kw5$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw5$IGNORE_ERRORS_TARGET

$sym6$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym6$IGNORE_ERRORS_HANDLER

$int7$100

public static final SubLInteger $int7$100

$sym8$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym8$RELEVANT_MT_IS_EVERYTHING

$const9$EverythingPSC

public static final SubLObject $const9$EverythingPSC

$const10$ruleAfterAdding

public static final SubLObject $const10$ruleAfterAdding

$kw11$GAF

public static final SubLSymbol $kw11$GAF

$list12

public static final SubLList $list12

$const13$ruleAfterRemoving

public static final SubLObject $const13$ruleAfterRemoving

$list14

public static final SubLList $list14

$sym15$FORT_P

public static final SubLSymbol $sym15$FORT_P

$kw16$TRUE

public static final SubLSymbol $kw16$TRUE

$sym17$PROPAGATE_RULE_AFTER_ADDING

public static final SubLSymbol $sym17$PROPAGATE_RULE_AFTER_ADDING

$sym18$SYMBOLP

public static final SubLSymbol $sym18$SYMBOLP

$sym19$HLMT_P

public static final SubLSymbol $sym19$HLMT_P

$sym20$RELEVANT_MT_IS_SPEC_MT

public static final SubLSymbol $sym20$RELEVANT_MT_IS_SPEC_MT

$kw21$RULE

public static final SubLSymbol $kw21$RULE

$sym22$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym22$RELEVANT_MT_IS_GENL_MT

Method Detail

clear_rule_after_addings

public static final SubLObject clear_rule_after_addings()

clear_rule_after_removings

public static final SubLObject clear_rule_after_removings()

handle_rule_after_addings

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

handle_rule_after_addings_int

public static final SubLObject handle_rule_after_addings_int(SubLObject argument,
                                                             SubLObject literal,
                                                             SubLObject assertion)

handle_rule_after_removings

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

handle_rule_after_removings_int

public static final SubLObject handle_rule_after_removings_int(SubLObject argument,
                                                               SubLObject literal,
                                                               SubLObject assertion)

get_rule_after_addings

public static final SubLObject get_rule_after_addings(SubLObject pred)

rebuild_rule_after_adding_caches

public static final SubLObject rebuild_rule_after_adding_caches()

initialize_rule_after_addings_hash

public static final SubLObject initialize_rule_after_addings_hash()

initialize_rule_after_removings_hash

public static final SubLObject initialize_rule_after_removings_hash()

declare_rule_after_adding_file

public static final SubLObject declare_rule_after_adding_file()

init_rule_after_adding_file

public static final SubLObject init_rule_after_adding_file()

setup_rule_after_adding_file

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