com.cyc.cycjava.cycl
Class api_control_vars

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

All Implemented Interfaces:

CommonSymbols, SubLFile

public final class api_control_vars
extends SubLTranslatedFile

Nested Class Summary

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

SubLTranslatedFile.SubL

Field Summary

static SubLSymbol	$cfasl_assertion_handle_func$ Function used to determine assertion handles during CFASL output.
static SubLSymbol	$cfasl_assertion_handle_lookup_func$ Function used to look up assertions from their handles during CFASL input.
static SubLSymbol	$cfasl_clause_struc_handle_func$ Function used to determine clause-struc handles during CFASL output.
static SubLSymbol	$cfasl_clause_struc_handle_lookup_func$ Function used to look up clause-strucs from their handles during CFASL input.
static SubLSymbol	$cfasl_constant_handle_func$ Function used to determine constant handles during CFASL output.
static SubLSymbol	$cfasl_constant_handle_lookup_func$ Function used to look up constants from their handles during CFASL input.
static SubLSymbol	$cfasl_deduction_handle_func$ Function used to determine deduction handles during CFASL output.
static SubLSymbol	$cfasl_deduction_handle_lookup_func$ Function used to look up deductions from their handles during CFASL input.
static SubLSymbol	$cfasl_kb_hl_support_handle_func$ Function used to determine KB HL supports during CFASL output.
static SubLSymbol	$cfasl_kb_hl_support_handle_lookup_func$ Function used to look up KB HL supports from their handles during CFASL input.
static SubLSymbol	$cfasl_nart_handle_func$ Function used to determine NART handles during CFASL output.
static SubLSymbol	$cfasl_nart_handle_lookup_func$ Function used to look up NARTs from their handles during CFASL input.
static SubLSymbol	$default_ke_purpose$ The purpose to use for KE by default.
static SubLSymbol	$generate_readable_fi_results$
static SubLSymbol	$ke_purpose$ This variable contains current KE purpose for asserting formulas to the system.
static SubLSymbol	$the_cyclist$
static SubLSymbol	$use_local_queueP$
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	declare_api_control_vars_file()
void	declareFunctions() Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject	init_api_control_vars_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_api_control_vars_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

$cfasl_constant_handle_func$

public static SubLSymbol $cfasl_constant_handle_func$

Function used to determine constant handles during CFASL output. If NIL, the default used is CONSTANT-INTERNAL-ID

$cfasl_constant_handle_lookup_func$

public static SubLSymbol $cfasl_constant_handle_lookup_func$

Function used to look up constants from their handles during CFASL input. If NIL, the default used is FIND-CONSTANT-BY-INTERNAL-ID

$cfasl_nart_handle_func$

public static SubLSymbol $cfasl_nart_handle_func$

Function used to determine NART handles during CFASL output. If NIL, the default used is NART-ID

$cfasl_nart_handle_lookup_func$

public static SubLSymbol $cfasl_nart_handle_lookup_func$

Function used to look up NARTs from their handles during CFASL input. If NIL, the default used is FIND-NART-BY-ID

$cfasl_assertion_handle_func$

public static SubLSymbol $cfasl_assertion_handle_func$

Function used to determine assertion handles during CFASL output. If NIL, the default used is ASSERTION-ID

$cfasl_assertion_handle_lookup_func$

public static SubLSymbol $cfasl_assertion_handle_lookup_func$

Function used to look up assertions from their handles during CFASL input. If NIL, the default used is FIND-ASSERTION-BY-ID

$cfasl_deduction_handle_func$

public static SubLSymbol $cfasl_deduction_handle_func$

Function used to determine deduction handles during CFASL output. If NIL, the default used is DEDUCTION-ID

$cfasl_deduction_handle_lookup_func$

public static SubLSymbol $cfasl_deduction_handle_lookup_func$

Function used to look up deductions from their handles during CFASL input. If NIL, the default used is FIND-DEDUCTION-BY-ID

$cfasl_kb_hl_support_handle_func$

public static SubLSymbol $cfasl_kb_hl_support_handle_func$

Function used to determine KB HL supports during CFASL output. If NIL, the default used is KB-HL-SUPPORT-ID

$cfasl_kb_hl_support_handle_lookup_func$

public static SubLSymbol $cfasl_kb_hl_support_handle_lookup_func$

Function used to look up KB HL supports from their handles during CFASL input. If NIL, the default used is FIND-KB-HL-SUPPORT-BY-ID

$cfasl_clause_struc_handle_func$

public static SubLSymbol $cfasl_clause_struc_handle_func$

Function used to determine clause-struc handles during CFASL output. If NIL, the default used is CLAUSE-STRUC-ID

$cfasl_clause_struc_handle_lookup_func$

public static SubLSymbol $cfasl_clause_struc_handle_lookup_func$

Function used to look up clause-strucs from their handles during CFASL input. If NIL, the default used is FIND-CLAUSE-STRUC-BY-ID

$the_cyclist$

public static SubLSymbol $the_cyclist$

$use_local_queueP$

public static SubLSymbol $use_local_queueP$

$default_ke_purpose$

public static SubLSymbol $default_ke_purpose$

The purpose to use for KE by default. NIL = General Cyc KE.

$ke_purpose$

public static SubLSymbol $ke_purpose$

This variable contains current KE purpose for asserting formulas to the system. NIL means that the KB purpose is generic extension of Cyc's knowledge.

$generate_readable_fi_results$

public static SubLSymbol $generate_readable_fi_results$

Method Detail

declare_api_control_vars_file

public static final SubLObject declare_api_control_vars_file()

init_api_control_vars_file

public static final SubLObject init_api_control_vars_file()

setup_api_control_vars_file

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