com.cyc.cycjava.cycl
Class cfasl_kb_methods

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class cfasl_kb_methods
extends SubLTranslatedFile

Nested Class Summary

static class	cfasl_kb_methods.$cfasl_input_assertion$UnaryFunction
static class	cfasl_kb_methods.$cfasl_input_clause_struc$UnaryFunction
static class	cfasl_kb_methods.$cfasl_input_constant$UnaryFunction
static class	cfasl_kb_methods.$cfasl_input_deduction$UnaryFunction
static class	cfasl_kb_methods.$cfasl_input_hl_end$UnaryFunction
static class	cfasl_kb_methods.$cfasl_input_hl_start$UnaryFunction
static class	cfasl_kb_methods.$cfasl_input_kb_hl_support$UnaryFunction
static class	cfasl_kb_methods.$cfasl_input_nart$UnaryFunction
static class	cfasl_kb_methods.$cfasl_input_sbhl_directed_link$UnaryFunction
static class	cfasl_kb_methods.$cfasl_input_sbhl_undirected_link$UnaryFunction
static class	cfasl_kb_methods.$cfasl_input_variable$UnaryFunction

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$cfasl_externalized_constant_exceptions$ A set of constants for which is it OK to output as an internal handle rather than as an external recipe.
static SubLInteger	$int13$31
static SubLInteger	$int21$33
static SubLInteger	$int29$36
static SubLInteger	$int3$30
static SubLInteger	$int37$37
static SubLInteger	$int45$38
static SubLInteger	$int5$32
static SubLInteger	$int53$40
static SubLInteger	$int55$42
static SubLInteger	$int59$90
static SubLInteger	$int62$91
static SubLInteger	$int64$94
static SubLInteger	$int66$95
static SubLSymbol	$kw69$TEST
static SubLSymbol	$kw70$OWNER
static SubLSymbol	$kw71$CLASSES
static SubLSymbol	$kw72$KB
static SubLSymbol	$kw73$TINY
static SubLSymbol	$kw74$WORKING_
static SubLList	$list0
static SubLList	$list75
static SubLList	$list77
static SubLSymbol	$sym1$CLET
static SubLSymbol	$sym10$CONSTANT_DUMP_ID
static SubLSymbol	$sym11$FIND_CONSTANT_BY_INTERNAL_ID
static SubLSymbol	$sym12$FIND_CONSTANT_BY_DUMP_ID
static SubLSymbol	$sym14$CFASL_INPUT_NART
static SubLSymbol	$sym15$CFASL_OUTPUT_OBJECT_NART_METHOD
static SubLSymbol	$sym16$_SAMPLE_INVALID_NART_
static SubLSymbol	$sym17$NART_ID
static SubLSymbol	$sym18$NART_DUMP_ID
static SubLSymbol	$sym19$FIND_NART_BY_ID
static SubLSymbol	$sym2$_CFASL_EXTERNALIZED_CONSTANT_EXCEPTIONS_
static SubLSymbol	$sym20$FIND_NART_BY_DUMP_ID
static SubLSymbol	$sym22$CFASL_INPUT_ASSERTION
static SubLSymbol	$sym23$CFASL_OUTPUT_OBJECT_ASSERTION_METHOD
static SubLSymbol	$sym24$_SAMPLE_INVALID_ASSERTION_
static SubLSymbol	$sym25$ASSERTION_ID
static SubLSymbol	$sym26$ASSERTION_DUMP_ID
static SubLSymbol	$sym27$FIND_ASSERTION_BY_ID
static SubLSymbol	$sym28$FIND_ASSERTION_BY_DUMP_ID
static SubLSymbol	$sym30$CFASL_INPUT_DEDUCTION
static SubLSymbol	$sym31$CFASL_OUTPUT_OBJECT_DEDUCTION_METHOD
static SubLSymbol	$sym32$_SAMPLE_INVALID_DEDUCTION_
static SubLSymbol	$sym33$DEDUCTION_ID
static SubLSymbol	$sym34$DEDUCTION_DUMP_ID
static SubLSymbol	$sym35$FIND_DEDUCTION_BY_ID
static SubLSymbol	$sym36$FIND_DEDUCTION_BY_DUMP_ID
static SubLSymbol	$sym38$CFASL_INPUT_KB_HL_SUPPORT
static SubLSymbol	$sym39$CFASL_OUTPUT_OBJECT_KB_HL_SUPPORT_METHOD
static SubLSymbol	$sym4$CFASL_INPUT_CONSTANT
static SubLSymbol	$sym40$_SAMPLE_INVALID_KB_HL_SUPPORT_
static SubLSymbol	$sym41$KB_HL_SUPPORT_ID
static SubLSymbol	$sym42$KB_HL_SUPPORT_DUMP_ID
static SubLSymbol	$sym43$FIND_KB_HL_SUPPORT_BY_ID
static SubLSymbol	$sym44$FIND_KB_HL_SUPPORT_BY_DUMP_ID
static SubLSymbol	$sym46$CFASL_INPUT_CLAUSE_STRUC
static SubLSymbol	$sym47$CFASL_OUTPUT_OBJECT_CLAUSE_STRUC_METHOD
static SubLSymbol	$sym48$_SAMPLE_INVALID_CLAUSE_STRUC_
static SubLSymbol	$sym49$CLAUSE_STRUC_ID
static SubLSymbol	$sym50$CLAUSE_STRUC_DUMP_ID
static SubLSymbol	$sym51$FIND_CLAUSE_STRUC_BY_ID
static SubLSymbol	$sym52$FIND_CLAUSE_STRUC_BY_DUMP_ID
static SubLSymbol	$sym54$CFASL_INPUT_VARIABLE
static SubLSymbol	$sym56$CFASL_INPUT_COMPLETE_VARIABLE
static SubLSymbol	$sym57$CFASL_OUTPUT_OBJECT_VARIABLE_METHOD
static SubLSymbol	$sym58$CFASL_OUTPUT_OBJECT_SBHL_DIRECTED_LINK_METHOD
static SubLSymbol	$sym6$CFASL_INPUT_COMPLETE_CONSTANT
static SubLSymbol	$sym60$CFASL_INPUT_SBHL_DIRECTED_LINK
static SubLSymbol	$sym61$CFASL_OUTPUT_OBJECT_SBHL_UNDIRECTED_LINK_METHOD
static SubLSymbol	$sym63$CFASL_INPUT_SBHL_UNDIRECTED_LINK
static SubLSymbol	$sym65$CFASL_INPUT_HL_START
static SubLSymbol	$sym67$CFASL_INPUT_HL_END
static SubLSymbol	$sym68$CFASL_ENCODE
static SubLSymbol	$sym7$CFASL_OUTPUT_OBJECT_CONSTANT_METHOD
static SubLSymbol	$sym76$CFASL_DECODE
static SubLSymbol	$sym8$_SAMPLE_INVALID_CONSTANT_
static SubLSymbol	$sym9$CONSTANT_INTERNAL_ID
static SubLSymbol	$within_complete_cfasl_objects$
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	cfasl_assertion_handle_lookup(SubLObject id)
static SubLObject	cfasl_clause_struc_handle_lookup(SubLObject id)
static SubLObject	cfasl_constant_handle_lookup(SubLObject id)
static SubLObject	cfasl_deduction_handle_lookup(SubLObject id)
static SubLObject	cfasl_externalized_constant_exception_p(SubLObject constant)
static SubLObject	cfasl_input_assertion_handle(SubLObject stream)
static SubLObject	cfasl_input_assertion(SubLObject stream)
static SubLObject	cfasl_input_clause_struc_handle(SubLObject stream)
static SubLObject	cfasl_input_clause_struc(SubLObject stream)
static SubLObject	cfasl_input_complete_constant(SubLObject stream) Input the complete CFASL constant, assuming within-cfasl-externalization-p, and ignoring the constant name.
static SubLObject	cfasl_input_constant_handle(SubLObject stream)
static SubLObject	cfasl_input_constant_recipe(SubLObject stream)
static SubLObject	cfasl_input_constant(SubLObject stream)
static SubLObject	cfasl_input_deduction_handle(SubLObject stream)
static SubLObject	cfasl_input_deduction(SubLObject stream)
static SubLObject	cfasl_input_kb_hl_support_handle(SubLObject stream)
static SubLObject	cfasl_input_kb_hl_support(SubLObject stream)
static SubLObject	cfasl_input_nart_handle(SubLObject stream)
static SubLObject	cfasl_input_nart(SubLObject stream)
static SubLObject	cfasl_input_sbhl_directed_link(SubLObject stream)
static SubLObject	cfasl_input_sbhl_undirected_link(SubLObject stream)
static SubLObject	cfasl_input_variable(SubLObject stream)
static SubLObject	cfasl_invalid_constant()
static SubLObject	cfasl_kb_hl_support_handle_lookup(SubLObject id)
static SubLObject	cfasl_nart_handle_lookup(SubLObject id)
static SubLObject	cfasl_output_constant_recipe(SubLObject constant, SubLObject stream)
static SubLObject	cfasl_output_constant(SubLObject constant, SubLObject stream)
static SubLObject	cfasl_output_object_assertion_method(SubLObject object, SubLObject stream)
static SubLObject	cfasl_output_object_clause_struc_method(SubLObject object, SubLObject stream)
static SubLObject	cfasl_output_object_constant_method(SubLObject object, SubLObject stream)
static SubLObject	cfasl_output_object_deduction_method(SubLObject object, SubLObject stream)
static SubLObject	cfasl_output_object_kb_hl_support_method(SubLObject object, SubLObject stream)
static SubLObject	cfasl_output_object_nart_method(SubLObject object, SubLObject stream)
static SubLObject	cfasl_output_object_sbhl_directed_link_method(SubLObject object, SubLObject stream)
static SubLObject	cfasl_output_object_sbhl_undirected_link_method(SubLObject object, SubLObject stream)
static SubLObject	cfasl_output_object_variable_method(SubLObject object, SubLObject stream)
static SubLObject	declare_cfasl_kb_methods_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_cfasl_kb_methods_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_cfasl_kb_methods_file()
static SubLObject	within_complete_cfasl_objects_p() Return T iff we are assuming complete CFASL constants (having guid and name) and complete variables (having only a name).

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

