com.cyc.cycjava.cycl
Class transitivity

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class transitivity
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const5$EverythingPSC
static SubLSymbol	$kw11$ASSERTION
static SubLSymbol	$kw12$ACCESSORS
static SubLSymbol	$kw17$PREDICATE
static SubLSymbol	$kw18$MT
static SubLSymbol	$kw19$INDEX_ARG
static SubLSymbol	$kw20$GATHER_ARG
static SubLSymbol	$kw6$INVALID_MODULE
static SubLSymbol	$kw8$INVALID_METHOD
static SubLList	$list10
static SubLString	$str13$method__s_maps_into_illegal_gt_fu
static SubLString	$str14$illegal_transitivity_method___s
static SubLString	$str2$_s_is_not_a_transitive_predicate
static SubLString	$str21$_s_was_not_a_valid_transitivity_m
static SubLString	$str7$_s_is_not_a_valid_transitivity_mo
static SubLString	$str9$_s_is_not_a_valid_gt_method_
static SubLSymbol	$sym0$INSTANTIATE_SBHL_MARKING_SPACE_FOR
static SubLSymbol	$sym1$_GT_MARKING_TABLE_
static SubLSymbol	$sym15$MT
static SubLSymbol	$sym16$_OPTIONAL
static SubLSymbol	$sym3$RELEVANT_MT_IS_GENL_MT
static SubLSymbol	$sym4$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	apply_gti_function(SubLObject gti_function, SubLObject arg1, SubLObject arg2, SubLObject arg3, SubLObject arg4, SubLObject arg5)
static SubLObject	declare_transitivity_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	ggt_gather_arg(SubLObject predicate)
static SubLObject	ggt_index_arg(SubLObject predicate)
static SubLObject	gt_method_function(SubLObject method)
static SubLObject	gt_mt_arg_value(SubLObject method, SubLObject arg1, SubLObject arg2, SubLObject arg3, SubLObject arg4, SubLObject arg5)
static SubLObject	gt_mt_arg(SubLObject method)
static SubLObject	gtm(SubLObject predicate, SubLObject method, SubLObject arg1, SubLObject arg2, SubLObject arg3, SubLObject arg4, SubLObject arg5) performs transitivity method using binary transitive predicate for designated args (see *gt-methods* for legal transitivity methods)
static SubLObject	init_transitivity_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_transitivity_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$INSTANTIATE_SBHL_MARKING_SPACE_FOR

public static final SubLSymbol $sym0$INSTANTIATE_SBHL_MARKING_SPACE_FOR

$sym1$_GT_MARKING_TABLE_

public static final SubLSymbol $sym1$_GT_MARKING_TABLE_

$str2$_s_is_not_a_transitive_predicate

public static final SubLString $str2$_s_is_not_a_transitive_predicate

$sym3$RELEVANT_MT_IS_GENL_MT

public static final SubLSymbol $sym3$RELEVANT_MT_IS_GENL_MT

$sym4$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym4$RELEVANT_MT_IS_EVERYTHING

$const5$EverythingPSC

public static final SubLObject $const5$EverythingPSC

$kw6$INVALID_MODULE

public static final SubLSymbol $kw6$INVALID_MODULE

$str7$_s_is_not_a_valid_transitivity_mo

public static final SubLString $str7$_s_is_not_a_valid_transitivity_mo

$kw8$INVALID_METHOD

public static final SubLSymbol $kw8$INVALID_METHOD

$str9$_s_is_not_a_valid_gt_method_

public static final SubLString $str9$_s_is_not_a_valid_gt_method_

$list10

public static final SubLList $list10

$kw11$ASSERTION

public static final SubLSymbol $kw11$ASSERTION

$kw12$ACCESSORS

public static final SubLSymbol $kw12$ACCESSORS

$str13$method__s_maps_into_illegal_gt_fu

public static final SubLString $str13$method__s_maps_into_illegal_gt_fu

$str14$illegal_transitivity_method___s

public static final SubLString $str14$illegal_transitivity_method___s

$sym15$MT

public static final SubLSymbol $sym15$MT

$sym16$_OPTIONAL

public static final SubLSymbol $sym16$_OPTIONAL

$kw17$PREDICATE

public static final SubLSymbol $kw17$PREDICATE

$kw18$MT

public static final SubLSymbol $kw18$MT

$kw19$INDEX_ARG

public static final SubLSymbol $kw19$INDEX_ARG

$kw20$GATHER_ARG

public static final SubLSymbol $kw20$GATHER_ARG

$str21$_s_was_not_a_valid_transitivity_m

public static final SubLString $str21$_s_was_not_a_valid_transitivity_m

Method Detail

gtm

public static final SubLObject gtm(SubLObject predicate,
                                   SubLObject method,
                                   SubLObject arg1,
                                   SubLObject arg2,
                                   SubLObject arg3,
                                   SubLObject arg4,
                                   SubLObject arg5)

performs transitivity method using binary transitive predicate for designated args (see *gt-methods* for legal transitivity methods)

apply_gti_function

public static final SubLObject apply_gti_function(SubLObject gti_function,
                                                  SubLObject arg1,
                                                  SubLObject arg2,
                                                  SubLObject arg3,
                                                  SubLObject arg4,
                                                  SubLObject arg5)

gt_method_function

public static final SubLObject gt_method_function(SubLObject method)

gt_mt_arg

public static final SubLObject gt_mt_arg(SubLObject method)

gt_mt_arg_value

public static final SubLObject gt_mt_arg_value(SubLObject method,
                                               SubLObject arg1,
                                               SubLObject arg2,
                                               SubLObject arg3,
                                               SubLObject arg4,
                                               SubLObject arg5)

ggt_index_arg

public static final SubLObject ggt_index_arg(SubLObject predicate)

ggt_gather_arg

public static final SubLObject ggt_gather_arg(SubLObject predicate)

declare_transitivity_file

public static final SubLObject declare_transitivity_file()

init_transitivity_file

public static final SubLObject init_transitivity_file()

setup_transitivity_file

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