predicate_options:check_predicate_option/3

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(predicate_options): Declare option-processing of predicates
      - Improving on the current situation
        
        Reflective access to options
        
        predicate_options/3
        
        assert_predicate_options/4
        
        current_predicate_option/3
        
        check_predicate_option/3
        
        current_option_arg/2
        
        current_predicate_options/3
        
        check_predicate_options/0
        
        derive_predicate_options/0
        
        retractall_predicate_options/0
        
        derived_predicate_options/3
        
        derived_predicate_options/1
- Packages

Availability::- use_module(library(predicate_options)).(can be autoloaded)

Source

[det]check_predicate_option(:PI, +Arg, +Option)

Verify predicate options at runtime. Similar to current_predicate_option/3, but intended to support runtime checking.

Errors: - existence_error(option, OptionName) if the option is not supported by PI.
- type_error(Type, Value) if the option is supported but the value does not match the option type. See must_be/2.