Changeset d96d4f0 for doc

Timestamp:

Jun 25, 2024, 1:21:58 PM (6 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

343c8be, 62a38e7

Parents:

6803ff1

Message:

corrections to Pascal discussion

File:

• doc/theses/jiada_liang_MMath/relatedwork.tex (modified) (1 diff)

doc/theses/jiada_liang_MMath/relatedwork.tex

@@ -69 +69 @@
 \begin{pascal}
 day := Sat;
-@wday := day;@                  $\C[1.5in]{\{ invalid but allowed\}}$
-wend := day;                    $\C{\{ valid\}}$
+@wday := day;@                  $\C[1.5in]{\{ check \}}$
+wend := day;                    $\C{\{ maybe check \}}$
 day := Mon;
-wday := day;                    $\C{\{ valid\}}$
-@wend := day;@                  $\C{\{ invalid but allowed\}}$
-day := wday;                    $\C{\{ valid\}}$
-day := wend;                    $\C{\{ valid\}}\CRT$
+wday := day;                    $\C{\{ maybe check \}}$
+@wend := day;@                  $\C{\{ check \}}$
+day := wday;                    $\C{\{ no check \}}$
+day := wend;                    $\C{\{ no check \}}\CRT$
 \end{pascal}
-There should be a static/dynamic range check to verify values.
+There should be a static/dynamic range check to verify values assigned to subtypes.
 (Free Pascal does not check and aborts in certain situations, like writing an invalid enumerator.)