Changes between Version 7 and Version 8 of Fundamentals

Timestamp:

05/12/23 21:00:00 (3 years ago)

Author:

siegel

Comment:

--

Fundamentals

@@ -43 +43 @@
 * Processes are created when functions are spawned; they disappear from the state when their stack becomes empty (either because the process terminates normally or invokes the exit system function).
 
+== Structure of a CIVL-C program
+
+A CIVL-C program is structured very much like a standard C program. In particular, a CIVL- C program may use the preprocessor directives specified in the C Standard, and with the same meaning. A source program is preprocessed, then parsed, resulting in a translation unit, just as with standard C. The main differences are the nesting of function definitions and the new primitives beginning with `$`, which are described in detail in the remainder of this part of the manual.
+
+If the suffix of the filename of the program is not `.cvl`, then the program must include the line
+{{{
+#include <civlc.h>
+}}}
+somewhere near the beginning (before any CIVL-C primitives are used).  This includes the main CIVL-C header file, which declares all the types and other CIVL primitives.
+
+As usual, a translation unit consists of a sequence of variable declarations, function prototypes, and function definitions in file scope. In addition, assume statements may occur in the file scope.  These are used to state assumptions on the input values to a program.