com.cyc.cycjava.cycl
Class ke

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class ke
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$check_if_already_ke_unassertedP$
static SubLObject	$const17$mergedConstantName
static SubLObject	$const18$BookkeepingMt
static SubLObject	$const19$mergedConstantGUID
static SubLObject	$const38$oldConstantName
static SubLObject	$const68$ist
static SubLObject	$const88$Guest
static SubLSymbol	$kw1$QUEUED
static SubLSymbol	$kw24$GAF
static SubLSymbol	$kw40$DEFAULT
static SubLSymbol	$kw47$BACKWARD
static SubLSymbol	$kw48$FORWARD
static SubLSymbol	$kw54$STRENGTH
static SubLSymbol	$kw55$DIRECTION
static SubLSymbol	$kw6$IGNORE_ERRORS_TARGET
static SubLSymbol	$kw65$ALL
static SubLSymbol	$kw8$FATAL_ERROR
static SubLSymbol	$kw84$TRUE
static SubLSymbol	$kw90$GENERIC_ERROR
static SubLList	$list10
static SubLList	$list12
static SubLList	$list14
static SubLList	$list22
static SubLList	$list29
static SubLList	$list31
static SubLList	$list50
static SubLList	$list60
static SubLList	$list66
static SubLList	$list69
static SubLSymbol	$note_merged_constant_name$ Do we keep the merged constant name info in the KB?
static SubLSymbol	$note_old_constant_name$ Do we keep previous constant name info in the KB?
static SubLString	$str13$Create_new_constant_now_and_add_o
static SubLString	$str20$Skip_this_operation
static SubLString	$str21$Constant__S_cannot_be_merged_beca
static SubLString	$str27$Constant__S_cannot_be_killed_beca
static SubLString	$str30$Kill_FORT_now_and_add_operation_t
static SubLString	$str33$Constant__S_cannot_be_renamed_bec
static SubLString	$str34$Use_KE_RENAME
static SubLString	$str35$Constant__S_is_not_mentioned_in_c
static SubLString	$str51$Assert_FORMULA_in_MT_now_and_add_
static SubLString	$str53$Assert_FORMULA_in_MT_now_and_add_
static SubLString	$str58$Sentence__S_in_mt__S__is_not_in_t
static SubLString	$str61$Unassert_FORMULA_in_MT_now_and_ad
static SubLString	$str64$KE_EDIT_NOW_does_not_yet_use_FI_E
static SubLString	$str70$Sentences_do_not_differ_only_in_s
static SubLString	$str83$Initializing_old_constant_name_ta
static SubLString	$str89$KB_editing_is_not_allowed_for_use
static SubLSymbol	$sym0$KE_CREATE
static SubLSymbol	$sym11$KE_CREATE_NOW
static SubLSymbol	$sym15$KE_MERGE
static SubLSymbol	$sym16$FI_MERGE
static SubLSymbol	$sym2$FI_TIMESTAMP_CONSTANT
static SubLSymbol	$sym23$RELEVANT_MT_IS_EQ
static SubLSymbol	$sym25$KE_KILL
static SubLSymbol	$sym26$FI_KILL
static SubLSymbol	$sym28$KE_KILL_NOW
static SubLSymbol	$sym3$QUOTE
static SubLSymbol	$sym32$STRINGP
static SubLSymbol	$sym36$FI_RENAME
static SubLSymbol	$sym37$CONSTANT_P
static SubLSymbol	$sym39$KE_ASSERT
static SubLSymbol	$sym4$FI_CREATE
static SubLSymbol	$sym41$FI_ASSERT
static SubLSymbol	$sym42$FI_TIMESTAMP_ASSERTION
static SubLSymbol	$sym43$ASSERTION_P
static SubLSymbol	$sym44$EL_STRENGTH_P
static SubLSymbol	$sym45$DIRECTION_P
static SubLSymbol	$sym46$FI_REASSERT
static SubLSymbol	$sym49$KE_ASSERT_NOW
static SubLSymbol	$sym5$CATCH_ERROR_MESSAGE_HANDLER
static SubLSymbol	$sym52$KE_ASSERT_WFF_NOW
static SubLSymbol	$sym56$KE_UNASSERT
static SubLSymbol	$sym57$FI_UNASSERT
static SubLSymbol	$sym59$KE_UNASSERT_NOW
static SubLSymbol	$sym62$_KE_EDIT_USE_FI_EDIT_
static SubLSymbol	$sym63$FI_EDIT
static SubLSymbol	$sym67$KE_EDIT_ASSERTION_PRESERVING_ALL_META_ASSERTIONS
static SubLSymbol	$sym7$IGNORE_ERRORS_HANDLER
static SubLSymbol	$sym71$FI_BLAST
static SubLSymbol	$sym72$EL_FORMULA_P
static SubLSymbol	$sym73$ALIST_P
static SubLSymbol	$sym74$FI_RENAME_VARIABLES
static SubLSymbol	$sym75$FI_REMOVE_ARGUMENT
static SubLSymbol	$sym76$DEDUCTION_P
static SubLSymbol	$sym77$CONVERT_HL_SUPPORT_TO_TL_SUPPORT
static SubLSymbol	$sym78$FORT_P
static SubLSymbol	$sym79$FI_TMS_RECONSIDER_TERM
static SubLSymbol	$sym80$FI_TMS_RECONSIDER_FORMULA
static SubLSymbol	$sym81$HLMT_P
static SubLSymbol	$sym82$_OLD_CONSTANT_NAMES_TABLE_
static SubLSymbol	$sym85$ASSERTION_TL_IST_FORMULA
static SubLSymbol	$sym86$ASSERTION_EL_FORMULA
static SubLSymbol	$sym87$ASSERTION_TL_FORMULA
static SubLSymbol	$sym9$FORMAT
static SubLSymbol	$sym91$FI_EVAL
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	cache_old_constant_name(SubLObject string, SubLObject constant)
static SubLObject	cyclist_is_guest() Test to determine if the user should have editing privileges, or not.
static SubLObject	decache_old_constant_name(SubLObject string, SubLObject constant)
static SubLObject	declare_ke_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	do_edit_op(SubLObject form)
static SubLObject	ensure_cyclist_ok()
static SubLObject	init_ke_file()
static SubLObject	initialize_old_constant_names() Set up the *old-constant-names-table* table.
void	initializeVariables() Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject	ke_assert_now_int(SubLObject formula, SubLObject mt, SubLObject strength, SubLObject direction, SubLObject wffP)
static SubLObject	ke_assert_now(SubLObject formula, SubLObject mt, SubLObject strength, SubLObject direction) Assert FORMULA in MT now and add operation to transcript.
static SubLObject	ke_assert_wff_now(SubLObject formula, SubLObject mt, SubLObject strength, SubLObject direction) Assert FORMULA in MT now and add operation to transcript.
static SubLObject	ke_assert(SubLObject formula, SubLObject mt, SubLObject strength, SubLObject direction)
static SubLObject	ke_create_now(SubLObject name, SubLObject external_id) Create new constant now and add operation to transcript.
static SubLObject	ke_find_or_create_now(SubLObject name, SubLObject external_id) Get the named constant if it exists.
static SubLObject	ke_kill_now(SubLObject fort) Kill FORT now and add operation to transcript.
static SubLObject	ke_rename_now(SubLObject constant, SubLObject name) Rename CONSTANT to NAME now and add operation to transcript.
static SubLObject	old_constant_names(SubLObject string) Find any constants for which STRING is an oldConstantName.
void	runTopLevelForms() Runs all top-level forms in order.
static SubLObject	setup_ke_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

