com.cyc.cycjava.cycl
Class canon_tl

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class canon_tl
extends SubLTranslatedFile

Nested Class Summary

static class

canon_tl.$tl_termP$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLObject	$const10$not
static SubLObject	$const11$TLAssertionFn
static SubLObject	$const12$TLReifiedNatFn
static SubLObject	$const13$TLVariableFn
static SubLObject	$const2$ist
static SubLObject	$const5$and
static SubLObject	$const8$implies
static SubLObject	$const9$or
static SubLSymbol	$kw24$ASSERTION_NOT_PRESENT
static SubLSymbol	$kw26$ASSERTION_NOT_LOCAL
static SubLString	$str14$referenced_assertion_not_found___
static SubLString	$str15$referenced_function_not_found____
static SubLString	$str17$referenced_TL_assertion_not_found
static SubLString	$str18$referenced_TL_nart_not_found_____
static SubLString	$str25$formula__S_in_mt__S_cannot_be_fou
static SubLString	$str27$CNF__S_in_mt__S_is_not_locally_in
static SubLSymbol	$sym0$ASSERTION_P
static SubLSymbol	$sym1$ASSERTION_TL_IST_FORMULA
static SubLSymbol	$sym16$QUOTE
static SubLSymbol	$sym19$TL_ASSERTION_TERM_TO_EL
static SubLSymbol	$sym20$TL_FUNCTION_TERM_TO_EL
static SubLSymbol	$sym21$TL_VAR_TO_EL
static SubLSymbol	$sym22$CONSP
static SubLSymbol	$sym23$CATCH_ERROR_MESSAGE_HANDLER
static SubLSymbol	$sym3$HL_NOT_TL_TERM_
static SubLSymbol	$sym4$HL_TERM_TO_TL
static SubLSymbol	$sym6$TL_TERM_
static SubLSymbol	$sym7$TL_TERM_TO_HL
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_canon_tl_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	hl_not_tl_termP(SubLObject object)
static SubLObject	init_canon_tl_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_canon_tl_file()
static SubLObject	tl_assertion_termP(SubLObject object)
static SubLObject	tl_encapsulate(SubLObject tree)
static SubLObject	tl_function_termP(SubLObject object)
static SubLObject	tl_termP(SubLObject object)
static SubLObject	tl_varP(SubLObject object)
static SubLObject	tlmt_to_hlmt(SubLObject tl_mt)
static SubLObject	transform_hl_terms_to_tl(SubLObject tree)
static SubLObject	transform_tl_terms_to_hl(SubLObject tree)

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

$sym0$ASSERTION_P

public static final SubLSymbol $sym0$ASSERTION_P

$sym1$ASSERTION_TL_IST_FORMULA

public static final SubLSymbol $sym1$ASSERTION_TL_IST_FORMULA

$const2$ist

public static final SubLObject $const2$ist

$sym3$HL_NOT_TL_TERM_

public static final SubLSymbol $sym3$HL_NOT_TL_TERM_

$sym4$HL_TERM_TO_TL

public static final SubLSymbol $sym4$HL_TERM_TO_TL

$const5$and

public static final SubLObject $const5$and

$sym6$TL_TERM_

public static final SubLSymbol $sym6$TL_TERM_

$sym7$TL_TERM_TO_HL

public static final SubLSymbol $sym7$TL_TERM_TO_HL

$const8$implies

public static final SubLObject $const8$implies

$const9$or

public static final SubLObject $const9$or

$const10$not

public static final SubLObject $const10$not

$const11$TLAssertionFn

public static final SubLObject $const11$TLAssertionFn

$const12$TLReifiedNatFn

public static final SubLObject $const12$TLReifiedNatFn

$const13$TLVariableFn

public static final SubLObject $const13$TLVariableFn

$str14$referenced_assertion_not_found___

public static final SubLString $str14$referenced_assertion_not_found___

$str15$referenced_function_not_found____

public static final SubLString $str15$referenced_function_not_found____

$sym16$QUOTE

public static final SubLSymbol $sym16$QUOTE

$str17$referenced_TL_assertion_not_found

public static final SubLString $str17$referenced_TL_assertion_not_found

$str18$referenced_TL_nart_not_found_____

public static final SubLString $str18$referenced_TL_nart_not_found_____

$sym19$TL_ASSERTION_TERM_TO_EL

public static final SubLSymbol $sym19$TL_ASSERTION_TERM_TO_EL

$sym20$TL_FUNCTION_TERM_TO_EL

public static final SubLSymbol $sym20$TL_FUNCTION_TERM_TO_EL

$sym21$TL_VAR_TO_EL

public static final SubLSymbol $sym21$TL_VAR_TO_EL

$sym22$CONSP

public static final SubLSymbol $sym22$CONSP

$sym23$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym23$CATCH_ERROR_MESSAGE_HANDLER

$kw24$ASSERTION_NOT_PRESENT

public static final SubLSymbol $kw24$ASSERTION_NOT_PRESENT

$str25$formula__S_in_mt__S_cannot_be_fou

public static final SubLString $str25$formula__S_in_mt__S_cannot_be_fou

$kw26$ASSERTION_NOT_LOCAL

public static final SubLSymbol $kw26$ASSERTION_NOT_LOCAL

$str27$CNF__S_in_mt__S_is_not_locally_in

public static final SubLString $str27$CNF__S_in_mt__S_is_not_locally_in

Method Detail

transform_hl_terms_to_tl

public static final SubLObject transform_hl_terms_to_tl(SubLObject tree)

tl_encapsulate

public static final SubLObject tl_encapsulate(SubLObject tree)

tlmt_to_hlmt

public static final SubLObject tlmt_to_hlmt(SubLObject tl_mt)

transform_tl_terms_to_hl

public static final SubLObject transform_tl_terms_to_hl(SubLObject tree)

tl_termP

public static final SubLObject tl_termP(SubLObject object)

tl_assertion_termP

public static final SubLObject tl_assertion_termP(SubLObject object)

tl_function_termP

public static final SubLObject tl_function_termP(SubLObject object)

tl_varP

public static final SubLObject tl_varP(SubLObject object)

hl_not_tl_termP

public static final SubLObject hl_not_tl_termP(SubLObject object)

declare_canon_tl_file

public static final SubLObject declare_canon_tl_file()

init_canon_tl_file

public static final SubLObject init_canon_tl_file()

setup_canon_tl_file

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