com.cyc.cycjava.cycl
Class wff_macros

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class wff_macros
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLList	$list1
static SubLList	$list10
static SubLList	$list11
static SubLList	$list12
static SubLList	$list15
static SubLList	$list16
static SubLList	$list18
static SubLList	$list2
static SubLList	$list22
static SubLList	$list23
static SubLList	$list25
static SubLList	$list37
static SubLList	$list42
static SubLList	$list43
static SubLList	$list6
static SubLList	$list7
static SubLList	$list8
static SubLSymbol	$sym0$CLET
static SubLSymbol	$sym13$_WFF_MEMOIZATION_STATE_
static SubLSymbol	$sym14$WITH_MEMOIZATION_STATE
static SubLSymbol	$sym17$WITH_SPECIFIED_WFF_MEMOIZATION_STATE
static SubLSymbol	$sym19$POSSIBLY_NEW_WFF_MEMOIZATION_STATE
static SubLSymbol	$sym20$WITH_WFF_MEMOIZATION_STATE
static SubLSymbol	$sym21$_UNEXPANDED_FORMULA_
static SubLSymbol	$sym24$VALIDATING_EXPANSION_OF
static SubLSymbol	$sym26$PROTECTED
static SubLSymbol	$sym27$SYMBOLP
static SubLSymbol	$sym28$KEYWORDP
static SubLSymbol	$sym29$SELF_EVALUATING_FORM_P
static SubLSymbol	$sym3$_WFF_FORMULA_
static SubLSymbol	$sym30$STRINGP
static SubLSymbol	$sym31$PROGN
static SubLSymbol	$sym32$PROCLAIM
static SubLSymbol	$sym33$QUOTE
static SubLSymbol	$sym34$VACCESS
static SubLSymbol	$sym35$DEFPARAMETER
static SubLSymbol	$sym36$NOTE_WFF_PROPERTY
static SubLSymbol	$sym38$WFF_SVS
static SubLSymbol	$sym39$NEW_WFF_SPECIAL_VARIABLE_STATE
static SubLSymbol	$sym4$_WFF_ORIGINAL_FORMULA_
static SubLSymbol	$sym40$WITH_WFF_SPECIAL_VARIABLE_STATE
static SubLSymbol	$sym41$WITH_WFF_PROPERTIES
static SubLSymbol	$sym44$SVS
static SubLSymbol	$sym45$_WFF_PROPERTIES_
static SubLSymbol	$sym46$WITH_SPECIAL_VARIABLE_STATE
static SubLSymbol	$sym5$FIF
static SubLSymbol	$sym9$_WFF_EXPANSION_FORMULA_
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_wff_macros_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_wff_macros_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	new_wff_special_variable_state(SubLObject v_properties)
static SubLObject	possibly_new_wff_memoization_state()
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_wff_macros_file()
static SubLObject	within_wffP()

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

$sym0$CLET

public static final SubLSymbol $sym0$CLET

$list1

public static final SubLList $list1

$list2

public static final SubLList $list2

$sym3$_WFF_FORMULA_

public static final SubLSymbol $sym3$_WFF_FORMULA_

$sym4$_WFF_ORIGINAL_FORMULA_

public static final SubLSymbol $sym4$_WFF_ORIGINAL_FORMULA_

$sym5$FIF

public static final SubLSymbol $sym5$FIF

$list6

public static final SubLList $list6

$list7

public static final SubLList $list7

$list8

public static final SubLList $list8

$sym9$_WFF_EXPANSION_FORMULA_

public static final SubLSymbol $sym9$_WFF_EXPANSION_FORMULA_

$list10

public static final SubLList $list10

$list11

public static final SubLList $list11

$list12

public static final SubLList $list12

$sym13$_WFF_MEMOIZATION_STATE_

public static final SubLSymbol $sym13$_WFF_MEMOIZATION_STATE_

$sym14$WITH_MEMOIZATION_STATE

public static final SubLSymbol $sym14$WITH_MEMOIZATION_STATE

$list15

public static final SubLList $list15

$list16

public static final SubLList $list16

$sym17$WITH_SPECIFIED_WFF_MEMOIZATION_STATE

public static final SubLSymbol $sym17$WITH_SPECIFIED_WFF_MEMOIZATION_STATE

$list18

public static final SubLList $list18

$sym19$POSSIBLY_NEW_WFF_MEMOIZATION_STATE

public static final SubLSymbol $sym19$POSSIBLY_NEW_WFF_MEMOIZATION_STATE

$sym20$WITH_WFF_MEMOIZATION_STATE

public static final SubLSymbol $sym20$WITH_WFF_MEMOIZATION_STATE

$sym21$_UNEXPANDED_FORMULA_

public static final SubLSymbol $sym21$_UNEXPANDED_FORMULA_

$list22

public static final SubLList $list22

$list23

public static final SubLList $list23

$sym24$VALIDATING_EXPANSION_OF

public static final SubLSymbol $sym24$VALIDATING_EXPANSION_OF

$list25

public static final SubLList $list25

$sym26$PROTECTED

public static final SubLSymbol $sym26$PROTECTED

$sym27$SYMBOLP

public static final SubLSymbol $sym27$SYMBOLP

$sym28$KEYWORDP

public static final SubLSymbol $sym28$KEYWORDP

$sym29$SELF_EVALUATING_FORM_P

public static final SubLSymbol $sym29$SELF_EVALUATING_FORM_P

$sym30$STRINGP

public static final SubLSymbol $sym30$STRINGP

$sym31$PROGN

public static final SubLSymbol $sym31$PROGN

$sym32$PROCLAIM

public static final SubLSymbol $sym32$PROCLAIM

$sym33$QUOTE

public static final SubLSymbol $sym33$QUOTE

$sym34$VACCESS

public static final SubLSymbol $sym34$VACCESS

$sym35$DEFPARAMETER

public static final SubLSymbol $sym35$DEFPARAMETER

$sym36$NOTE_WFF_PROPERTY

public static final SubLSymbol $sym36$NOTE_WFF_PROPERTY

$list37

public static final SubLList $list37

$sym38$WFF_SVS

public static final SubLSymbol $sym38$WFF_SVS

$sym39$NEW_WFF_SPECIAL_VARIABLE_STATE

public static final SubLSymbol $sym39$NEW_WFF_SPECIAL_VARIABLE_STATE

$sym40$WITH_WFF_SPECIAL_VARIABLE_STATE

public static final SubLSymbol $sym40$WITH_WFF_SPECIAL_VARIABLE_STATE

$sym41$WITH_WFF_PROPERTIES

public static final SubLSymbol $sym41$WITH_WFF_PROPERTIES

$list42

public static final SubLList $list42

$list43

public static final SubLList $list43

$sym44$SVS

public static final SubLSymbol $sym44$SVS

$sym45$_WFF_PROPERTIES_

public static final SubLSymbol $sym45$_WFF_PROPERTIES_

$sym46$WITH_SPECIAL_VARIABLE_STATE

public static final SubLSymbol $sym46$WITH_SPECIAL_VARIABLE_STATE

Method Detail

within_wffP

public static final SubLObject within_wffP()

Returns:

boolean; t iff currently within wff checking

possibly_new_wff_memoization_state

public static final SubLObject possibly_new_wff_memoization_state()

new_wff_special_variable_state

public static final SubLObject new_wff_special_variable_state(SubLObject v_properties)

declare_wff_macros_file

public static final SubLObject declare_wff_macros_file()

init_wff_macros_file

public static final SubLObject init_wff_macros_file()

setup_wff_macros_file

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