$note_merged_constant_name$

public static SubLSymbol $note_merged_constant_name$

Do we keep the merged constant name info in the KB?

$note_old_constant_name$

public static SubLSymbol $note_old_constant_name$

Do we keep previous constant name info in the KB?

$check_if_already_ke_unassertedP$

public static SubLSymbol $check_if_already_ke_unassertedP$

$sym0$KE_CREATE

public static final SubLSymbol $sym0$KE_CREATE

$kw1$QUEUED

public static final SubLSymbol $kw1$QUEUED

$sym2$FI_TIMESTAMP_CONSTANT

public static final SubLSymbol $sym2$FI_TIMESTAMP_CONSTANT

$sym3$QUOTE

public static final SubLSymbol $sym3$QUOTE

$sym4$FI_CREATE

public static final SubLSymbol $sym4$FI_CREATE

$sym5$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym5$CATCH_ERROR_MESSAGE_HANDLER

$kw6$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw6$IGNORE_ERRORS_TARGET

$sym7$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym7$IGNORE_ERRORS_HANDLER

$kw8$FATAL_ERROR

public static final SubLSymbol $kw8$FATAL_ERROR

$sym9$FORMAT

public static final SubLSymbol $sym9$FORMAT

$list10

public static final SubLList $list10

$sym11$KE_CREATE_NOW

