com.cyc.cycjava.cycl.inference.modules.removal
Class removal_modules_natfunction

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.inference.modules.removal.removal_modules_natfunction

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class removal_modules_natfunction
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const0$natFunction
static SubLObject	$const14$natArgument
static SubLObject	$const28$natArgumentsEqual
static SubLObject	$const39$ReifiableFunction
static SubLObject	$const8$termOfUnit
static SubLSymbol	$kw1$NAT_FUNCTION_LOOKUP_POS
static SubLSymbol	$kw12$REMOVAL_NAT_FUNCTION_LOOKUP
static SubLSymbol	$kw15$NAT_ARGUMENT_LOOKUP_POS
static SubLSymbol	$kw17$REMOVAL_NAT_ARGUMENT_CHECK_POS
static SubLSymbol	$kw20$REMOVAL_NAT_ARGUMENT_TERM_UNIFY
static SubLSymbol	$kw22$IGNORE
static SubLSymbol	$kw23$REMOVAL_NAT_ARGUMENT_ARG_UNIFY
static SubLSymbol	$kw26$REMOVAL_NAT_ARGUMENT_LOOKUP
static SubLSymbol	$kw29$REMOVAL_NAT_ARGUMENTS_EQUAL_CHECK_POS
static SubLSymbol	$kw3$REMOVAL_NAT_FUNCTION_CHECK_POS
static SubLSymbol	$kw36$_MEMOIZED_ITEM_NOT_FOUND_
static SubLSymbol	$kw6$CODE
static SubLSymbol	$kw7$TRUE_MON
static SubLSymbol	$kw9$REMOVAL_NAT_FUNCTION_UNIFY
static SubLList	$list10
static SubLList	$list13
static SubLList	$list16
static SubLList	$list18
static SubLList	$list19
static SubLList	$list2
static SubLList	$list21
static SubLList	$list24
static SubLList	$list27
static SubLList	$list30
static SubLList	$list31
static SubLList	$list32
static SubLList	$list35
static SubLList	$list38
static SubLList	$list4
static SubLList	$list41
static SubLList	$list42
static SubLList	$list5
static SubLSymbol	$sym11$REMOVAL_NAT_FUNCTION_LOOKUP_INTERNAL
static SubLSymbol	$sym25$REMOVAL_NAT_ARGUMENT_LOOKUP_INTERNAL
static SubLSymbol	$sym33$_
static SubLSymbol	$sym34$REMOVAL_NAT_FUNC_ASENTS_WITH_NOT_FULLY_BOUND_ARG1_DICT
static SubLSymbol	$sym37$REMOVAL_NAT_FUNCTION_CONTEXTUALIZED_ASENT_P
static SubLSymbol	$sym40$REMOVAL_NAT_ARGUMENT_CONTEXTUALIZED_ASENT_P
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	declare_removal_modules_natfunction_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_removal_modules_natfunction_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	removal_nat_argument_lookup_cost(SubLObject asent, SubLObject sense)
static SubLObject	removal_nat_argument_lookup_expand(SubLObject asent, SubLObject sense)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_removal_modules_natfunction_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

$const0$natFunction

public static final SubLObject $const0$natFunction

$kw1$NAT_FUNCTION_LOOKUP_POS

public static final SubLSymbol $kw1$NAT_FUNCTION_LOOKUP_POS

$list2

public static final SubLList $list2

$kw3$REMOVAL_NAT_FUNCTION_CHECK_POS

public static final SubLSymbol $kw3$REMOVAL_NAT_FUNCTION_CHECK_POS

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$kw6$CODE

public static final SubLSymbol $kw6$CODE

$kw7$TRUE_MON

public static final SubLSymbol $kw7$TRUE_MON

$const8$termOfUnit

public static final SubLObject $const8$termOfUnit

$kw9$REMOVAL_NAT_FUNCTION_UNIFY

public static final SubLSymbol $kw9$REMOVAL_NAT_FUNCTION_UNIFY

$list10

public static final SubLList $list10

$sym11$REMOVAL_NAT_FUNCTION_LOOKUP_INTERNAL

