com.cyc.cycjava.cycl.inference.modules
Class rewrite_modules

java.lang.Object
  com.cyc.tool.subl.util.SubLTrampolineFile
      com.cyc.tool.subl.util.SubLTranslatedFile
          com.cyc.cycjava.cycl.inference.modules.rewrite_modules

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class rewrite_modules
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const10$subSituationTypes
static SubLObject	$const14$relationAllExists
static SubLObject	$const15$subSituations
static SubLObject	$const24$groupTypeMemberType
static SubLObject	$const27$relationAllInstance
static SubLObject	$const28$groupMemberType
static SubLObject	$const37$subEventTypes
static SubLObject	$const4$BaseKB
static SubLObject	$const40$subEvents
static SubLSymbol	$kw0$UNINITIALIZED
static SubLSymbol	$kw11$POS
static SubLSymbol	$kw12$SUB_SITUATION_TYPES_FROM_RELATION_ALL_EXISTS_SUB_SITUATIONS_CHECK
static SubLSymbol	$kw22$RELATION_ALL_INSTANCE_GROUP_MEMBER_TYPE_FROM_GROUP_TYPE_MEMBER_TY
static SubLSymbol	$kw25$GROUP_TYPE_MEMBER_TYPE_FROM_RELATION_ALL_INSTANCE_GROUP_MEMBER_TY
static SubLSymbol	$kw35$RELATION_ALL_EXISTS_SUB_EVENTS_FROM_SUB_EVENT_TYPES_CHECK
static SubLSymbol	$kw38$SUB_EVENT_TYPES_FROM_RELATION_ALL_EXISTS_SUB_EVENTS_CHECK
static SubLSymbol	$kw8$RELATION_ALL_EXISTS_SUB_SITUATIONS_FROM_SUB_SITUATION_TYPES_CHECK
static SubLList	$list13
static SubLList	$list18
static SubLList	$list21
static SubLList	$list23
static SubLList	$list26
static SubLList	$list3
static SubLList	$list31
static SubLList	$list34
static SubLList	$list36
static SubLList	$list39
static SubLList	$list7
static SubLList	$list9
static SubLSymbol	$sym1$_RAL_SUB_SITUATIONS_FROM_SUB_SITUATION_TYPES_RULE_
static SubLSymbol	$sym16$_RAI_GROUP_MEMBER_TYPE_FROM_GROUP_TYPE_MEMBER_TYPE_RULE_
static SubLSymbol	$sym17$_RAI_GROUP_MEMBER_TYPE_FROM_GROUP_TYPE_MEMBER_TYPE_RULE__INITIALI
static SubLSymbol	$sym19$_GROUP_TYPE_MEMBER_TYPE_FROM_RAI_GROUP_MEMBER_TYPE_RULE_
static SubLSymbol	$sym2$_RAL_SUB_SITUATIONS_FROM_SUB_SITUATION_TYPES_RULE__INITIALIZER
static SubLSymbol	$sym20$_GROUP_TYPE_MEMBER_TYPE_FROM_RAI_GROUP_MEMBER_TYPE_RULE__INITIALI
static SubLSymbol	$sym29$_RAL_SUB_EVENTS_FROM_SUB_EVENT_TYPES_RULE_
static SubLSymbol	$sym30$_RAL_SUB_EVENTS_FROM_SUB_EVENT_TYPES_RULE__INITIALIZER
static SubLSymbol	$sym32$_SUB_EVENT_TYPES_FROM_RAL_SUB_EVENTS_RULE_
static SubLSymbol	$sym33$_SUB_EVENT_TYPES_FROM_RAL_SUB_EVENTS_RULE__INITIALIZER
static SubLSymbol	$sym5$_SUB_SITUATION_TYPES_FROM_RAL_SUB_SITUATIONS_RULE_
static SubLSymbol	$sym6$_SUB_SITUATION_TYPES_FROM_RAL_SUB_SITUATIONS_RULE__INITIALIZER
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_rewrite_modules_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	group_type_member_type_from_rai_group_member_type_ruleX_initializer()
static SubLObject	init_rewrite_modules_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	rai_group_member_type_from_group_type_member_type_ruleX_initializer()
static SubLObject	ral_sub_events_from_sub_event_types_ruleX_initializer()
static SubLObject	ral_sub_situations_from_sub_situation_types_ruleX_initializer()
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_rewrite_modules_file()
static SubLObject	sub_event_types_from_ral_sub_events_ruleX_initializer()
static SubLObject	sub_situation_types_from_ral_sub_situations_ruleX_initializer()

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

