com.cyc.cycjava.cycl
Class verbosifier

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class verbosifier
extends SubLTranslatedFile

Nested Class Summary

static class	verbosifier.$expandible_el_relation_expressionP$BinaryFunction
static class	verbosifier.$expandible_el_relation_expressionP$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const11$expansion
static SubLObject	$const12$expansionDefn
static SubLInteger	$int0$212
static SubLSymbol	$kw1$TRANSFORMATION_LIMIT_EXCEEDED
static SubLSymbol	$kw10$INVALID_EXPANSION
static SubLSymbol	$kw21$TRUE
static SubLSymbol	$kw4$RECURSION_LIMIT_EXCEEDED
static SubLSymbol	$kw9$IGNORE
static SubLList	$list7
static SubLString	$str13$Trying_to_expand_a_recursive_EL_r
static SubLSymbol	$sym14$INTEGERP
static SubLSymbol	$sym15$NULL
static SubLSymbol	$sym16$GENERIC_ARG_P
static SubLSymbol	$sym17$GENERIC_ARG_NUM
static SubLSymbol	$sym18$MAX
static SubLSymbol	$sym19$EL_VAR_
static SubLSymbol	$sym2$EL_VIABLY_EXPANDIBLE_FORMULA_
static SubLSymbol	$sym20$EXPANSION_ARG2_ARG0_P
static SubLSymbol	$sym3$EL_FORMULA_EXPANSION_INT
static SubLSymbol	$sym5$EXPANDIBLE_RELATION_EXPRESSION_
static SubLSymbol	$sym6$CLET
static SubLSymbol	$sym8$EXPANDIBLE_EL_RELATION_EXPRESSION_
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_verbosifier_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	expandible_el_relation_expressionP(SubLObject object, SubLObject mt)
static SubLObject	init_verbosifier_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	setup_verbosifier_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$212

public static final SubLInteger $int0$212

$kw1$TRANSFORMATION_LIMIT_EXCEEDED

public static final SubLSymbol $kw1$TRANSFORMATION_LIMIT_EXCEEDED

$sym2$EL_VIABLY_EXPANDIBLE_FORMULA_

public static final SubLSymbol $sym2$EL_VIABLY_EXPANDIBLE_FORMULA_

$sym3$EL_FORMULA_EXPANSION_INT

public static final SubLSymbol $sym3$EL_FORMULA_EXPANSION_INT

$kw4$RECURSION_LIMIT_EXCEEDED

public static final SubLSymbol $kw4$RECURSION_LIMIT_EXCEEDED

$sym5$EXPANDIBLE_RELATION_EXPRESSION_

public static final SubLSymbol $sym5$EXPANDIBLE_RELATION_EXPRESSION_

$sym6$CLET

public static final SubLSymbol $sym6$CLET

$list7

public static final SubLList $list7

$sym8$EXPANDIBLE_EL_RELATION_EXPRESSION_

public static final SubLSymbol $sym8$EXPANDIBLE_EL_RELATION_EXPRESSION_

$kw9$IGNORE

public static final SubLSymbol $kw9$IGNORE

$kw10$INVALID_EXPANSION

public static final SubLSymbol $kw10$INVALID_EXPANSION

$const11$expansion

public static final SubLObject $const11$expansion

$const12$expansionDefn

public static final SubLObject $const12$expansionDefn

$str13$Trying_to_expand_a_recursive_EL_r

public static final SubLString $str13$Trying_to_expand_a_recursive_EL_r

$sym14$INTEGERP

public static final SubLSymbol $sym14$INTEGERP

$sym15$NULL

public static final SubLSymbol $sym15$NULL

$sym16$GENERIC_ARG_P

public static final SubLSymbol $sym16$GENERIC_ARG_P

$sym17$GENERIC_ARG_NUM

public static final SubLSymbol $sym17$GENERIC_ARG_NUM

$sym18$MAX

public static final SubLSymbol $sym18$MAX

$sym19$EL_VAR_

public static final SubLSymbol $sym19$EL_VAR_

$sym20$EXPANSION_ARG2_ARG0_P

public static final SubLSymbol $sym20$EXPANSION_ARG2_ARG0_P

$kw21$TRUE

public static final SubLSymbol $kw21$TRUE

Method Detail

expandible_el_relation_expressionP

public static final SubLObject expandible_el_relation_expressionP(SubLObject object,
                                                                  SubLObject mt)

Returns:

boolean; t iff OBJECT is an EL formula with an #$ELRelation as its arg0.

declare_verbosifier_file

public static final SubLObject declare_verbosifier_file()

init_verbosifier_file

public static final SubLObject init_verbosifier_file()

setup_verbosifier_file

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