Changes between Version 8 and Version 9 of Fundamentals


Ignore:
Timestamp:
05/12/23 21:02:54 (3 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Fundamentals

    v8 v9  
    5454
    5555As 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.
     56
     57= Sequential Elements
     58
     59In this chapter we describe the main sequential elements of the language. For the most part these are the same as in C. Primitives dealing with concurrency are introduced in the next chapter.
     60
     61==  Types
     62
     63=== Standard types inherited from C
     64
     65The `civlc.cvh` defines standard types inherited from C. The boolean type is denoted `_Bool`, as in C. Its values are 0 and 1, which are also denoted by `$false` and `$true`, respectively.
     66
     67There is one integer type, corresponding to the mathematical integers. Currently, all of the C integer types `int`, `long`, `unsigned int`, `short`, etc., are mapped to the CIVL integer type.
     68
     69There is one real type, corresponding to the mathematical real numbers. Currently, all of the C real types `double`, `float`, etc., are mapped to the CIVL real type.
     70
     71Array types, `struct` and `union` types, `char`, and pointer types (including pointers to functions) are all exactly as in C.
     72