com.cyc.cycjava.cycl
Class pattern_match

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class pattern_match
extends SubLTranslatedFile

Nested Class Summary

static class

pattern_match.$pattern_matches_tree_recursive$BinaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$kw0$IGNORE_ERRORS_TARGET
static SubLSymbol	$kw15$ANYTHING
static SubLSymbol	$kw16$NOTHING
static SubLSymbol	$kw19$BIND
static SubLSymbol	$kw20$VALUE
static SubLSymbol	$kw21$AND
static SubLSymbol	$kw22$OR
static SubLSymbol	$kw23$NOT
static SubLSymbol	$kw25$TEST
static SubLSymbol	$kw30$TREE_FIND
static SubLSymbol	$kw31$QUOTE
static SubLSymbol	$kw35$INPUT
static SubLSymbol	$kw36$BINDINGS
static SubLSymbol	$kw38$TUPLE
static SubLSymbol	$kw39$TEMPLATE
static SubLSymbol	$kw4$ALLOW_OTHER_KEYS
static SubLSymbol	$kw40$CALL
static SubLSymbol	$kw5$MATCH_METHOD
static SubLList	$list17
static SubLList	$list18
static SubLList	$list2
static SubLList	$list24
static SubLList	$list26
static SubLList	$list27
static SubLList	$list28
static SubLList	$list29
static SubLList	$list3
static SubLList	$list32
static SubLList	$list34
static SubLList	$list37
static SubLList	$list41
static SubLList	$list42
static SubLList	$list43
static SubLList	$list44
static SubLList	$list45
static SubLList	$list46
static SubLList	$list48
static SubLSymbol	$pattern_matches_tree_atomic_methods$ Additional atomic methods for pattern-matches-tree.
static SubLSymbol	$pattern_matches_tree_methods$ Additional methods for pattern-matches-tree.
static SubLSymbol	$pattern_transform_match_method$
static SubLSymbol	$sym1$IGNORE_ERRORS_HANDLER
static SubLSymbol	$sym10$PWHEN
static SubLSymbol	$sym11$CLET
static SubLSymbol	$sym12$IGNORE
static SubLSymbol	$sym13$ALIST_LOOKUP_WITHOUT_VALUES
static SubLSymbol	$sym14$QUOTE
static SubLSymbol	$sym33$PATTERN_MATCHES_TREE_RECURSIVE
static SubLSymbol	$sym47$WITH_TREE_PATTERN_BINDINGS
static SubLSymbol	$sym6$TREE_MATCHES_PATTERN
static SubLSymbol	$sym7$SUCCESS
static SubLSymbol	$sym8$BINDINGS
static SubLSymbol	$sym9$CMULTIPLE_VALUE_BIND
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_pattern_match_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_pattern_match_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	pattern_matches_tree_and(SubLObject pattern, SubLObject tree)
static SubLObject	pattern_matches_tree_atomic_method_funcall(SubLObject method, SubLObject tree)
static SubLObject	pattern_matches_tree_bind(SubLObject pattern, SubLObject tree)
static SubLObject	pattern_matches_tree_cons(SubLObject pattern, SubLObject tree)
static SubLObject	pattern_matches_tree_internal(SubLObject pattern, SubLObject tree) For use by pattern match methods in other files.
static SubLObject	pattern_matches_tree_method_funcall(SubLObject method, SubLObject pattern, SubLObject tree)
static SubLObject	pattern_matches_tree_or(SubLObject pattern, SubLObject tree)
static SubLObject	pattern_matches_tree_recursive(SubLObject pattern, SubLObject tree)
static SubLObject	pattern_matches_tree_test_funcall(SubLObject test, SubLObject tree)
static SubLObject	pattern_matches_tree_tree_find(SubLObject sub_pattern, SubLObject tree)
static SubLObject	pattern_matches_tree_without_bindings(SubLObject pattern, SubLObject tree) Return T iff PATTERN matches TREE.
static SubLObject	pattern_matches_tree(SubLObject pattern, SubLObject tree) Return T iff PATTERN matches TREE.
static SubLObject	pattern_transform_call(SubLObject pattern, SubLObject tree)
static SubLObject	pattern_transform_cons(SubLObject pattern, SubLObject tree)
static SubLObject	pattern_transform_template(SubLObject pattern, SubLObject tree)
static SubLObject	pattern_transform_tree_internal(SubLObject pattern, SubLObject tree) For use by pattern transform methods in other files.
static SubLObject	pattern_transform_tree_recursive(SubLObject pattern, SubLObject tree)
static SubLObject	pattern_transform_tree(SubLObject pattern, SubLObject tree, SubLObject v_bindings) Use PATTERN to transform TREE, assuming BINDINGS.
static SubLObject	pattern_transform_tuple(SubLObject pattern, SubLObject tree)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_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

$pattern_matches_tree_atomic_methods$

public static SubLSymbol $pattern_matches_tree_atomic_methods$

Additional atomic methods for pattern-matches-tree. Entries are of the form (operator method). OPERATOR is a token indicating the match method. METHOD must be suitable for (funcall method ).

$pattern_matches_tree_methods$

public static SubLSymbol $pattern_matches_tree_methods$

Additional methods for pattern-matches-tree. Entries are of the form (operator method). OPERATOR is a token indicating the match method. METHOD must be suitable for (funcall method ).

$pattern_transform_match_method$

public static SubLSymbol $pattern_transform_match_method$

$kw0$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw0$IGNORE_ERRORS_TARGET

$sym1$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym1$IGNORE_ERRORS_HANDLER

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$kw4$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw4$ALLOW_OTHER_KEYS

$kw5$MATCH_METHOD

public static final SubLSymbol $kw5$MATCH_METHOD

$sym6$TREE_MATCHES_PATTERN

public static final SubLSymbol $sym6$TREE_MATCHES_PATTERN

$sym7$SUCCESS

public static final SubLSymbol $sym7$SUCCESS

$sym8$BINDINGS

public static final SubLSymbol $sym8$BINDINGS

$sym9$CMULTIPLE_VALUE_BIND

public static final SubLSymbol $sym9$CMULTIPLE_VALUE_BIND

$sym10$PWHEN

public static final SubLSymbol $sym10$PWHEN

$sym11$CLET

public static final SubLSymbol $sym11$CLET

$sym12$IGNORE

public static final SubLSymbol $sym12$IGNORE

$sym13$ALIST_LOOKUP_WITHOUT_VALUES

public static final SubLSymbol $sym13$ALIST_LOOKUP_WITHOUT_VALUES

$sym14$QUOTE

public static final SubLSymbol $sym14$QUOTE

$kw15$ANYTHING

public static final SubLSymbol $kw15$ANYTHING

$kw16$NOTHING

public static final SubLSymbol $kw16$NOTHING

$list17

public static final SubLList $list17

$list18

public static final SubLList $list18

$kw19$BIND

public static final SubLSymbol $kw19$BIND

$kw20$VALUE

public static final SubLSymbol $kw20$VALUE

$kw21$AND

public static final SubLSymbol $kw21$AND

$kw22$OR

public static final SubLSymbol $kw22$OR

$kw23$NOT

public static final SubLSymbol $kw23$NOT

$list24

public static final SubLList $list24

$kw25$TEST

public static final SubLSymbol $kw25$TEST

$list26

public static final SubLList $list26

$list27

public static final SubLList $list27

$list28

public static final SubLList $list28

$list29

public static final SubLList $list29

$kw30$TREE_FIND

public static final SubLSymbol $kw30$TREE_FIND

$kw31$QUOTE

public static final SubLSymbol $kw31$QUOTE

$list32

public static final SubLList $list32

$sym33$PATTERN_MATCHES_TREE_RECURSIVE

public static final SubLSymbol $sym33$PATTERN_MATCHES_TREE_RECURSIVE

$list34

public static final SubLList $list34

$kw35$INPUT

public static final SubLSymbol $kw35$INPUT

$kw36$BINDINGS

public static final SubLSymbol $kw36$BINDINGS

