com.cyc.cycjava.cycl
Class transcript_utilities

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.transcript_utilities
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class transcript_utilities
extends SubLTranslatedFile


Nested Class Summary
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLSymbol $approx_chars_per_op$
           
static SubLObject $const94$DefaultMonotonicPredicate
           
static SubLSymbol $count_ops_table$
           
static SubLInteger $int32$100000
           
static SubLInteger $int60$100
           
static SubLInteger $int8$206
           
static SubLSymbol $kw0$IGNORE_ERRORS_TARGET
           
static SubLSymbol $kw101$BACKWARD
           
static SubLSymbol $kw103$CODE
           
static SubLSymbol $kw11$APPEND
           
static SubLSymbol $kw116$HP
           
static SubLSymbol $kw117$NAT
           
static SubLSymbol $kw12$OUTPUT
           
static SubLSymbol $kw30$INPUT
           
static SubLSymbol $kw31$EOF
           
static SubLSymbol $kw70$ENTER
           
static SubLSymbol $kw87$DELETE
           
static SubLSymbol $kw89$BLAST
           
static SubLSymbol $kw92$UNKNOWN
           
static SubLSymbol $kw95$DEFAULT
           
static SubLSymbol $kw97$MONOTONIC
           
static SubLSymbol $kw99$FORWARD
           
static SubLList $list39
           
static SubLList $list41
           
static SubLList $list43
           
static SubLList $list45
           
static SubLList $list51
           
static SubLList $list53
           
static SubLList $list56
           
static SubLList $list67
           
static SubLList $list69
           
static SubLList $list74
           
static SubLList $list78
           
static SubLSymbol $local_hl_transcript_history$
           
static SubLSymbol $local_hl_transcript_version$
           
static SubLSymbol $local_hl_transcript$
          A hl-transcript containing operations from an individual Cyc image
static SubLSymbol $local_transcript_history$
           
static SubLSymbol $local_transcript_version$
           
static SubLSymbol $local_transcript$
          A transcript containing operations from an individual Cyc image
static SubLSymbol $master_transcript_already_exists$
          Boolean: has the master transcript been accessed -- probed, touched, written to, or read from -- yet?
static SubLSymbol $master_transcript$
          The master transcript file, containing operations from all communicating Cyc images.
static SubLSymbol $read_transcript_position$
           
static SubLSymbol $read_transcript$
          transcript file from which ops are currenlty being read.
static SubLString $str10$ROLLED
           
static SubLString $str100$Direction___forward_
           
static SubLString $str102$Direction___backward_
           
static SubLString $str104$Direction___code_
           
static SubLString $str105$_A___A_
           
static SubLString $str106$f___A_
           
static SubLString $str110$___This_skolem_creation_should_be
           
static SubLString $str111$____A
           
static SubLString $str112$___Don_t_know_how_convert_next_li
           
static SubLString $str113$Internal_Error___A
           
static SubLString $str114$_
           
static SubLString $str115$_
           
static SubLString $str118$_
           
static SubLString $str119$___
           
static SubLString $str120$_
           
static SubLString $str122$_
           
static SubLString $str123$__
           
static SubLString $str124$___
           
static SubLString $str13$Unable_to_open__S
           
static SubLString $str14$_s__
           
static SubLString $str18$cyc_kb__a
           
static SubLString $str19$_a_local__a
           
static SubLString $str2$ts
           
static SubLString $str20$_a_local_hl__a
           
static SubLString $str21$_
           
static SubLString $str22$transcripts
           
static SubLString $str23$_4__0D
           
static SubLString $str25$_TS
           
static SubLString $str26$_
           
static SubLString $str27$_ts
           
static SubLString $str33$_____s
           
static SubLString $str34$_s_is_not_a_stream_or_pathname_st
           
static SubLString $str35$__The_file__s_does_not_exist__or_
           
static SubLString $str36$___s_is_not_a_pathname_string__or
           
static SubLString $str38$Examining__A
           