$within_complete_cfasl_objects$

public static SubLSymbol $within_complete_cfasl_objects$

$cfasl_externalized_constant_exceptions$

public static SubLSymbol $cfasl_externalized_constant_exceptions$

A set of constants for which is it OK to output as an internal handle rather than as an external recipe.

$list0

public static final SubLList $list0

$sym1$CLET

public static final SubLSymbol $sym1$CLET

$sym2$_CFASL_EXTERNALIZED_CONSTANT_EXCEPTIONS_

public static final SubLSymbol $sym2$_CFASL_EXTERNALIZED_CONSTANT_EXCEPTIONS_

$int3$30

public static final SubLInteger $int3$30

$sym4$CFASL_INPUT_CONSTANT

public static final SubLSymbol $sym4$CFASL_INPUT_CONSTANT

$int5$32

public static final SubLInteger $int5$32

$sym6$CFASL_INPUT_COMPLETE_CONSTANT

public static final SubLSymbol $sym6$CFASL_INPUT_COMPLETE_CONSTANT

$sym7$CFASL_OUTPUT_OBJECT_CONSTANT_METHOD

public static final SubLSymbol $sym7$CFASL_OUTPUT_OBJECT_CONSTANT_METHOD

$sym8$_SAMPLE_INVALID_CONSTANT_

