com.cyc.cycjava.cycl.sbhl
Class sbhl_paranoia

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class sbhl_paranoia
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$kw12$CERROR
static SubLSymbol	$kw15$WARN
static SubLSymbol	$kw2$ERROR
static SubLList	$list1
static SubLList	$list18
static SubLList	$list23
static SubLList	$list29
static SubLList	$list3
static SubLList	$list30
static SubLList	$list5
static SubLSymbol	$sbhl_object_type_checking_p$ Parameter that governs whether we perform work within @see sbhl-check-type
static SubLSymbol	$sbhl_test_level$ controls extent of integrity testing for the sbhl modules [0 ..
static SubLSymbol	$sbhl_test_maxP$ controls very expensive sbhl testing
static SubLSymbol	$sbhl_trace_level$ controls extent of tracing, warnings, etc., for the sbhl modules [0 ..
static SubLSymbol	$sbhl_trace_maxP$ controls very expensive sbhl tracing
static SubLSymbol	$sbhl_type_error_action$ Parameter that guides error behavior.
static SubLString	$str10$_A_is_not_a__A
static SubLString	$str14$continue_anyway
static SubLSymbol	$suppress_sbhl_recachingP$ suppress retyping of forts iff this is non-nil
static SubLSymbol	$suspend_sbhl_cache_useP$ suppress use of fort types, and call the SBHL instead.
static SubLSymbol	$sym0$CLET
static SubLSymbol	$sym11$QUOTE
static SubLSymbol	$sym13$SBHL_CERROR
static SubLSymbol	$sym16$WARN
static SubLSymbol	$sym17$OTHERWISE
static SubLSymbol	$sym19$CERROR
static SubLSymbol	$sym20$SBHL_CHECK_TYPE
static SubLSymbol	$sym21$INTEGERP
static SubLSymbol	$sym22$STRINGP
static SubLSymbol	$sym24$__
static SubLSymbol	$sym25$_SBHL_TRACE_LEVEL_
static SubLSymbol	$sym26$_SBHL_TEST_LEVEL_
static SubLSymbol	$sym27$_SBHL_TEST_MAX__
static SubLSymbol	$sym28$_SBHL_TRACE_MAX__
static SubLSymbol	$sym4$PWHEN
static SubLSymbol	$sym6$PUNLESS
static SubLSymbol	$sym7$PCASE
static SubLSymbol	$sym8$_SBHL_TYPE_ERROR_ACTION_
static SubLSymbol	$sym9$SBHL_ERROR
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	check_sbhl_cachesP() Accessor.
static SubLObject	declare_sbhl_paranoia_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_sbhl_paranoia_file()
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	sbhl_cerror(SubLObject level, SubLObject continue_str, SubLObject format_str, SubLObject arg1, SubLObject arg2, SubLObject arg3, SubLObject arg4, SubLObject arg5) If *sbhl-trace-level* is greater than or equal to LEVEL, signal a cerror with CONTINUE-STR and FORMAT-STR.
static SubLObject	sbhl_error(SubLObject level, SubLObject format_str, SubLObject arg1, SubLObject arg2, SubLObject arg3, SubLObject arg4, SubLObject arg5) If *sbhl-trace-level* is greater than or equal to LEVEL, signal a cerror with FORMAT-STR.
static SubLObject	sbhl_object_type_checking_p() Accessor.
static SubLObject	sbhl_warn(SubLObject level, SubLObject format_str, SubLObject arg1, SubLObject arg2, SubLObject arg3, SubLObject arg4, SubLObject arg5) If *sbhl-trace-level* is greater than or equal to LEVEL, warn with FORMAT-STR.
static SubLObject	setup_sbhl_paranoia_file()
static SubLObject	suspend_sbhl_type_checkingP()

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

$sbhl_object_type_checking_p$

public static SubLSymbol $sbhl_object_type_checking_p$

Parameter that governs whether we perform work within @see sbhl-check-type

$sbhl_type_error_action$

public static SubLSymbol $sbhl_type_error_action$

Parameter that guides error behavior.

$sbhl_trace_level$

public static SubLSymbol $sbhl_trace_level$

controls extent of tracing, warnings, etc., for the sbhl modules [0 .. 5]

$sbhl_test_level$

public static SubLSymbol $sbhl_test_level$

controls extent of integrity testing for the sbhl modules [0 .. 5]

$sbhl_test_maxP$

public static SubLSymbol $sbhl_test_maxP$

controls very expensive sbhl testing

$sbhl_trace_maxP$

public static SubLSymbol $sbhl_trace_maxP$

controls very expensive sbhl tracing

$suppress_sbhl_recachingP$

public static SubLSymbol $suppress_sbhl_recachingP$

suppress retyping of forts iff this is non-nil

$suspend_sbhl_cache_useP$

public static SubLSymbol $suspend_sbhl_cache_useP$

suppress use of fort types, and call the SBHL instead. This should be set to NIL during fort types initialization.

$sym0$CLET

public static final SubLSymbol $sym0$CLET

$list1

public static final SubLList $list1

$kw2$ERROR

public static final SubLSymbol $kw2$ERROR

$list3

public static final SubLList $list3

$sym4$PWHEN

public static final SubLSymbol $sym4$PWHEN

$list5

public static final SubLList $list5

$sym6$PUNLESS

public static final SubLSymbol $sym6$PUNLESS

$sym7$PCASE

public static final SubLSymbol $sym7$PCASE

$sym8$_SBHL_TYPE_ERROR_ACTION_

public static final SubLSymbol $sym8$_SBHL_TYPE_ERROR_ACTION_

$sym9$SBHL_ERROR

public static final SubLSymbol $sym9$SBHL_ERROR

$str10$_A_is_not_a__A

public static final SubLString $str10$_A_is_not_a__A

$sym11$QUOTE

public static final SubLSymbol $sym11$QUOTE

$kw12$CERROR

public static final SubLSymbol $kw12$CERROR

$sym13$SBHL_CERROR

public static final SubLSymbol $sym13$SBHL_CERROR

$str14$continue_anyway

public static final SubLString $str14$continue_anyway

$kw15$WARN

public static final SubLSymbol $kw15$WARN

$sym16$WARN

public static final SubLSymbol $sym16$WARN

$sym17$OTHERWISE

public static final SubLSymbol $sym17$OTHERWISE

$list18

public static final SubLList $list18

$sym19$CERROR

public static final SubLSymbol $sym19$CERROR

$sym20$SBHL_CHECK_TYPE

public static final SubLSymbol $sym20$SBHL_CHECK_TYPE

$sym21$INTEGERP

public static final SubLSymbol $sym21$INTEGERP

$sym22$STRINGP

public static final SubLSymbol $sym22$STRINGP

$list23

public static final SubLList $list23

$sym24$__

public static final SubLSymbol $sym24$__

$sym25$_SBHL_TRACE_LEVEL_

public static final SubLSymbol $sym25$_SBHL_TRACE_LEVEL_

$sym26$_SBHL_TEST_LEVEL_

public static final SubLSymbol $sym26$_SBHL_TEST_LEVEL_

$sym27$_SBHL_TEST_MAX__

public static final SubLSymbol $sym27$_SBHL_TEST_MAX__

$sym28$_SBHL_TRACE_MAX__

public static final SubLSymbol $sym28$_SBHL_TRACE_MAX__

$list29

public static final SubLList $list29

$list30

public static final SubLList $list30

Method Detail

sbhl_object_type_checking_p

public static final SubLObject sbhl_object_type_checking_p()

Accessor. @return booleanp; the value of @see *sbhl-object-type-checking-p

sbhl_error

public static final SubLObject sbhl_error(SubLObject level,
                                          SubLObject format_str,
                                          SubLObject arg1,
                                          SubLObject arg2,
                                          SubLObject arg3,
                                          SubLObject arg4,
                                          SubLObject arg5)

If *sbhl-trace-level* is greater than or equal to LEVEL, signal a cerror with FORMAT-STR. If *sbhl-trace-level* is within 2 of LEVEL, warn with FORMAT-STR. @see cerror. @see warn.

sbhl_cerror

public static final SubLObject sbhl_cerror(SubLObject level,
                                           SubLObject continue_str,
                                           SubLObject format_str,
                                           SubLObject arg1,
                                           SubLObject arg2,
                                           SubLObject arg3,
                                           SubLObject arg4,
                                           SubLObject arg5)

If *sbhl-trace-level* is greater than or equal to LEVEL, signal a cerror with CONTINUE-STR and FORMAT-STR. If *sbhl-trace-level* is within 2 of LEVEL, warn with FORMAT-STR. @see cerror. @see warn.

sbhl_warn

public static final SubLObject sbhl_warn(SubLObject level,
                                         SubLObject format_str,
                                         SubLObject arg1,
                                         SubLObject arg2,
                                         SubLObject arg3,
                                         SubLObject arg4,
                                         SubLObject arg5)

If *sbhl-trace-level* is greater than or equal to LEVEL, warn with FORMAT-STR. @see warn.

suspend_sbhl_type_checkingP

public static final SubLObject suspend_sbhl_type_checkingP()

Returns:

whether to suspend type checking at the moment

check_sbhl_cachesP

public static final SubLObject check_sbhl_cachesP()

Accessor. @return booleanp; whether we are using sbhl caches. If this is NIL, we are just using sbhl-predicate-relation-p

declare_sbhl_paranoia_file

public static final SubLObject declare_sbhl_paranoia_file()

init_sbhl_paranoia_file

public static final SubLObject init_sbhl_paranoia_file()

setup_sbhl_paranoia_file

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