Changeset d96d4f0


Ignore:
Timestamp:
Jun 25, 2024, 1:21:58 PM (4 weeks ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
343c8be, 62a38e7
Parents:
6803ff1
Message:

corrections to Pascal discussion

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/theses/jiada_liang_MMath/relatedwork.tex

    r6803ff1 rd96d4f0  
    6969\begin{pascal}
    7070day := Sat;
    71 @wday := day;@                  $\C[1.5in]{\{ invalid but allowed\}}$
    72 wend := day;                    $\C{\{ valid\}}$
     71@wday := day;@                  $\C[1.5in]{\{ check \}}$
     72wend := day;                    $\C{\{ maybe check \}}$
    7373day := Mon;
    74 wday := day;                    $\C{\{ valid\}}$
    75 @wend := day;@                  $\C{\{ invalid but allowed\}}$
    76 day := wday;                    $\C{\{ valid\}}$
    77 day := wend;                    $\C{\{ valid\}}\CRT$
     74wday := day;                    $\C{\{ maybe check \}}$
     75@wend := day;@                  $\C{\{ check \}}$
     76day := wday;                    $\C{\{ no check \}}$
     77day := wend;                    $\C{\{ no check \}}\CRT$
    7878\end{pascal}
    79 There should be a static/dynamic range check to verify values.
     79There should be a static/dynamic range check to verify values assigned to subtypes.
    8080(Free Pascal does not check and aborts in certain situations, like writing an invalid enumerator.)
    8181
Note: See TracChangeset for help on using the changeset viewer.