static SubLString $str46$____Transcript____S
           
static SubLString $str47$______Examined______A
           
static SubLString $str48$______Total_Ops_____S
           
static SubLString $str49$______error_during_transcript_ana
           
static SubLString $str50$___A
           
static SubLString $str52$_______S_KILLED
           
static SubLString $str54$__EXTERNAL_ID__S____A_by__A_at__A
           
static SubLString $str55$_______S_RENAMED
           
static SubLString $str57$__EXTERNAL_ID__S____A_to__A_by__A
           
static SubLString $str58$_______S_CREATED
           
static SubLString $str64$transcript_file_not_found
           
static SubLString $str65$_A__
           
static SubLString $str68$Generate_a_KE_Text_file_from_a_tr
           
static SubLString $str72$
           
static SubLString $str73$Constant__
           
static SubLString $str75$Rename__
           
static SubLString $str76$_
           
static SubLString $str79$Merge__
           
static SubLString $str80$Kill__
           
static SubLString $str85$Enter_
           
static SubLString $str86$___The_following_assertion_simula
           
static SubLString $str88$Delete_
           
static SubLString $str90$Delete_____Simulate_an_fi_blast_
           
static SubLString $str91$In_Mt__
           
static SubLString $str93$Truth_Value___unknown_
           
static SubLString $str96$Truth_Value___default_
           
static SubLString $str98$Truth_Value___monotonic_
           
static SubLSymbol $sym1$IGNORE_ERRORS_HANDLER
           
static SubLSymbol $sym107$FI_TIMESTAMP_ASSERTION
           
static SubLSymbol $sym108$FI_TIMESTAMP_CONSTANT
           
static SubLSymbol $sym109$FI_CREATE_SKOLEM
           
static SubLSymbol $sym121$CCONCATENATE
           
static SubLSymbol $sym15$_READ_TRANSCRIPT_
           
static SubLSymbol $sym16$_MASTER_TRANSCRIPT_
           
static SubLSymbol $sym17$_LOCAL_HL_TRANSCRIPT_
           
static SubLSymbol $sym24$STRINGP
           
static SubLSymbol $sym28$_COUNT_OPS_TABLE_
           
static SubLSymbol $sym29$CAR
           
static SubLSymbol $sym3$_LOCAL_TRANSCRIPT_VERSION_
           
static SubLSymbol $sym37$CATCH_ERROR_MESSAGE_HANDLER
           
static SubLSymbol $sym4$_LOCAL_TRANSCRIPT_HISTORY_
           
static SubLSymbol $sym40$FI_CREATE
           
static SubLSymbol $sym42$FI_RENAME
           
static SubLSymbol $sym44$FI_KILL
           
static SubLSymbol $sym5$_LOCAL_HL_TRANSCRIPT_VERSION_
           
static SubLSymbol $sym59$_TRANSCRIPT_RENAME_HASH_
           
static SubLSymbol $sym6$_LOCAL_HL_TRANSCRIPT_HISTORY_
           
static SubLSymbol $sym61$_
           
static SubLSymbol $sym62$FIRST
           
static SubLSymbol $sym63$_TRANSCRIPT_CREATE_HASH_
           
static SubLSymbol $sym66$WRITE_SPECIFIC_TRANSCRIPT_FILE_AS_KE_TEXT
           
static SubLSymbol $sym7$_READ_TRANSCRIPT_POSITION_
           
static SubLSymbol $sym71$FI_FIND_OR_CREATE
           
static SubLSymbol $sym77$FI_MERGE
           
static SubLSymbol $sym81$FI_ASSERT
           
static SubLSymbol $sym82$FI_REASSERT
           
static SubLSymbol $sym83$FI_UNASSERT
           
static SubLSymbol $sym84$FI_BLAST
           
static SubLSymbol $sym9$_LOCAL_TRANSCRIPT_
           
static SubLSymbol $transcript_suffix$
           
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 construct_transcript_filename(SubLObject name)
          Adds on the directory and suffix to a transcript filename
