com.cyc.cycjava.cycl
Class wff_module_datastructures

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class wff_module_datastructures
extends SubLTranslatedFile

Nested Class Summary

static class	wff_module_datastructures.$wff_module_native
static class	wff_module_datastructures.$wff_module_p$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$dtp_wff_module$
static SubLInteger	$int19$212
static SubLSymbol	$kw12$NAME
static SubLSymbol	$kw13$PLIST
static SubLSymbol	$kw17$FREE
static SubLSymbol	$kw22$ALLOW_OTHER_KEYS
static SubLSymbol	$kw23$DONE
static SubLSymbol	$kw30$MODULE_TYPE
static SubLSymbol	$kw34$VIOLATION
static SubLSymbol	$kw35$EXPLAIN_FUNC
static SubLSymbol	$kw36$EXPLAIN_ARGS
static SubLList	$list2
static SubLList	$list20
static SubLList	$list21
static SubLList	$list26
static SubLList	$list3
static SubLList	$list31
static SubLList	$list4
static SubLList	$list5
static SubLString	$str14$Invalid_slot__S_for_construction_
static SubLString	$str15$_WFF_Module___a_
static SubLSymbol	$sym0$WFF_MODULE
static SubLSymbol	$sym1$WFF_MODULE_P
static SubLSymbol	$sym10$WFF_MOD_PLIST
static SubLSymbol	$sym11$_CSETF_WFF_MOD_PLIST
static SubLSymbol	$sym16$PROPERTY_LIST_P
static SubLSymbol	$sym18$_WFF_MODULE_STORE_
static SubLSymbol	$sym24$NAME_VAR
static SubLSymbol	$sym25$DO_HASH_TABLE
static SubLSymbol	$sym27$IGNORE
static SubLSymbol	$sym28$WFF_MODULE_STORE
static SubLSymbol	$sym29$DO_WFF_MODULES
static SubLSymbol	$sym32$CAR
static SubLSymbol	$sym33$WFF_MODULE_PROPERTY_LIST_P
static SubLSymbol	$sym6$PRINT_WFF_MODULE
static SubLSymbol	$sym7$WFF_MODULE_PRINT_FUNCTION_TRAMPOLINE
static SubLSymbol	$sym8$WFF_MOD_NAME
static SubLSymbol	$sym9$_CSETF_WFF_MOD_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	_csetf_wff_mod_name(SubLObject object, SubLObject value)
static SubLObject	_csetf_wff_mod_plist(SubLObject object, SubLObject value)
static SubLObject	add_wff_module(SubLObject wff_module)
static SubLObject	allocate_wff_module(SubLObject name)
static SubLObject	declare_wff_module_datastructures_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	find_wff_module_by_name(SubLObject name)
static SubLObject	init_wff_module_datastructures_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	make_wff_module(SubLObject arglist)
static SubLObject	new_wff_module(SubLObject name, SubLObject plist)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_wff_module_datastructures_file()
static SubLObject	setup_wff_module(SubLObject name, SubLObject type, SubLObject plist)
static SubLObject	wff_mod_name(SubLObject object)
static SubLObject	wff_mod_plist(SubLObject object)
static SubLObject	wff_module_name(SubLObject wff_module)
static SubLObject	wff_module_plist(SubLObject wff_module)
static SubLObject	wff_module_print_function_trampoline(SubLObject object, SubLObject stream)
static SubLObject	wff_module_property(SubLObject wff_module, SubLObject property, SubLObject v_default)
static SubLObject	wff_violation_explanation_function_args(SubLObject wff_violation_name)
static SubLObject	wff_violation_explanation_function(SubLObject wff_violation_name)
static SubLObject	wff_violation_module(SubLObject name, SubLObject plist) Declare and wff module named NAME with properties in PLIST.

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

$dtp_wff_module$

public static SubLSymbol $dtp_wff_module$

$sym0$WFF_MODULE

public static final SubLSymbol $sym0$WFF_MODULE

$sym1$WFF_MODULE_P

public static final SubLSymbol $sym1$WFF_MODULE_P

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$sym6$PRINT_WFF_MODULE

public static final SubLSymbol $sym6$PRINT_WFF_MODULE

$sym7$WFF_MODULE_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym7$WFF_MODULE_PRINT_FUNCTION_TRAMPOLINE

$sym8$WFF_MOD_NAME

public static final SubLSymbol $sym8$WFF_MOD_NAME

$sym9$_CSETF_WFF_MOD_NAME

public static final SubLSymbol $sym9$_CSETF_WFF_MOD_NAME