$kw0$UNINITIALIZED

public static final SubLSymbol $kw0$UNINITIALIZED

$sym1$_RAL_SUB_SITUATIONS_FROM_SUB_SITUATION_TYPES_RULE_

public static final SubLSymbol $sym1$_RAL_SUB_SITUATIONS_FROM_SUB_SITUATION_TYPES_RULE_

$sym2$_RAL_SUB_SITUATIONS_FROM_SUB_SITUATION_TYPES_RULE__INITIALIZER

public static final SubLSymbol $sym2$_RAL_SUB_SITUATIONS_FROM_SUB_SITUATION_TYPES_RULE__INITIALIZER

$list3

public static final SubLList $list3

$const4$BaseKB

public static final SubLObject $const4$BaseKB

$sym5$_SUB_SITUATION_TYPES_FROM_RAL_SUB_SITUATIONS_RULE_

public static final SubLSymbol $sym5$_SUB_SITUATION_TYPES_FROM_RAL_SUB_SITUATIONS_RULE_

$sym6$_SUB_SITUATION_TYPES_FROM_RAL_SUB_SITUATIONS_RULE__INITIALIZER

public static final SubLSymbol $sym6$_SUB_SITUATION_TYPES_FROM_RAL_SUB_SITUATIONS_RULE__INITIALIZER

$list7

public static final SubLList $list7

$kw8$RELATION_ALL_EXISTS_SUB_SITUATIONS_FROM_SUB_SITUATION_TYPES_CHECK

public static final SubLSymbol $kw8$RELATION_ALL_EXISTS_SUB_SITUATIONS_FROM_SUB_SITUATION_TYPES_CHECK

$list9

public static final SubLList $list9

$const10$subSituationTypes

public static final SubLObject $const10$subSituationTypes

$kw11$POS

public static final SubLSymbol $kw11$POS

$kw12$SUB_SITUATION_TYPES_FROM_RELATION_ALL_EXISTS_SUB_SITUATIONS_CHECK

public static final SubLSymbol $kw12$SUB_SITUATION_TYPES_FROM_RELATION_ALL_EXISTS_SUB_SITUATIONS_CHECK

$list13

public static final SubLList $list13

$const14$relationAllExists

public static final SubLObject $const14$relationAllExists

$const15$subSituations

public static final SubLObject $const15$subSituations

$sym16$_RAI_GROUP_MEMBER_TYPE_FROM_GROUP_TYPE_MEMBER_TYPE_RULE_

public static final SubLSymbol $sym16$_RAI_GROUP_MEMBER_TYPE_FROM_GROUP_TYPE_MEMBER_TYPE_RULE_

$sym17$_RAI_GROUP_MEMBER_TYPE_FROM_GROUP_TYPE_MEMBER_TYPE_RULE__INITIALI

public static final SubLSymbol $sym17$_RAI_GROUP_MEMBER_TYPE_FROM_GROUP_TYPE_MEMBER_TYPE_RULE__INITIALI

$list18

public static final SubLList $list18

$sym19$_GROUP_TYPE_MEMBER_TYPE_FROM_RAI_GROUP_MEMBER_TYPE_RULE_

public static final SubLSymbol $sym19$_GROUP_TYPE_MEMBER_TYPE_FROM_RAI_GROUP_MEMBER_TYPE_RULE_

$sym20$_GROUP_TYPE_MEMBER_TYPE_FROM_RAI_GROUP_MEMBER_TYPE_RULE__INITIALI

public static final SubLSymbol $sym20$_GROUP_TYPE_MEMBER_TYPE_FROM_RAI_GROUP_MEMBER_TYPE_RULE__INITIALI

$list21

