[ library(error) | Reference Manual | Alphabetic Index ]

# permission_error(?Operation, ?Permission, ?Culprit)

throw error(permission_error(Operation,Permission,Culprit), _)

Operation
  Name of the faild operation
Permission
  Name of the violated permission
Culprit
  The term that caused the problem

## Description

ISO-defined values for Operation: access, create, input, modify, open, output, reposition. ISO-defined values for Permission: binary_stream, flag, operator, past_end_of_stream, private_procedure, static_procedure, source_sink, stream, text_stream, open, output, reposition.

## Examples

    permission_error(open, source_sink, '/etc/shadow')