[det]check_predicate_optionsAnalyse loaded program for erroneous options. This predicate decompiles
the current program and searches for calls to predicates that process
options. For each option list, it validates whether the provided options
are supported and validates the argument type. This predicate performs
partial dataflow analysis to track option-lists inside a clause.
- See also
- derive_predicate_options/0
can be used to derive declarations for predicates that pass options.
This predicate should normally be called before
check_predicate_options/0.