public static final SubLSymbol $sym8$_SAMPLE_INVALID_CONSTANT_

$sym9$CONSTANT_INTERNAL_ID

public static final SubLSymbol $sym9$CONSTANT_INTERNAL_ID

$sym10$CONSTANT_DUMP_ID

public static final SubLSymbol $sym10$CONSTANT_DUMP_ID

$sym11$FIND_CONSTANT_BY_INTERNAL_ID

public static final SubLSymbol $sym11$FIND_CONSTANT_BY_INTERNAL_ID

$sym12$FIND_CONSTANT_BY_DUMP_ID

public static final SubLSymbol $sym12$FIND_CONSTANT_BY_DUMP_ID

$int13$31

public static final SubLInteger $int13$31

$sym14$CFASL_INPUT_NART

public static final SubLSymbol $sym14$CFASL_INPUT_NART

$sym15$CFASL_OUTPUT_OBJECT_NART_METHOD

public static final SubLSymbol $sym15$CFASL_OUTPUT_OBJECT_NART_METHOD

$sym16$_SAMPLE_INVALID_NART_

public static final SubLSymbol $sym16$_SAMPLE_INVALID_NART_

$sym17$NART_ID

public static final SubLSymbol $sym17$NART_ID

$sym18$NART_DUMP_ID