$list37

public static final SubLList $list37

$kw38$TUPLE

public static final SubLSymbol $kw38$TUPLE

$kw39$TEMPLATE

public static final SubLSymbol $kw39$TEMPLATE

$kw40$CALL

public static final SubLSymbol $kw40$CALL

$list41

public static final SubLList $list41

$list42

public static final SubLList $list42

$list43

public static final SubLList $list43

$list44

public static final SubLList $list44

$list45

public static final SubLList $list45

$list46

public static final SubLList $list46

$sym47$WITH_TREE_PATTERN_BINDINGS

public static final SubLSymbol $sym47$WITH_TREE_PATTERN_BINDINGS

$list48

public static final SubLList $list48

Method Detail

pattern_matches_tree

public static final SubLObject pattern_matches_tree(SubLObject pattern,
                                                    SubLObject tree)

Return T iff PATTERN matches TREE.

pattern_matches_tree_without_bindings

public static final SubLObject pattern_matches_tree_without_bindings(SubLObject pattern,
                                                                     SubLObject tree)

Return T iff PATTERN matches TREE. :BIND expressions are not allowed in PATTERN.

pattern_matches_tree_internal

public static final SubLObject pattern_matches_tree_internal(SubLObject pattern,
                                                             SubLObject tree)

For use by pattern match methods in other files.

pattern_matches_tree_atomic_method_funcall

public static final SubLObject pattern_matches_tree_atomic_method_funcall(SubLObject method,
                                                                          SubLObject tree)

pattern_matches_tree_method_funcall

public static final SubLObject pattern_matches_tree_method_funcall(SubLObject method,
                                                                   SubLObject pattern,
                                                                   SubLObject tree)

pattern_matches_tree_recursive

public static final SubLObject pattern_matches_tree_recursive(SubLObject pattern,
                                                              SubLObject tree)

pattern_matches_tree_bind

public static final SubLObject pattern_matches_tree_bind(SubLObject pattern,
                                                         SubLObject tree)

pattern_matches_tree_and

public static final SubLObject pattern_matches_tree_and(SubLObject pattern,
                                                        SubLObject tree)

pattern_matches_tree_or

public static final SubLObject pattern_matches_tree_or(SubLObject pattern,
                                                       SubLObject tree)

pattern_matches_tree_test_funcall

public static final SubLObject pattern_matches_tree_test_funcall(SubLObject test,
                                                                 SubLObject tree)

pattern_matches_tree_tree_find

public static final SubLObject pattern_matches_tree_tree_find(SubLObject sub_pattern,
                                                              SubLObject tree)

pattern_matches_tree_cons

public static final SubLObject pattern_matches_tree_cons(SubLObject pattern,
                                                         SubLObject tree)

pattern_transform_tree

public static final SubLObject pattern_transform_tree(SubLObject pattern,
                                                      SubLObject tree,
                                                      SubLObject v_bindings)

Use PATTERN to transform TREE, assuming BINDINGS. Return transformation result and updated BINDINGS.

pattern_transform_tree_internal

public static final SubLObject pattern_transform_tree_internal(SubLObject pattern,
                                                               SubLObject tree)

For use by pattern transform methods in other files.

pattern_transform_tree_recursive

public static final SubLObject pattern_transform_tree_recursive(SubLObject pattern,
                                                                SubLObject tree)

pattern_transform_tuple

public static final SubLObject pattern_transform_tuple(SubLObject pattern,
                                                       SubLObject tree)

pattern_transform_template

public static final SubLObject pattern_transform_template(SubLObject pattern,
                                                          SubLObject tree)

pattern_transform_call

public static final SubLObject pattern_transform_call(SubLObject pattern,
                                                      SubLObject tree)

pattern_transform_cons

public static final SubLObject pattern_transform_cons(SubLObject pattern,
                                                      SubLObject tree)

declare_pattern_match_file

public static final SubLObject declare_pattern_match_file()

init_pattern_match_file

public static final SubLObject init_pattern_match_file()

setup_pattern_match_file

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