com.cyc.cycjava.cycl
Class wff_utilities

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.wff_utilities
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class wff_utilities
extends SubLTranslatedFile


Nested Class Summary
static class wff_utilities.$non_wf_fort_p$UnaryFunction
           
static class wff_utilities.$non_wf_variable_p$UnaryFunction
           
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLSymbol $check_arg_typesP$
           
static SubLSymbol $check_arityP$
           
static SubLSymbol $check_var_typesP$
           
static SubLSymbol $check_wff_coherenceP$
           
static SubLSymbol $check_wff_constantsP$
           
static SubLSymbol $check_wff_semanticsP$
           
static SubLSymbol $kw0$MAL_FORT
           
static SubLSymbol $sym1$NON_WF_VARIABLE_P
           
static SubLSymbol $sym2$ASSERTION_P
           
static SubLSymbol $sym3$EL_FORMULA_P
           
static SubLSymbol $use_cycl_grammar_if_semantic_checking_disabledP$
          Whether to use a totally syntactic wff-check if all semantic wff-checking is disabled.
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 check_assertible_literalP()
           
static SubLObject declare_wff_utilities_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_wff_utilities_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject mal_mt_specP(SubLObject mt)
           
static SubLObject mal_variablesP(SubLObject sentence)
           
static SubLObject non_wf_fort_p(SubLObject object)
           
static SubLObject non_wf_variable_p(SubLObject object)
           
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_wff_utilities_file()
           
static SubLObject valid_mt_specP(SubLObject mt)
           
static SubLObject wf_fort_p(SubLObject object)
           
 
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

$check_wff_constantsP$

public static SubLSymbol $check_wff_constantsP$

$check_wff_semanticsP$

public static SubLSymbol $check_wff_semanticsP$

$check_wff_coherenceP$

public static SubLSymbol $check_wff_coherenceP$

$check_arg_typesP$

public static SubLSymbol $check_arg_typesP$

$check_var_typesP$

public static SubLSymbol $check_var_typesP$

$check_arityP$

public static SubLSymbol $check_arityP$

$use_cycl_grammar_if_semantic_checking_disabledP$

public static SubLSymbol $use_cycl_grammar_if_semantic_checking_disabledP$
Whether to use a totally syntactic wff-check if all semantic wff-checking is disabled.


$kw0$MAL_FORT

public static final SubLSymbol $kw0$MAL_FORT

$sym1$NON_WF_VARIABLE_P

public static final SubLSymbol $sym1$NON_WF_VARIABLE_P

$sym2$ASSERTION_P

public static final SubLSymbol $sym2$ASSERTION_P

$sym3$EL_FORMULA_P

public static final SubLSymbol $sym3$EL_FORMULA_P
Method Detail

check_assertible_literalP

public static final SubLObject check_assertible_literalP()
Returns:
BOOLEAN; Should we check literals for assertibility?

mal_mt_specP

public static final SubLObject mal_mt_specP(SubLObject mt)

valid_mt_specP

public static final SubLObject valid_mt_specP(SubLObject mt)

wf_fort_p

public static final SubLObject wf_fort_p(SubLObject object)
Returns:
boolean; t iff OBJECT is a well-formed fort. notes a wff violation if OBJECT is an invalid fort.

non_wf_fort_p

public static final SubLObject non_wf_fort_p(SubLObject object)
Returns:
boolean; t iff OBJECT is an ill-formed fort. notes a wff violation if OBJECT is an invalid fort.

non_wf_variable_p

public static final SubLObject non_wf_variable_p(SubLObject object)
Returns:
boolean; Returns T iff OBJECT is an invalid el-var. @xref valid-el-var?

mal_variablesP

public static final SubLObject mal_variablesP(SubLObject sentence)
Returns:
boolean; Return T if SENTENCE has any invalid el-vars. @xref non-wf-variable-p

declare_wff_utilities_file

public static final SubLObject declare_wff_utilities_file()

init_wff_utilities_file

public static final SubLObject init_wff_utilities_file()

setup_wff_utilities_file

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