public static final SubLSymbol $sym18$NART_DUMP_ID

$sym19$FIND_NART_BY_ID

public static final SubLSymbol $sym19$FIND_NART_BY_ID

$sym20$FIND_NART_BY_DUMP_ID

public static final SubLSymbol $sym20$FIND_NART_BY_DUMP_ID

$int21$33

public static final SubLInteger $int21$33

$sym22$CFASL_INPUT_ASSERTION

public static final SubLSymbol $sym22$CFASL_INPUT_ASSERTION

$sym23$CFASL_OUTPUT_OBJECT_ASSERTION_METHOD

public static final SubLSymbol $sym23$CFASL_OUTPUT_OBJECT_ASSERTION_METHOD

$sym24$_SAMPLE_INVALID_ASSERTION_

public static final SubLSymbol $sym24$_SAMPLE_INVALID_ASSERTION_

$sym25$ASSERTION_ID

public static final SubLSymbol $sym25$ASSERTION_ID

$sym26$ASSERTION_DUMP_ID

public static final SubLSymbol $sym26$ASSERTION_DUMP_ID

$sym27$FIND_ASSERTION_BY_ID

public static final SubLSymbol $sym27$FIND_ASSERTION_BY_ID

$sym28$FIND_ASSERTION_BY_DUMP_ID

public static final SubLSymbol $sym28$FIND_ASSERTION_BY_DUMP_ID

$int29$36

public static final SubLInteger $int29$36

$sym30$CFASL_INPUT_DEDUCTION

public static final SubLSymbol $sym30$CFASL_INPUT_DEDUCTION

$sym31$CFASL_OUTPUT_OBJECT_DEDUCTION_METHOD

public static final SubLSymbol $sym31$CFASL_OUTPUT_OBJECT_DEDUCTION_METHOD

$sym32$_SAMPLE_INVALID_DEDUCTION_

public static final SubLSymbol $sym32$_SAMPLE_INVALID_DEDUCTION_

$sym33$DEDUCTION_ID

public static final SubLSymbol $sym33$DEDUCTION_ID

$sym34$DEDUCTION_DUMP_ID

public static final SubLSymbol $sym34$DEDUCTION_DUMP_ID

$sym35$FIND_DEDUCTION_BY_ID

public static final SubLSymbol $sym35$FIND_DEDUCTION_BY_ID

$sym36$FIND_DEDUCTION_BY_DUMP_ID

public static final SubLSymbol $sym36$FIND_DEDUCTION_BY_DUMP_ID

$int37$37

public static final SubLInteger $int37$37

$sym38$CFASL_INPUT_KB_HL_SUPPORT

public static final SubLSymbol $sym38$CFASL_INPUT_KB_HL_SUPPORT

$sym39$CFASL_OUTPUT_OBJECT_KB_HL_SUPPORT_METHOD

public static final SubLSymbol $sym39$CFASL_OUTPUT_OBJECT_KB_HL_SUPPORT_METHOD

$sym40$_SAMPLE_INVALID_KB_HL_SUPPORT_

public static final SubLSymbol $sym40$_SAMPLE_INVALID_KB_HL_SUPPORT_

$sym41$KB_HL_SUPPORT_ID

public static final SubLSymbol $sym41$KB_HL_SUPPORT_ID

$sym42$KB_HL_SUPPORT_DUMP_ID

public static final SubLSymbol $sym42$KB_HL_SUPPORT_DUMP_ID

$sym43$FIND_KB_HL_SUPPORT_BY_ID

public static final SubLSymbol $sym43$FIND_KB_HL_SUPPORT_BY_ID

$sym44$FIND_KB_HL_SUPPORT_BY_DUMP_ID

public static final SubLSymbol $sym44$FIND_KB_HL_SUPPORT_BY_DUMP_ID

$int45$38

public static final SubLInteger $int45$38

$sym46$CFASL_INPUT_CLAUSE_STRUC

public static final SubLSymbol $sym46$CFASL_INPUT_CLAUSE_STRUC

$sym47$CFASL_OUTPUT_OBJECT_CLAUSE_STRUC_METHOD

public static final SubLSymbol $sym47$CFASL_OUTPUT_OBJECT_CLAUSE_STRUC_METHOD