static SubLObject declare_transcript_utilities_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_transcript_utilities_file()
           
static SubLObject initialize_transcript_handling()
          Initialize or reinitialize the handling of transcripts.
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject local_transcript_version()
           
static SubLObject local_transcript()
          Accessor for *local-transcript*.
static SubLObject make_local_transcript_filename(SubLObject version_number)
          Produces the base of a transcript filename based on the cyc-image-id and a version number
static SubLObject make_master_transcript_filename(SubLObject version)
           
static SubLObject mark_local_transcript(SubLObject mark)
          Modifies *local-transcript* by adding the mark into the name.
static SubLObject mark_transcript_filename(SubLObject transcript, SubLObject mark)
          Adds a tag to the transcript filename right before the .ts ending
static SubLObject master_transcript()
          Accessor for *master-transcript*.
static SubLObject new_local_transcript_int()
          Set *local-transcript* to a new file.
static SubLObject new_local_transcript()
          Clear local-operation-storage-queue and set *local-transcript* to a new file.
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject set_master_transcript_already_exists(SubLObject number)
           
static SubLObject set_master_transcript(SubLObject name)
           
static SubLObject set_read_transcript(SubLObject filename)
           
static SubLObject setup_transcript_utilities_file()
           
static SubLObject transcript_directory_int(SubLObject kb_number)
           
static SubLObject transcript_directory()
          Returns a relative pathname to the current transcript directory, creating it if necessary.
static SubLObject transcript_suffix()
           
 
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

$transcript_suffix$

public static SubLSymbol $transcript_suffix$

$master_transcript_already_exists$

public static SubLSymbol $master_transcript_already_exists$
Boolean: has the master transcript been accessed -- probed, touched, written to, or read from -- yet?


$local_transcript_version$

public static SubLSymbol $local_transcript_version$

$local_transcript_history$

public static SubLSymbol $local_transcript_history$

$local_hl_transcript_version$

public static SubLSymbol $local_hl_transcript_version$

$local_hl_transcript_history$

public static SubLSymbol $local_hl_transcript_history$

$read_transcript_position$

public static SubLSymbol $read_transcript_position$

$approx_chars_per_op$

public static SubLSymbol $approx_chars_per_op$

$local_transcript$

public static SubLSymbol $local_transcript$
A transcript containing operations from an individual Cyc image


$read_transcript$

public static SubLSymbol $read_transcript$
transcript file from which ops are currenlty being read.


$master_transcript$

public static SubLSymbol $master_transcript$
The master transcript file, containing operations from all communicating Cyc images.


$local_hl_transcript$

public static SubLSymbol $local_hl_transcript$
A hl-transcript containing operations from an individual Cyc image


$count_ops_table$

public static SubLSymbol $count_ops_table$

$kw0$IGNORE_ERRORS_TARGET

public static final SubLSymbol $kw0$IGNORE_ERRORS_TARGET

$sym1$IGNORE_ERRORS_HANDLER

public static final SubLSymbol $sym1$IGNORE_ERRORS_HANDLER

$str2$ts

public static final SubLString $str2$ts

$sym3$_LOCAL_TRANSCRIPT_VERSION_

public static final SubLSymbol $sym3$_LOCAL_TRANSCRIPT_VERSION_

$sym4$_LOCAL_TRANSCRIPT_HISTORY_

public static final SubLSymbol $sym4$_LOCAL_TRANSCRIPT_HISTORY_

$sym5$_LOCAL_HL_TRANSCRIPT_VERSION_

public static final SubLSymbol $sym5$_LOCAL_HL_TRANSCRIPT_VERSION_

$sym6$_LOCAL_HL_TRANSCRIPT_HISTORY_

public static final SubLSymbol $sym6$_LOCAL_HL_TRANSCRIPT_HISTORY_

$sym7$_READ_TRANSCRIPT_POSITION_

