hl_storage_modules

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl
Class hl_storage_modules

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

All Implemented Interfaces:: CommonSymbols, SubLFile

public final class hl_storage_modules
extends SubLTranslatedFile
extends SubLTranslatedFile

Nested Class Summary

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

Field Summary
`static SubLObject`	`$const94$False`
`static SubLObject`	`$const95$True`
`static SubLSymbol`	$currently_executing_hl_storage_module$
`static SubLInteger`	`$int52$50`
`static SubLSymbol`	`$kw10$ARGUMENT`
`static SubLSymbol`	`$kw15$ALL`
`static SubLSymbol`	`$kw16$INCOMPLETENESS`
`static SubLSymbol`	`$kw17$ARGUMENT_TYPE`
`static SubLSymbol`	`$kw18$SENSE`
`static SubLSymbol`	`$kw19$DIRECTION`
`static SubLSymbol`	`$kw20$REQUIRED_MT`
`static SubLSymbol`	`$kw21$PREDICATE`
`static SubLSymbol`	`$kw22$ANY_PREDICATES`
`static SubLSymbol`	`$kw23$APPLICABILITY`
`static SubLSymbol`	`$kw24$APPLICABILITY_PATTERN`
`static SubLSymbol`	`$kw25$EXCLUSIVE`
`static SubLSymbol`	`$kw26$SUPPLANTS`
`static SubLSymbol`	`$kw27$PREFERRED_OVER`
`static SubLSymbol`	`$kw33$ALLOW_OTHER_KEYS`
`static SubLSymbol`	`$kw34$PRETTY_NAME`
`static SubLSymbol`	`$kw35$MODULE_SUBTYPE`
`static SubLSymbol`	`$kw36$MODULE_SOURCE`
`static SubLSymbol`	`$kw37$DOCUMENTATION`
`static SubLSymbol`	`$kw48$STORAGE`
`static SubLSymbol`	`$kw49$POS`
`static SubLSymbol`	`$kw50$NEG`
`static SubLSymbol`	`$kw7$ADD`
`static SubLSymbol`	`$kw8$REMOVE`
`static SubLSymbol`	`$kw81$BACKWARD`
`static SubLSymbol`	`$kw9$REMOVE_ALL`
`static SubLSymbol`	`$kw92$UNSPECIFIED`
`static SubLSymbol`	`$kw93$FORWARD`
`static SubLList`	`$list11`
`static SubLList`	`$list14`
`static SubLList`	`$list28`
`static SubLList`	`$list32`
`static SubLList`	`$list47`
`static SubLList`	`$list53`
`static SubLList`	`$list54`
`static SubLList`	`$list62`
`static SubLList`	`$list68`
`static SubLList`	`$list75`
`static SubLList`	`$list89`
`static SubLList`	`$list96`
`static SubLString`	`$str90$Unexpected_HL_storage_action__a`
`static SubLSymbol`	`$sym0$_HL_STORAGE_MODULES_`
`static SubLSymbol`	`$sym1$_PREDICATE_GENERIC_HL_STORAGE_MODULES_`
`static SubLSymbol`	`$sym12$CLET`
`static SubLSymbol`	`$sym13$_CURRENTLY_EXECUTING_HL_STORAGE_MODULE_`
`static SubLSymbol`	`$sym2$_PREDICATE_SPECIFIC_HL_STORAGE_MODULES_TABLE_`
`static SubLSymbol`	`$sym29$KEYWORDP`
`static SubLSymbol`	`$sym3$_ARGUMENT_TYPE_SPECIFIC_HL_STORAGE_MODULES_TABLE_`
`static SubLSymbol`	`$sym30$PROPERTY_LIST_P`
`static SubLSymbol`	`$sym31$HL_STORAGE_MODULE_PROPERTY_P`
`static SubLSymbol`	`$sym38$STRINGP`
`static SubLSymbol`	`$sym39$ARGUMENT_TYPE_P`
`static SubLSymbol`	`$sym4$CONSP`
`static SubLSymbol`	`$sym40$SYMBOLP`
`static SubLSymbol`	`$sym41$HLMT_P`
`static SubLSymbol`	`$sym42$HL_STORAGE_MODULE_APPLICABILITY_PATTERN_P`
`static SubLSymbol`	`$sym43$SENSE_P`
`static SubLSymbol`	`$sym44$DIRECTION_P`
`static SubLSymbol`	`$sym45$FORT_P`
`static SubLSymbol`	`$sym46$CONSTANT_P`
`static SubLSymbol`	`$sym5$NON_DOTTED_LIST_P`
`static SubLSymbol`	`$sym51$_SOLELY_SPECIFIC_HL_STORAGE_MODULE_PREDICATE_STORE_`
`static SubLSymbol`	`$sym55$ASS`
`static SubLSymbol`	`$sym56$ASENT`
`static SubLSymbol`	`$sym57$PROGN`
`static SubLSymbol`	`$sym58$DO_ASSERTIONS`
`static SubLSymbol`	`$sym59$ASSERTION_TO_HL_ASSERTION_SPEC`
`static SubLSymbol`	`$sym6$HL_MODULE_P`
`static SubLSymbol`	`$sym60$DO_BOOKKEEPING_ASENTS`
`static SubLSymbol`	`$sym61$BOOKKEEPING_ASENT_TO_HL_ASSERTION_SPEC`
`static SubLSymbol`	`$sym63$HL_ASSERTION_SPEC_VAR`
`static SubLSymbol`	`$sym64$HL_ASSERTION_SPEC_CNF`
`static SubLSymbol`	`$sym65$HL_ASSERTION_SPEC_MT`
`static SubLSymbol`	`$sym66$HL_ASSERTION_SPEC_DIRECTION`
`static SubLSymbol`	`$sym67$HL_ASSERTION_SPEC_VARIABLE_MAP`
`static SubLSymbol`	`$sym69$ASS`
`static SubLSymbol`	`$sym70$ASENT`
`static SubLSymbol`	`$sym71$ASSERTIBLES`
`static SubLSymbol`	`$sym72$ASSERTION_TO_HL_ASSERTIBLES`
`static SubLSymbol`	`$sym73$CDOLIST`
`static SubLSymbol`	`$sym74$BOOKKEEPING_ASENT_TO_HL_ASSERTIBLE`
`static SubLSymbol`	`$sym76$HL_ASSERTIBLE_VAR`
`static SubLSymbol`	`$sym77$HL_ASSERTION_SPEC_VAR`
`static SubLSymbol`	`$sym78$HL_ASSERTIBLE_ARGUMENT_SPEC`
`static SubLSymbol`	`$sym79$HL_ASSERTIBLE_HL_ASSERTION_SPEC`
`static SubLSymbol`	`$sym80$DESTRUCTURE_HL_ASSERTION_SPEC`
`static SubLSymbol`	`$sym82$HL_ASSERTIBLE_P`
`static SubLSymbol`	`$sym83$ARGUMENT_SPEC_P`
`static SubLSymbol`	`$sym84$CNF_P`
`static SubLSymbol`	`$sym85$LISTP`
`static SubLSymbol`	`$sym86$TL_ADD_ARGUMENT`
`static SubLSymbol`	`$sym87$TL_REMOVE_ARGUMENT`
`static SubLSymbol`	`$sym88$TL_REMOVE_ALL_ARGUMENTS`
`static SubLSymbol`	`$sym91$_DUMMY_ASSERTED_ARGUMENT_SPEC_`
`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

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

Constructor Summary
`hl_storage_modules()`

Method Summary
`static SubLObject`	`applicable_hl_storage_modules(SubLObject hl_modules, SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)`
`static SubLObject`	`apply_hl_storage_module(SubLObject hl_module, SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map, SubLObject action, SubLObject v_default)`
`static SubLObject`	`classify_hl_storage_module(SubLObject hl_module, SubLObject predicate, SubLObject argument_type)`
`static SubLObject`	`clear_hl_storage_module_indexes()`
`static SubLObject`	`declare_hl_storage_modules_file()`
`void`	`declareFunctions()` Declares the mapping between functions and symbols for all named functions defined in the file.
`static SubLObject`	`get_hl_storage_module_property(SubLObject hl_module, SubLObject indicator)`
`static SubLObject`	`hl_add_argument(SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)`
`static SubLObject`	`hl_add_assertible(SubLObject hl_assertible)`
`static SubLObject`	`hl_assert(SubLObject cnf, SubLObject mt, SubLObject strength, SubLObject direction, SubLObject variable_map)`
`static SubLObject`	`hl_assertible_argument_spec(SubLObject hl_assertible)`
`static SubLObject`	`hl_assertible_hl_assertion_spec(SubLObject hl_assertible)`
`static SubLObject`	`hl_assertion_spec_cnf(SubLObject hl_assertion_spec)`
`static SubLObject`	`hl_assertion_spec_direction(SubLObject hl_assertion_spec)`
`static SubLObject`	`hl_assertion_spec_mt(SubLObject hl_assertion_spec)`
`static SubLObject`	`hl_assertion_spec_variable_map(SubLObject hl_assertion_spec)`
`static SubLObject`	`hl_perform_action_with_storage_modules_int(SubLObject action, SubLObject hl_modules, SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)`
`static SubLObject`	`hl_remove_argument(SubLObject argument_spec, SubLObject cnf, SubLObject mt)`
`static SubLObject`	`hl_storage_module_add(SubLObject hl_module, SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map, SubLObject v_default)` If HL-MODULE has an :add property, the specified function is applied to ARGUMENT-SPEC, CNF, MT, DIRECTION, and VARIABLE-MAP.
`static SubLObject`	`hl_storage_module_applicability_func(SubLObject hl_module)`
`static SubLObject`	`hl_storage_module_applicableP(SubLObject hl_module, SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)`
`static SubLObject`	`hl_storage_module_argument_type(SubLObject hl_module)`
`static SubLObject`	`hl_storage_module_exclusive_func(SubLObject hl_module)`
`static SubLObject`	`hl_storage_module_predicate(SubLObject hl_module)`
`static SubLObject`	`hl_storage_module_preferred_over_info(SubLObject hl_module)`
`static SubLObject`	`hl_storage_module_remove(SubLObject hl_module, SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject v_default)` If HL-MODULE has a :remove property, the specified function is applied to ARGUMENT-SPEC, CNF, and MT.
`static SubLObject`	`hl_storage_module(SubLObject name, SubLObject plist)` Declare and create a new HL storage module with name NAME and properties PLIST.
`static SubLObject`	`hl_storage_modules_for_argument_type(SubLObject argument_type)`
`static SubLObject`	`hl_storage_modules_for_just_argument_type(SubLObject argument_type)` accessor analogous to indexing, does not implement inheritance.
`static SubLObject`	`hl_storage_modules_for_predicate_and_argument_type(SubLObject predicate, SubLObject argument_type)`
`static SubLObject`	`hl_storage_modules_for_predicate(SubLObject predicate)`
`static SubLObject`	`hl_store_perform_action_int(SubLObject action, SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)`
`static SubLObject`	`hl_unassert(SubLObject cnf, SubLObject mt)`
`static SubLObject`	`init_hl_storage_modules_file()`
`void`	`initializeVariables()` Initializes all global variables and private internal variables for constants defined in the file.
`static SubLObject`	`new_hl_assertible(SubLObject hl_assertion_spec, SubLObject argument_spec)`
`static SubLObject`	`new_hl_assertion_spec(SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)`
`static SubLObject`	`note_successful_hl_storage_module(SubLObject hl_module)`
`static SubLObject`	`rebuild_solely_specific_hl_storage_module_predicate_store()`
`static SubLObject`	`reclassify_hl_storage_modules()`
`static SubLObject`	`register_argument_type_specific_hl_storage_module(SubLObject hl_module, SubLObject argument_type)`
`static SubLObject`	`register_hl_storage_module(SubLObject name, SubLObject plist)`
`static SubLObject`	`register_predicate_generic_hl_storage_module(SubLObject hl_module)`
`static SubLObject`	`register_predicate_specific_hl_storage_module(SubLObject hl_module, SubLObject predicate)`
`static SubLObject`	`register_solely_specific_hl_storage_module_predicate(SubLObject predicate)` If you want the specific hl-storage modules for PREDICATE to supplant ALL generic hl-storage modules, then register this property.
`void`	`runTopLevelForms()` Runs all top-level forms in order.
`static SubLObject`	`setup_hl_storage_module(SubLObject name, SubLObject plist)`
`static SubLObject`	`setup_hl_storage_modules_file()`
`static SubLObject`	`solely_specific_hl_storage_module_predicateP(SubLObject predicate)`
`static SubLObject`	`sort_hl_storage_modules_by_cost(SubLObject hl_modules, SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)`
`static SubLObject`	`try_hl_add_modules(SubLObject hl_modules, SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)` Tests for applicability and attempts to add to the store.
`static SubLObject`	`try_hl_remove_modules(SubLObject hl_modules, SubLObject argument_spec, SubLObject cnf, SubLObject mt)` Tests for applicability and attempts to remove an argument from the store.
`static SubLObject`	`try_hl_storage_modules_int(SubLObject hl_modules, SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map, SubLObject action, SubLObject v_default)` This assumes a partition rather than a covering; we could relax this to allow more than one of HL-MODULES to apply.
`static SubLObject`	`update_dispreferred_hl_storage_modules_wrt_applicable_modules(SubLObject hl_module, SubLObject applicable_hl_modules, SubLObject dispreferred_hl_modules, SubLObject hl_modules, SubLObject argument_spec, SubLObject cnf, SubLObject mt, SubLObject direction, SubLObject variable_map)`

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

$currently_executing_hl_storage_module$

public static SubLSymbol $currently_executing_hl_storage_module$

$sym0$_HL_STORAGE_MODULES_

public static final SubLSymbol $sym0$_HL_STORAGE_MODULES_

$sym1$_PREDICATE_GENERIC_HL_STORAGE_MODULES_

public static final SubLSymbol $sym1$_PREDICATE_GENERIC_HL_STORAGE_MODULES_

$sym2$_PREDICATE_SPECIFIC_HL_STORAGE_MODULES_TABLE_

public static final SubLSymbol $sym2$_PREDICATE_SPECIFIC_HL_STORAGE_MODULES_TABLE_

$sym3$_ARGUMENT_TYPE_SPECIFIC_HL_STORAGE_MODULES_TABLE_

public static final SubLSymbol $sym3$_ARGUMENT_TYPE_SPECIFIC_HL_STORAGE_MODULES_TABLE_

$sym4$CONSP

public static final SubLSymbol $sym4$CONSP

$sym5$NON_DOTTED_LIST_P

public static final SubLSymbol $sym5$NON_DOTTED_LIST_P

$sym6$HL_MODULE_P

public static final SubLSymbol $sym6$HL_MODULE_P

$kw7$ADD

public static final SubLSymbol $kw7$ADD

$kw8$REMOVE

public static final SubLSymbol $kw8$REMOVE

$kw9$REMOVE_ALL

public static final SubLSymbol $kw9$REMOVE_ALL

$kw10$ARGUMENT

public static final SubLSymbol $kw10$ARGUMENT

$list11

public static final SubLList $list11

$sym12$CLET

public static final SubLSymbol $sym12$CLET

$sym13$_CURRENTLY_EXECUTING_HL_STORAGE_MODULE_

public static final SubLSymbol $sym13$_CURRENTLY_EXECUTING_HL_STORAGE_MODULE_

$list14

public static final SubLList $list14

$kw15$ALL

public static final SubLSymbol $kw15$ALL

$kw16$INCOMPLETENESS

public static final SubLSymbol $kw16$INCOMPLETENESS

$kw17$ARGUMENT_TYPE

public static final SubLSymbol $kw17$ARGUMENT_TYPE

$kw18$SENSE

public static final SubLSymbol $kw18$SENSE

$kw19$DIRECTION

public static final SubLSymbol $kw19$DIRECTION

$kw20$REQUIRED_MT

public static final SubLSymbol $kw20$REQUIRED_MT

$kw21$PREDICATE

public static final SubLSymbol $kw21$PREDICATE

$kw22$ANY_PREDICATES

public static final SubLSymbol $kw22$ANY_PREDICATES

$kw23$APPLICABILITY

public static final SubLSymbol $kw23$APPLICABILITY

$kw24$APPLICABILITY_PATTERN

public static final SubLSymbol $kw24$APPLICABILITY_PATTERN

$kw25$EXCLUSIVE

public static final SubLSymbol $kw25$EXCLUSIVE

$kw26$SUPPLANTS

public static final SubLSymbol $kw26$SUPPLANTS

$kw27$PREFERRED_OVER

public static final SubLSymbol $kw27$PREFERRED_OVER

$list28

public static final SubLList $list28

$sym29$KEYWORDP

public static final SubLSymbol $sym29$KEYWORDP

$sym30$PROPERTY_LIST_P

public static final SubLSymbol $sym30$PROPERTY_LIST_P

$sym31$HL_STORAGE_MODULE_PROPERTY_P

public static final SubLSymbol $sym31$HL_STORAGE_MODULE_PROPERTY_P

$list32

public static final SubLList $list32

$kw33$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw33$ALLOW_OTHER_KEYS

$kw34$PRETTY_NAME

public static final SubLSymbol $kw34$PRETTY_NAME

$kw35$MODULE_SUBTYPE

public static final SubLSymbol $kw35$MODULE_SUBTYPE

$kw36$MODULE_SOURCE

public static final SubLSymbol $kw36$MODULE_SOURCE

$kw37$DOCUMENTATION

public static final SubLSymbol $kw37$DOCUMENTATION

$sym38$STRINGP

public static final SubLSymbol $sym38$STRINGP

$sym39$ARGUMENT_TYPE_P

public static final SubLSymbol $sym39$ARGUMENT_TYPE_P

$sym40$SYMBOLP

public static final SubLSymbol $sym40$SYMBOLP

$sym41$HLMT_P

public static final SubLSymbol $sym41$HLMT_P

$sym42$HL_STORAGE_MODULE_APPLICABILITY_PATTERN_P

public static final SubLSymbol $sym42$HL_STORAGE_MODULE_APPLICABILITY_PATTERN_P

$sym43$SENSE_P

public static final SubLSymbol $sym43$SENSE_P

$sym44$DIRECTION_P

public static final SubLSymbol $sym44$DIRECTION_P

$sym45$FORT_P

public static final SubLSymbol $sym45$FORT_P

$sym46$CONSTANT_P

public static final SubLSymbol $sym46$CONSTANT_P

$list47

public static final SubLList $list47

$kw48$STORAGE

public static final SubLSymbol $kw48$STORAGE

$kw49$POS

public static final SubLSymbol $kw49$POS

$kw50$NEG

public static final SubLSymbol $kw50$NEG

$sym51$_SOLELY_SPECIFIC_HL_STORAGE_MODULE_PREDICATE_STORE_

public static final SubLSymbol $sym51$_SOLELY_SPECIFIC_HL_STORAGE_MODULE_PREDICATE_STORE_

$int52$50

public static final SubLInteger $int52$50

$list53

public static final SubLList $list53

$list54

public static final SubLList $list54

$sym55$ASS

public static final SubLSymbol $sym55$ASS

$sym56$ASENT

public static final SubLSymbol $sym56$ASENT

$sym57$PROGN

public static final SubLSymbol $sym57$PROGN

$sym58$DO_ASSERTIONS

public static final SubLSymbol $sym58$DO_ASSERTIONS

$sym59$ASSERTION_TO_HL_ASSERTION_SPEC

public static final SubLSymbol $sym59$ASSERTION_TO_HL_ASSERTION_SPEC

$sym60$DO_BOOKKEEPING_ASENTS

public static final SubLSymbol $sym60$DO_BOOKKEEPING_ASENTS

$sym61$BOOKKEEPING_ASENT_TO_HL_ASSERTION_SPEC

public static final SubLSymbol $sym61$BOOKKEEPING_ASENT_TO_HL_ASSERTION_SPEC

$list62

public static final SubLList $list62

$sym63$HL_ASSERTION_SPEC_VAR

public static final SubLSymbol $sym63$HL_ASSERTION_SPEC_VAR

$sym64$HL_ASSERTION_SPEC_CNF

public static final SubLSymbol $sym64$HL_ASSERTION_SPEC_CNF

$sym65$HL_ASSERTION_SPEC_MT

public static final SubLSymbol $sym65$HL_ASSERTION_SPEC_MT

$sym66$HL_ASSERTION_SPEC_DIRECTION

public static final SubLSymbol $sym66$HL_ASSERTION_SPEC_DIRECTION

$sym67$HL_ASSERTION_SPEC_VARIABLE_MAP

public static final SubLSymbol $sym67$HL_ASSERTION_SPEC_VARIABLE_MAP

$list68

public static final SubLList $list68

$sym69$ASS

public static final SubLSymbol $sym69$ASS

$sym70$ASENT

public static final SubLSymbol $sym70$ASENT

$sym71$ASSERTIBLES

public static final SubLSymbol $sym71$ASSERTIBLES

$sym72$ASSERTION_TO_HL_ASSERTIBLES

public static final SubLSymbol $sym72$ASSERTION_TO_HL_ASSERTIBLES

$sym73$CDOLIST

public static final SubLSymbol $sym73$CDOLIST

$sym74$BOOKKEEPING_ASENT_TO_HL_ASSERTIBLE

public static final SubLSymbol $sym74$BOOKKEEPING_ASENT_TO_HL_ASSERTIBLE

$list75

public static final SubLList $list75

$sym76$HL_ASSERTIBLE_VAR

public static final SubLSymbol $sym76$HL_ASSERTIBLE_VAR

$sym77$HL_ASSERTION_SPEC_VAR

public static final SubLSymbol $sym77$HL_ASSERTION_SPEC_VAR

$sym78$HL_ASSERTIBLE_ARGUMENT_SPEC

public static final SubLSymbol $sym78$HL_ASSERTIBLE_ARGUMENT_SPEC

$sym79$HL_ASSERTIBLE_HL_ASSERTION_SPEC

public static final SubLSymbol $sym79$HL_ASSERTIBLE_HL_ASSERTION_SPEC

$sym80$DESTRUCTURE_HL_ASSERTION_SPEC

public static final SubLSymbol $sym80$DESTRUCTURE_HL_ASSERTION_SPEC

$kw81$BACKWARD

public static final SubLSymbol $kw81$BACKWARD

$sym82$HL_ASSERTIBLE_P

public static final SubLSymbol $sym82$HL_ASSERTIBLE_P

$sym83$ARGUMENT_SPEC_P

public static final SubLSymbol $sym83$ARGUMENT_SPEC_P

$sym84$CNF_P

public static final SubLSymbol $sym84$CNF_P

$sym85$LISTP

public static final SubLSymbol $sym85$LISTP

$sym86$TL_ADD_ARGUMENT

public static final SubLSymbol $sym86$TL_ADD_ARGUMENT

$sym87$TL_REMOVE_ARGUMENT

public static final SubLSymbol $sym87$TL_REMOVE_ARGUMENT

$sym88$TL_REMOVE_ALL_ARGUMENTS

public static final SubLSymbol $sym88$TL_REMOVE_ALL_ARGUMENTS

$list89

public static final SubLList $list89

$str90$Unexpected_HL_storage_action__a

public static final SubLString $str90$Unexpected_HL_storage_action__a

$sym91$_DUMMY_ASSERTED_ARGUMENT_SPEC_

public static final SubLSymbol $sym91$_DUMMY_ASSERTED_ARGUMENT_SPEC_

$kw92$UNSPECIFIED

public static final SubLSymbol $kw92$UNSPECIFIED

$kw93$FORWARD

public static final SubLSymbol $kw93$FORWARD

$const94$False

public static final SubLObject $const94$False

$const95$True

public static final SubLObject $const95$True

$list96

public static final SubLList $list96

Constructor Detail

hl_storage_modules

public hl_storage_modules()

Method Detail

hl_storage_module

public static final SubLObject hl_storage_module(SubLObject name,
                                                 SubLObject plist)

Declare and create a new HL storage module with name NAME and properties PLIST.

try_hl_add_modules

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

Tests for applicability and attempts to add to the store.

Returns:: booleanp; whether the addition was successful

try_hl_remove_modules

public static final SubLObject try_hl_remove_modules(SubLObject hl_modules,
                                                     SubLObject argument_spec,
                                                     SubLObject cnf,
                                                     SubLObject mt)

Tests for applicability and attempts to remove an argument from the store.

Returns:: booleanp; whether the removal was successful

hl_storage_modules_for_predicate_and_argument_type

public static final SubLObject hl_storage_modules_for_predicate_and_argument_type(SubLObject predicate,
                                                                                  SubLObject argument_type)

hl_storage_modules_for_predicate

public static final SubLObject hl_storage_modules_for_predicate(SubLObject predicate)

hl_storage_modules_for_argument_type

public static final SubLObject hl_storage_modules_for_argument_type(SubLObject argument_type)

hl_storage_modules_for_just_argument_type

public static final SubLObject hl_storage_modules_for_just_argument_type(SubLObject argument_type)

accessor analogous to indexing, does not implement inheritance. Result is destructible

try_hl_storage_modules_int

public static final SubLObject try_hl_storage_modules_int(SubLObject hl_modules,
                                                          SubLObject argument_spec,
                                                          SubLObject cnf,
                                                          SubLObject mt,
                                                          SubLObject direction,
                                                          SubLObject variable_map,
                                                          SubLObject action,
                                                          SubLObject v_default)

This assumes a partition rather than a covering; we could relax this to allow more than one of HL-MODULES to apply.

apply_hl_storage_module

public static final SubLObject apply_hl_storage_module(SubLObject hl_module,
                                                       SubLObject argument_spec,
                                                       SubLObject cnf,
                                                       SubLObject mt,
                                                       SubLObject direction,
                                                       SubLObject variable_map,
                                                       SubLObject action,
                                                       SubLObject v_default)

hl_storage_module_applicableP

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

applicable_hl_storage_modules

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

update_dispreferred_hl_storage_modules_wrt_applicable_modules

public static final SubLObject update_dispreferred_hl_storage_modules_wrt_applicable_modules(SubLObject hl_module,
                                                                                             SubLObject applicable_hl_modules,
                                                                                             SubLObject dispreferred_hl_modules,
                                                                                             SubLObject hl_modules,
                                                                                             SubLObject argument_spec,
                                                                                             SubLObject cnf,
                                                                                             SubLObject mt,
                                                                                             SubLObject direction,
                                                                                             SubLObject variable_map)

sort_hl_storage_modules_by_cost

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

hl_storage_module_add

public static final SubLObject hl_storage_module_add(SubLObject hl_module,
                                                     SubLObject argument_spec,
                                                     SubLObject cnf,
                                                     SubLObject mt,
                                                     SubLObject direction,
                                                     SubLObject variable_map,
                                                     SubLObject v_default)

If HL-MODULE has an :add property, the specified function is applied to ARGUMENT-SPEC, CNF, MT, DIRECTION, and VARIABLE-MAP. Otherwise, DEFAULT is returned.

hl_storage_module_remove

public static final SubLObject hl_storage_module_remove(SubLObject hl_module,
                                                        SubLObject argument_spec,
                                                        SubLObject cnf,
                                                        SubLObject mt,
                                                        SubLObject v_default)

If HL-MODULE has a :remove property, the specified function is applied to ARGUMENT-SPEC, CNF, and MT. Otherwise, DEFAULT is returned.

hl_storage_module_argument_type

public static final SubLObject hl_storage_module_argument_type(SubLObject hl_module)

hl_storage_module_predicate

public static final SubLObject hl_storage_module_predicate(SubLObject hl_module)

hl_storage_module_applicability_func

public static final SubLObject hl_storage_module_applicability_func(SubLObject hl_module)

hl_storage_module_exclusive_func

public static final SubLObject hl_storage_module_exclusive_func(SubLObject hl_module)

hl_storage_module_preferred_over_info

public static final SubLObject hl_storage_module_preferred_over_info(SubLObject hl_module)

get_hl_storage_module_property

public static final SubLObject get_hl_storage_module_property(SubLObject hl_module,
                                                              SubLObject indicator)

reclassify_hl_storage_modules

public static final SubLObject reclassify_hl_storage_modules()

clear_hl_storage_module_indexes

public static final SubLObject clear_hl_storage_module_indexes()

setup_hl_storage_module

public static final SubLObject setup_hl_storage_module(SubLObject name,
                                                       SubLObject plist)

register_hl_storage_module

public static final SubLObject register_hl_storage_module(SubLObject name,
                                                          SubLObject plist)

classify_hl_storage_module

public static final SubLObject classify_hl_storage_module(SubLObject hl_module,
                                                          SubLObject predicate,
                                                          SubLObject argument_type)

register_predicate_specific_hl_storage_module

public static final SubLObject register_predicate_specific_hl_storage_module(SubLObject hl_module,
                                                                             SubLObject predicate)

register_predicate_generic_hl_storage_module

public static final SubLObject register_predicate_generic_hl_storage_module(SubLObject hl_module)

register_argument_type_specific_hl_storage_module

public static final SubLObject register_argument_type_specific_hl_storage_module(SubLObject hl_module,
                                                                                 SubLObject argument_type)

rebuild_solely_specific_hl_storage_module_predicate_store

public static final SubLObject rebuild_solely_specific_hl_storage_module_predicate_store()

register_solely_specific_hl_storage_module_predicate

public static final SubLObject register_solely_specific_hl_storage_module_predicate(SubLObject predicate)

If you want the specific hl-storage modules for PREDICATE to supplant ALL generic hl-storage modules, then register this property.

solely_specific_hl_storage_module_predicateP

public static final SubLObject solely_specific_hl_storage_module_predicateP(SubLObject predicate)

new_hl_assertion_spec

public static final SubLObject new_hl_assertion_spec(SubLObject cnf,
                                                     SubLObject mt,
                                                     SubLObject direction,
                                                     SubLObject variable_map)

hl_assertion_spec_cnf

public static final SubLObject hl_assertion_spec_cnf(SubLObject hl_assertion_spec)

hl_assertion_spec_mt

public static final SubLObject hl_assertion_spec_mt(SubLObject hl_assertion_spec)

hl_assertion_spec_direction

public static final SubLObject hl_assertion_spec_direction(SubLObject hl_assertion_spec)

hl_assertion_spec_variable_map

public static final SubLObject hl_assertion_spec_variable_map(SubLObject hl_assertion_spec)

new_hl_assertible

public static final SubLObject new_hl_assertible(SubLObject hl_assertion_spec,
                                                 SubLObject argument_spec)

hl_assertible_hl_assertion_spec

public static final SubLObject hl_assertible_hl_assertion_spec(SubLObject hl_assertible)

hl_assertible_argument_spec

public static final SubLObject hl_assertible_argument_spec(SubLObject hl_assertible)

hl_add_assertible

public static final SubLObject hl_add_assertible(SubLObject hl_assertible)

hl_add_argument

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

Returns:: NIL if the argument specified by ARGUMENT-SPEC was /not/ added as an argument for CNF, and non-NIL otherwise.

hl_remove_argument

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

note_successful_hl_storage_module

public static final SubLObject note_successful_hl_storage_module(SubLObject hl_module)

hl_store_perform_action_int

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

hl_perform_action_with_storage_modules_int

public static final SubLObject hl_perform_action_with_storage_modules_int(SubLObject action,
                                                                          SubLObject hl_modules,
                                                                          SubLObject argument_spec,
                                                                          SubLObject cnf,
                                                                          SubLObject mt,
                                                                          SubLObject direction,
                                                                          SubLObject variable_map)

hl_assert

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

Returns:: NIL if CNF was not stored at the HL in some fashion, and non-NIL otherwise. If CNF is stored as an as assertion object, that assertion object (assertion-p) will be returned, but there is no guarantee that CNF will be stored as an assertion.

hl_unassert

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

declare_hl_storage_modules_file

public static final SubLObject declare_hl_storage_modules_file()

init_hl_storage_modules_file

public static final SubLObject init_hl_storage_modules_file()

setup_hl_storage_modules_file

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

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.cyc.cycjava.cycl Class hl_storage_modules

me

myName

$currently_executing_hl_storage_module$

$sym0$_HL_STORAGE_MODULES_

$sym1$_PREDICATE_GENERIC_HL_STORAGE_MODULES_

$sym2$_PREDICATE_SPECIFIC_HL_STORAGE_MODULES_TABLE_

$sym3$_ARGUMENT_TYPE_SPECIFIC_HL_STORAGE_MODULES_TABLE_

$sym4$CONSP

$sym5$NON_DOTTED_LIST_P

$sym6$HL_MODULE_P

$kw7$ADD

$kw8$REMOVE

$kw9$REMOVE_ALL

$kw10$ARGUMENT

$list11

$sym12$CLET

$sym13$_CURRENTLY_EXECUTING_HL_STORAGE_MODULE_

$list14

$kw15$ALL

$kw16$INCOMPLETENESS

$kw17$ARGUMENT_TYPE

$kw18$SENSE

$kw19$DIRECTION

$kw20$REQUIRED_MT

$kw21$PREDICATE

$kw22$ANY_PREDICATES

$kw23$APPLICABILITY

$kw24$APPLICABILITY_PATTERN

$kw25$EXCLUSIVE

$kw26$SUPPLANTS

$kw27$PREFERRED_OVER

$list28

$sym29$KEYWORDP

$sym30$PROPERTY_LIST_P

$sym31$HL_STORAGE_MODULE_PROPERTY_P

$list32

$kw33$ALLOW_OTHER_KEYS

$kw34$PRETTY_NAME

$kw35$MODULE_SUBTYPE

$kw36$MODULE_SOURCE

$kw37$DOCUMENTATION

$sym38$STRINGP

$sym39$ARGUMENT_TYPE_P

$sym40$SYMBOLP

$sym41$HLMT_P

$sym42$HL_STORAGE_MODULE_APPLICABILITY_PATTERN_P

$sym43$SENSE_P

$sym44$DIRECTION_P

$sym45$FORT_P

$sym46$CONSTANT_P

$list47

$kw48$STORAGE

$kw49$POS

$kw50$NEG

$sym51$_SOLELY_SPECIFIC_HL_STORAGE_MODULE_PREDICATE_STORE_

$int52$50

$list53

$list54

$sym55$ASS

$sym56$ASENT

$sym57$PROGN

$sym58$DO_ASSERTIONS

$sym59$ASSERTION_TO_HL_ASSERTION_SPEC

$sym60$DO_BOOKKEEPING_ASENTS

$sym61$BOOKKEEPING_ASENT_TO_HL_ASSERTION_SPEC

$list62

$sym63$HL_ASSERTION_SPEC_VAR

$sym64$HL_ASSERTION_SPEC_CNF

$sym65$HL_ASSERTION_SPEC_MT

$sym66$HL_ASSERTION_SPEC_DIRECTION

$sym67$HL_ASSERTION_SPEC_VARIABLE_MAP

$list68

$sym69$ASS

$sym70$ASENT

$sym71$ASSERTIBLES

$sym72$ASSERTION_TO_HL_ASSERTIBLES

$sym73$CDOLIST

$sym74$BOOKKEEPING_ASENT_TO_HL_ASSERTIBLE

$list75

com.cyc.cycjava.cycl
Class hl_storage_modules