Function clause entity

A function clause entity corresponds to an Erlang function clause.

Initial selectors

Function clause entities can be referred at the start of a query by a selector:

@clause yields the current function clause

Selectors

The following selectors can be used on function clause entities.

In parentheses you find the type of the result elements.

• calls (function): The functions called by the given function clause (including the unambiguous dynamic calls).
• dynamic_calls (function): The dynamic calls from the given function clause.
• arguments (function-parameter): The arguments of the given function clause.
• body (expression): The body of the given function clause.
• expression (expression): The expressions of the given function clause.
• variables (variable): The variables of the given function clause.
• file (file): The file defining the function of the given clause.
• function (function): The function of the given clause.
• spec (spec): The specification of the function defining this clause.
• retruntype (type): Possible return types of the clause according to the spec.

Properties

These properties are defined for function clause entities:

• name (atom): The name of the function defining the given function clause.
• arity (int): The arity of the function defining the given function clause.
• module (atom): Returns the module where the function of the function clause is defined.
• spec (string): The specification of the function defining the given function clause.
• index (int): The index of the given clause.