$sym48$_SAMPLE_INVALID_CLAUSE_STRUC_

public static final SubLSymbol $sym48$_SAMPLE_INVALID_CLAUSE_STRUC_

$sym49$CLAUSE_STRUC_ID

public static final SubLSymbol $sym49$CLAUSE_STRUC_ID

$sym50$CLAUSE_STRUC_DUMP_ID

public static final SubLSymbol $sym50$CLAUSE_STRUC_DUMP_ID

$sym51$FIND_CLAUSE_STRUC_BY_ID

public static final SubLSymbol $sym51$FIND_CLAUSE_STRUC_BY_ID

$sym52$FIND_CLAUSE_STRUC_BY_DUMP_ID

public static final SubLSymbol $sym52$FIND_CLAUSE_STRUC_BY_DUMP_ID

$int53$40

public static final SubLInteger $int53$40

$sym54$CFASL_INPUT_VARIABLE

public static final SubLSymbol $sym54$CFASL_INPUT_VARIABLE

$int55$42

public static final SubLInteger $int55$42

$sym56$CFASL_INPUT_COMPLETE_VARIABLE

public static final SubLSymbol $sym56$CFASL_INPUT_COMPLETE_VARIABLE

$sym57$CFASL_OUTPUT_OBJECT_VARIABLE_METHOD

public static final SubLSymbol $sym57$CFASL_OUTPUT_OBJECT_VARIABLE_METHOD

$sym58$CFASL_OUTPUT_OBJECT_SBHL_DIRECTED_LINK_METHOD

public static final SubLSymbol $sym58$CFASL_OUTPUT_OBJECT_SBHL_DIRECTED_LINK_METHOD

$int59$90

public static final SubLInteger $int59$90

$sym60$CFASL_INPUT_SBHL_DIRECTED_LINK

public static final SubLSymbol $sym60$CFASL_INPUT_SBHL_DIRECTED_LINK

$sym61$CFASL_OUTPUT_OBJECT_SBHL_UNDIRECTED_LINK_METHOD

public static final SubLSymbol $sym61$CFASL_OUTPUT_OBJECT_SBHL_UNDIRECTED_LINK_METHOD

$int62$91

public static final SubLInteger $int62$91

$sym63$CFASL_INPUT_SBHL_UNDIRECTED_LINK

public static final SubLSymbol $sym63$CFASL_INPUT_SBHL_UNDIRECTED_LINK

$int64$94

public static final SubLInteger $int64$94

$sym65$CFASL_INPUT_HL_START

public static final SubLSymbol $sym65$CFASL_INPUT_HL_START

$int66$95

public static final SubLInteger $int66$95

$sym67$CFASL_INPUT_HL_END

public static final SubLSymbol $sym67$CFASL_INPUT_HL_END

$sym68$CFASL_ENCODE

public static final SubLSymbol $sym68$CFASL_ENCODE

$kw69$TEST

public static final SubLSymbol $kw69$TEST

$kw70$OWNER

public static final SubLSymbol $kw70$OWNER

$kw71$CLASSES

public static final SubLSymbol $kw71$CLASSES

$kw72$KB

public static final SubLSymbol $kw72$KB

$kw73$TINY

public static final SubLSymbol $kw73$TINY

$kw74$WORKING_

public static final SubLSymbol $kw74$WORKING_

$list75

public static final SubLList $list75

$sym76$CFASL_DECODE

public static final SubLSymbol $sym76$CFASL_DECODE

$list77

public static final SubLList $list77

Method Detail

within_complete_cfasl_objects_p

public static final SubLObject within_complete_cfasl_objects_p()

Return T iff we are assuming complete CFASL constants (having guid and name) and complete variables (having only a name).

cfasl_invalid_constant

public static final SubLObject cfasl_invalid_constant()

cfasl_externalized_constant_exception_p

public static final SubLObject cfasl_externalized_constant_exception_p(SubLObject constant)

cfasl_output_constant

public static final SubLObject cfasl_output_constant(SubLObject constant,
                                                     SubLObject stream)

cfasl_output_object_constant_method

public static final SubLObject cfasl_output_object_constant_method(SubLObject object,
                                                                   SubLObject stream)

cfasl_input_constant

public static final SubLObject cfasl_input_constant(SubLObject stream)

