SEMA

Manipulates a software semaphore.

Example

(* "x" is a Boolean variable initialized to FALSE *)

busy := x;

If claim Then

    x := True;

Else
  
    If release Then

        busy := False;
  
        x := False;

    End_if;

End_if;

Provide Feedback

Have questions or feedback about this documentation? Please submit your feedback here.