com.cyc.cycjava.cycl
Class cycl_variables

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class cycl_variables
extends SubLTranslatedFile

Nested Class Summary

static class	cycl_variables.$cyc_varP$UnaryFunction
static class	cycl_variables.$default_el_varP$UnaryFunction
static class	cycl_variables.$el_varP$UnaryFunction
static class	cycl_variables.$hl_varP$UnaryFunction
static class	cycl_variables.$invalid_variable_name_char$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLInteger	$int9$200
static SubLSymbol	$kw19$TEST
static SubLSymbol	$kw20$OWNER
static SubLSymbol	$kw21$CLASSES
static SubLSymbol	$kw22$KB
static SubLSymbol	$kw23$TINY
static SubLSymbol	$kw24$WORKING_
static SubLList	$list12
static SubLList	$list25
static SubLList	$list3
static SubLList	$list5
static SubLString	$str0$_
static SubLString	$str1$______________A_Z____A_Z___0_9___
static SubLString	$str10$_C_A
static SubLString	$str4$Return_T_iff_OBJECT_is_a_symbol_w
static SubLSymbol	$sym11$VARIABLE_SYMBOL_
static SubLSymbol	$sym13$HL_VAR_
static SubLSymbol	$sym14$TL_VAR_
static SubLSymbol	$sym15$KEYWORD_VAR_
static SubLSymbol	$sym16$GENERIC_ARG_VAR_
static SubLSymbol	$sym17$FALSE
static SubLSymbol	$sym18$VALID_EL_VAR_NAME_
static SubLSymbol	$sym2$EL_VAR_
static SubLSymbol	$sym6$SYMBOLP
static SubLSymbol	$sym7$INVALID_VARIABLE_NAME_CHAR
static SubLSymbol	$sym8$STRING_
static SubLSymbol	$valid_el_var_regular_expression$ The current filter for valid el variable name in regular expression format.
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	cyc_varP(SubLObject thing)
static SubLObject	declare_cycl_variables_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	el_var_name(SubLObject el_var)
static SubLObject	el_var_nameP(SubLObject object)
static SubLObject	el_variable_prefix_char()
static SubLObject	el_variable_prefix_charP(SubLObject object)
static SubLObject	el_varP(SubLObject object) Return T iff OBJECT is a symbol which can be interpreted as an EL variable.
static SubLObject	generic_arg_varP(SubLObject thing)
static SubLObject	has_dont_care_var_prefixP(SubLObject string)
static SubLObject	has_el_variable_prefixP(SubLObject string)
static SubLObject	hl_varP(SubLObject thing)
static SubLObject	init_cycl_variables_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	intern_el_var(SubLObject object)
static SubLObject	invalid_hyphen_sequence()
static SubLObject	invalid_variable_name_char(SubLObject object)
static SubLObject	kb_variableP(SubLObject symbol)
static SubLObject	kb_varP(SubLObject symbol)
static SubLObject	keyword_varP(SubLObject thing)
static SubLObject	make_el_var_name(SubLObject object)
static SubLObject	make_el_var(SubLObject object)
static SubLObject	permissible_keyword_varP(SubLObject thing)
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_cycl_variables_file()
static SubLObject	valid_el_var_nameP(SubLObject object)
static SubLObject	valid_el_variable_name_subsequenceP(SubLObject object)
static SubLObject	valid_el_varP(SubLObject object)
static SubLObject	variable_name(SubLObject var)
static SubLObject	variable_predicate_fn(SubLObject var)

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

$valid_el_var_regular_expression$

public static SubLSymbol $valid_el_var_regular_expression$

The current filter for valid el variable name in regular expression format.

$str0$_

public static final SubLString $str0$_

$str1$______________A_Z____A_Z___0_9___

public static final SubLString $str1$______________A_Z____A_Z___0_9___

$sym2$EL_VAR_

public static final SubLSymbol $sym2$EL_VAR_

$list3

public static final SubLList $list3

$str4$Return_T_iff_OBJECT_is_a_symbol_w

public static final SubLString $str4$Return_T_iff_OBJECT_is_a_symbol_w

$list5

public static final SubLList $list5

$sym6$SYMBOLP

public static final SubLSymbol $sym6$SYMBOLP

$sym7$INVALID_VARIABLE_NAME_CHAR

public static final SubLSymbol $sym7$INVALID_VARIABLE_NAME_CHAR

$sym8$STRING_

public static final SubLSymbol $sym8$STRING_

$int9$200

public static final SubLInteger $int9$200

$str10$_C_A

public static final SubLString $str10$_C_A

$sym11$VARIABLE_SYMBOL_

public static final SubLSymbol $sym11$VARIABLE_SYMBOL_

$list12

public static final SubLList $list12

