com.cyc.cycjava.cycl
Class formula_pattern_match

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class formula_pattern_match
extends SubLTranslatedFile

Nested Class Summary

static class	formula_pattern_match.$pattern_matches_formula_nat_method$BinaryFunction
static class	formula_pattern_match.$pattern_matches_formula$BinaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$kw4$_MEMOIZED_ITEM_NOT_FOUND_
static SubLList	$list0
static SubLList	$list1
static SubLList	$list2
static SubLList	$list6
static SubLList	$list7
static SubLSymbol	$sym3$MEMOIZED_CALL_PATTERN_MATCHES_FORMULA_ISA_METHOD
static SubLSymbol	$sym5$MEMOIZED_CALL_PATTERN_MATCHES_FORMULA_NOT_ISA_DISJOINT_METHOD
static SubLSymbol	$sym8$PATTERN_MATCHES_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_formula_pattern_match_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	formula_matches_pattern(SubLObject formula, SubLObject pattern) Return T iff FORMULA matches PATTERN.
static SubLObject	init_formula_pattern_match_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	pattern_matches_formula_internal(SubLObject pattern, SubLObject formula)
static SubLObject	pattern_matches_formula_nat_method(SubLObject pattern, SubLObject formula)
static SubLObject	pattern_matches_formula_without_bindings_internal(SubLObject pattern, SubLObject formula)
static SubLObject	pattern_matches_formula_without_bindings(SubLObject pattern, SubLObject formula) Return T iff PATTERN matches FORMULA.
static SubLObject	pattern_matches_formula(SubLObject pattern, SubLObject formula) Return T iff PATTERN matches FORMULA.
static SubLObject	pattern_transform_formula_internal(SubLObject pattern, SubLObject formula, SubLObject v_bindings)
static SubLObject	pattern_transform_formula(SubLObject pattern, SubLObject formula, SubLObject v_bindings) Use PATTERN to transform FORMULA, assuming BINDINGS.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_formula_pattern_match_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

$list0

public static final SubLList $list0

$list1

public static final SubLList $list1

$list2

public static final SubLList $list2

$sym3$MEMOIZED_CALL_PATTERN_MATCHES_FORMULA_ISA_METHOD

public static final SubLSymbol $sym3$MEMOIZED_CALL_PATTERN_MATCHES_FORMULA_ISA_METHOD

$kw4$_MEMOIZED_ITEM_NOT_FOUND_

public static final SubLSymbol $kw4$_MEMOIZED_ITEM_NOT_FOUND_

$sym5$MEMOIZED_CALL_PATTERN_MATCHES_FORMULA_NOT_ISA_DISJOINT_METHOD

public static final SubLSymbol $sym5$MEMOIZED_CALL_PATTERN_MATCHES_FORMULA_NOT_ISA_DISJOINT_METHOD

$list6

public static final SubLList $list6

$list7

public static final SubLList $list7

$sym8$PATTERN_MATCHES_FORMULA

public static final SubLSymbol $sym8$PATTERN_MATCHES_FORMULA

Method Detail

pattern_matches_formula

public static final SubLObject pattern_matches_formula(SubLObject pattern,
                                                       SubLObject formula)

Return T iff PATTERN matches FORMULA.

pattern_matches_formula_without_bindings

public static final SubLObject pattern_matches_formula_without_bindings(SubLObject pattern,
                                                                        SubLObject formula)

Return T iff PATTERN matches FORMULA. :BIND expressions are not allowed within PATTERN

formula_matches_pattern

public static final SubLObject formula_matches_pattern(SubLObject formula,
                                                       SubLObject pattern)

Return T iff FORMULA matches PATTERN.

pattern_matches_formula_internal

public static final SubLObject pattern_matches_formula_internal(SubLObject pattern,
                                                                SubLObject formula)

pattern_matches_formula_without_bindings_internal

public static final SubLObject pattern_matches_formula_without_bindings_internal(SubLObject pattern,
                                                                                 SubLObject formula)

pattern_matches_formula_nat_method

public static final SubLObject pattern_matches_formula_nat_method(SubLObject pattern,
                                                                  SubLObject formula)

pattern_transform_formula

public static final SubLObject pattern_transform_formula(SubLObject pattern,
                                                         SubLObject formula,
                                                         SubLObject v_bindings)

Use PATTERN to transform FORMULA, assuming BINDINGS.

pattern_transform_formula_internal

public static final SubLObject pattern_transform_formula_internal(SubLObject pattern,
                                                                  SubLObject formula,
                                                                  SubLObject v_bindings)

declare_formula_pattern_match_file

public static final SubLObject declare_formula_pattern_match_file()

init_formula_pattern_match_file

public static final SubLObject init_formula_pattern_match_file()

setup_formula_pattern_match_file

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