public static final SubLSymbol $sym11$KE_CREATE_NOW

$list12

public static final SubLList $list12

$str13$Create_new_constant_now_and_add_o

public static final SubLString $str13$Create_new_constant_now_and_add_o

$list14

public static final SubLList $list14

$sym15$KE_MERGE

public static final SubLSymbol $sym15$KE_MERGE

$sym16$FI_MERGE

public static final SubLSymbol $sym16$FI_MERGE

$const17$mergedConstantName

public static final SubLObject $const17$mergedConstantName

$const18$BookkeepingMt

public static final SubLObject $const18$BookkeepingMt

$const19$mergedConstantGUID

public static final SubLObject $const19$mergedConstantGUID

$str20$Skip_this_operation

public static final SubLString $str20$Skip_this_operation

$str21$Constant__S_cannot_be_merged_beca

public static final SubLString $str21$Constant__S_cannot_be_merged_beca

$list22

public static final SubLList $list22

$sym23$RELEVANT_MT_IS_EQ

public static final SubLSymbol $sym23$RELEVANT_MT_IS_EQ

$kw24$GAF

public static final SubLSymbol $kw24$GAF

$sym25$KE_KILL

public static final SubLSymbol $sym25$KE_KILL

$sym26$FI_KILL

public static final SubLSymbol $sym26$FI_KILL

$str27$Constant__S_cannot_be_killed_beca

public static final SubLString $str27$Constant__S_cannot_be_killed_beca

$sym28$KE_KILL_NOW

public static final SubLSymbol $sym28$KE_KILL_NOW

$list29

public static final SubLList $list29

$str30$Kill_FORT_now_and_add_operation_t

public static final SubLString $str30$Kill_FORT_now_and_add_operation_t

$list31

public static final SubLList $list31

$sym32$STRINGP

public static final SubLSymbol $sym32$STRINGP

$str33$Constant__S_cannot_be_renamed_bec

public static final SubLString $str33$Constant__S_cannot_be_renamed_bec

$str34$Use_KE_RENAME

public static final SubLString $str34$Use_KE_RENAME

$str35$Constant__S_is_not_mentioned_in_c

public static final SubLString $str35$Constant__S_is_not_mentioned_in_c

$sym36$FI_RENAME

public static final SubLSymbol $sym36$FI_RENAME

$sym37$CONSTANT_P

public static final SubLSymbol $sym37$CONSTANT_P

$const38$oldConstantName

public static final SubLObject $const38$oldConstantName

$sym39$KE_ASSERT

public static final SubLSymbol $sym39$KE_ASSERT

$kw40$DEFAULT

public static final SubLSymbol $kw40$DEFAULT

$sym41$FI_ASSERT

public static final SubLSymbol $sym41$FI_ASSERT

$sym42$FI_TIMESTAMP_ASSERTION

public static final SubLSymbol $sym42$FI_TIMESTAMP_ASSERTION

$sym43$ASSERTION_P

public static final SubLSymbol $sym43$ASSERTION_P

$sym44$EL_STRENGTH_P

public static final SubLSymbol $sym44$EL_STRENGTH_P

$sym45$DIRECTION_P

public static final SubLSymbol $sym45$DIRECTION_P

$sym46$FI_REASSERT

public static final SubLSymbol $sym46$FI_REASSERT

$kw47$BACKWARD

public static final SubLSymbol $kw47$BACKWARD

$kw48$FORWARD

public static final SubLSymbol $kw48$FORWARD