$sym13$HL_VAR_

public static final SubLSymbol $sym13$HL_VAR_

$sym14$TL_VAR_

public static final SubLSymbol $sym14$TL_VAR_

$sym15$KEYWORD_VAR_

public static final SubLSymbol $sym15$KEYWORD_VAR_

$sym16$GENERIC_ARG_VAR_

public static final SubLSymbol $sym16$GENERIC_ARG_VAR_

$sym17$FALSE

public static final SubLSymbol $sym17$FALSE

$sym18$VALID_EL_VAR_NAME_

public static final SubLSymbol $sym18$VALID_EL_VAR_NAME_

$kw19$TEST

public static final SubLSymbol $kw19$TEST

$kw20$OWNER

public static final SubLSymbol $kw20$OWNER

$kw21$CLASSES

public static final SubLSymbol $kw21$CLASSES

$kw22$KB

public static final SubLSymbol $kw22$KB

$kw23$TINY

public static final SubLSymbol $kw23$TINY

$kw24$WORKING_

public static final SubLSymbol $kw24$WORKING_

$list25

public static final SubLList $list25

Method Detail

el_variable_prefix_char

public static final SubLObject el_variable_prefix_char()

Returns:

characterp; The character used as the first character of an EL variable's name.

el_variable_prefix_charP

public static final SubLObject el_variable_prefix_charP(SubLObject object)

Returns:

boolean; Returns T if OBJECT is the character used as the first character of an EL variable's name.

has_el_variable_prefixP

public static final SubLObject has_el_variable_prefixP(SubLObject string)

Returns:

boolean; Returns T if STRING begins with ?. STRING assumed to be stringp.

has_dont_care_var_prefixP

public static final SubLObject has_dont_care_var_prefixP(SubLObject string)

Returns:

boolean; Returns T if STRING begins with ??. STRING assumed to be stringp.

el_varP

public static final SubLObject el_varP(SubLObject object)

Return T iff OBJECT is a symbol which can be interpreted as an EL variable.

el_var_name

public static final SubLObject el_var_name(SubLObject el_var)

Returns:

stringp; the name of EL-VAR. Includes the prefix character.

el_var_nameP

public static final SubLObject el_var_nameP(SubLObject object)

make_el_var

public static final SubLObject make_el_var(SubLObject object)

make_el_var_name

public static final SubLObject make_el_var_name(SubLObject object)

invalid_variable_name_char

public static final SubLObject invalid_variable_name_char(SubLObject object)

Returns:

boolean; Returns T if OBJECT is a character which could not possibly be a valid character in an EL variable name.

valid_el_varP

public static final SubLObject valid_el_varP(SubLObject object)

Returns:

boolean; Returns T if OBJECT is a symbol whose name satisfies the regular expression @xref *valid-el-var-regular-expression*.

valid_el_var_nameP

public static final SubLObject valid_el_var_nameP(SubLObject object)

Returns:

boolean; Returns T if OBJECT satisfies the regular expression @xref *valid-el-var-regular-expression*.

valid_el_variable_name_subsequenceP

public static final SubLObject valid_el_variable_name_subsequenceP(SubLObject object)

invalid_hyphen_sequence

public static final SubLObject invalid_hyphen_sequence()

intern_el_var

public static final SubLObject intern_el_var(SubLObject object)

permissible_keyword_varP

public static final SubLObject permissible_keyword_varP(SubLObject thing)

Returns:

boolean; t iff THING is deemed a keyword variable, and we are allowing such things.

keyword_varP

public static final SubLObject keyword_varP(SubLObject thing)

Returns:

boolean; t iff THING is deemed a keyword variable

variable_name

public static final SubLObject variable_name(SubLObject var)

Parameters:

VAR; - a CycL variable.

Returns:

stringp; the name of VAR. Does not strip prefix characters.

cyc_varP

public static final SubLObject cyc_varP(SubLObject thing)

Returns:

boolean; t iff THING is any possible kind of variable in the CycL language or any of its extensions or relata, being as permissive as possible.

generic_arg_varP

public static final SubLObject generic_arg_varP(SubLObject thing)

Returns:

boolean; t iff THING is deemed a generic-arg variable

variable_predicate_fn

public static final SubLObject variable_predicate_fn(SubLObject var)

Returns:

the subl boolean function that admits VAR as a variable.

kb_varP

public static final SubLObject kb_varP(SubLObject symbol)

kb_variableP

public static final SubLObject kb_variableP(SubLObject symbol)

hl_varP

public static final SubLObject hl_varP(SubLObject thing)

declare_cycl_variables_file

public static final SubLObject declare_cycl_variables_file()

init_cycl_variables_file

public static final SubLObject init_cycl_variables_file()

setup_cycl_variables_file

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