com.cyc.cycjava.cycl
Class assertion_utilities
java.lang.Object
com.cyc.tool.subl.util.SubLTrampolineFile
com.cyc.tool.subl.util.SubLTranslatedFile
com.cyc.cycjava.cycl.assertion_utilities
- All Implemented Interfaces:
- CommonSymbols, SubLFile
public final class assertion_utilities
- extends SubLTranslatedFile
| 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 |
all_forward_rules_relevant_to_term_int(SubLObject fort)
|
static SubLObject |
all_forward_rules_relevant_to_term(SubLObject fort)
Return a list of all the forward rules involved in a deduction
that is either an argument* or a dependent* of some assertion
on FORT. |
static SubLObject |
assertion_has_argumentsP(SubLObject assertion)
|
static SubLObject |
assertion_has_meta_assertionsP(SubLObject assertion)
Return T iff ASSERTION has some meta-assertions. |
static SubLObject |
assertion_matches_directionP(SubLObject assertion,
SubLObject direction_spec)
|
static SubLObject |
assertion_matches_mtP(SubLObject assertion)
|
static SubLObject |
assertion_matches_truthP(SubLObject assertion,
SubLObject truth_spec)
|
static SubLObject |
assertion_matches_type_truth_and_directionP(SubLObject assertion,
SubLObject type_spec,
SubLObject truth_spec,
SubLObject direction_spec)
|
static SubLObject |
assertion_matches_typeP(SubLObject assertion,
SubLObject type_spec)
|
static SubLObject |
cached_self_expanding_rule_assertionP_internal(SubLObject rule)
|
static SubLObject |
cached_self_expanding_rule_assertionP(SubLObject rule)
|
static SubLObject |
compute_all_forward_rules_relevant_to_assertion_int(SubLObject assertion,
SubLObject walk_direction)
|
static SubLObject |
compute_all_forward_rules_relevant_to_assertion(SubLObject assertion,
SubLObject walk_direction)
|
static SubLObject |
compute_all_forward_rules_relevant_to_term(SubLObject fort,
SubLObject walk_directions)
|
static SubLObject |
declare_assertion_utilities_file()
|
void |
declareFunctions()
Declares the mapping between functions and symbols for all named
functions defined in the file. |
static SubLObject |
deduction_forward_rule_supports(SubLObject deduction)
Returns all supports of DEDUCTION that are forward rules. |
static SubLObject |
excepted_assertion_in_mtP(SubLObject assertion,
SubLObject mt)
|
static SubLObject |
excepted_assertionP_int(SubLObject assertion,
SubLObject checked_assertions)
Check whether ASSERTION is excepted in the current mt context. |
static SubLObject |
excepted_assertionP(SubLObject assertion)
|
static SubLObject |
gaf_assertion_has_pred_p(SubLObject gaf_assertion,
SubLObject pred)
|
static SubLObject |
gaf_assertion_with_pred_p(SubLObject assertion,
SubLObject pred)
|
static SubLObject |
gaf_has_term_in_argnumP(SubLObject assertion,
SubLObject v_term,
SubLObject argnum)
|
static SubLObject |
gaf_has_term_in_some_argnumP(SubLObject assertion,
SubLObject v_term)
|
static SubLObject |
init_assertion_utilities_file()
|
void |
initializeVariables()
Initializes all global variables and private internal variables
for constants defined in the file. |
static SubLObject |
rule_literal_count(SubLObject rule)
|
void |
runTopLevelForms()
Runs all top-level forms in order. |
static SubLObject |
self_expanding_ruleP(SubLObject rule)
|
static SubLObject |
setup_assertion_utilities_file()
|
static SubLObject |
true_assertionP(SubLObject assertion)
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
me
public static final SubLFile me
myName
public static final java.lang.String myName
- See Also:
- Constant Field Values
$list0
public static final SubLList $list0
$list1
public static final SubLList $list1
$kw2$ALLOW_OTHER_KEYS
public static final SubLSymbol $kw2$ALLOW_OTHER_KEYS
$kw3$PROGRESS_MESSAGE
public static final SubLSymbol $kw3$PROGRESS_MESSAGE
$str4$mapping_Cyc_rules
public static final SubLString $str4$mapping_Cyc_rules
$kw5$DONE
public static final SubLSymbol $kw5$DONE
$sym6$DO_KEYHASH
public static final SubLSymbol $sym6$DO_KEYHASH
$list7
public static final SubLList $list7
$sym8$MESSAGE_VAR
public static final SubLSymbol $sym8$MESSAGE_VAR
$sym9$TOTAL
public static final SubLSymbol $sym9$TOTAL
$sym10$SOFAR
public static final SubLSymbol $sym10$SOFAR
$sym11$CLET
public static final SubLSymbol $sym11$CLET
$list12
public static final SubLList $list12
$list13
public static final SubLList $list13
$sym14$NOTING_PERCENT_PROGRESS
public static final SubLSymbol $sym14$NOTING_PERCENT_PROGRESS
$sym15$DO_RULES
public static final SubLSymbol $sym15$DO_RULES
$sym16$CINC
public static final SubLSymbol $sym16$CINC
$sym17$NOTE_PERCENT_PROGRESS
public static final SubLSymbol $sym17$NOTE_PERCENT_PROGRESS
$list18
public static final SubLList $list18
$str19$mapping_Cyc_GAFs
public static final SubLString $str19$mapping_Cyc_GAFs
$sym20$DO_ASSERTIONS
public static final SubLSymbol $sym20$DO_ASSERTIONS
$sym21$PWHEN
public static final SubLSymbol $sym21$PWHEN
$sym22$GAF_ASSERTION_
public static final SubLSymbol $sym22$GAF_ASSERTION_
$list23
public static final SubLList $list23
$sym24$DEDUCTION
public static final SubLSymbol $sym24$DEDUCTION
$sym25$DO_ASSERTION_DEPENDENTS
public static final SubLSymbol $sym25$DO_ASSERTION_DEPENDENTS
$sym26$DEDUCTION_ASSERTION
public static final SubLSymbol $sym26$DEDUCTION_ASSERTION
$sym27$ASSERTION_P
public static final SubLSymbol $sym27$ASSERTION_P
$list28
public static final SubLList $list28
$list29
public static final SubLList $list29
$sym30$ARGUMENT
public static final SubLSymbol $sym30$ARGUMENT
$sym31$DO_ASSERTION_ARGUMENTS
public static final SubLSymbol $sym31$DO_ASSERTION_ARGUMENTS
$sym32$DEDUCTION_P
public static final SubLSymbol $sym32$DEDUCTION_P
$sym33$DO_DEDUCTION_SUPPORTS
public static final SubLSymbol $sym33$DO_DEDUCTION_SUPPORTS
$kw34$TRUE
public static final SubLSymbol $kw34$TRUE
$kw35$FALSE
public static final SubLSymbol $kw35$FALSE
$kw36$UNKNOWN
public static final SubLSymbol $kw36$UNKNOWN
$const37$NLSemanticPredicate
public static final SubLObject $const37$NLSemanticPredicate
$const38$isa
public static final SubLObject $const38$isa
$const39$genls
public static final SubLObject $const39$genls
$sym40$ABNORMAL_ASSERTION_P
public static final SubLSymbol $sym40$ABNORMAL_ASSERTION_P
$const41$exceptMt
public static final SubLObject $const41$exceptMt
$const42$except
public static final SubLObject $const42$except
$sym43$SUPPORT_P
public static final SubLSymbol $sym43$SUPPORT_P
$const44$assertedMoreSpecifically
public static final SubLObject $const44$assertedMoreSpecifically
$int45$30
public static final SubLInteger $int45$30
$sym46$ASSERTION_MENTIONS_ANY_OF_TERMS_IN_SET_LAMBDA
public static final SubLSymbol $sym46$ASSERTION_MENTIONS_ANY_OF_TERMS_IN_SET_LAMBDA
$sym47$ASSERTION_MENTIONS_ANY_OF_TERMS_IN_DICT_LAMBDA
public static final SubLSymbol $sym47$ASSERTION_MENTIONS_ANY_OF_TERMS_IN_DICT_LAMBDA
$int48$10000
public static final SubLInteger $int48$10000
$sym49$RELEVANT_MT_IS_EVERYTHING
public static final SubLSymbol $sym49$RELEVANT_MT_IS_EVERYTHING
$const50$EverythingPSC
public static final SubLObject $const50$EverythingPSC
$kw51$GAF
public static final SubLSymbol $kw51$GAF
$kw52$RULE
public static final SubLSymbol $kw52$RULE
$sym53$ASSERTED_WHEN
public static final SubLSymbol $sym53$ASSERTED_WHEN
$sym54$INTEGERP
public static final SubLSymbol $sym54$INTEGERP
$sym55$ASSERTED_SECOND
public static final SubLSymbol $sym55$ASSERTED_SECOND
$sym56$EL_VAR_NAME
public static final SubLSymbol $sym56$EL_VAR_NAME
$const57$knownSentence
public static final SubLObject $const57$knownSentence
$const58$unknownSentence
public static final SubLObject $const58$unknownSentence
$str59$Sorting_newest_constants___Part_2
public static final SubLString $str59$Sorting_newest_constants___Part_2
$sym60$STRINGP
public static final SubLSymbol $sym60$STRINGP
$kw61$SKIP
public static final SubLSymbol $kw61$SKIP
$str62$Computing_newest_constants
public static final SubLString $str62$Computing_newest_constants
$str63$Sorting_newest_constants___Part_1
public static final SubLString $str63$Sorting_newest_constants___Part_1
$sym64$ASSERTION_HAS_META_ASSERTIONS_
public static final SubLSymbol $sym64$ASSERTION_HAS_META_ASSERTIONS_
$list65
public static final SubLList $list65
$str66$Return_T_iff_ASSERTION_has_some_m
public static final SubLString $str66$Return_T_iff_ASSERTION_has_some_m
$list67
public static final SubLList $list67
$list68
public static final SubLList $list68
$sym69$ALL_META_ASSERTIONS
public static final SubLSymbol $sym69$ALL_META_ASSERTIONS
$sym70$META_ASSERTION_P
public static final SubLSymbol $sym70$META_ASSERTION_P
$sym71$HLMT_P
public static final SubLSymbol $sym71$HLMT_P
$sym72$ASSERTION_LIST_P
public static final SubLSymbol $sym72$ASSERTION_LIST_P
$sym73$ASSERTION_MT
public static final SubLSymbol $sym73$ASSERTION_MT
$sym74$TERM__
public static final SubLSymbol $sym74$TERM__
$sym75$DEFINITIONAL_PRED__
public static final SubLSymbol $sym75$DEFINITIONAL_PRED__
$sym76$_
public static final SubLSymbol $sym76$_
$sym77$ASSERTION_ID
public static final SubLSymbol $sym77$ASSERTION_ID
$sym78$GAF_PREDICATE
public static final SubLSymbol $sym78$GAF_PREDICATE
$sym79$GAF_ARG1
public static final SubLSymbol $sym79$GAF_ARG1
$sym80$ISA_HL_VAR_THING_LIT_
public static final SubLSymbol $sym80$ISA_HL_VAR_THING_LIT_
$str81$Type_constraint__Mt_should_be_can
public static final SubLString $str81$Type_constraint__Mt_should_be_can
$str82$Expected_a_single_DNF_clause_of_c
public static final SubLString $str82$Expected_a_single_DNF_clause_of_c
$sym83$CACHED_SELF_LOOPING_RULE_ASSERTION_
public static final SubLSymbol $sym83$CACHED_SELF_LOOPING_RULE_ASSERTION_
$sym84$_CACHED_SELF_LOOPING_RULE_ASSERTION__CACHING_STATE_
public static final SubLSymbol $sym84$_CACHED_SELF_LOOPING_RULE_ASSERTION__CACHING_STATE_
$kw85$_MEMOIZED_ITEM_NOT_FOUND_
public static final SubLSymbol $kw85$_MEMOIZED_ITEM_NOT_FOUND_
$sym86$CACHED_SELF_EXPANDING_RULE_ASSERTION_
public static final SubLSymbol $sym86$CACHED_SELF_EXPANDING_RULE_ASSERTION_
$sym87$_CACHED_SELF_EXPANDING_RULE_ASSERTION__CACHING_STATE_
public static final SubLSymbol $sym87$_CACHED_SELF_EXPANDING_RULE_ASSERTION__CACHING_STATE_
$sym88$FORT_P
public static final SubLSymbol $sym88$FORT_P
$sym89$_
public static final SubLSymbol $sym89$_
$sym90$ASSERTION_DEPENDENT_COUNT
public static final SubLSymbol $sym90$ASSERTION_DEPENDENT_COUNT
$sym91$NON_DOTTED_LIST_P
public static final SubLSymbol $sym91$NON_DOTTED_LIST_P
$list92
public static final SubLList $list92
$kw93$ARGUMENT_
public static final SubLSymbol $kw93$ARGUMENT_
$kw94$DEPENDENT_
public static final SubLSymbol $kw94$DEPENDENT_
$str95$gathering_exception_rules
public static final SubLString $str95$gathering_exception_rules
$str96$gathering_pragma_rules
public static final SubLString $str96$gathering_pragma_rules
$str97$gathering_lifting_rules
public static final SubLString $str97$gathering_lifting_rules
$const98$ist
public static final SubLObject $const98$ist
$sym99$RULE_ASSERTION_
public static final SubLSymbol $sym99$RULE_ASSERTION_
$str100$__
public static final SubLString $str100$__
$str101$Verifying_that_all_embedded_asser
public static final SubLString $str101$Verifying_that_all_embedded_asser
$str102$Looking_for_assertions_with_no_ar
public static final SubLString $str102$Looking_for_assertions_with_no_ar
$str103$mapping_Cyc_assertions
public static final SubLString $str103$mapping_Cyc_assertions
true_assertionP
public static final SubLObject true_assertionP(SubLObject assertion)
assertion_matches_typeP
public static final SubLObject assertion_matches_typeP(SubLObject assertion,
SubLObject type_spec)
assertion_matches_truthP
public static final SubLObject assertion_matches_truthP(SubLObject assertion,
SubLObject truth_spec)
assertion_matches_directionP
public static final SubLObject assertion_matches_directionP(SubLObject assertion,
SubLObject direction_spec)
assertion_matches_type_truth_and_directionP
public static final SubLObject assertion_matches_type_truth_and_directionP(SubLObject assertion,
SubLObject type_spec,
SubLObject truth_spec,
SubLObject direction_spec)
gaf_has_term_in_argnumP
public static final SubLObject gaf_has_term_in_argnumP(SubLObject assertion,
SubLObject v_term,
SubLObject argnum)
gaf_has_term_in_some_argnumP
public static final SubLObject gaf_has_term_in_some_argnumP(SubLObject assertion,
SubLObject v_term)
- Returns:
- booleanp; whether ASSERTION has TERM as one of its top-level arguments.
gaf_assertion_with_pred_p
public static final SubLObject gaf_assertion_with_pred_p(SubLObject assertion,
SubLObject pred)
- Returns:
- boolean; t iff ASSERTION is a gaf with PRED as its arg0.
Assumes equality can be tested with #'eq.
gaf_assertion_has_pred_p
public static final SubLObject gaf_assertion_has_pred_p(SubLObject gaf_assertion,
SubLObject pred)
- Returns:
- boolean; t iff GAF-ASSERTION has PRED as its arg0.
Assumes that GAF-ASSERTION is a gaf and that equality can be tested with #'eq.
excepted_assertionP
public static final SubLObject excepted_assertionP(SubLObject assertion)
excepted_assertionP_int
public static final SubLObject excepted_assertionP_int(SubLObject assertion,
SubLObject checked_assertions)
- Check whether ASSERTION is excepted in the current mt context.
excepted_assertion_in_mtP
public static final SubLObject excepted_assertion_in_mtP(SubLObject assertion,
SubLObject mt)
assertion_matches_mtP
public static final SubLObject assertion_matches_mtP(SubLObject assertion)
assertion_has_argumentsP
public static final SubLObject assertion_has_argumentsP(SubLObject assertion)
- Returns:
- booleanp ; t iff ASSERTION has at least one argument for it,
either true or false.
rule_literal_count
public static final SubLObject rule_literal_count(SubLObject rule)
assertion_has_meta_assertionsP
public static final SubLObject assertion_has_meta_assertionsP(SubLObject assertion)
- Return T iff ASSERTION has some meta-assertions.
self_expanding_ruleP
public static final SubLObject self_expanding_ruleP(SubLObject rule)
cached_self_expanding_rule_assertionP_internal
public static final SubLObject cached_self_expanding_rule_assertionP_internal(SubLObject rule)
cached_self_expanding_rule_assertionP
public static final SubLObject cached_self_expanding_rule_assertionP(SubLObject rule)
all_forward_rules_relevant_to_term
public static final SubLObject all_forward_rules_relevant_to_term(SubLObject fort)
- Return a list of all the forward rules involved in a deduction
that is either an argument* or a dependent* of some assertion
on FORT. 'argument*' and 'dependent*' mean 'transitive argument'
and 'transitive dependent'.
deduction_forward_rule_supports
public static final SubLObject deduction_forward_rule_supports(SubLObject deduction)
- Returns all supports of DEDUCTION that are forward rules.
all_forward_rules_relevant_to_term_int
public static final SubLObject all_forward_rules_relevant_to_term_int(SubLObject fort)
compute_all_forward_rules_relevant_to_term
public static final SubLObject compute_all_forward_rules_relevant_to_term(SubLObject fort,
SubLObject walk_directions)
compute_all_forward_rules_relevant_to_assertion
public static final SubLObject compute_all_forward_rules_relevant_to_assertion(SubLObject assertion,
SubLObject walk_direction)
compute_all_forward_rules_relevant_to_assertion_int
public static final SubLObject compute_all_forward_rules_relevant_to_assertion_int(SubLObject assertion,
SubLObject walk_direction)
declare_assertion_utilities_file
public static final SubLObject declare_assertion_utilities_file()
init_assertion_utilities_file
public static final SubLObject init_assertion_utilities_file()
setup_assertion_utilities_file
public static final SubLObject setup_assertion_utilities_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.