com.cyc.cycjava.cycl
Class kb_access_metering

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.kb_access_metering
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class kb_access_metering
extends SubLTranslatedFile


Nested Class Summary
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLSymbol $kb_access_metering_domains$
           
static SubLSymbol $kb_access_metering_enabledP$
          A control variable that gates whether KB access metering is enabled.
static SubLSymbol $kb_access_metering_table$
           
static SubLSymbol $kw20$CONSTANT
           
static SubLSymbol $kw21$NART
           
static SubLSymbol $kw22$ASSERTION
           
static SubLSymbol $kw29$SBHL
           
static SubLSymbol $kw3$ALLOW_OTHER_KEYS
           
static SubLSymbol $kw4$DOMAINS
           
static SubLSymbol $kw6$OPTIONS
           
static SubLList $list1
           
static SubLList $list18
           
static SubLList $list2
           
static SubLList $list23
           
static SubLList $list25
           
static SubLList $list35
           
static SubLList $list5
           
static SubLString $str36$______A
           
static SubLSymbol $sym0$_KB_ACCESS_METERING_ENABLED__
           
static SubLSymbol $sym10$CLET
           
static SubLSymbol $sym11$NEW_KB_ACCESS_METERING_TABLE
           
static SubLSymbol $sym12$_KB_ACCESS_METERING_DOMAINS_
           
static SubLSymbol $sym13$_KB_ACCESS_METERING_TABLE_
           
static SubLSymbol $sym14$CUNWIND_PROTECT
           
static SubLSymbol $sym15$PROGN
           
static SubLSymbol $sym16$CSETQ
           
static SubLSymbol $sym17$POSTPROCESS_KB_ACCESS_METERING_TABLE
           
static SubLSymbol $sym19$WITH_KB_ACCESS_METERING
           
static SubLSymbol $sym24$PWHEN
           
static SubLSymbol $sym26$NOTE_KB_ACCESS_SBHL_LINK
           
static SubLSymbol $sym27$NOTE_KB_ACCESS_SBHL_
           
static SubLSymbol $sym28$POSSIBLY_NOTE_KB_ACCESS_SBHL_LINK
           
static SubLSymbol $sym30$ASSERTED_WHEN
           
static SubLSymbol $sym31$UNIVERSAL_TIME_FOR_START_OF_UNIVERSAL_DATE
           
static SubLSymbol $sym32$_
           
static SubLSymbol $sym33$__
           
static SubLSymbol $sym34$SECOND
           
static SubLSymbol $sym7$DOMAINS_VAR
           
static SubLSymbol $sym8$OPTIONS_VAR
           
static SubLSymbol $sym9$TABLE_VAR
           
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_kb_access_metering_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject init_kb_access_metering_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject possibly_note_kb_access_assertion(SubLObject assertion)
           
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_kb_access_metering_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

$kb_access_metering_enabledP$

public static SubLSymbol $kb_access_metering_enabledP$
A control variable that gates whether KB access metering is enabled.


$kb_access_metering_domains$

public static SubLSymbol $kb_access_metering_domains$

$kb_access_metering_table$

public static SubLSymbol $kb_access_metering_table$

$sym0$_KB_ACCESS_METERING_ENABLED__

public static final SubLSymbol $sym0$_KB_ACCESS_METERING_ENABLED__

$list1

public static final SubLList $list1

$list2

public static final SubLList $list2

$kw3$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw3$ALLOW_OTHER_KEYS

$kw4$DOMAINS

public static final SubLSymbol $kw4$DOMAINS

$list5

public static final SubLList $list5

$kw6$OPTIONS

public static final SubLSymbol $kw6$OPTIONS

$sym7$DOMAINS_VAR

public static final SubLSymbol $sym7$DOMAINS_VAR

$sym8$OPTIONS_VAR

public static final SubLSymbol $sym8$OPTIONS_VAR

$sym9$TABLE_VAR

public static final SubLSymbol $sym9$TABLE_VAR

$sym10$CLET

public static final SubLSymbol $sym10$CLET

$sym11$NEW_KB_ACCESS_METERING_TABLE

public static final SubLSymbol $sym11$NEW_KB_ACCESS_METERING_TABLE

$sym12$_KB_ACCESS_METERING_DOMAINS_

public static final SubLSymbol $sym12$_KB_ACCESS_METERING_DOMAINS_

$sym13$_KB_ACCESS_METERING_TABLE_

public static final SubLSymbol $sym13$_KB_ACCESS_METERING_TABLE_

$sym14$CUNWIND_PROTECT

public static final SubLSymbol $sym14$CUNWIND_PROTECT

$sym15$PROGN

public static final SubLSymbol $sym15$PROGN

$sym16$CSETQ

public static final SubLSymbol $sym16$CSETQ

$sym17$POSTPROCESS_KB_ACCESS_METERING_TABLE

public static final SubLSymbol $sym17$POSTPROCESS_KB_ACCESS_METERING_TABLE

$list18

public static final SubLList $list18

$sym19$WITH_KB_ACCESS_METERING

public static final SubLSymbol $sym19$WITH_KB_ACCESS_METERING

$kw20$CONSTANT

public static final SubLSymbol $kw20$CONSTANT

$kw21$NART

public static final SubLSymbol $kw21$NART

$kw22$ASSERTION

public static final SubLSymbol $kw22$ASSERTION

$list23

public static final SubLList $list23

$sym24$PWHEN

public static final SubLSymbol $sym24$PWHEN

$list25

public static final SubLList $list25

$sym26$NOTE_KB_ACCESS_SBHL_LINK

public static final SubLSymbol $sym26$NOTE_KB_ACCESS_SBHL_LINK

$sym27$NOTE_KB_ACCESS_SBHL_

public static final SubLSymbol $sym27$NOTE_KB_ACCESS_SBHL_

$sym28$POSSIBLY_NOTE_KB_ACCESS_SBHL_LINK

public static final SubLSymbol $sym28$POSSIBLY_NOTE_KB_ACCESS_SBHL_LINK

$kw29$SBHL

public static final SubLSymbol $kw29$SBHL

$sym30$ASSERTED_WHEN

public static final SubLSymbol $sym30$ASSERTED_WHEN

$sym31$UNIVERSAL_TIME_FOR_START_OF_UNIVERSAL_DATE

public static final SubLSymbol $sym31$UNIVERSAL_TIME_FOR_START_OF_UNIVERSAL_DATE

$sym32$_

public static final SubLSymbol $sym32$_

$sym33$__

public static final SubLSymbol $sym33$__

$sym34$SECOND

public static final SubLSymbol $sym34$SECOND

$list35

public static final SubLList $list35

$str36$______A

public static final SubLString $str36$______A
Method Detail

possibly_note_kb_access_assertion

public static final SubLObject possibly_note_kb_access_assertion(SubLObject assertion)

declare_kb_access_metering_file

public static final SubLObject declare_kb_access_metering_file()

init_kb_access_metering_file

public static final SubLObject init_kb_access_metering_file()

setup_kb_access_metering_file

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