$sym49$KE_ASSERT_NOW

public static final SubLSymbol $sym49$KE_ASSERT_NOW

$list50

public static final SubLList $list50

$str51$Assert_FORMULA_in_MT_now_and_add_

public static final SubLString $str51$Assert_FORMULA_in_MT_now_and_add_

$sym52$KE_ASSERT_WFF_NOW

public static final SubLSymbol $sym52$KE_ASSERT_WFF_NOW

$str53$Assert_FORMULA_in_MT_now_and_add_

public static final SubLString $str53$Assert_FORMULA_in_MT_now_and_add_

$kw54$STRENGTH

public static final SubLSymbol $kw54$STRENGTH

$kw55$DIRECTION

public static final SubLSymbol $kw55$DIRECTION

$sym56$KE_UNASSERT

public static final SubLSymbol $sym56$KE_UNASSERT

$sym57$FI_UNASSERT

public static final SubLSymbol $sym57$FI_UNASSERT

$str58$Sentence__S_in_mt__S__is_not_in_t

public static final SubLString $str58$Sentence__S_in_mt__S__is_not_in_t

$sym59$KE_UNASSERT_NOW

public static final SubLSymbol $sym59$KE_UNASSERT_NOW

$list60

public static final SubLList $list60

$str61$Unassert_FORMULA_in_MT_now_and_ad

public static final SubLString $str61$Unassert_FORMULA_in_MT_now_and_ad

$sym62$_KE_EDIT_USE_FI_EDIT_

public static final SubLSymbol $sym62$_KE_EDIT_USE_FI_EDIT_

$sym63$FI_EDIT

public static final SubLSymbol $sym63$FI_EDIT

$str64$KE_EDIT_NOW_does_not_yet_use_FI_E

public static final SubLString $str64$KE_EDIT_NOW_does_not_yet_use_FI_E

$kw65$ALL

public static final SubLSymbol $kw65$ALL

$list66

public static final SubLList $list66

$sym67$KE_EDIT_ASSERTION_PRESERVING_ALL_META_ASSERTIONS

public static final SubLSymbol $sym67$KE_EDIT_ASSERTION_PRESERVING_ALL_META_ASSERTIONS

$const68$ist

public static final SubLObject $const68$ist

$list69

public static final SubLList $list69

$str70$Sentences_do_not_differ_only_in_s

public static final SubLString $str70$Sentences_do_not_differ_only_in_s

$sym71$FI_BLAST

public static final SubLSymbol $sym71$FI_BLAST

$sym72$EL_FORMULA_P

public static final SubLSymbol $sym72$EL_FORMULA_P

$sym73$ALIST_P

public static final SubLSymbol $sym73$ALIST_P

$sym74$FI_RENAME_VARIABLES

public static final SubLSymbol $sym74$FI_RENAME_VARIABLES

$sym75$FI_REMOVE_ARGUMENT

public static final SubLSymbol $sym75$FI_REMOVE_ARGUMENT

$sym76$DEDUCTION_P

public static final SubLSymbol $sym76$DEDUCTION_P

$sym77$CONVERT_HL_SUPPORT_TO_TL_SUPPORT

public static final SubLSymbol $sym77$CONVERT_HL_SUPPORT_TO_TL_SUPPORT

$sym78$FORT_P

public static final SubLSymbol $sym78$FORT_P

$sym79$FI_TMS_RECONSIDER_TERM

public static final SubLSymbol $sym79$FI_TMS_RECONSIDER_TERM

$sym80$FI_TMS_RECONSIDER_FORMULA

public static final SubLSymbol $sym80$FI_TMS_RECONSIDER_FORMULA

$sym81$HLMT_P

public static final SubLSymbol $sym81$HLMT_P

$sym82$_OLD_CONSTANT_NAMES_TABLE_

public static final SubLSymbol $sym82$_OLD_CONSTANT_NAMES_TABLE_

$str83$Initializing_old_constant_name_ta

public static final SubLString $str83$Initializing_old_constant_name_ta

$kw84$TRUE

public static final SubLSymbol $kw84$TRUE

$sym85$ASSERTION_TL_IST_FORMULA

public static final SubLSymbol $sym85$ASSERTION_TL_IST_FORMULA