cfasl_input_complete_constant

public static final SubLObject cfasl_input_complete_constant(SubLObject stream)

Input the complete CFASL constant, assuming within-cfasl-externalization-p, and ignoring the constant name.

cfasl_output_constant_recipe

public static final SubLObject cfasl_output_constant_recipe(SubLObject constant,
                                                            SubLObject stream)

cfasl_input_constant_recipe

public static final SubLObject cfasl_input_constant_recipe(SubLObject stream)

cfasl_input_constant_handle

public static final SubLObject cfasl_input_constant_handle(SubLObject stream)

cfasl_constant_handle_lookup

public static final SubLObject cfasl_constant_handle_lookup(SubLObject id)

cfasl_output_object_nart_method

public static final SubLObject cfasl_output_object_nart_method(SubLObject object,
                                                               SubLObject stream)

cfasl_input_nart

public static final SubLObject cfasl_input_nart(SubLObject stream)

cfasl_input_nart_handle

public static final SubLObject cfasl_input_nart_handle(SubLObject stream)

cfasl_nart_handle_lookup

public static final SubLObject cfasl_nart_handle_lookup(SubLObject id)

cfasl_output_object_assertion_method

public static final SubLObject cfasl_output_object_assertion_method(SubLObject object,
                                                                    SubLObject stream)

cfasl_input_assertion

public static final SubLObject cfasl_input_assertion(SubLObject stream)

cfasl_input_assertion_handle

public static final SubLObject cfasl_input_assertion_handle(SubLObject stream)

cfasl_assertion_handle_lookup

public static final SubLObject cfasl_assertion_handle_lookup(SubLObject id)

cfasl_output_object_deduction_method

public static final SubLObject cfasl_output_object_deduction_method(SubLObject object,
                                                                    SubLObject stream)

cfasl_input_deduction

public static final SubLObject cfasl_input_deduction(SubLObject stream)

cfasl_input_deduction_handle

public static final SubLObject cfasl_input_deduction_handle(SubLObject stream)

cfasl_deduction_handle_lookup

public static final SubLObject cfasl_deduction_handle_lookup(SubLObject id)

cfasl_output_object_kb_hl_support_method

public static final SubLObject cfasl_output_object_kb_hl_support_method(SubLObject object,
                                                                        SubLObject stream)

cfasl_input_kb_hl_support

public static final SubLObject cfasl_input_kb_hl_support(SubLObject stream)

cfasl_input_kb_hl_support_handle

public static final SubLObject cfasl_input_kb_hl_support_handle(SubLObject stream)

cfasl_kb_hl_support_handle_lookup

public static final SubLObject cfasl_kb_hl_support_handle_lookup(SubLObject id)

cfasl_output_object_clause_struc_method

public static final SubLObject cfasl_output_object_clause_struc_method(SubLObject object,
                                                                       SubLObject stream)

cfasl_input_clause_struc

public static final SubLObject cfasl_input_clause_struc(SubLObject stream)

cfasl_input_clause_struc_handle

public static final SubLObject cfasl_input_clause_struc_handle(SubLObject stream)

cfasl_clause_struc_handle_lookup

public static final SubLObject cfasl_clause_struc_handle_lookup(SubLObject id)

cfasl_output_object_variable_method

public static final SubLObject cfasl_output_object_variable_method(SubLObject object,
                                                                   SubLObject stream)

cfasl_input_variable

public static final SubLObject cfasl_input_variable(SubLObject stream)

cfasl_output_object_sbhl_directed_link_method

public static final SubLObject cfasl_output_object_sbhl_directed_link_method(SubLObject object,
                                                                             SubLObject stream)

cfasl_input_sbhl_directed_link

public static final SubLObject cfasl_input_sbhl_directed_link(SubLObject stream)

cfasl_output_object_sbhl_undirected_link_method

public static final SubLObject cfasl_output_object_sbhl_undirected_link_method(SubLObject object,
                                                                               SubLObject stream)

cfasl_input_sbhl_undirected_link

public static final SubLObject cfasl_input_sbhl_undirected_link(SubLObject stream)

declare_cfasl_kb_methods_file

public static final SubLObject declare_cfasl_kb_methods_file()

init_cfasl_kb_methods_file

public static final SubLObject init_cfasl_kb_methods_file()

setup_cfasl_kb_methods_file

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