com.cyc.cycjava.cycl
Class set_contents

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class set_contents
extends SubLTranslatedFile

Nested Class Summary

static class

set_contents.$set_contents_size$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLInteger	$int0$128
static SubLInteger	$int1$110
static SubLSymbol	$kw11$ALLOW_OTHER_KEYS
static SubLSymbol	$kw12$DONE
static SubLSymbol	$kw2$LIST
static SubLSymbol	$kw27$NOT_DONE
static SubLSymbol	$kw3$KEYHASH
static SubLSymbol	$kw4$SINGLETON
static SubLList	$list10
static SubLList	$list9
static SubLString	$str5$Keyhash_test_conflict___S_and__S
static SubLSymbol	$sym13$SET_CONTENTS_VAR
static SubLSymbol	$sym14$BASIS_OBJECT
static SubLSymbol	$sym15$STATE
static SubLSymbol	$sym16$CLET
static SubLSymbol	$sym17$DO_SET_CONTENTS_BASIS_OBJECT
static SubLSymbol	$sym18$CDO
static SubLSymbol	$sym19$DO_SET_CONTENTS_INITIAL_STATE
static SubLSymbol	$sym20$DO_SET_CONTENTS_UPDATE_STATE
static SubLSymbol	$sym21$COR
static SubLSymbol	$sym22$DO_SET_CONTENTS_DONE_
static SubLSymbol	$sym23$DO_SET_CONTENTS_NEXT
static SubLSymbol	$sym24$PWHEN
static SubLSymbol	$sym25$DO_SET_CONTENTS_ELEMENT_VALID_
static SubLSymbol	$sym26$DO_SET_CONTENTS
static SubLSymbol	$sym6$FUNCTION_SPEC_P
static SubLSymbol	$sym7$NON_NEGATIVE_INTEGER_P
static SubLSymbol	$sym8$VALID_HASH_TEST_P
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	cfasl_input_set_contents_keyhash_style(SubLObject stream, SubLObject v_set_contents, SubLObject size, SubLObject test)
static SubLObject	cfasl_input_set_contents_list_style(SubLObject stream, SubLObject v_set_contents, SubLObject size, SubLObject test)
static SubLObject	cfasl_input_set_contents_logically(SubLObject stream, SubLObject v_set_contents, SubLObject size, SubLObject test)
static SubLObject	cfasl_input_set_contents_singleton_style(SubLObject stream, SubLObject v_set_contents, SubLObject size, SubLObject test)
static SubLObject	cfasl_input_set_contents(SubLObject stream, SubLObject v_set_contents, SubLObject size, SubLObject test)
static SubLObject	clear_set_contents(SubLObject v_set_contents) Reset SET-CONTENTS to the status of being just allocated.
static SubLObject	copy_set_contents(SubLObject v_set_contents) Return a new copy of SET-CONTENTS.
static SubLObject	declare_set_contents_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	do_set_contents_basis_object(SubLObject v_set_contents)
static SubLObject	do_set_contents_doneP(SubLObject basis_object, SubLObject state)
static SubLObject	do_set_contents_element_validP(SubLObject state, SubLObject element)
static SubLObject	do_set_contents_initial_state(SubLObject basis_object, SubLObject v_set_contents)
static SubLObject	do_set_contents_next(SubLObject basis_object, SubLObject state)
static SubLObject	do_set_contents_update_state(SubLObject state)
static SubLObject	init_set_contents_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	new_set_contents_iterator(SubLObject v_set_contents) Returns an iterator for the elements of SET-CONTENTS.
static SubLObject	new_set_contents(SubLObject size, SubLObject test) Allocate a new set-contents.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	set_contents_add_keyhash_style(SubLObject v_set_contents, SubLObject element, SubLObject test)
static SubLObject	set_contents_add_list_style(SubLObject v_set_contents, SubLObject element, SubLObject test)
static SubLObject	set_contents_add_singleton_style(SubLObject v_set_contents, SubLObject element, SubLObject test)
static SubLObject	set_contents_add(SubLObject element, SubLObject v_set_contents, SubLObject test) Add this ELEMENT into the SET-CONTENTS.
static SubLObject	set_contents_delete_keyhash_style(SubLObject v_set_contents, SubLObject element, SubLObject test)
static SubLObject	set_contents_delete_list_style(SubLObject v_set_contents, SubLObject element, SubLObject test)
static SubLObject	set_contents_delete_singleton_style(SubLObject v_set_contents, SubLObject element, SubLObject test)
static SubLObject	set_contents_delete(SubLObject element, SubLObject v_set_contents, SubLObject test) If ELEMENT is present in SET-CONTENTS, then take it out of SET-CONTENTS.
static SubLObject	set_contents_element_list(SubLObject v_set_contents)
static SubLObject	set_contents_emptyP(SubLObject v_set_contents)
static SubLObject	set_contents_member_keyhash_style(SubLObject v_set_contents, SubLObject element, SubLObject test)
static SubLObject	set_contents_member_list_style(SubLObject v_set_contents, SubLObject element, SubLObject test)
static SubLObject	set_contents_member_singleton_style(SubLObject v_set_contents, SubLObject element, SubLObject test)
static SubLObject	set_contents_memberP(SubLObject element, SubLObject v_set_contents, SubLObject test)
static SubLObject	set_contents_p(SubLObject object) Return T iff OBJECT can be interpreted as the contents of a set.
static SubLObject	set_contents_rebuild(SubLObject v_set_contents) Rehashes SET-CONTENTS if it's keyhash style
static SubLObject	set_contents_singleton_element_p(SubLObject element) Return T iff ELEMENT can be unambiguously interpreted as a singleton.
static SubLObject	set_contents_singletonP(SubLObject v_set_contents)
static SubLObject	set_contents_size(SubLObject v_set_contents) Return the number of items currently entered in SET.
static SubLObject	set_contents_style(SubLObject v_set_contents) Return the current style of SET
static SubLObject	setup_set_contents_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

