com.cyc.cycjava.cycl
Class rule_macros

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class rule_macros
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const10$relationAllExistsCount
static SubLObject	$const11$relationExistsAll
static SubLObject	$const12$relationExistsCountAll
static SubLObject	$const15$genls
static SubLObject	$const16$genlPreds
static SubLObject	$const17$genlInverse
static SubLObject	$const20$disjointWith
static SubLObject	$const21$negationPreds
static SubLObject	$const22$negationInverse
static SubLObject	$const23$arg1Isa
static SubLObject	$const24$arg2Isa
static SubLObject	$const25$isa
static SubLObject	$const26$ReflexiveBinaryPredicate
static SubLObject	$const27$IrreflexiveBinaryPredicate
static SubLObject	$const28$TransitiveBinaryPredicate
static SubLObject	$const29$SymmetricBinaryPredicate
static SubLObject	$const30$AsymmetricBinaryPredicate
static SubLObject	$const4$requiredArg1Pred
static SubLObject	$const5$requiredArg2Pred
static SubLObject	$const9$relationAllExists
static SubLList	$list18
static SubLList	$list19
static SubLList	$list2
static SubLList	$list3
static SubLList	$list7
static SubLList	$list8
static SubLString	$str13$invalid_relation_type_index___s
static SubLString	$str14$invalid_relation_type_rule_macro_
static SubLString	$str6$invalid_required_arg_pred_index__
static SubLSymbol	$sym0$CANONICALIZE_CLAUSE_WRT_RULE_MACROS
static SubLSymbol	$sym1$EL_VAR_
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	canonicalize_clauses_wrt_rule_macros(SubLObject v_clauses) If CLAUSES or its elements match certain hard-coded patterns, they are converted to rule macros.
static SubLObject	declare_rule_macros_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_rule_macros_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_rule_macros_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$CANONICALIZE_CLAUSE_WRT_RULE_MACROS

public static final SubLSymbol $sym0$CANONICALIZE_CLAUSE_WRT_RULE_MACROS

$sym1$EL_VAR_

public static final SubLSymbol $sym1$EL_VAR_

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$const4$requiredArg1Pred

public static final SubLObject $const4$requiredArg1Pred

$const5$requiredArg2Pred

public static final SubLObject $const5$requiredArg2Pred

$str6$invalid_required_arg_pred_index__

public static final SubLString $str6$invalid_required_arg_pred_index__

$list7

public static final SubLList $list7

$list8

public static final SubLList $list8

$const9$relationAllExists

public static final SubLObject $const9$relationAllExists

$const10$relationAllExistsCount

public static final SubLObject $const10$relationAllExistsCount

$const11$relationExistsAll

public static final SubLObject $const11$relationExistsAll

$const12$relationExistsCountAll

public static final SubLObject $const12$relationExistsCountAll

$str13$invalid_relation_type_index___s

public static final SubLString $str13$invalid_relation_type_index___s

$str14$invalid_relation_type_rule_macro_

public static final SubLString $str14$invalid_relation_type_rule_macro_

$const15$genls

public static final SubLObject $const15$genls

$const16$genlPreds

public static final SubLObject $const16$genlPreds

$const17$genlInverse

public static final SubLObject $const17$genlInverse

$list18

public static final SubLList $list18

$list19

public static final SubLList $list19

$const20$disjointWith

public static final SubLObject $const20$disjointWith

$const21$negationPreds

public static final SubLObject $const21$negationPreds

$const22$negationInverse

public static final SubLObject $const22$negationInverse

$const23$arg1Isa

public static final SubLObject $const23$arg1Isa

$const24$arg2Isa

public static final SubLObject $const24$arg2Isa

$const25$isa

public static final SubLObject $const25$isa

$const26$ReflexiveBinaryPredicate

public static final SubLObject $const26$ReflexiveBinaryPredicate

$const27$IrreflexiveBinaryPredicate

public static final SubLObject $const27$IrreflexiveBinaryPredicate

$const28$TransitiveBinaryPredicate

public static final SubLObject $const28$TransitiveBinaryPredicate

$const29$SymmetricBinaryPredicate

public static final SubLObject $const29$SymmetricBinaryPredicate

$const30$AsymmetricBinaryPredicate

public static final SubLObject $const30$AsymmetricBinaryPredicate

Method Detail

canonicalize_clauses_wrt_rule_macros

public static final SubLObject canonicalize_clauses_wrt_rule_macros(SubLObject v_clauses)

If CLAUSES or its elements match certain hard-coded patterns, they are converted to rule macros. Otherwise they are left alone.

declare_rule_macros_file

public static final SubLObject declare_rule_macros_file()

init_rule_macros_file

public static final SubLObject init_rule_macros_file()

setup_rule_macros_file

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