no_style_check/1

Synopsis

no_style_check(+Type)

Turns off the specified Type of compile-time style checking.

Arguments

Type

is one of the following atoms:

all

Turn off all style checking.

single_var

Turn off checking for clauses containing a single instance of a named variable, where variables that start with a _ are not considered named.

discontiguous

Turn off checking for procedures whose clauses are not all adjacent to one another in the file.

multiple

Turn off checking for multiple definitions of the same procedure in different files.

Description

The normal use of this predicate is as an embedded command in a file that has not been written to follow the recommended style conventions (see bas-lod-sty). For example, you could put

     :- no_style_check(discontiguous).
     

at the beginning of a file and

     :- style_check(discontiguous).
     

at the end of the file.

Exceptions

instantiation_error

Type is not bound.

type_error

Type is not an atom.

domain_error

Type is not a valid type of style checking.

See Also

style_check/1.