[ 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')