com.cyc.cycjava.cycl
Class hl_storage_module_declarations

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class hl_storage_module_declarations
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const22$ist
static SubLObject	$const27$constantName
static SubLObject	$const31$assertionDirection
static SubLObject	$const35$indexicalReferent
static SubLObject	$const37$TheUser
static SubLObject	$const38$performSubL
static SubLSymbol	$kw0$REGULAR_KB_ASSERTION
static SubLSymbol	$kw10$GENERIC_ERROR
static SubLSymbol	$kw12$ASSERTION_NOT_PRESENT
static SubLSymbol	$kw14$ASSERTION_NOT_LOCAL
static SubLSymbol	$kw16$ARGUMENT_NOT_PRESENT
static SubLSymbol	$kw2$ASSERTED_ARGUMENT
static SubLSymbol	$kw20$IST
static SubLSymbol	$kw25$CONSTANT_NAME
static SubLSymbol	$kw29$ASSERTION_DIRECTION
static SubLSymbol	$kw33$INDEXICAL_THE_USER
static SubLSymbol	$kw39$PERFORM_SUBL
static SubLSymbol	$kw4$DEDUCTION
static SubLSymbol	$kw8$ARGUMENT_ALREADY_PRESENT
static SubLList	$list1
static SubLList	$list21
static SubLList	$list23
static SubLList	$list24
static SubLList	$list26
static SubLList	$list28
static SubLList	$list30
static SubLList	$list32
static SubLList	$list34
static SubLList	$list36
static SubLList	$list40
static SubLList	$list41
static SubLList	$list42
static SubLList	$list6
static SubLString	$str11$Unable_to_add_argument_for__S_in_
static SubLString	$str13$Formula__S_in_mt__S_is_not_in_the
static SubLString	$str15$Formula__S_in_mt__S_is_not_locall
static SubLString	$str17$Argument__S___for__S_in_mt__S_is_
static SubLString	$str9$Argument_for__S_in__S_is_already_
static SubLSymbol	$sym18$CNF_P
static SubLSymbol	$sym19$HLMT_P
static SubLSymbol	$sym3$ASSERTED_ARGUMENT_SPEC_P
static SubLSymbol	$sym5$DEDUCTION_SPEC_P
static SubLSymbol	$sym7$VARIABLE_NAME
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	assertion_direction_hl_storage_applicableP(SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)
static SubLObject	constant_name_hl_storage_applicableP(SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)
static SubLObject	declare_hl_storage_module_declarations_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	hl_add_as_kb_assertion(SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)
static SubLObject	hl_assert_as_kb_assertion(SubLObject cnf, SubLObject mt, SubLObject strength, SubLObject direction, SubLObject variable_map)
static SubLObject	hl_deduce_as_kb_deduction(SubLObject cnf, SubLObject mt, SubLObject supports, SubLObject direction, SubLObject variable_map)
static SubLObject	hl_remove_as_kb_assertion(SubLObject argument_spec, SubLObject cnf, SubLObject mt)
static SubLObject	hl_unassert_as_kb_assertion(SubLObject cnf, SubLObject mt)
static SubLObject	indexical_the_user_hl_storage_applicableP(SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)
static SubLObject	init_hl_storage_module_declarations_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	ist_assertion_applicableP(SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)
static SubLObject	perform_subl_hl_storage_applicableP(SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)
static SubLObject	regular_kb_assertion_applicableP(SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_hl_storage_module_declarations_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

$kw0$REGULAR_KB_ASSERTION

public static final SubLSymbol $kw0$REGULAR_KB_ASSERTION

$list1

public static final SubLList $list1

$kw2$ASSERTED_ARGUMENT

public static final SubLSymbol $kw2$ASSERTED_ARGUMENT

$sym3$ASSERTED_ARGUMENT_SPEC_P

public static final SubLSymbol $sym3$ASSERTED_ARGUMENT_SPEC_P

$kw4$DEDUCTION

public static final SubLSymbol $kw4$DEDUCTION

$sym5$DEDUCTION_SPEC_P

public static final SubLSymbol $sym5$DEDUCTION_SPEC_P

$list6

public static final SubLList $list6

$sym7$VARIABLE_NAME

public static final SubLSymbol $sym7$VARIABLE_NAME

$kw8$ARGUMENT_ALREADY_PRESENT

public static final SubLSymbol $kw8$ARGUMENT_ALREADY_PRESENT

$str9$Argument_for__S_in__S_is_already_

public static final SubLString $str9$Argument_for__S_in__S_is_already_

$kw10$GENERIC_ERROR

public static final SubLSymbol $kw10$GENERIC_ERROR

$str11$Unable_to_add_argument_for__S_in_

public static final SubLString $str11$Unable_to_add_argument_for__S_in_

$kw12$ASSERTION_NOT_PRESENT

public static final SubLSymbol $kw12$ASSERTION_NOT_PRESENT

$str13$Formula__S_in_mt__S_is_not_in_the

public static final SubLString $str13$Formula__S_in_mt__S_is_not_in_the

$kw14$ASSERTION_NOT_LOCAL

public static final SubLSymbol $kw14$ASSERTION_NOT_LOCAL

$str15$Formula__S_in_mt__S_is_not_locall

public static final SubLString $str15$Formula__S_in_mt__S_is_not_locall

$kw16$ARGUMENT_NOT_PRESENT

public static final SubLSymbol $kw16$ARGUMENT_NOT_PRESENT

$str17$Argument__S___for__S_in_mt__S_is_

public static final SubLString $str17$Argument__S___for__S_in_mt__S_is_

$sym18$CNF_P

public static final SubLSymbol $sym18$CNF_P

$sym19$HLMT_P

public static final SubLSymbol $sym19$HLMT_P

$kw20$IST

public static final SubLSymbol $kw20$IST

$list21

public static final SubLList $list21

$const22$ist

public static final SubLObject $const22$ist

$list23

public static final SubLList $list23

$list24

public static final SubLList $list24

$kw25$CONSTANT_NAME

public static final SubLSymbol $kw25$CONSTANT_NAME

$list26

public static final SubLList $list26

$const27$constantName

public static final SubLObject $const27$constantName

$list28

public static final SubLList $list28

$kw29$ASSERTION_DIRECTION

public static final SubLSymbol $kw29$ASSERTION_DIRECTION

$list30

public static final SubLList $list30

$const31$assertionDirection

public static final SubLObject $const31$assertionDirection

$list32

public static final SubLList $list32

$kw33$INDEXICAL_THE_USER

public static final SubLSymbol $kw33$INDEXICAL_THE_USER

$list34

public static final SubLList $list34

$const35$indexicalReferent

public static final SubLObject $const35$indexicalReferent

$list36

public static final SubLList $list36

$const37$TheUser

public static final SubLObject $const37$TheUser

$const38$performSubL

public static final SubLObject $const38$performSubL

$kw39$PERFORM_SUBL

public static final SubLSymbol $kw39$PERFORM_SUBL

$list40

public static final SubLList $list40

$list41

public static final SubLList $list41

$list42

public static final SubLList $list42

Method Detail

regular_kb_assertion_applicableP

public static final SubLObject regular_kb_assertion_applicableP(SubLObject argument_spec,
                                                                SubLObject cnf,
                                                                SubLObject mt,
                                                                SubLObject direction,
                                                                SubLObject variable_map)

hl_add_as_kb_assertion

public static final SubLObject hl_add_as_kb_assertion(SubLObject argument_spec,
                                                      SubLObject cnf,
                                                      SubLObject mt,
                                                      SubLObject direction,
                                                      SubLObject variable_map)

hl_assert_as_kb_assertion

public static final SubLObject hl_assert_as_kb_assertion(SubLObject cnf,
                                                         SubLObject mt,
                                                         SubLObject strength,
                                                         SubLObject direction,
                                                         SubLObject variable_map)

Returns:

boolean; whether the assert succeeded

hl_deduce_as_kb_deduction

public static final SubLObject hl_deduce_as_kb_deduction(SubLObject cnf,
                                                         SubLObject mt,
                                                         SubLObject supports,
                                                         SubLObject direction,
                                                         SubLObject variable_map)

Returns:

boolean; whether the deduce succeeded

hl_remove_as_kb_assertion

public static final SubLObject hl_remove_as_kb_assertion(SubLObject argument_spec,
                                                         SubLObject cnf,
                                                         SubLObject mt)

hl_unassert_as_kb_assertion

public static final SubLObject hl_unassert_as_kb_assertion(SubLObject cnf,
                                                           SubLObject mt)

ist_assertion_applicableP

public static final SubLObject ist_assertion_applicableP(SubLObject argument_spec,
                                                         SubLObject cnf,
                                                         SubLObject mt,
                                                         SubLObject direction,
                                                         SubLObject variable_map)

constant_name_hl_storage_applicableP

public static final SubLObject constant_name_hl_storage_applicableP(SubLObject argument_spec,
                                                                    SubLObject cnf,
                                                                    SubLObject mt,
                                                                    SubLObject direction,
                                                                    SubLObject variable_map)

Returns:

booleanp; Returns whether the hl-storage-module for #$constantName is applicable.

assertion_direction_hl_storage_applicableP

public static final SubLObject assertion_direction_hl_storage_applicableP(SubLObject argument_spec,
                                                                          SubLObject cnf,
                                                                          SubLObject mt,
                                                                          SubLObject direction,
                                                                          SubLObject variable_map)

Returns:

booleanp; Returns whether the hl-storage-module for #$assertionDirection is applicable.

indexical_the_user_hl_storage_applicableP

public static final SubLObject indexical_the_user_hl_storage_applicableP(SubLObject argument_spec,
                                                                         SubLObject cnf,
                                                                         SubLObject mt,
                                                                         SubLObject direction,
                                                                         SubLObject variable_map)

Returns:

booleanp; Returns whether the hl-storage-module for #$indexicalReferent #$TheUser is applicable.

perform_subl_hl_storage_applicableP

public static final SubLObject perform_subl_hl_storage_applicableP(SubLObject argument_spec,
                                                                   SubLObject cnf,
                                                                   SubLObject mt,
                                                                   SubLObject direction,
                                                                   SubLObject variable_map)

Returns:

booleanp; Returns whether the hl-storage-module for #$performSubL is applicable.

declare_hl_storage_module_declarations_file

public static final SubLObject declare_hl_storage_module_declarations_file()

init_hl_storage_module_declarations_file

public static final SubLObject init_hl_storage_module_declarations_file()

setup_hl_storage_module_declarations_file

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