Changes between Version 21 and Version 22 of Language

Timestamp:

05/19/23 17:34:12 (3 years ago)

Author:

siegel

Comment:

--

Language

@@ -537 +537 @@
 Function `$hide` wraps a pointer object in another object which is opaque to the reachability analyzer, i.e., the analyzer will not look inside this object and therefore will not find the hidden pointer.   Nothing can be done with this hidden pointer until it is "revealed", i.e., extracted from the opaque object.   The function `$hidden` tells whether its argument is a value returned by `$hide`.
 
-=== `$is_derefable`
+=== Checking whether a pointer dereference is safe: `$is_derefable`
+
+This function has signature
+{{{
+$system $state_f _Bool $is_derefable(void * ptr);
+}}}
+and determines if it is safe to evaluate (read) `*ptr`.
+This means `ptr` points to a memory location that is capable of and is currently holding a value of type T, where T is the type of `*ptr`.
 
 === `$is_terminated`
 
-=== `$local_end`
-
-=== `$local_start`
+Signature:
+{{{
+$system _Bool $is_terminated($proc p);
+}}}
+Determines whether `p` identifies a process that has terminated.
+If `p` is undefined or `$proc_null`, returns 0.
+
+=== Modifying the dependence relation: `$local_start` and `$local_end`
+
 
 === Heap memory allocation: `$malloc` and `$free`