$int0$128

public static final SubLInteger $int0$128

$int1$110

public static final SubLInteger $int1$110

$kw2$LIST

public static final SubLSymbol $kw2$LIST

$kw3$KEYHASH

public static final SubLSymbol $kw3$KEYHASH

$kw4$SINGLETON

public static final SubLSymbol $kw4$SINGLETON

$str5$Keyhash_test_conflict___S_and__S

public static final SubLString $str5$Keyhash_test_conflict___S_and__S

$sym6$FUNCTION_SPEC_P

public static final SubLSymbol $sym6$FUNCTION_SPEC_P

$sym7$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym7$NON_NEGATIVE_INTEGER_P

$sym8$VALID_HASH_TEST_P

public static final SubLSymbol $sym8$VALID_HASH_TEST_P

$list9

public static final SubLList $list9

$list10

public static final SubLList $list10

$kw11$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw11$ALLOW_OTHER_KEYS

$kw12$DONE

public static final SubLSymbol $kw12$DONE

$sym13$SET_CONTENTS_VAR

public static final SubLSymbol $sym13$SET_CONTENTS_VAR

$sym14$BASIS_OBJECT

public static final SubLSymbol $sym14$BASIS_OBJECT

$sym15$STATE

public static final SubLSymbol $sym15$STATE

$sym16$CLET

public static final SubLSymbol $sym16$CLET

$sym17$DO_SET_CONTENTS_BASIS_OBJECT

public static final SubLSymbol $sym17$DO_SET_CONTENTS_BASIS_OBJECT

$sym18$CDO

public static final SubLSymbol $sym18$CDO

$sym19$DO_SET_CONTENTS_INITIAL_STATE

public static final SubLSymbol $sym19$DO_SET_CONTENTS_INITIAL_STATE

$sym20$DO_SET_CONTENTS_UPDATE_STATE

public static final SubLSymbol $sym20$DO_SET_CONTENTS_UPDATE_STATE

$sym21$COR

public static final SubLSymbol $sym21$COR

$sym22$DO_SET_CONTENTS_DONE_

public static final SubLSymbol $sym22$DO_SET_CONTENTS_DONE_

$sym23$DO_SET_CONTENTS_NEXT

public static final SubLSymbol $sym23$DO_SET_CONTENTS_NEXT

$sym24$PWHEN

public static final SubLSymbol $sym24$PWHEN

$sym25$DO_SET_CONTENTS_ELEMENT_VALID_

public static final SubLSymbol $sym25$DO_SET_CONTENTS_ELEMENT_VALID_

$sym26$DO_SET_CONTENTS

public static final SubLSymbol $sym26$DO_SET_CONTENTS

$kw27$NOT_DONE

public static final SubLSymbol $kw27$NOT_DONE

Method Detail

set_contents_singleton_element_p

public static final SubLObject set_contents_singleton_element_p(SubLObject element)

Return T iff ELEMENT can be unambiguously interpreted as a singleton.

set_contents_style

public static final SubLObject set_contents_style(SubLObject v_set_contents)

Return the current style of SET

Returns:

type-symbol.

set_contents_member_singleton_style

public static final SubLObject set_contents_member_singleton_style(SubLObject v_set_contents,
                                                                   SubLObject element,
                                                                   SubLObject test)

set_contents_member_list_style

public static final SubLObject set_contents_member_list_style(SubLObject v_set_contents,
                                                              SubLObject element,
                                                              SubLObject test)

set_contents_member_keyhash_style

public static final SubLObject set_contents_member_keyhash_style(SubLObject v_set_contents,
                                                                 SubLObject element,
                                                                 SubLObject test)

set_contents_add_singleton_style

public static final SubLObject set_contents_add_singleton_style(SubLObject v_set_contents,
                                                                SubLObject element,
                                                                SubLObject test)

set_contents_add_list_style

public static final SubLObject set_contents_add_list_style(SubLObject v_set_contents,
                                                           SubLObject element,
                                                           SubLObject test)

set_contents_add_keyhash_style

public static final SubLObject set_contents_add_keyhash_style(SubLObject v_set_contents,
                                                              SubLObject element,
                                                              SubLObject test)

set_contents_delete_singleton_style

public static final SubLObject set_contents_delete_singleton_style(SubLObject v_set_contents,
                                                                   SubLObject element,
                                                                   SubLObject test)

