1 02/13/84  aim_check_
 2 
 3 The aim_check_ subroutine provides a number of entry points for
 4 determining the relationship between two access attributes.  An access
 5 attribute can be either an authorization or an access class.  See also
 6 the read_allowed_, read_write_allowed_, and write_allowed_ subroutines.
 7 
 8 
 9 Entry points in aim_check_:
10    (List is generated by the help command)
11 
12 
13 :Entry:  equal:  02/13/84 aim_check_$equal
14 
15 
16 Function:  This entry point compares two access attributes to determine
17 whether they satisfy the equal relationship of the access isolation
18 mechanism (AIM).
19 
20 
21 Syntax:
22 declare aim_check_$equal entry (bit(72) aligned, bit(72) aligned)
23      returns (bit(1) aligned);
24 returned_bit = aim_check_$equal (acc_att1, acc_att2);
25 
26 
27 Arguments:
28 acc_atti
29    are access attributes.  (Input)
30 returned_bit
31    is the result of the comparison.  (Output)
32    "1"b   acc_att1 equals acc_att2.
33    "0"b   acc_att1 does not equal acc_att2.
34 
35 
36 :Entry:  greater:  02/13/84 aim_check_$greater
37 
38 
39 Function:  This entry point compares two access attributes to determine
40 whether they satisfy the greater-than relationship of the AIM.
41 
42 
43 Syntax:
44 declare aim_check_$greater entry (bit(72) aligned, bit(72) aligned)
45      returns (bit(1) aligned);
46 returned_bit = aim_check_$greater (acc_att1, acc_att2);
47 
48 
49 Arguments:
50 acc_atti
51    are access attributes.  (Input)
52 returned_bit
53    is the result of the comparison.  (Output)
54    "1"b   acc_att1 is greater than acc_att2.
55    "0"b   acc_att1 is not greater than acc_att2.
56 
57 
58 :Entry:  greater_or_equal:  02/13/84 aim_check_$greater_or_equal
59 
60 
61 Function:  This entry point compares two access attributes to determine
62 whether they satisfy either the greater-than or the equal relationships
63 of the AIM.
64 
65 
66 Syntax:
67 declare aim_check_$greater_or_equal entry (bit(72) aligned, bit(72)
68      aligned) returns (bit(1) aligned);
69 returned_bit = aim_check_$greater_or_equal (acc_att1, acc_att2);
70 
71 
72 Arguments:
73 acc_atti
74    are access attributes.  (Input)
75 returned_bit
76    is the result of the comparison.  (Output)
77    "1"b   acc_att1 is greater than or equal to acc_att2.
78    "0"b   acc_att1 is not greater than or equal to acc_att2.