1 03/08/85  write_allowed_
 2 
 3 
 4 Entry points in write_allowed_:
 5    (List is generated by the help command)
 6 
 7 
 8 :Entry:  write_allowed_:  03/08/85  write_allowed_
 9 
10 
11 Function:
12 The write_allowed_ function determines whether a subject of specified
13 authorization has access (with respect to the access isolation
14 mechanism) to append (but not modify or destroy) data to an object of
15 specified access class.
16 
17 
18 Syntax:
19 declare write_allowed_ entry (bit(72) aligned, bit(72) aligned) returns
20      (bit(1) aligned);
21 returned_bit = write_allowed_ (authorization, access_class);
22 
23 
24 Arguments:
25 authorization
26    is the authorization of the subject.  (Input)
27 access_class
28    is the access class of the object.  (Input)
29 returned_bit
30    indicates whether the subject is allowed to write the object.
31    (Output)
32    "1"b write is allowed.
33    "0"b write is not allowed.