public static final SubLSymbol $sym11$REMOVAL_NAT_FUNCTION_LOOKUP_INTERNAL

$kw12$REMOVAL_NAT_FUNCTION_LOOKUP

public static final SubLSymbol $kw12$REMOVAL_NAT_FUNCTION_LOOKUP

$list13

public static final SubLList $list13

$const14$natArgument

public static final SubLObject $const14$natArgument

$kw15$NAT_ARGUMENT_LOOKUP_POS

public static final SubLSymbol $kw15$NAT_ARGUMENT_LOOKUP_POS

$list16

public static final SubLList $list16

$kw17$REMOVAL_NAT_ARGUMENT_CHECK_POS

public static final SubLSymbol $kw17$REMOVAL_NAT_ARGUMENT_CHECK_POS

$list18

public static final SubLList $list18

$list19

public static final SubLList $list19

$kw20$REMOVAL_NAT_ARGUMENT_TERM_UNIFY

public static final SubLSymbol $kw20$REMOVAL_NAT_ARGUMENT_TERM_UNIFY

$list21

public static final SubLList $list21

$kw22$IGNORE

public static final SubLSymbol $kw22$IGNORE

$kw23$REMOVAL_NAT_ARGUMENT_ARG_UNIFY

public static final SubLSymbol $kw23$REMOVAL_NAT_ARGUMENT_ARG_UNIFY

$list24

public static final SubLList $list24

$sym25$REMOVAL_NAT_ARGUMENT_LOOKUP_INTERNAL

public static final SubLSymbol $sym25$REMOVAL_NAT_ARGUMENT_LOOKUP_INTERNAL

$kw26$REMOVAL_NAT_ARGUMENT_LOOKUP

public static final SubLSymbol $kw26$REMOVAL_NAT_ARGUMENT_LOOKUP

$list27

public static final SubLList $list27

$const28$natArgumentsEqual

public static final SubLObject $const28$natArgumentsEqual

$kw29$REMOVAL_NAT_ARGUMENTS_EQUAL_CHECK_POS

public static final SubLSymbol $kw29$REMOVAL_NAT_ARGUMENTS_EQUAL_CHECK_POS

$list30

public static final SubLList $list30

$list31

public static final SubLList $list31

$list32

public static final SubLList $list32

$sym33$_

public static final SubLSymbol $sym33$_

$sym34$REMOVAL_NAT_FUNC_ASENTS_WITH_NOT_FULLY_BOUND_ARG1_DICT

public static final SubLSymbol $sym34$REMOVAL_NAT_FUNC_ASENTS_WITH_NOT_FULLY_BOUND_ARG1_DICT

$list35

public static final SubLList $list35

$kw36$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw36$_MEMOIZED_ITEM_NOT_FOUND_

$sym37$REMOVAL_NAT_FUNCTION_CONTEXTUALIZED_ASENT_P

public static final SubLSymbol $sym37$REMOVAL_NAT_FUNCTION_CONTEXTUALIZED_ASENT_P

$list38

public static final SubLList $list38

$const39$ReifiableFunction

public static final SubLObject $const39$ReifiableFunction

$sym40$REMOVAL_NAT_ARGUMENT_CONTEXTUALIZED_ASENT_P

public static final SubLSymbol $sym40$REMOVAL_NAT_ARGUMENT_CONTEXTUALIZED_ASENT_P

$list41

public static final SubLList $list41

$list42

public static final SubLList $list42

Method Detail

removal_nat_argument_lookup_cost

public static final SubLObject removal_nat_argument_lookup_cost(SubLObject asent,
                                                                SubLObject sense)

removal_nat_argument_lookup_expand

public static final SubLObject removal_nat_argument_lookup_expand(SubLObject asent,
                                                                  SubLObject sense)

declare_removal_modules_natfunction_file

public static final SubLObject declare_removal_modules_natfunction_file()

init_removal_modules_natfunction_file

public static final SubLObject init_removal_modules_natfunction_file()

setup_removal_modules_natfunction_file

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