style_check/1

Synopsis

style_check(+Type)

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

Arguments

Type atom

is one of the following atoms:

all

Turn on all style checking.

single_var

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

discontiguous

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

multiple

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

Description

Since all style checking is on by default, this predicate is only used to put back style checking after it has been turned off by no_style_check/1.

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

no_style_check/1.