com.cyc.cycjava.cycl
Class arity

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class arity
extends SubLTranslatedFile

Nested Class Summary

static class

arity.$arity$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const1$Relation
static SubLObject	$const10$InferencePSC
static SubLObject	$const14$EverythingPSC
static SubLObject	$const20$VariableArityRelation
static SubLObject	$const21$arityMin
static SubLObject	$const24$arityMax
static SubLObject	$const8$arity
static SubLSymbol	$kw15$GAF
static SubLSymbol	$kw16$TRUE
static SubLList	$list11
static SubLList	$list5
static SubLList	$list9
static SubLString	$str12$Initializing_all_arities___
static SubLString	$str18$Trying_to_overload_arity_for__A_f
static SubLString	$str22$Trying_to_overload_arityMin_for__
static SubLString	$str25$Trying_to_overload_arityMax_for__
static SubLString	$str6$Return_the_arity_for_relation_con
static SubLSymbol	$sym0$_KB_ARITY_TABLE_
static SubLSymbol	$sym13$RELEVANT_MT_IS_EVERYTHING
static SubLSymbol	$sym17$INTEGERP
static SubLSymbol	$sym19$_KB_ARITY_MIN_TABLE_
static SubLSymbol	$sym2$FORT_P
static SubLSymbol	$sym23$_KB_ARITY_MAX_TABLE_
static SubLSymbol	$sym26$RELATION_P
static SubLSymbol	$sym3$CYC_VAR_
static SubLSymbol	$sym4$ARITY
static SubLSymbol	$sym7$_X
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	arity_cache_unbuiltP()
static SubLObject	arity_lookup(SubLObject relation)
static SubLObject	arity_max_lookup(SubLObject relation)
static SubLObject	arity_max(SubLObject relation) Return the arityMax for RELATION.
static SubLObject	arity_min_int(SubLObject relation)
static SubLObject	arity_min_lookup(SubLObject relation)
static SubLObject	arity_min(SubLObject relation) Return the arity-min for RELATION.
static SubLObject	arity(SubLObject relation) Return the arity for relation constant RELATION.
static SubLObject	binary_arg_swap(SubLObject arg)
static SubLObject	binaryP(SubLObject relation)
static SubLObject	declare_arity_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_arity_file()
static SubLObject	initialize_arity_max_for_relation(SubLObject relation)
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	load_arity_cache_from_stream(SubLObject stream)
static SubLObject	maybe_add_arity_for_relation(SubLObject relation, SubLObject v_arity)
static SubLObject	maybe_remove_arity_for_relation(SubLObject relation, SubLObject v_arity)
static SubLObject	possibly_simplify_arity(SubLObject v_arity)
static SubLObject	rem_arity(SubLObject relation)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	set_arity(SubLObject relation, SubLObject v_arity)
static SubLObject	setup_arity_file()
static SubLObject	variable_arityP(SubLObject relation)

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$_KB_ARITY_TABLE_

public static final SubLSymbol $sym0$_KB_ARITY_TABLE_

$const1$Relation

public static final SubLObject $const1$Relation

$sym2$FORT_P

public static final SubLSymbol $sym2$FORT_P

$sym3$CYC_VAR_

public static final SubLSymbol $sym3$CYC_VAR_

$sym4$ARITY

public static final SubLSymbol $sym4$ARITY

$list5

public static final SubLList $list5

$str6$Return_the_arity_for_relation_con

public static final SubLString $str6$Return_the_arity_for_relation_con

$sym7$_X

public static final SubLSymbol $sym7$_X

$const8$arity

public static final SubLObject $const8$arity

$list9

public static final SubLList $list9

$const10$InferencePSC

public static final SubLObject $const10$InferencePSC

$list11

public static final SubLList $list11

$str12$Initializing_all_arities___

public static final SubLString $str12$Initializing_all_arities___

$sym13$RELEVANT_MT_IS_EVERYTHING

public static final SubLSymbol $sym13$RELEVANT_MT_IS_EVERYTHING

$const14$EverythingPSC

public static final SubLObject $const14$EverythingPSC

$kw15$GAF

public static final SubLSymbol $kw15$GAF

$kw16$TRUE

public static final SubLSymbol $kw16$TRUE

$sym17$INTEGERP

public static final SubLSymbol $sym17$INTEGERP

$str18$Trying_to_overload_arity_for__A_f

public static final SubLString $str18$Trying_to_overload_arity_for__A_f

$sym19$_KB_ARITY_MIN_TABLE_

public static final SubLSymbol $sym19$_KB_ARITY_MIN_TABLE_

$const20$VariableArityRelation

public static final SubLObject $const20$VariableArityRelation

$const21$arityMin

public static final SubLObject $const21$arityMin

$str22$Trying_to_overload_arityMin_for__

public static final SubLString $str22$Trying_to_overload_arityMin_for__

$sym23$_KB_ARITY_MAX_TABLE_

public static final SubLSymbol $sym23$_KB_ARITY_MAX_TABLE_

$const24$arityMax

public static final SubLObject $const24$arityMax

$str25$Trying_to_overload_arityMax_for__

public static final SubLString $str25$Trying_to_overload_arityMax_for__

$sym26$RELATION_P

public static final SubLSymbol $sym26$RELATION_P

Method Detail

arity_lookup

public static final SubLObject arity_lookup(SubLObject relation)

set_arity

public static final SubLObject set_arity(SubLObject relation,
                                         SubLObject v_arity)

rem_arity

public static final SubLObject rem_arity(SubLObject relation)

arity

public static final SubLObject arity(SubLObject relation)

Return the arity for relation constant RELATION.

possibly_simplify_arity

public static final SubLObject possibly_simplify_arity(SubLObject v_arity)

maybe_add_arity_for_relation

public static final SubLObject maybe_add_arity_for_relation(SubLObject relation,
                                                            SubLObject v_arity)

maybe_remove_arity_for_relation

public static final SubLObject maybe_remove_arity_for_relation(SubLObject relation,
                                                               SubLObject v_arity)

arity_min_lookup

public static final SubLObject arity_min_lookup(SubLObject relation)

arity_min

public static final SubLObject arity_min(SubLObject relation)

Return the arity-min for RELATION.

arity_min_int

public static final SubLObject arity_min_int(SubLObject relation)

arity_max_lookup

public static final SubLObject arity_max_lookup(SubLObject relation)

arity_max

public static final SubLObject arity_max(SubLObject relation)

Return the arityMax for RELATION.

initialize_arity_max_for_relation

public static final SubLObject initialize_arity_max_for_relation(SubLObject relation)

binaryP

public static final SubLObject binaryP(SubLObject relation)

binary_arg_swap

public static final SubLObject binary_arg_swap(SubLObject arg)

variable_arityP

public static final SubLObject variable_arityP(SubLObject relation)

arity_cache_unbuiltP

public static final SubLObject arity_cache_unbuiltP()

load_arity_cache_from_stream

public static final SubLObject load_arity_cache_from_stream(SubLObject stream)

declare_arity_file

public static final SubLObject declare_arity_file()

init_arity_file

public static final SubLObject init_arity_file()

setup_arity_file

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