com.cyc.cycjava.cycl
Class preserves_genls_in_arg

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.preserves_genls_in_arg

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class preserves_genls_in_arg
extends SubLTranslatedFile

Nested Class Summary

static class

preserves_genls_in_arg.$pgia_after_adding_isa$BinaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const1$BaseKB
static SubLObject	$const11$genls
static SubLObject	$const14$isa
static SubLObject	$const15$Collection
static SubLObject	$const17$preservesGenlsInArg
static SubLObject	$const7$EverythingPSC
static SubLSymbol	$kw18$TRUE
static SubLSymbol	$kw23$GENLS
static SubLSymbol	$kw25$SPECS
static SubLSymbol	$kw29$CODE
static SubLSymbol	$kw32$DEFAULT
static SubLList	$list2
static SubLList	$list30
static SubLList	$list31
static SubLList	$list33
static SubLList	$list34
static SubLList	$list35
static SubLList	$list36
static SubLList	$list37
static SubLList	$list38
static SubLList	$list39
static SubLSymbol	$pgia_mt$
static SubLString	$str24$attempting_to_bind_direction_link
static SubLSymbol	$sym0$_PGIA_MT_
static SubLSymbol	$sym10$PGIA_AFTER_ADDING_PGIA_3
static SubLSymbol	$sym12$RELEVANT_MT_IS_EQ
static SubLSymbol	$sym13$NOT_EQ
static SubLSymbol	$sym16$PGIA_AFTER_ADDING_ISA_1
static SubLSymbol	$sym19$PGIA_AFTER_ADDING_ISA
static SubLSymbol	$sym20$PGIA_AFTER_ADDING_ISA_2
static SubLSymbol	$sym21$PGIA_AFTER_REMOVING_GENLS_1
static SubLSymbol	$sym22$PGIA_AFTER_REMOVING_GENLS
static SubLSymbol	$sym26$RECOMPUTE_FUNCTOR_PGIA_1
static SubLSymbol	$sym27$RECOMPUTE_NAT_PGIA_1
static SubLSymbol	$sym28$GATHER_PGIA
static SubLSymbol	$sym3$RELEVANT_MT_IS_GENL_MT
static SubLSymbol	$sym4$PGIA_AFTER_ADDING_PGIA_1
static SubLSymbol	$sym5$PGIA_AFTER_ADDING_PGIA
static SubLSymbol	$sym6$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym8$PGIA_AFTER_ADDING_PGIA_2
static SubLSymbol	$sym9$SBHL_UNRECORDED_NODE_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_preserves_genls_in_arg_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_preserves_genls_in_arg_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	pgia_after_adding_isa(SubLObject argument, SubLObject assertion)
static SubLObject	pgia_after_removing_genls(SubLObject deduction, SubLObject assertion)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_preserves_genls_in_arg_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

$pgia_mt$

public static SubLSymbol $pgia_mt$

$sym0$_PGIA_MT_

public static final SubLSymbol $sym0$_PGIA_MT_

$const1$BaseKB

public static final SubLObject $const1$BaseKB

$list2

public static final SubLList $list2

$sym3$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym3$RELEVANT_MT_IS_GENL_MT

$sym4$PGIA_AFTER_ADDING_PGIA_1

public static final SubLSymbol $sym4$PGIA_AFTER_ADDING_PGIA_1

$sym5$PGIA_AFTER_ADDING_PGIA

public static final SubLSymbol $sym5$PGIA_AFTER_ADDING_PGIA

$sym6$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym6$RELEVANT_MT_IS_EVERYTHING

$const7$EverythingPSC

public static final SubLObject $const7$EverythingPSC

$sym8$PGIA_AFTER_ADDING_PGIA_2

public static final SubLSymbol $sym8$PGIA_AFTER_ADDING_PGIA_2

$sym9$SBHL_UNRECORDED_NODE_P

public static final SubLSymbol $sym9$SBHL_UNRECORDED_NODE_P

$sym10$PGIA_AFTER_ADDING_PGIA_3

public static final SubLSymbol $sym10$PGIA_AFTER_ADDING_PGIA_3

$const11$genls

public static final SubLObject $const11$genls

$sym12$RELEVANT_MT_IS_EQ

public static final SubLSymbol $sym12$RELEVANT_MT_IS_EQ

$sym13$NOT_EQ

public static final SubLSymbol $sym13$NOT_EQ

$const14$isa

public static final SubLObject $const14$isa

$const15$Collection

public static final SubLObject $const15$Collection

$sym16$PGIA_AFTER_ADDING_ISA_1

public static final SubLSymbol $sym16$PGIA_AFTER_ADDING_ISA_1

$const17$preservesGenlsInArg

public static final SubLObject $const17$preservesGenlsInArg

$kw18$TRUE

public static final SubLSymbol $kw18$TRUE

$sym19$PGIA_AFTER_ADDING_ISA

public static final SubLSymbol $sym19$PGIA_AFTER_ADDING_ISA

$sym20$PGIA_AFTER_ADDING_ISA_2

public static final SubLSymbol $sym20$PGIA_AFTER_ADDING_ISA_2

$sym21$PGIA_AFTER_REMOVING_GENLS_1

public static final SubLSymbol $sym21$PGIA_AFTER_REMOVING_GENLS_1

$sym22$PGIA_AFTER_REMOVING_GENLS

public static final SubLSymbol $sym22$PGIA_AFTER_REMOVING_GENLS

$kw23$GENLS

public static final SubLSymbol $kw23$GENLS

$str24$attempting_to_bind_direction_link

public static final SubLString $str24$attempting_to_bind_direction_link

$kw25$SPECS

public static final SubLSymbol $kw25$SPECS

$sym26$RECOMPUTE_FUNCTOR_PGIA_1

public static final SubLSymbol $sym26$RECOMPUTE_FUNCTOR_PGIA_1

$sym27$RECOMPUTE_NAT_PGIA_1

public static final SubLSymbol $sym27$RECOMPUTE_NAT_PGIA_1

$sym28$GATHER_PGIA

public static final SubLSymbol $sym28$GATHER_PGIA

$kw29$CODE

public static final SubLSymbol $kw29$CODE

$list30

public static final SubLList $list30

$list31

public static final SubLList $list31

$kw32$DEFAULT

public static final SubLSymbol $kw32$DEFAULT

$list33

public static final SubLList $list33

$list34

public static final SubLList $list34

$list35

public static final SubLList $list35

$list36

public static final SubLList $list36

$list37

public static final SubLList $list37

$list38

public static final SubLList $list38

$list39

public static final SubLList $list39

Method Detail

pgia_after_adding_isa

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

pgia_after_removing_genls

public static final SubLObject pgia_after_removing_genls(SubLObject deduction,
                                                         SubLObject assertion)

declare_preserves_genls_in_arg_file

public static final SubLObject declare_preserves_genls_in_arg_file()

init_preserves_genls_in_arg_file

public static final SubLObject init_preserves_genls_in_arg_file()

setup_preserves_genls_in_arg_file

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