public static final SubLSymbol $sym7$_READ_TRANSCRIPT_POSITION_

$int8$206

public static final SubLInteger $int8$206

$sym9$_LOCAL_TRANSCRIPT_

public static final SubLSymbol $sym9$_LOCAL_TRANSCRIPT_

$str10$ROLLED

public static final SubLString $str10$ROLLED

$kw11$APPEND

public static final SubLSymbol $kw11$APPEND

$kw12$OUTPUT

public static final SubLSymbol $kw12$OUTPUT

$str13$Unable_to_open__S

public static final SubLString $str13$Unable_to_open__S

$str14$_s__

public static final SubLString $str14$_s__

$sym15$_READ_TRANSCRIPT_

public static final SubLSymbol $sym15$_READ_TRANSCRIPT_

$sym16$_MASTER_TRANSCRIPT_

public static final SubLSymbol $sym16$_MASTER_TRANSCRIPT_

$sym17$_LOCAL_HL_TRANSCRIPT_

public static final SubLSymbol $sym17$_LOCAL_HL_TRANSCRIPT_

$str18$cyc_kb__a

public static final SubLString $str18$cyc_kb__a

$str19$_a_local__a

public static final SubLString $str19$_a_local__a

$str20$_a_local_hl__a

public static final SubLString $str20$_a_local_hl__a

$str21$_

public static final SubLString $str21$_

$str22$transcripts

public static final SubLString $str22$transcripts

$str23$_4__0D

public static final SubLString $str23$_4__0D

$sym24$STRINGP

public static final SubLSymbol $sym24$STRINGP

$str25$_TS

public static final SubLString $str25$_TS

$str26$_

public static final SubLString $str26$_

$str27$_ts

public static final SubLString $str27$_ts

$sym28$_COUNT_OPS_TABLE_

public static final SubLSymbol $sym28$_COUNT_OPS_TABLE_

$sym29$CAR

public static final SubLSymbol $sym29$CAR

$kw30$INPUT

public static final SubLSymbol $kw30$INPUT

$kw31$EOF

public static final SubLSymbol $kw31$EOF

$int32$100000

public static final SubLInteger $int32$100000

$str33$_____s

public static final SubLString $str33$_____s

$str34$_s_is_not_a_stream_or_pathname_st

public static final SubLString $str34$_s_is_not_a_stream_or_pathname_st

$str35$__The_file__s_does_not_exist__or_

public static final SubLString $str35$__The_file__s_does_not_exist__or_

$str36$___s_is_not_a_pathname_string__or

public static final SubLString $str36$___s_is_not_a_pathname_string__or

$sym37$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym37$CATCH_ERROR_MESSAGE_HANDLER

$str38$Examining__A

public static final SubLString $str38$Examining__A

$list39

public static final SubLList $list39

$sym40$FI_CREATE

public static final SubLSymbol $sym40$FI_CREATE

$list41

public static final SubLList $list41

$sym42$FI_RENAME

public static final SubLSymbol $sym42$FI_RENAME

$list43

public static final SubLList $list43

$sym44$FI_KILL

public static final SubLSymbol $sym44$FI_KILL

$list45

public static final SubLList $list45

$str46$____Transcript____S

public static final SubLString $str46$____Transcript____S

$str47$______Examined______A

public static final SubLString $str47$______Examined______A

$str48$______Total_Ops_____S

public static final SubLString $str48$______Total_Ops_____S

$str49$______error_during_transcript_ana

public static final SubLString $str49$______error_during_transcript_ana

$str50$___A

public static final SubLString $str50$___A

$list51

public static final SubLList $list51

$str52$_______S_KILLED

public static final SubLString $str52$_______S_KILLED

$list53

public static final SubLList $list53

$str54$__EXTERNAL_ID__S____A_by__A_at__A

public static final SubLString $str54$__EXTERNAL_ID__S____A_by__A_at__A

$str55$_______S_RENAMED

public static final SubLString $str55$_______S_RENAMED

$list56