$sym10$WFF_MOD_PLIST

public static final SubLSymbol $sym10$WFF_MOD_PLIST

$sym11$_CSETF_WFF_MOD_PLIST

public static final SubLSymbol $sym11$_CSETF_WFF_MOD_PLIST

$kw12$NAME

public static final SubLSymbol $kw12$NAME

$kw13$PLIST

public static final SubLSymbol $kw13$PLIST

$str14$Invalid_slot__S_for_construction_

public static final SubLString $str14$Invalid_slot__S_for_construction_

$str15$_WFF_Module___a_

public static final SubLString $str15$_WFF_Module___a_

$sym16$PROPERTY_LIST_P

public static final SubLSymbol $sym16$PROPERTY_LIST_P

$kw17$FREE

public static final SubLSymbol $kw17$FREE

$sym18$_WFF_MODULE_STORE_

public static final SubLSymbol $sym18$_WFF_MODULE_STORE_

$int19$212

public static final SubLInteger $int19$212

$list20

public static final SubLList $list20

$list21

public static final SubLList $list21

$kw22$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw22$ALLOW_OTHER_KEYS

$kw23$DONE

public static final SubLSymbol $kw23$DONE

$sym24$NAME_VAR

public static final SubLSymbol $sym24$NAME_VAR

$sym25$DO_HASH_TABLE

public static final SubLSymbol $sym25$DO_HASH_TABLE

$list26

public static final SubLList $list26

$sym27$IGNORE

public static final SubLSymbol $sym27$IGNORE

$sym28$WFF_MODULE_STORE

public static final SubLSymbol $sym28$WFF_MODULE_STORE

$sym29$DO_WFF_MODULES

public static final SubLSymbol $sym29$DO_WFF_MODULES

$kw30$MODULE_TYPE

public static final SubLSymbol $kw30$MODULE_TYPE

$list31

public static final SubLList $list31

$sym32$CAR

public static final SubLSymbol $sym32$CAR

$sym33$WFF_MODULE_PROPERTY_LIST_P

public static final SubLSymbol $sym33$WFF_MODULE_PROPERTY_LIST_P

$kw34$VIOLATION

public static final SubLSymbol $kw34$VIOLATION

$kw35$EXPLAIN_FUNC

public static final SubLSymbol $kw35$EXPLAIN_FUNC

$kw36$EXPLAIN_ARGS

public static final SubLSymbol $kw36$EXPLAIN_ARGS

Method Detail

wff_violation_explanation_function

public static final SubLObject wff_violation_explanation_function(SubLObject wff_violation_name)

wff_violation_explanation_function_args

public static final SubLObject wff_violation_explanation_function_args(SubLObject wff_violation_name)

wff_module_property

public static final SubLObject wff_module_property(SubLObject wff_module,
                                                   SubLObject property,
                                                   SubLObject v_default)

wff_module_plist

public static final SubLObject wff_module_plist(SubLObject wff_module)

wff_mod_plist

public static final SubLObject wff_mod_plist(SubLObject object)

wff_module_print_function_trampoline

public static final SubLObject wff_module_print_function_trampoline(SubLObject object,
                                                                    SubLObject stream)

wff_mod_name

public static final SubLObject wff_mod_name(SubLObject object)

_csetf_wff_mod_name

public static final SubLObject _csetf_wff_mod_name(SubLObject object,
                                                   SubLObject value)

_csetf_wff_mod_plist

public static final SubLObject _csetf_wff_mod_plist(SubLObject object,
                                                    SubLObject value)

make_wff_module

public static final SubLObject make_wff_module(SubLObject arglist)

new_wff_module

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

Returns:

wff-module-p; a new WFF module with NAME and properties PLIST

allocate_wff_module

public static final SubLObject allocate_wff_module(SubLObject name)

wff_module_name

public static final SubLObject wff_module_name(SubLObject wff_module)

find_wff_module_by_name

public static final SubLObject find_wff_module_by_name(SubLObject name)

add_wff_module

public static final SubLObject add_wff_module(SubLObject wff_module)

setup_wff_module

public static final SubLObject setup_wff_module(SubLObject name,
                                                SubLObject type,
                                                SubLObject plist)

wff_violation_module

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

Declare and wff module named NAME with properties in PLIST.

declare_wff_module_datastructures_file

public static final SubLObject declare_wff_module_datastructures_file()

init_wff_module_datastructures_file

public static final SubLObject init_wff_module_datastructures_file()

setup_wff_module_datastructures_file

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