|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.transcript_utilities
public final class transcript_utilities
Nested Class Summary |
---|
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile |
---|
SubLTranslatedFile.SubL |
Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile |
---|
EMPTY_SUBL_OBJECT_ARRAY |
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 |
---|
public static final SubLFile me
public static final java.lang.String myName
public static SubLSymbol $transcript_suffix$
public static SubLSymbol $master_transcript_already_exists$
public static SubLSymbol $local_transcript_version$
public static SubLSymbol $local_transcript_history$
public static SubLSymbol $local_hl_transcript_version$
public static SubLSymbol $local_hl_transcript_history$
public static SubLSymbol $read_transcript_position$
public static SubLSymbol $approx_chars_per_op$
public static SubLSymbol $local_transcript$
public static SubLSymbol $read_transcript$
public static SubLSymbol $master_transcript$
public static SubLSymbol $local_hl_transcript$
public static SubLSymbol $count_ops_table$
public static final SubLSymbol $kw0$IGNORE_ERRORS_TARGET
public static final SubLSymbol $sym1$IGNORE_ERRORS_HANDLER
public static final SubLString $str2$ts
public static final SubLSymbol $sym3$_LOCAL_TRANSCRIPT_VERSION_
public static final SubLSymbol $sym4$_LOCAL_TRANSCRIPT_HISTORY_
public static final SubLSymbol $sym5$_LOCAL_HL_TRANSCRIPT_VERSION_
public static final SubLSymbol $sym6$_LOCAL_HL_TRANSCRIPT_HISTORY_
public static final SubLSymbol $sym7$_READ_TRANSCRIPT_POSITION_
public static final SubLInteger $int8$206
public static final SubLSymbol $sym9$_LOCAL_TRANSCRIPT_
public static final SubLString $str10$ROLLED
public static final SubLSymbol $kw11$APPEND
public static final SubLSymbol $kw12$OUTPUT
public static final SubLString $str13$Unable_to_open__S
public static final SubLString $str14$_s__
public static final SubLSymbol $sym15$_READ_TRANSCRIPT_
public static final SubLSymbol $sym16$_MASTER_TRANSCRIPT_
public static final SubLSymbol $sym17$_LOCAL_HL_TRANSCRIPT_
public static final SubLString $str18$cyc_kb__a
public static final SubLString $str19$_a_local__a
public static final SubLString $str20$_a_local_hl__a
public static final SubLString $str21$_
public static final SubLString $str22$transcripts
public static final SubLString $str23$_4__0D
public static final SubLSymbol $sym24$STRINGP
public static final SubLString $str25$_TS
public static final SubLString $str26$_
public static final SubLString $str27$_ts
public static final SubLSymbol $sym28$_COUNT_OPS_TABLE_
public static final SubLSymbol $sym29$CAR
public static final SubLSymbol $kw30$INPUT
public static final SubLSymbol $kw31$EOF
public static final SubLInteger $int32$100000
public static final SubLString $str33$_____s
public static final SubLString $str34$_s_is_not_a_stream_or_pathname_st
public static final SubLString $str35$__The_file__s_does_not_exist__or_
public static final SubLString $str36$___s_is_not_a_pathname_string__or
public static final SubLSymbol $sym37$CATCH_ERROR_MESSAGE_HANDLER
public static final SubLString $str38$Examining__A
public static final SubLList $list39
public static final SubLSymbol $sym40$FI_CREATE
public static final SubLList $list41
public static final SubLSymbol $sym42$FI_RENAME
public static final SubLList $list43
public static final SubLSymbol $sym44$FI_KILL
public static final SubLList $list45
public static final SubLString $str46$____Transcript____S
public static final SubLString $str47$______Examined______A
public static final SubLString $str48$______Total_Ops_____S
public static final SubLString $str49$______error_during_transcript_ana
public static final SubLString $str50$___A
public static final SubLList $list51
public static final SubLString $str52$_______S_KILLED
public static final SubLList $list53
public static final SubLString $str54$__EXTERNAL_ID__S____A_by__A_at__A
public static final SubLString $str55$_______S_RENAMED
public static final SubLList $list56
public static final SubLString $str57$__EXTERNAL_ID__S____A_to__A_by__A
public static final SubLString $str58$_______S_CREATED
public static final SubLSymbol $sym59$_TRANSCRIPT_RENAME_HASH_
public static final SubLInteger $int60$100
public static final SubLSymbol $sym61$_
public static final SubLSymbol $sym62$FIRST
public static final SubLSymbol $sym63$_TRANSCRIPT_CREATE_HASH_
public static final SubLString $str64$transcript_file_not_found
public static final SubLString $str65$_A__
public static final SubLSymbol $sym66$WRITE_SPECIFIC_TRANSCRIPT_FILE_AS_KE_TEXT
public static final SubLList $list67
public static final SubLString $str68$Generate_a_KE_Text_file_from_a_tr
public static final SubLList $list69
public static final SubLSymbol $kw70$ENTER
public static final SubLSymbol $sym71$FI_FIND_OR_CREATE
public static final SubLString $str72$
public static final SubLString $str73$Constant__
public static final SubLList $list74
public static final SubLString $str75$Rename__
public static final SubLString $str76$_
public static final SubLSymbol $sym77$FI_MERGE
public static final SubLList $list78
public static final SubLString $str79$Merge__
public static final SubLString $str80$Kill__
public static final SubLSymbol $sym81$FI_ASSERT
public static final SubLSymbol $sym82$FI_REASSERT
public static final SubLSymbol $sym83$FI_UNASSERT
public static final SubLSymbol $sym84$FI_BLAST
public static final SubLString $str85$Enter_
public static final SubLString $str86$___The_following_assertion_simula
public static final SubLSymbol $kw87$DELETE
public static final SubLString $str88$Delete_
public static final SubLSymbol $kw89$BLAST
public static final SubLString $str90$Delete_____Simulate_an_fi_blast_
public static final SubLString $str91$In_Mt__
public static final SubLSymbol $kw92$UNKNOWN
public static final SubLString $str93$Truth_Value___unknown_
public static final SubLObject $const94$DefaultMonotonicPredicate
public static final SubLSymbol $kw95$DEFAULT
public static final SubLString $str96$Truth_Value___default_
public static final SubLSymbol $kw97$MONOTONIC
public static final SubLString $str98$Truth_Value___monotonic_
public static final SubLSymbol $kw99$FORWARD
public static final SubLString $str100$Direction___forward_
public static final SubLSymbol $kw101$BACKWARD
public static final SubLString $str102$Direction___backward_
public static final SubLSymbol $kw103$CODE
public static final SubLString $str104$Direction___code_
public static final SubLString $str105$_A___A_
public static final SubLString $str106$f___A_
public static final SubLSymbol $sym107$FI_TIMESTAMP_ASSERTION
public static final SubLSymbol $sym108$FI_TIMESTAMP_CONSTANT
public static final SubLSymbol $sym109$FI_CREATE_SKOLEM
public static final SubLString $str110$___This_skolem_creation_should_be
public static final SubLString $str111$____A
public static final SubLString $str112$___Don_t_know_how_convert_next_li
public static final SubLString $str113$Internal_Error___A
public static final SubLString $str114$_
public static final SubLString $str115$_
public static final SubLSymbol $kw116$HP
public static final SubLSymbol $kw117$NAT
public static final SubLString $str118$_
public static final SubLString $str119$___
public static final SubLString $str120$_
public static final SubLSymbol $sym121$CCONCATENATE
public static final SubLString $str122$_
public static final SubLString $str123$__
public static final SubLString $str124$___
Method Detail |
---|
public static final SubLObject initialize_transcript_handling()
public static final SubLObject mark_local_transcript(SubLObject mark)
public static final SubLObject mark_transcript_filename(SubLObject transcript, SubLObject mark)
public static final SubLObject transcript_suffix()
public static final SubLObject set_master_transcript_already_exists(SubLObject number)
public static final SubLObject local_transcript_version()
public static final SubLObject local_transcript()
public static final SubLObject new_local_transcript()
public static final SubLObject new_local_transcript_int()
public static final SubLObject set_read_transcript(SubLObject filename)
public static final SubLObject master_transcript()
public static final SubLObject set_master_transcript(SubLObject name)
public static final SubLObject make_master_transcript_filename(SubLObject version)
public static final SubLObject make_local_transcript_filename(SubLObject version_number)
public static final SubLObject construct_transcript_filename(SubLObject name)
public static final SubLObject transcript_directory()
public static final SubLObject transcript_directory_int(SubLObject kb_number)
public static final SubLObject declare_transcript_utilities_file()
public static final SubLObject init_transcript_utilities_file()
public static final SubLObject setup_transcript_utilities_file()
public void declareFunctions()
SubLFile
public void initializeVariables()
SubLFile
public void runTopLevelForms()
SubLFile
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |