= Generate function specification =

The “generate function specification” transformation calculates the specification of the selected function and insert the -spec directive in front of the function.

Inserting specification for function {{{f}}}:

{{{
j(X, ok) ->
   X + 2.
}}}

Result:

{{{
-spec(j(float()|int(),atom())
   ->float()|int())

j(X, ok) ->
   X + 2.
}}}

== Side conditions ==

 * There is no side condition to use this transformation.


== Transformation steps and compensations ==

 1. Calculates the specification of the function.

 2. Inserts the specification.