public static final SubLList $list56

$str57$__EXTERNAL_ID__S____A_to__A_by__A

public static final SubLString $str57$__EXTERNAL_ID__S____A_to__A_by__A

$str58$_______S_CREATED

public static final SubLString $str58$_______S_CREATED

$sym59$_TRANSCRIPT_RENAME_HASH_

public static final SubLSymbol $sym59$_TRANSCRIPT_RENAME_HASH_

$int60$100

public static final SubLInteger $int60$100

$sym61$_

public static final SubLSymbol $sym61$_

$sym62$FIRST

public static final SubLSymbol $sym62$FIRST

$sym63$_TRANSCRIPT_CREATE_HASH_

public static final SubLSymbol $sym63$_TRANSCRIPT_CREATE_HASH_

$str64$transcript_file_not_found

public static final SubLString $str64$transcript_file_not_found

$str65$_A__

public static final SubLString $str65$_A__

$sym66$WRITE_SPECIFIC_TRANSCRIPT_FILE_AS_KE_TEXT

public static final SubLSymbol $sym66$WRITE_SPECIFIC_TRANSCRIPT_FILE_AS_KE_TEXT

$list67

public static final SubLList $list67

$str68$Generate_a_KE_Text_file_from_a_tr

public static final SubLString $str68$Generate_a_KE_Text_file_from_a_tr

$list69

public static final SubLList $list69

$kw70$ENTER

public static final SubLSymbol $kw70$ENTER

$sym71$FI_FIND_OR_CREATE

public static final SubLSymbol $sym71$FI_FIND_OR_CREATE

$str72$

public static final SubLString $str72$

$str73$Constant__

public static final SubLString $str73$Constant__

$list74

public static final SubLList $list74

$str75$Rename__

public static final SubLString $str75$Rename__

$str76$_

public static final SubLString $str76$_

$sym77$FI_MERGE

public static final SubLSymbol $sym77$FI_MERGE

$list78

public static final SubLList $list78

$str79$Merge__

public static final SubLString $str79$Merge__

$str80$Kill__

public static final SubLString $str80$Kill__

$sym81$FI_ASSERT

public static final SubLSymbol $sym81$FI_ASSERT

$sym82$FI_REASSERT

public static final SubLSymbol $sym82$FI_REASSERT

$sym83$FI_UNASSERT

public static final SubLSymbol $sym83$FI_UNASSERT

$sym84$FI_BLAST

public static final SubLSymbol $sym84$FI_BLAST

$str85$Enter_

public static final SubLString $str85$Enter_

$str86$___The_following_assertion_simula

public static final SubLString $str86$___The_following_assertion_simula

$kw87$DELETE

public static final SubLSymbol $kw87$DELETE

$str88$Delete_

public static final SubLString $str88$Delete_

$kw89$BLAST

public static final SubLSymbol $kw89$BLAST

$str90$Delete_____Simulate_an_fi_blast_

public static final SubLString $str90$Delete_____Simulate_an_fi_blast_

$str91$In_Mt__

public static final SubLString $str91$In_Mt__

$kw92$UNKNOWN

public static final SubLSymbol $kw92$UNKNOWN

$str93$Truth_Value___unknown_

public static final SubLString $str93$Truth_Value___unknown_

$const94$DefaultMonotonicPredicate

public static final SubLObject $const94$DefaultMonotonicPredicate

$kw95$DEFAULT

public static final SubLSymbol $kw95$DEFAULT

$str96$Truth_Value___default_

public static final SubLString $str96$Truth_Value___default_

$kw97$MONOTONIC

public static final SubLSymbol $kw97$MONOTONIC

$str98$Truth_Value___monotonic_

public static final SubLString $str98$Truth_Value___monotonic_

$kw99$FORWARD

public static final SubLSymbol $kw99$FORWARD

$str100$Direction___forward_

public static final SubLString $str100$Direction___forward_

$kw101$BACKWARD

public static final SubLSymbol $kw101$BACKWARD

