On 12/19/25 7:39 AM, Marco Elver wrote:
+Context Analysis is a language extension, which enables statically checking
^
My grammar checker tells me that there shouldn't be a comma here.
However, I'm not sure whether the software that I'm using got this
right.
+that required contexts are active (or inactive) by acquiring and releasing
+user-definable "context locks". An obvious application is lock-safety checking
Please improve clarity of this text by adding a definition for "context
lock", e.g. the following: "Each context lock has a name. A state is
associated with each context lock. Supported states are locked,
unlocked, shared locked and exclusive locked. Functions can be annotated
to declare what lock state is expected upon entry and what the lock
state will be upon return. Members of data structures can be annotated
to indicate what context locks should be held upon access."
Thanks,
Bart.
