1 05/04/84  get_ips_mask
 2 
 3 Syntax as a command:  get_ips_mask {-control_args}
 4 
 5 
 6 Function:  prints the current state of the IPS mask for the calling
 7 process.
 8 
 9 
10 Control arguments:
11 -brief, -bf
12    prints the names of masked signals.  If no IPS signals are masked,
13    it prints nothing.
14 -long, -lg
15    prints a more descriptive message about the status of IPS signals,
16    masked or unmasked.  (Default)
17 
18 
19 Notes:  If all undefined IPS signals are either masked or unmasked,
20 they are not mentioned.  If, however, some are masked and others are
21 not, an octal list is printed.  This can only happen when you have
22 supplied an invalid (probably reinitialized) value in a call to set
23 that mask.