+ +
+
+

To register the names associated with internal files, and build the small I6 arrays associated with each.

+ +
+ +

§1. The following is called to activate the feature: +

+ +
+void InternalFiles::start(void) {
+    PluginCalls::plug(PRODUCTION_LINE_PLUG, InternalFiles::production_line);
+    PluginCalls::plug(NEW_BASE_KIND_NOTIFY_PLUG, InternalFiles::files_new_base_kind_notify);
+    PluginCalls::plug(NEW_INSTANCE_NOTIFY_PLUG, InternalFiles::files_new_named_instance_notify);
+}
+
+int InternalFiles::production_line(int stage, int debugging,
+    stopwatch_timer *sequence_timer) {
+    if (stage == INTER1_CSEQ) {
+        BENCH(RTMultimedia::compile_internal_files);
+    }
+    return FALSE;
+}
+
+

§2. One significant kind.

+ +
+kind *K_internal_file = NULL;
+
+

§3.

+ +
+int InternalFiles::files_new_base_kind_notify(kind *new_base, text_stream *name, wording W) {
+    if (Str::eq_wide_string(name, L"INTERNAL_FILE_TY")) {
+        K_internal_file = new_base; return TRUE;
+    }
+    return FALSE;
+}
+
+

§4. Significant new instances. This structure of additional data is attached to each figure instance. +

+ +
+typedef struct internal_files_data {
+    struct wording name;  text of name
+    int unextended_filename;  word number of text like "ice extents.usgs"
+    struct text_stream *inf_identifier;  an Inter identifier
+    int file_format;  INTERNAL_TEXT_FILE_NFSMF, INTERNAL_BINARY_FILE_NFSMF or INTERNAL_FORM_FILE_NFSMF
+    struct instance *as_instance;
+    struct parse_node *where_created;
+    CLASS_DEFINITION
+} internal_files_data;
+
+
  • The structure internal_files_data is accessed in 2/fgr, 2/se, 2/ef and here.
+

§5. We allow instances of "internal file" to be created only through the code +from External Files calling InternalFiles::files_create. If any other +proposition somehow manages to make a file, a problem message is thrown. +

+ +
+int allow_inf_creations = FALSE;
+
+instance *InternalFiles::files_create(int format, wording W, wording FN) {
+    allow_inf_creations = TRUE;
+    Assert::true(Propositions::Abstract::to_create_something(K_internal_file, W), CERTAIN_CE);
+    allow_inf_creations = FALSE;
+    instance *I = Instances::latest();
+    internal_files_data *ifd = FEATURE_DATA_ON_INSTANCE(internal_files, I);
+    ifd->name = W;
+    ifd->unextended_filename = Wordings::first_wn(FN);
+    ifd->file_format = format;
+    ifd->where_created = current_sentence;
+    ifd->as_instance = I;
+    return I;
+}
+
+int InternalFiles::files_new_named_instance_notify(instance *I) {
+    if (K_internal_file == NULL) return FALSE;
+    kind *K = Instances::to_kind(I);
+    if (Kinds::eq(K, K_internal_file)) {
+        if (allow_inf_creations == FALSE)
+            StandardProblems::sentence_problem(Task::syntax_tree(),
+                _p_(PM_BackdoorInternalFileCreation),
+                "this is not the way to create a new internal file",
+                "which should be done with a special 'The internal data file "
+                "... is called ...' sentence.");
+        ATTACH_FEATURE_DATA_TO_SUBJECT(internal_files, I->as_subject, CREATE(internal_files_data));
+        return TRUE;
+    }
+    return FALSE;
+}
+
+ + +