set_contents_delete_list_style

public static final SubLObject set_contents_delete_list_style(SubLObject v_set_contents,
                                                              SubLObject element,
                                                              SubLObject test)

set_contents_delete_keyhash_style

public static final SubLObject set_contents_delete_keyhash_style(SubLObject v_set_contents,
                                                                 SubLObject element,
                                                                 SubLObject test)

set_contents_p

public static final SubLObject set_contents_p(SubLObject object)

Return T iff OBJECT can be interpreted as the contents of a set.

new_set_contents

public static final SubLObject new_set_contents(SubLObject size,
                                                SubLObject test)

Allocate a new set-contents. Assume that SIZE elements will likely be immediately added, with TEST as the assumed equality test.

Returns:

set-contents-p

copy_set_contents

public static final SubLObject copy_set_contents(SubLObject v_set_contents)

Return a new copy of SET-CONTENTS. TEST is the assumed equality test.

Returns:

set-contents-p

set_contents_size

public static final SubLObject set_contents_size(SubLObject v_set_contents)

Return the number of items currently entered in SET.

Returns:

non-negative-integer-p.

set_contents_emptyP

public static final SubLObject set_contents_emptyP(SubLObject v_set_contents)

Returns:

booleanp; non-nil iff SET-CONTENTS is empty, nil otherwise

set_contents_singletonP

public static final SubLObject set_contents_singletonP(SubLObject v_set_contents)

Returns:

booleanp; non-nil iff SET-CONTENTS has exactly one element

set_contents_memberP

public static final SubLObject set_contents_memberP(SubLObject element,
                                                    SubLObject v_set_contents,
                                                    SubLObject test)

Returns:

boolean; t iff ELEMENT is in SET-CONTENTS. TEST is the assumed equality test.

set_contents_add

public static final SubLObject set_contents_add(SubLObject element,
                                                SubLObject v_set_contents,
                                                SubLObject test)

Add this ELEMENT into the SET-CONTENTS. TEST is the assumed equality test.

Returns:

updated SET-CONTENTS

set_contents_delete

public static final SubLObject set_contents_delete(SubLObject element,
                                                   SubLObject v_set_contents,
                                                   SubLObject test)

If ELEMENT is present in SET-CONTENTS, then take it out of SET-CONTENTS. TEST is the assumed equality test.

Returns:

updated SET-CONTENTS

clear_set_contents

public static final SubLObject clear_set_contents(SubLObject v_set_contents)

Reset SET-CONTENTS to the status of being just allocated.

Returns:

set-contents-p

new_set_contents_iterator

public static final SubLObject new_set_contents_iterator(SubLObject v_set_contents)

Returns an iterator for the elements of SET-CONTENTS.

do_set_contents_basis_object

public static final SubLObject do_set_contents_basis_object(SubLObject v_set_contents)

do_set_contents_initial_state

public static final SubLObject do_set_contents_initial_state(SubLObject basis_object,
                                                             SubLObject v_set_contents)

do_set_contents_update_state

public static final SubLObject do_set_contents_update_state(SubLObject state)

do_set_contents_doneP

public static final SubLObject do_set_contents_doneP(SubLObject basis_object,
                                                     SubLObject state)

do_set_contents_next

public static final SubLObject do_set_contents_next(SubLObject basis_object,
                                                    SubLObject state)

do_set_contents_element_validP

public static final SubLObject do_set_contents_element_validP(SubLObject state,
                                                              SubLObject element)

cfasl_input_set_contents

public static final SubLObject cfasl_input_set_contents(SubLObject stream,
                                                        SubLObject v_set_contents,
                                                        SubLObject size,
                                                        SubLObject test)

cfasl_input_set_contents_singleton_style

public static final SubLObject cfasl_input_set_contents_singleton_style(SubLObject stream,
                                                                        SubLObject v_set_contents,
                                                                        SubLObject size,
                                                                        SubLObject test)

cfasl_input_set_contents_list_style

public static final SubLObject cfasl_input_set_contents_list_style(SubLObject stream,
                                                                   SubLObject v_set_contents,
                                                                   SubLObject size,
                                                                   SubLObject test)

cfasl_input_set_contents_keyhash_style

public static final SubLObject cfasl_input_set_contents_keyhash_style(SubLObject stream,
                                                                      SubLObject v_set_contents,
                                                                      SubLObject size,
                                                                      SubLObject test)

cfasl_input_set_contents_logically

public static final SubLObject cfasl_input_set_contents_logically(SubLObject stream,
                                                                  SubLObject v_set_contents,
                                                                  SubLObject size,
                                                                  SubLObject test)

set_contents_element_list

public static final SubLObject set_contents_element_list(SubLObject v_set_contents)

Returns:

list; a list of the elements of SET-CONTENTS.

set_contents_rebuild

public static final SubLObject set_contents_rebuild(SubLObject v_set_contents)

Rehashes SET-CONTENTS if it's keyhash style

declare_set_contents_file

public static final SubLObject declare_set_contents_file()

init_set_contents_file

public static final SubLObject init_set_contents_file()

setup_set_contents_file

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