$str102$Direction___backward_

public static final SubLString $str102$Direction___backward_

$kw103$CODE

public static final SubLSymbol $kw103$CODE

$str104$Direction___code_

public static final SubLString $str104$Direction___code_

$str105$_A___A_

public static final SubLString $str105$_A___A_

$str106$f___A_

public static final SubLString $str106$f___A_

$sym107$FI_TIMESTAMP_ASSERTION

public static final SubLSymbol $sym107$FI_TIMESTAMP_ASSERTION

$sym108$FI_TIMESTAMP_CONSTANT

public static final SubLSymbol $sym108$FI_TIMESTAMP_CONSTANT

$sym109$FI_CREATE_SKOLEM

public static final SubLSymbol $sym109$FI_CREATE_SKOLEM

$str110$___This_skolem_creation_should_be

public static final SubLString $str110$___This_skolem_creation_should_be

$str111$____A

public static final SubLString $str111$____A

$str112$___Don_t_know_how_convert_next_li

public static final SubLString $str112$___Don_t_know_how_convert_next_li

$str113$Internal_Error___A

public static final SubLString $str113$Internal_Error___A

$str114$_

public static final SubLString $str114$_

$str115$_

public static final SubLString $str115$_

$kw116$HP

public static final SubLSymbol $kw116$HP

$kw117$NAT

public static final SubLSymbol $kw117$NAT

$str118$_

public static final SubLString $str118$_

$str119$___

public static final SubLString $str119$___

$str120$_

public static final SubLString $str120$_

$sym121$CCONCATENATE

public static final SubLSymbol $sym121$CCONCATENATE

$str122$_

public static final SubLString $str122$_

$str123$__

public static final SubLString $str123$__

$str124$___

public static final SubLString $str124$___
Method Detail

initialize_transcript_handling

public static final SubLObject initialize_transcript_handling()
Initialize or reinitialize the handling of transcripts.


mark_local_transcript

public static final SubLObject mark_local_transcript(SubLObject mark)
Modifies *local-transcript* by adding the mark into the name. If the file exists on disk, then rename the file to the new name.


mark_transcript_filename

public static final SubLObject mark_transcript_filename(SubLObject transcript,
                                                        SubLObject mark)
Adds a tag to the transcript filename right before the .ts ending


transcript_suffix

public static final SubLObject transcript_suffix()

set_master_transcript_already_exists

public static final SubLObject set_master_transcript_already_exists(SubLObject number)

local_transcript_version

public static final SubLObject local_transcript_version()

local_transcript

public static final SubLObject local_transcript()
Accessor for *local-transcript*.


new_local_transcript

public static final SubLObject new_local_transcript()
Clear local-operation-storage-queue and set *local-transcript* to a new file.


new_local_transcript_int

public static final SubLObject new_local_transcript_int()
Set *local-transcript* to a new file.


set_read_transcript

public static final SubLObject set_read_transcript(SubLObject filename)

master_transcript

public static final SubLObject master_transcript()
Accessor for *master-transcript*.


set_master_transcript

public static final SubLObject set_master_transcript(SubLObject name)

make_master_transcript_filename

public static final SubLObject make_master_transcript_filename(SubLObject version)

make_local_transcript_filename

public static final SubLObject make_local_transcript_filename(SubLObject version_number)
Produces the base of a transcript filename based on the cyc-image-id and a version number


construct_transcript_filename

public static final SubLObject construct_transcript_filename(SubLObject name)
Adds on the directory and suffix to a transcript filename


transcript_directory

public static final SubLObject transcript_directory()
Returns a relative pathname to the current transcript directory, creating it if necessary.


transcript_directory_int

public static final SubLObject transcript_directory_int(SubLObject kb_number)

declare_transcript_utilities_file

public static final SubLObject declare_transcript_utilities_file()

init_transcript_utilities_file

public static final SubLObject init_transcript_utilities_file()

setup_transcript_utilities_file

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