$sym86$ASSERTION_EL_FORMULA

public static final SubLSymbol $sym86$ASSERTION_EL_FORMULA

$sym87$ASSERTION_TL_FORMULA

public static final SubLSymbol $sym87$ASSERTION_TL_FORMULA

$const88$Guest

public static final SubLObject $const88$Guest

$str89$KB_editing_is_not_allowed_for_use

public static final SubLString $str89$KB_editing_is_not_allowed_for_use

$kw90$GENERIC_ERROR

public static final SubLSymbol $kw90$GENERIC_ERROR

$sym91$FI_EVAL

public static final SubLSymbol $sym91$FI_EVAL

Method Detail

ke_create_now

public static final SubLObject ke_create_now(SubLObject name,
                                             SubLObject external_id)

Create new constant now and add operation to transcript. If EXTERNAL-ID is non-null it is used, otherwise a unique identifier is generated.

Parameters:

NAME - string

EXTERNAL-ID - guid-p

Returns:

0 constant ;; new constant if success, o/w nil

ke_assert

public static final SubLObject ke_assert(SubLObject formula,
                                         SubLObject mt,
                                         SubLObject strength,
                                         SubLObject direction)

do_edit_op

public static final SubLObject do_edit_op(SubLObject form)

ensure_cyclist_ok

public static final SubLObject ensure_cyclist_ok()

cyclist_is_guest

public static final SubLObject cyclist_is_guest()

Test to determine if the user should have editing privileges, or not.

ke_find_or_create_now

public static final SubLObject ke_find_or_create_now(SubLObject name,
                                                     SubLObject external_id)

Get the named constant if it exists. Otherwise, Create new constant now and add operation to transcript. If EXTERNAL-ID is non-null it is used, otherwise a unique identifier is generated.

Parameters:

NAME - string

EXTERNAL-ID - guid-p

Returns:

0 constant ;; relevant constant if success, o/w nil

ke_assert_wff_now

public static final SubLObject ke_assert_wff_now(SubLObject formula,
                                                 SubLObject mt,
                                                 SubLObject strength,
                                                 SubLObject direction)

Assert FORMULA in MT now and add operation to transcript. FORMULA is assumed to be WFF.

Parameters:

FORMULA - list

MT - microtheory

STRENGTH - keyword

DIRECTION - keyword

Returns:

0 boolean ;; t if success, o/w nil

ke_kill_now

public static final SubLObject ke_kill_now(SubLObject fort)

Kill FORT now and add operation to transcript.

Parameters:

FORT - fort

Returns:

0 boolean ;; t if success, o/w nil

ke_rename_now

public static final SubLObject ke_rename_now(SubLObject constant,
                                             SubLObject name)

Rename CONSTANT to NAME now and add operation to transcript.

Parameters:

CONSTANT - constant

NAME - string

Returns:

0 constant ;; new constant name if success, o/w nil

ke_assert_now

public static final SubLObject ke_assert_now(SubLObject formula,
                                             SubLObject mt,
                                             SubLObject strength,
                                             SubLObject direction)

Assert FORMULA in MT now and add operation to transcript.

Parameters:

FORMULA - list

MT - microtheory

STRENGTH - keyword

DIRECTION - keyword

Returns:

0 boolean ;; t if success, o/w nil

ke_assert_now_int

public static final SubLObject ke_assert_now_int(SubLObject formula,
                                                 SubLObject mt,
                                                 SubLObject strength,
                                                 SubLObject direction,
                                                 SubLObject wffP)

old_constant_names

public static final SubLObject old_constant_names(SubLObject string)

Find any constants for which STRING is an oldConstantName.

initialize_old_constant_names

public static final SubLObject initialize_old_constant_names()

Set up the *old-constant-names-table* table.

cache_old_constant_name

public static final SubLObject cache_old_constant_name(SubLObject string,
                                                       SubLObject constant)

decache_old_constant_name

public static final SubLObject decache_old_constant_name(SubLObject string,
                                                         SubLObject constant)

declare_ke_file

public static final SubLObject declare_ke_file()

init_ke_file

public static final SubLObject init_ke_file()

setup_ke_file

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