public static final SubLList $list21

$kw22$RELATION_ALL_INSTANCE_GROUP_MEMBER_TYPE_FROM_GROUP_TYPE_MEMBER_TY

public static final SubLSymbol $kw22$RELATION_ALL_INSTANCE_GROUP_MEMBER_TYPE_FROM_GROUP_TYPE_MEMBER_TY

$list23

public static final SubLList $list23

$const24$groupTypeMemberType

public static final SubLObject $const24$groupTypeMemberType

$kw25$GROUP_TYPE_MEMBER_TYPE_FROM_RELATION_ALL_INSTANCE_GROUP_MEMBER_TY

public static final SubLSymbol $kw25$GROUP_TYPE_MEMBER_TYPE_FROM_RELATION_ALL_INSTANCE_GROUP_MEMBER_TY

$list26

public static final SubLList $list26

$const27$relationAllInstance

public static final SubLObject $const27$relationAllInstance

$const28$groupMemberType

public static final SubLObject $const28$groupMemberType

$sym29$_RAL_SUB_EVENTS_FROM_SUB_EVENT_TYPES_RULE_

public static final SubLSymbol $sym29$_RAL_SUB_EVENTS_FROM_SUB_EVENT_TYPES_RULE_

$sym30$_RAL_SUB_EVENTS_FROM_SUB_EVENT_TYPES_RULE__INITIALIZER

public static final SubLSymbol $sym30$_RAL_SUB_EVENTS_FROM_SUB_EVENT_TYPES_RULE__INITIALIZER

$list31

public static final SubLList $list31

$sym32$_SUB_EVENT_TYPES_FROM_RAL_SUB_EVENTS_RULE_

public static final SubLSymbol $sym32$_SUB_EVENT_TYPES_FROM_RAL_SUB_EVENTS_RULE_

$sym33$_SUB_EVENT_TYPES_FROM_RAL_SUB_EVENTS_RULE__INITIALIZER

public static final SubLSymbol $sym33$_SUB_EVENT_TYPES_FROM_RAL_SUB_EVENTS_RULE__INITIALIZER

$list34

public static final SubLList $list34

$kw35$RELATION_ALL_EXISTS_SUB_EVENTS_FROM_SUB_EVENT_TYPES_CHECK

public static final SubLSymbol $kw35$RELATION_ALL_EXISTS_SUB_EVENTS_FROM_SUB_EVENT_TYPES_CHECK

$list36

public static final SubLList $list36

$const37$subEventTypes

public static final SubLObject $const37$subEventTypes

$kw38$SUB_EVENT_TYPES_FROM_RELATION_ALL_EXISTS_SUB_EVENTS_CHECK

public static final SubLSymbol $kw38$SUB_EVENT_TYPES_FROM_RELATION_ALL_EXISTS_SUB_EVENTS_CHECK

$list39

public static final SubLList $list39

$const40$subEvents

public static final SubLObject $const40$subEvents

Method Detail

ral_sub_situations_from_sub_situation_types_ruleX_initializer

public static final SubLObject ral_sub_situations_from_sub_situation_types_ruleX_initializer()

sub_situation_types_from_ral_sub_situations_ruleX_initializer

public static final SubLObject sub_situation_types_from_ral_sub_situations_ruleX_initializer()

rai_group_member_type_from_group_type_member_type_ruleX_initializer

public static final SubLObject rai_group_member_type_from_group_type_member_type_ruleX_initializer()

group_type_member_type_from_rai_group_member_type_ruleX_initializer

public static final SubLObject group_type_member_type_from_rai_group_member_type_ruleX_initializer()

ral_sub_events_from_sub_event_types_ruleX_initializer

public static final SubLObject ral_sub_events_from_sub_event_types_ruleX_initializer()

sub_event_types_from_ral_sub_events_ruleX_initializer

public static final SubLObject sub_event_types_from_ral_sub_events_ruleX_initializer()

declare_rewrite_modules_file

public static final SubLObject declare_rewrite_modules_file()

init_rewrite_modules_file

public static final SubLObject init_rewrite_modules_file()

setup_rewrite_modules_file

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