|
||||||||||
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.forts
public final class forts
Nested Class Summary | |
---|---|
static class |
forts.$fort_id_index_native
|
static class |
forts.$fort_id_index_p$UnaryFunction
|
static class |
forts.$fort_internal_id$UnaryFunction
|
static class |
forts.$fort_p$UnaryFunction
|
static class |
forts.$invalid_fortP$UnaryFunction
|
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 |
_csetf_fort_id_index_constants(SubLObject object,
SubLObject value)
|
static SubLObject |
_csetf_fort_id_index_narts(SubLObject object,
SubLObject value)
|
static SubLObject |
cfasl_input_fort_id_index(SubLObject stream)
|
static SubLObject |
cfasl_output_object_fort_id_index_method(SubLObject object,
SubLObject stream)
|
static SubLObject |
declare_forts_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named functions defined in the file. |
static SubLObject |
fort_count()
Return the total number of FORTs. |
static SubLObject |
fort_id_index_constants(SubLObject object)
|
static SubLObject |
fort_id_index_enter(SubLObject fort_id_index,
SubLObject fort,
SubLObject object)
Modifier. |
static SubLObject |
fort_id_index_lookup(SubLObject fort_id_index,
SubLObject fort)
Accessor. |
static SubLObject |
fort_id_index_print_function_trampoline(SubLObject object,
SubLObject stream)
|
static SubLObject |
fort_id_index_remove(SubLObject fort_id_index,
SubLObject fort)
Modifier. |
static SubLObject |
fort_p(SubLObject object)
Return T iff OBJECT is a first order reified term (FORT). |
static SubLObject |
init_forts_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables for constants defined in the file. |
static SubLObject |
make_fort_id_index(SubLObject arglist)
|
static SubLObject |
new_fort_id_index_constants()
|
static SubLObject |
new_fort_id_index_narts()
|
static SubLObject |
new_fort_id_index()
Constructor. |
static SubLObject |
non_fort_p(SubLObject object)
|
static SubLObject |
remove_fort(SubLObject fort)
Remove FORT from the KB. |
static SubLObject |
reset_fort_index(SubLObject fort,
SubLObject new_index)
Primitively change the assertion index for FORT to NEW-INDEX. |
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
setup_forts_file()
|
static SubLObject |
valid_fortP(SubLObject fort)
Return T if FORT is a valid FORT. |
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 $dtp_fort_id_index$
public static final SubLSymbol $sym0$FORT_P
public static final SubLList $list1
public static final SubLString $str2$Return_T_iff_OBJECT_is_a_first_or
public static final SubLList $list3
public static final SubLSymbol $sym4$FORT_EL_FORMULA
public static final SubLList $list5
public static final SubLString $str6$Return_the_EL_formula_for_any_FOR
public static final SubLList $list7
public static final SubLList $list8
public static final SubLList $list9
public static final SubLString $str10$mapping_Cyc_FORTs
public static final SubLList $list11
public static final SubLSymbol $kw12$ALLOW_OTHER_KEYS
public static final SubLSymbol $kw13$DONE
public static final SubLSymbol $sym14$TABLE_VAR
public static final SubLSymbol $sym15$DO_LIST
public static final SubLList $list16
public static final SubLSymbol $sym17$DO_KB_SUID_TABLE
public static final SubLSymbol $kw18$PROGRESS_MESSAGE
public static final SubLSymbol $sym19$MESSAGE
public static final SubLSymbol $sym20$TOTAL
public static final SubLSymbol $sym21$SOFAR
public static final SubLSymbol $sym22$CLET
public static final SubLList $list23
public static final SubLList $list24
public static final SubLSymbol $sym25$NOTING_PERCENT_PROGRESS
public static final SubLSymbol $sym26$DO_FORTS
public static final SubLSymbol $sym27$CINC
public static final SubLSymbol $sym28$NOTE_PERCENT_PROGRESS
public static final SubLString $str29$Iterate_over_all_HL_FORT_datastru
public static final SubLSymbol $sym30$DO_FORTS_TABLES
public static final SubLSymbol $sym31$FORT_COUNT
public static final SubLString $str32$Return_the_total_number_of_FORTs_
public static final SubLList $list33
public static final SubLString $str34$_S_was_not_a_FORT
public static final SubLSymbol $sym35$REMOVE_FORT
public static final SubLString $str36$Remove_FORT_from_the_KB_
public static final SubLList $list37
public static final SubLSymbol $sym38$FORT_ID_INDEX
public static final SubLSymbol $sym39$FORT_ID_INDEX_P
public static final SubLList $list40
public static final SubLList $list41
public static final SubLList $list42
public static final SubLList $list43
public static final SubLSymbol $sym44$PRINT_FORT_ID_INDEX
public static final SubLSymbol $sym45$FORT_ID_INDEX_PRINT_FUNCTION_TRAMPOLINE
public static final SubLSymbol $sym46$FORT_ID_INDEX_CONSTANTS
public static final SubLSymbol $sym47$_CSETF_FORT_ID_INDEX_CONSTANTS
public static final SubLSymbol $sym48$FORT_ID_INDEX_NARTS
public static final SubLSymbol $sym49$_CSETF_FORT_ID_INDEX_NARTS
public static final SubLSymbol $kw50$CONSTANTS
public static final SubLSymbol $kw51$NARTS
public static final SubLString $str52$Invalid_slot__S_for_construction_
public static final SubLString $str53$__
public static final SubLSymbol $kw54$STREAM
public static final SubLString $str55$Constant_Index_
public static final SubLString $str56$Nart_Index_
public static final SubLSymbol $kw57$BASE
public static final SubLList $list58
public static final SubLSymbol $sym59$PROGN
public static final SubLSymbol $sym60$CHECK_TYPE
public static final SubLList $list61
public static final SubLList $list62
public static final SubLSymbol $sym63$PWHEN
public static final SubLSymbol $sym64$VALID_FORT_
public static final SubLSymbol $sym65$FIF
public static final SubLSymbol $sym66$CONSTANT_P
public static final SubLSymbol $sym67$CONSTANT_INTERNAL_ID
public static final SubLSymbol $sym68$NART_ID
public static final SubLList $list69
public static final SubLSymbol $sym70$FII
public static final SubLSymbol $sym71$DO_FORT_ID_INDEX_CONSTANTS
public static final SubLSymbol $sym72$DO_FORT_ID_INDEX_NARTS
public static final SubLSymbol $sym73$DO_FORT_ID_INDEX
public static final SubLList $list74
public static final SubLSymbol $sym75$ID
public static final SubLSymbol $sym76$DO_ID_INDEX
public static final SubLSymbol $sym77$DO_FII_GET_CONSTANTS
public static final SubLSymbol $sym78$FIND_CONSTANT_BY_INTERNAL_ID
public static final SubLList $list79
public static final SubLSymbol $sym80$ID
public static final SubLSymbol $sym81$DO_FII_GET_NARTS
public static final SubLSymbol $sym82$FIND_NART_BY_ID
public static final SubLInteger $int83$99
public static final SubLSymbol $sym84$CFASL_INPUT_FORT_ID_INDEX
public static final SubLSymbol $sym85$CFASL_OUTPUT_OBJECT_FORT_ID_INDEX_METHOD
public static final SubLSymbol $kw86$SKIP
public static final SubLString $str87$Checking_that_forts_iterators_wor
public static final SubLSymbol $kw88$EXHAUSTED
public static final SubLSymbol $sym89$_EXIT
public static final SubLSymbol $kw90$ERROR
public static final SubLString $str91$FORTS_ITERATOR_exhausted_before_D
public static final SubLSymbol $kw92$INDEX
public static final SubLString $str93$FORTS_ITERATOR_returned_non_fort_
public static final SubLSymbol $kw94$CANDIDATE
public static final SubLString $str95$FORTS_ITERATOR_and_DO_FORTS_diffe
public static final SubLSymbol $kw96$FORT
public static final SubLString $str97$The_FORTS_iterator_has_more_value
Method Detail |
---|
public static final SubLObject fort_p(SubLObject object)
public static final SubLObject non_fort_p(SubLObject object)
public static final SubLObject fort_count()
public static final SubLObject reset_fort_index(SubLObject fort, SubLObject new_index)
public static final SubLObject valid_fortP(SubLObject fort)
public static final SubLObject remove_fort(SubLObject fort)
public static final SubLObject fort_id_index_print_function_trampoline(SubLObject object, SubLObject stream)
public static final SubLObject fort_id_index_constants(SubLObject object)
public static final SubLObject _csetf_fort_id_index_constants(SubLObject object, SubLObject value)
public static final SubLObject _csetf_fort_id_index_narts(SubLObject object, SubLObject value)
public static final SubLObject make_fort_id_index(SubLObject arglist)
public static final SubLObject new_fort_id_index()
public static final SubLObject fort_id_index_lookup(SubLObject fort_id_index, SubLObject fort)
public static final SubLObject fort_id_index_enter(SubLObject fort_id_index, SubLObject fort, SubLObject object)
public static final SubLObject fort_id_index_remove(SubLObject fort_id_index, SubLObject fort)
public static final SubLObject new_fort_id_index_constants()
public static final SubLObject new_fort_id_index_narts()
public static final SubLObject cfasl_output_object_fort_id_index_method(SubLObject object, SubLObject stream)
public static final SubLObject cfasl_input_fort_id_index(SubLObject stream)
public static final SubLObject declare_forts_file()
public static final SubLObject init_forts_file()
public static final SubLObject setup_forts_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 |