com.cyc.cycjava.cycl
Class obsolete

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

public final class obsolete
extends SubLTranslatedFile


Nested Class Summary
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLList $list1
           
static SubLList $list10
           
static SubLList $list12
           
static SubLList $list15
           
static SubLList $list17
           
static SubLList $list19
           
static SubLList $list22
           
static SubLList $list27
           
static SubLList $list29
           
static SubLList $list31
           
static SubLList $list33
           
static SubLList $list36
           
static SubLList $list38
           
static SubLList $list4
           
static SubLList $list41
           
static SubLList $list43
           
static SubLList $list45
           
static SubLList $list47
           
static SubLList $list49
           
static SubLList $list51
           
static SubLList $list53
           
static SubLList $list55
           
static SubLList $list57
           
static SubLList $list59
           
static SubLList $list7
           
static SubLString $str2$NAT_P_is_obsolete___use_NART_P_or
           
static SubLString $str5$FIND_NAT_is_obsolete___use_FIND_N
           
static SubLSymbol $sym0$NAT_P
           
static SubLSymbol $sym11$NAT_
           
static SubLSymbol $sym13$EL_VAR_
           
static SubLSymbol $sym14$RELATIONSHIP_
           
static SubLSymbol $sym16$REIFIED_NAT_
           
static SubLSymbol $sym18$REIFIABLE_NAT_
           
static SubLSymbol $sym20$CYC_VAR_
           
static SubLSymbol $sym21$KB_NAT_
           
static SubLSymbol $sym23$VARIABLE_P
           
static SubLSymbol $sym24$NAUT_IN_MT_
           
static SubLSymbol $sym25$RELEVANT_MT_IS_GENL_MT
           
static SubLSymbol $sym26$GNAT_
           
static SubLSymbol $sym28$GNAT_P
           
static SubLSymbol $sym3$FIND_NAT
           
static SubLSymbol $sym30$FIND_GNAT
           
static SubLSymbol $sym32$CNAT_P
           
static SubLSymbol $sym34$CLOSED_NAT_P
           
static SubLSymbol $sym35$REIFY_ARG_WHEN_CNAT
           
static SubLSymbol $sym37$REIFY_WHEN_CNAT
           
static SubLSymbol $sym39$FORTIFY
           
static SubLSymbol $sym40$FIND_WHEN_CNAT
           
static SubLSymbol $sym42$FIND_CNAT
           
static SubLSymbol $sym44$OPEN_NAT_P
           
static SubLSymbol $sym46$FO_NAT_
           
static SubLSymbol $sym48$NAT_NOT_GNAT
           
static SubLSymbol $sym50$FORMULA_FREE_VARIABLES
           
static SubLSymbol $sym52$FORMULA_VARIABLES
           
static SubLSymbol $sym54$COMPLETE_COLLECTION_EXTENT
           
static SubLSymbol $sym56$COMPLETE_EXTENT_KNOWN
           
static SubLSymbol $sym58$BOOLEAN_
           
static SubLSymbol $sym6$CYCL_SYSTEM_NUMBER
           
static SubLSymbol $sym8$CYCL_PATCH_NUMBER
           
static SubLSymbol $sym9$EL_TEMPLATE_ARG_
           
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 cnat_p(SubLObject object, SubLObject varP)
           
static SubLObject cycl_patch_number()
          obsolete -- use CYC-REVISION-NUMBERS
static SubLObject cycl_system_number()
          obsolete -- use CYC-REVISION-NUMBERS
static SubLObject declare_obsolete_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_obsolete_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject reifiable_natP(SubLObject v_term, SubLObject varP, SubLObject mt)
           
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_obsolete_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

$sym0$NAT_P

public static final SubLSymbol $sym0$NAT_P

$list1

public static final SubLList $list1

$str2$NAT_P_is_obsolete___use_NART_P_or

public static final SubLString $str2$NAT_P_is_obsolete___use_NART_P_or

$sym3$FIND_NAT

public static final SubLSymbol $sym3$FIND_NAT

$list4

public static final SubLList $list4

$str5$FIND_NAT_is_obsolete___use_FIND_N

public static final SubLString $str5$FIND_NAT_is_obsolete___use_FIND_N

$sym6$CYCL_SYSTEM_NUMBER

public static final SubLSymbol $sym6$CYCL_SYSTEM_NUMBER

$list7

public static final SubLList $list7

$sym8$CYCL_PATCH_NUMBER

public static final SubLSymbol $sym8$CYCL_PATCH_NUMBER

$sym9$EL_TEMPLATE_ARG_

public static final SubLSymbol $sym9$EL_TEMPLATE_ARG_

$list10

public static final SubLList $list10

$sym11$NAT_

public static final SubLSymbol $sym11$NAT_

$list12

public static final SubLList $list12

$sym13$EL_VAR_

public static final SubLSymbol $sym13$EL_VAR_

$sym14$RELATIONSHIP_

public static final SubLSymbol $sym14$RELATIONSHIP_

$list15

public static final SubLList $list15

$sym16$REIFIED_NAT_

public static final SubLSymbol $sym16$REIFIED_NAT_

$list17

public static final SubLList $list17

$sym18$REIFIABLE_NAT_

public static final SubLSymbol $sym18$REIFIABLE_NAT_

$list19

public static final SubLList $list19

$sym20$CYC_VAR_

public static final SubLSymbol $sym20$CYC_VAR_

$sym21$KB_NAT_

public static final SubLSymbol $sym21$KB_NAT_

$list22

public static final SubLList $list22

$sym23$VARIABLE_P

public static final SubLSymbol $sym23$VARIABLE_P

$sym24$NAUT_IN_MT_

public static final SubLSymbol $sym24$NAUT_IN_MT_

$sym25$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym25$RELEVANT_MT_IS_GENL_MT

$sym26$GNAT_

public static final SubLSymbol $sym26$GNAT_

$list27

public static final SubLList $list27

$sym28$GNAT_P

public static final SubLSymbol $sym28$GNAT_P

$list29

public static final SubLList $list29

$sym30$FIND_GNAT

public static final SubLSymbol $sym30$FIND_GNAT

$list31

public static final SubLList $list31

$sym32$CNAT_P

public static final SubLSymbol $sym32$CNAT_P

$list33

public static final SubLList $list33

$sym34$CLOSED_NAT_P

public static final SubLSymbol $sym34$CLOSED_NAT_P

$sym35$REIFY_ARG_WHEN_CNAT

public static final SubLSymbol $sym35$REIFY_ARG_WHEN_CNAT

$list36

public static final SubLList $list36

$sym37$REIFY_WHEN_CNAT

public static final SubLSymbol $sym37$REIFY_WHEN_CNAT

$list38

public static final SubLList $list38

$sym39$FORTIFY

public static final SubLSymbol $sym39$FORTIFY

$sym40$FIND_WHEN_CNAT

public static final SubLSymbol $sym40$FIND_WHEN_CNAT

$list41

public static final SubLList $list41

$sym42$FIND_CNAT

public static final SubLSymbol $sym42$FIND_CNAT

$list43

public static final SubLList $list43

$sym44$OPEN_NAT_P

public static final SubLSymbol $sym44$OPEN_NAT_P

$list45

public static final SubLList $list45

$sym46$FO_NAT_

public static final SubLSymbol $sym46$FO_NAT_

$list47

public static final SubLList $list47

$sym48$NAT_NOT_GNAT

public static final SubLSymbol $sym48$NAT_NOT_GNAT

$list49

public static final SubLList $list49

$sym50$FORMULA_FREE_VARIABLES

public static final SubLSymbol $sym50$FORMULA_FREE_VARIABLES

$list51

public static final SubLList $list51

$sym52$FORMULA_VARIABLES

public static final SubLSymbol $sym52$FORMULA_VARIABLES

$list53

public static final SubLList $list53

$sym54$COMPLETE_COLLECTION_EXTENT

public static final SubLSymbol $sym54$COMPLETE_COLLECTION_EXTENT

$list55

public static final SubLList $list55

$sym56$COMPLETE_EXTENT_KNOWN

public static final SubLSymbol $sym56$COMPLETE_EXTENT_KNOWN

$list57

public static final SubLList $list57

$sym58$BOOLEAN_

public static final SubLSymbol $sym58$BOOLEAN_

$list59

public static final SubLList $list59
Method Detail

cycl_system_number

public static final SubLObject cycl_system_number()
obsolete -- use CYC-REVISION-NUMBERS


cycl_patch_number

public static final SubLObject cycl_patch_number()
obsolete -- use CYC-REVISION-NUMBERS


reifiable_natP

public static final SubLObject reifiable_natP(SubLObject v_term,
                                              SubLObject varP,
                                              SubLObject mt)

cnat_p

public static final SubLObject cnat_p(SubLObject object,
                                      SubLObject varP)

declare_obsolete_file

public static final SubLObject declare_obsolete_file()

init_obsolete_file

public static final SubLObject init_obsolete_file()

setup_obsolete_file

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