diff --git a/doc/ct_expand.md b/doc/ct_expand.md
index 066772b..34d55f6 100644
--- a/doc/ct_expand.md
+++ b/doc/ct_expand.md
@@ -1,6 +1,6 @@
-#Module ct_expand#
+# Module ct_expand #
* [Description](#description)
* [Data Types](#types)
* [Function Index](#index)
@@ -8,13 +8,12 @@
Compile-time expansion utility.
+__Authors:__ : Ulf Wiger ([`ulf@feuerlabs.com`](mailto:ulf@feuerlabs.com)).
+
+## Description ##
-__Authors:__ : Ulf Wiger ([`ulf@feuerlabs.com`](mailto:ulf@feuerlabs.com)).
-
-##Description##
-
This module serves as an example of parse_trans-based transforms,
but might also be a useful utility in its own right.
@@ -22,50 +21,75 @@ The transform searches for calls to the pseudo-function
`ct_expand:term(Expr)`, and then replaces the call site with the
result of evaluating `Expr` at compile-time.
+
+
For example, the line
+
+
`ct_expand:term(lists:sort([3,5,2,1,4]))`
+
+
would be expanded at compile-time to `[1,2,3,4,5]`.
+
+
ct_expand has now been extended to also evaluate calls to local functions.
See examples/ct_expand_test.erl for some examples.
+
+
A debugging facility exists: passing the option {ct_expand_trace, Flags} as an option,
-or adding a compiler attribute -ct_expand_trace(Flags) will enable a form of call trace.`Flags` can be `[]` (no trace) or `[F]`, where `F` is `c` (call trace),
+or adding a compiler attribute -ct_expand_trace(Flags) will enable a form of call trace.
+
+
+`Flags` can be `[]` (no trace) or `[F]`, where `F` is `c` (call trace),
`r` (return trace), or `x` (exception trace)'.
-##Data Types##
+## Data Types ##
-###form()##
+### form() ###
-form() = any()
+
+form() = any()
+
-###forms()##
+
+
+### forms() ###
-forms() = [form()]
+
+forms() = [form()]
+
-###options()##
+
+
+### options() ###
-options() = [{atom(), any()}]
+
+options() = [{atom(), any()}]
+
+
+
-##Function Index##
+## Function Index ##
@@ -73,34 +97,30 @@ or adding a compiler attribute -ct_expand_trace(Flags) will enable a form of cal
-##Function Details##
+## Function Details ##
-###extract_fun/3##
-
-
-
+### extract_fun/3 ###
`extract_fun(Name, Arity, Forms) -> any()`
+
-###lfun_rewrite/2##
-
-
-
+### lfun_rewrite/2 ###
`lfun_rewrite(Exprs, Forms) -> any()`
+
-###parse_transform/2##
+### parse_transform/2 ###
-
-
-parse_transform(Forms::forms(), Options::options()) -> forms()
-
+
+parse_transform(Forms::forms(), Options::options()) -> forms()
+
+
diff --git a/doc/edoc-info b/doc/edoc-info
index 1c637d7..7665186 100644
--- a/doc/edoc-info
+++ b/doc/edoc-info
@@ -1,3 +1,4 @@
+%% encoding: UTF-8
{application,parse_trans}.
{packages,[]}.
{modules,[ct_expand,exprecs,parse_trans,parse_trans_codegen,parse_trans_mod,
diff --git a/doc/exprecs.md b/doc/exprecs.md
index f0adb7c..80e5c79 100644
--- a/doc/exprecs.md
+++ b/doc/exprecs.md
@@ -1,6 +1,6 @@
-#Module exprecs#
+# Module exprecs #
* [Description](#description)
* [Data Types](#types)
* [Function Index](#index)
@@ -8,13 +8,10 @@
Parse transform for generating record access functions.
+__Authors:__ : Ulf Wiger ([`ulf@wiger.net`](mailto:ulf@wiger.net)).
+
-
-
-__Authors:__ : Ulf Wiger ([`ulf.wiger@ericsson.com`](mailto:ulf.wiger@ericsson.com)).
-
-##Description##
-
+## Description ##
This parse transform can be used to reduce compile-time
dependencies in large systems.
@@ -36,8 +33,13 @@ records without the need for compile-time dependencies.
Whenever record definitions need to be exported from a module,
inserting a compiler attribute,
`export_records([RecName|...])` causes this transform
-to lay out access functions for the exported records:As an example, consider the following module:
-
+to lay out access functions for the exported records:
+
+
+As an example, consider the following module:
+
+```
+
-module(test_exprecs).
-export([f/0]).
-compile({parse_transform, exprecs}).
@@ -47,10 +49,18 @@ to lay out access functions for the exported records:As an example, consider the
-record(s,{a}).
-export_records([r,s]).
f() ->
- {new,'#new-r'([])}.
+ {new,'#new-r'([])}.
+```
+
+
Compiling this (assuming exprecs is in the path) will produce the
-following code.
+following code.
+
+
+
+```
+
-module(test_exprecs).
-compile({pt_pp_src,true}).
-export([f/0]).
@@ -327,13 +337,25 @@ following code.
'#lens-s'(Attr) ->
error(bad_record_op, ['#lens-s', Attr]).
f() ->
- {new,'#new-r'([])}.
+ {new,'#new-r'([])}.
+```
+
+
It is possible to modify the naming rules of exprecs, through the use
-of the following attributes (example reflecting the current rules):
+of the following attributes (example reflecting the current rules):
+
+
+
+```
+
-exprecs_prefix(["#", operation, "-"]).
-exprecs_fname([prefix, record]).
- -exprecs_vfname([fname, "__", version]).
The lists must contain strings or any of the following control atoms:
+ -exprecs_vfname([fname, "__", version]).
+```
+
+
+The lists must contain strings or any of the following control atoms:
* in `exprecs_prefix`: `operation`
@@ -343,9 +365,13 @@ of the following attributes (example reflecting the current rules):
+
Exprecs will substitute the control atoms with the string values of the
corresponding items. The result will then be flattened and converted to an
-atom (a valid function or type name).`operation` is one of:
+atom (a valid function or type name).
+
+
+`operation` is one of:
@@ -451,35 +477,47 @@ atom (a valid function or type name).`operation` is one of:
-##Data Types##
+## Data Types ##
-###form()##
+### form() ###
-form() = any()
+
+form() = any()
+
-###forms()##
+
+
+### forms() ###
-forms() = [form()]
+
+forms() = [form()]
+
-###options()##
+
+
+### options() ###
-options() = [{atom(), any()}]
+
+options() = [{atom(), any()}]
+
+
+
-##Function Index##
+## Function Index ##
@@ -487,16 +525,16 @@ atom (a valid function or type name).`operation` is one of:
-##Function Details##
+## Function Details ##
-###parse_transform/2##
+### parse_transform/2 ###
-
-
-parse_transform(Forms::forms(), Options::options()) -> forms()
-
+
+parse_transform(Forms::forms(), Options::options()) -> forms()
+
+
diff --git a/doc/parse_trans.md b/doc/parse_trans.md
index 150d32d..8f3e7b8 100644
--- a/doc/parse_trans.md
+++ b/doc/parse_trans.md
@@ -1,6 +1,6 @@
-#Module parse_trans#
+# Module parse_trans #
* [Description](#description)
* [Data Types](#types)
* [Function Index](#index)
@@ -8,79 +8,107 @@
Generic parse transform library for Erlang.
+__Authors:__ : Ulf Wiger ([`ulf.wiger@feuerlabs.com`](mailto:ulf.wiger@feuerlabs.com)).
+
+## Description ##
-__Authors:__ : Ulf Wiger ([`ulf.wiger@feuerlabs.com`](mailto:ulf.wiger@feuerlabs.com)).
-
-##Description##
-
...
+
-##Data Types##
+## Data Types ##
-###form()##
+### form() ###
-form() = any()
+
+form() = any()
+
-###forms()##
+
+
+### forms() ###
-forms() = [form()]
+
+forms() = [form()]
+
-###insp_f()##
+
+
+### insp_f() ###
-insp_f() = fun((type(), form(), #context{}, A) -> {boolean(), A})
+
+insp_f() = fun((type(), form(), #context{}, A) -> {boolean(), A})
+
-###options()##
+
+
+### options() ###
-options() = [{atom(), any()}]
+
+options() = [{atom(), any()}]
+
-###type()##
+
+
+### type() ###
-type() = atom()
+
+type() = atom()
+
-###xform_f_df()##
+
+
+### xform_f_df() ###
-xform_f_df() = fun((type(), form(), #context{}, Acc) -> {form(), Acc} | {forms(), form(), forms(), Acc})
+
+xform_f_df() = fun((type(), form(), #context{}, Acc) -> {form(), Acc} | {forms(), form(), forms(), Acc})
+
-###xform_f_rec()##
+
+
+### xform_f_rec() ###
-xform_f_rec() = fun((type(), form(), #context{}, Acc) -> {form(), boolean(), Acc} | {forms(), form(), forms(), boolean(), Acc})
+
+xform_f_rec() = fun((type(), form(), #context{}, Acc) -> {form(), boolean(), Acc} | {forms(), form(), forms(), boolean(), Acc})
+
+
+
-##Function Index##
+## Function Index ##
| context/2 |
@@ -102,295 +130,279 @@ Makes one pass. |
-##Function Details##
+## Function Details ##
-###context/2##
+### context/2 ###
+
+context(X1::Attr, Context) -> any()
+
+
+Attr = module | function | arity | options
-context(X1::Attr, Context) -> any()
-
+Accessor function for the Context record.
+
+
+### depth_first/4 ###
-
-
-Accessor function for the Context record.
-
-###depth_first/4##
-
-
-
-
-depth_first(Fun::xform_f_df(), Acc, Forms::forms(), Options::options()) -> {forms(), Acc} | {error, list()}
-
+
+depth_first(Fun::xform_f_df(), Acc, Forms::forms(), Options::options()) -> {forms(), Acc} | {error, list()}
+
+
-###do_depth_first/4##
+### do_depth_first/4 ###
-
-
-do_depth_first(F::xform_f_df(), Acc::term(), Forms::forms(), Context::#context{}) -> {forms(), term()}
-
+
+do_depth_first(F::xform_f_df(), Acc::term(), Forms::forms(), Context::#context{}) -> {forms(), term()}
+
+
-###do_insert_forms/4##
+### do_insert_forms/4 ###
-
-
-do_insert_forms(X1::above | below, Insert::forms(), Forms::forms(), Context::#context{}) -> forms()
-
+
+do_insert_forms(X1::above | below, Insert::forms(), Forms::forms(), Context::#context{}) -> forms()
+
+
-###do_inspect/4##
+### do_inspect/4 ###
-
-
-do_inspect(F::insp_f(), Acc::term(), Forms::forms(), Context::#context{}) -> term()
-
+
+do_inspect(F::insp_f(), Acc::term(), Forms::forms(), Context::#context{}) -> term()
+
+
-###do_transform/4##
+### do_transform/4 ###
-
-
-do_transform(F::xform_f_rec(), Acc::term(), Forms::forms(), Context::#context{}) -> {forms(), term()}
-
+
+do_transform(F::xform_f_rec(), Acc::term(), Forms::forms(), Context::#context{}) -> {forms(), term()}
+
+
-###error/3##
+### error/3 ###
+
+
+
+error(R::Reason, F::Form, I::Info) -> throw()
+
+
+
+Used to report errors detected during the parse transform.
-error(R::Reason, F::Form, I::Info) -> throw()
-
-
-
-
-
-
-
-Used to report errors detected during the parse transform.
-
-###export_function/3##
-
-
+
+### export_function/3 ###
`export_function(F, Arity, Forms) -> any()`
+
-###format_error/1##
+### format_error/1 ###
-
-
-format_error(Error::{atom(), term()}) -> iolist()
-
+
+format_error(Error::{atom(), term()}) -> iolist()
+
+
-###format_exception/2##
+### format_exception/2 ###
+
+format_exception(Class, Reason) -> String
+
+
+
+Equivalent to [`format_exception(Class, Reason, 4)`](#format_exception-3).
+
+
+### format_exception/3 ###
-format_exception(Class, Reason) -> String
-
-
-
-
-
-Equivalent to [`format_exception(Class, Reason, 4)`](#format_exception-3).
-
-###format_exception/3##
-
-
-
-
-format_exception(Class, Reason, Lines) -> String
-
-
-
+
+format_exception(Class, Reason, Lines) -> String
+
+Class = error | throw | exitReason = term()Lines = integer() | infinity
Produces a few lines of user-friendly formatting of exception info
+
+
This function is very similar to the exception pretty-printing in the shell,
but returns a string that can be used as error info e.g. by error forms
handled by [`return/2`](#return-2). By default, the first 4 lines of the
pretty-printed exception info are returned, but this can be controlled
-with the `Lines` parameter.Note that a stacktrace is generated inside this function.
-
-###function_exists/3##
+with the `Lines` parameter.
+Note that a stacktrace is generated inside this function.
+
+
+### function_exists/3 ###
-function_exists(Fname::atom(), Arity::integer(), Forms) -> boolean()
-
+
+function_exists(Fname::atom(), Arity::integer(), Forms) -> boolean()
+
+
+Checks whether the given function is defined in Forms.
+
+
+### get_attribute/2 ###
+
+get_attribute(A, Forms) -> any()
+
-Checks whether the given function is defined in Forms.
-
-###get_attribute/2##
-
-
-
-
-get_attribute(A, Forms) -> any()
-
-
-
-
-
-Returns the value of the first occurence of attribute A.
-
-###get_attribute/3##
+
+Returns the value of the first occurence of attribute A.
+
+### get_attribute/3 ###
`get_attribute(A, Forms, Undef) -> any()`
+
-###get_file/1##
+### get_file/1 ###
+
+get_file(Forms) -> string()
+
+
-get_file(Forms) -> string()
-
+Returns the name of the file being compiled.
+
+
+### get_module/1 ###
+
+get_module(Forms) -> atom()
+
+
+Returns the name of the module being compiled.
+
-Returns the name of the file being compiled.
-
-###get_module/1##
-
-
-
-
-get_module(Forms) -> atom()
-
-
-
-
-
-
-Returns the name of the module being compiled.
-
-###get_orig_syntax_tree/1##
-
-
-
-
-get_orig_syntax_tree(File) -> Forms
-
-
-
+### get_orig_syntax_tree/1 ###
+
+get_orig_syntax_tree(File) -> Forms
+
+
Fetches a Syntax Tree representing the code before pre-processing,
that is, including record and macro definitions. Note that macro
definitions must be syntactically complete forms (this function
-uses epp_dodger).
-
-###get_pos/1##
-
-
-
-
-get_pos(I::list()) -> integer()
-
+uses epp_dodger).
+
+
+### get_pos/1 ###
+
+get_pos(I::list()) -> integer()
+
+
Tries to retrieve the line number from an erl_syntax form. Returns a
-(very high) dummy number if not successful.
-
-###initial_context/2##
-
-
-
-
-initial_context(Forms, Options) -> #context{}
-
+(very high) dummy number if not successful.
+
+### initial_context/2 ###
+
+initial_context(Forms, Options) -> #context{}
+
+
Initializes a context record. When traversing through the form
list, the context is updated to reflect the current function and
arity. Static elements in the context are the file name, the module
-name and the options passed to the transform function.
+name and the options passed to the transform function.
+
-###inspect/4##
+### inspect/4 ###
+
+inspect(F::Fun, Acc::Forms, Forms::Acc, Options) -> NewAcc
+
+
+
-inspect(F::Fun, Acc::Forms, Forms::Acc, Options) -> NewAcc
-
+Equvalent to do_inspect(Fun,Acc,Forms,initial_context(Forms,Options)).
+
+
+### optionally_pretty_print/3 ###
-
-
-Equvalent to do_inspect(Fun,Acc,Forms,initial_context(Forms,Options)).
-
-###optionally_pretty_print/3##
-
-
-
-
-optionally_pretty_print(Result::forms(), Options::options(), Context::#context{}) -> ok
-
+
+optionally_pretty_print(Result::forms(), Options::options(), Context::#context{}) -> ok
+
+
-###plain_transform/2##
-
-
-
-
-plain_transform(Fun, Forms) -> forms()
-
+### plain_transform/2 ###
+
+plain_transform(Fun, Forms) -> forms()
+
+
@@ -400,15 +412,24 @@ representation. The intention of this transform is for the fun to have a
catch-all clause returning `continue`. This will ensure that it stays robust
against additions to the language.
+
+
`Fun(Form)` must return either of the following:
+
+
* `NewForm` - any valid form
* `continue` - dig into the sub-expressions of the form
* `{done, NewForm}` - Replace `Form` with `NewForm`; return all following
forms unchanged
-* `{error, Reason}` - Abort transformation with an error message.Example - This transform fun would convert all instances of `P ! Msg` to
+* `{error, Reason}` - Abort transformation with an error message.
+
+
+Example - This transform fun would convert all instances of `P ! Msg` to
`gproc:send(P, Msg)`:
-
+
+```
+
parse_transform(Forms, _Options) ->
parse_trans:plain_transform(fun do_transform/1, Forms).
do_transform({'op', L, '!', Lhs, Rhs}) ->
@@ -417,80 +438,74 @@ forms unchanged
{call, L, {remote, L, {atom, L, gproc}, {atom, L, send}},
[NewLhs, NewRhs]};
do_transform(_) ->
- continue.
-
-###pp_beam/1##
-
-
-
-
-pp_beam(Beam::file:filename()) -> string() | {error, Reason}
-
+ continue.
+```
+
+
+### pp_beam/1 ###
+
+pp_beam(Beam::file:filename()) -> string() | {error, Reason}
+
+
Reads debug_info from the beam file Beam and returns a string containing
-the pretty-printed corresponding erlang source code.
-
-###pp_beam/2##
-
-
-
-
-pp_beam(Beam::filename(), Out::filename()) -> ok | {error, Reason}
-
+the pretty-printed corresponding erlang source code.
+
+### pp_beam/2 ###
+
+pp_beam(Beam::filename(), Out::filename()) -> ok | {error, Reason}
+
+
Reads debug_info from the beam file Beam and pretty-prints it as
-Erlang source code, storing it in the file Out.
-
-###pp_src/2##
-
-
-
-
-pp_src(Res::Forms, Out::filename()) -> ok
-
+Erlang source code, storing it in the file Out.
+
+### pp_src/2 ###
+
+pp_src(Res::Forms, Out::filename()) -> ok
+
+
Pretty-prints the erlang source code corresponding to Forms into Out
+
-###replace_function/4##
-
-
-
+### replace_function/4 ###
`replace_function(F, Arity, NewForm, Forms) -> any()`
+
-###return/2##
-
-
-
-
-return(Forms, Context) -> Forms | {error, Es, Ws} | {warnings, Forms, Ws}
-
-
+### return/2 ###
+
+return(Forms, Context) -> Forms | {error, Es, Ws} | {warnings, Forms, Ws}
+
+
Checks the transformed result for errors and warnings
-
Errors and warnings can be produced from inside a parse transform, with
a bit of care. The easiest way is to simply produce an `{error, Err}` or
`{warning, Warn}` form in place. This function finds such forms, and
removes them from the form list (otherwise, the linter will crash), and
-produces a return value that the compiler can work with.The format of the `error` and `warning` "forms" must be
+produces a return value that the compiler can work with.
+
+
+The format of the `error` and `warning` "forms" must be
`{Tag, {Pos, Module, Info}}`, where:
* `Tag :: error | warning`
@@ -504,24 +519,21 @@ produces a return value that the compiler can work with.The format of the `error
-
If the error is in the form of a caught exception, `Info` may be produced
-using the function [`format_exception/2`](#format_exception-2).
-
-###revert/1##
-
-
-
-
-revert(Tree) -> Forms
-
+using the function [`format_exception/2`](#format_exception-2).
+
+
+### revert/1 ###
+
+revert(Tree) -> Forms
+
+
Reverts back from Syntax Tools format to Erlang forms.
-
Note that the Erlang forms are a subset of the Syntax Tools
syntax tree, so this function is safe to call even on a list of
regular Erlang forms.
@@ -532,22 +544,20 @@ Note2: R16B03 introduced a bug, where forms produced by
This function works around that limitation, after first verifying that it's
necessary to do so. Use of the workaround can be forced with the help of
the `parse_trans` environment variable {revert_workaround, true}. This
-variable will be removed when R16B03 is no longer 'supported'.
-
-###revert_form/1##
-
-
-
-
-revert_form(F::Tree) -> Form
-
+variable will be removed when R16B03 is no longer 'supported'.
+
+
+### revert_form/1 ###
+
+revert_form(F::Tree) -> Form
+
+
Reverts a single form back from Syntax Tools format to Erlang forms.
-
`erl_syntax:revert/1` has had a long-standing bug where it doesn't
completely revert attribute forms. This function deals properly with those
cases.
@@ -563,28 +573,29 @@ Note2: R16B03 introduced a bug, where forms produced by
This function works around that limitation, after first verifying that it's
necessary to do so. Use of the workaround can be forced with the help of
the `parse_trans` environment variable {revert_workaround, true}. This
-variable will be removed when R16B03 is no longer 'supported'.
+variable will be removed when R16B03 is no longer 'supported'.
-###top/3##
+
+
+### top/3 ###
-
-
-top(F::function(), Forms::forms(), Options::list()) -> forms() | {error, term()}
-
+
+top(F::function(), Forms::forms(), Options::list()) -> forms() | {error, term()}
+
+
-###transform/4##
+### transform/4 ###
+
+transform(Fun, Acc, Forms, Options) -> {TransformedForms, NewAcc}
+
+
+Fun = function()Options = [{Key, Value}]
-transform(Fun, Acc, Forms, Options) -> {TransformedForms, NewAcc}
-Fun = function()
Options = [{Key, Value}]
-
-
-
-
-Makes one pass
\ No newline at end of file
+Makes one pass
diff --git a/doc/parse_trans_codegen.md b/doc/parse_trans_codegen.md
index 7bb9d04..e2bdc39 100644
--- a/doc/parse_trans_codegen.md
+++ b/doc/parse_trans_codegen.md
@@ -1,24 +1,24 @@
-#Module parse_trans_codegen#
+# Module parse_trans_codegen #
* [Description](#description)
* [Function Index](#index)
* [Function Details](#functions)
Parse transform for code generation pseduo functions.
+__Authors:__ : Ulf Wiger ([`ulf@feuerlabs.com`](mailto:ulf@feuerlabs.com)).
+
+## Description ##
-__Authors:__ : Ulf Wiger ([`ulf@feuerlabs.com`](mailto:ulf@feuerlabs.com)).
-
-##Description##
-
...
+
-##Function Index##
+## Function Index ##
-##Function Details##
+## Function Details ##
-###format_error/1##
-
-
-
+### format_error/1 ###
`format_error(E) -> any()`
+
-###parse_transform/2##
-
-
-
-
-parse_transform(Forms, Options) -> NewForms
-
-
-
+### parse_transform/2 ###
+
+parse_transform(Forms, Options) -> NewForms
+
+
@@ -60,20 +54,33 @@ Searches for calls to pseudo functions in the module `codegen`,
and converts the corresponding erlang code to a data structure
representing the abstract form of that code.
+
+
The purpose of these functions is to let the programmer write
the actual code that is to be generated, rather than manually
writing abstract forms, which is more error prone and cannot be
checked by the compiler until the generated module is compiled.
+
+
Supported functions:
-##gen_function/2##
+
+
+
+## gen_function/2 ##
+
Usage: `codegen:gen_function(Name, Fun)`
+
+
Substitutes the abstract code for a function with name `Name`
-and the same behaviour as `Fun`.`Fun` can either be a anonymous `fun`, which is then converted to
+and the same behaviour as `Fun`.
+
+
+`Fun` can either be a anonymous `fun`, which is then converted to
a named function, or it can be an `implicit fun`, e.g.
`fun is_member/2`. In the latter case, the referenced function is fetched
and converted to an abstract form representation. It is also renamed
@@ -82,79 +89,141 @@ so that the generated function has the name `Name`.
Another alternative is to wrap a fun inside a list comprehension, e.g.
-
+
+```
+
f(Name, L) ->
codegen:gen_function(
Name,
[ fun({'$var',X}) ->
{'$var', Y}
- end || {X, Y} <- L ]).
+ end || {X, Y} <- L ]).
+```
+
Calling the above with `f(foo, [{1,a},{2,b},{3,c}])` will result in
generated code corresponding to:
-
+
+```
+
foo(1) -> a;
foo(2) -> b;
- foo(3) -> c.
+ foo(3) -> c.
+```
+
+
+
+
+## gen_functions/1 ##
-##gen_functions/1##
Takes a list of `{Name, Fun}` tuples and produces a list of abstract
data objects, just as if one had written
`[codegen:gen_function(N1,F1),codegen:gen_function(N2,F2),...]`.
-##exprs/1##
+
+
+
+## exprs/1 ##
+
Usage: `codegen:exprs(Fun)`
+
+
`Fun` is either an anonymous function, or an implicit fun with only one
function clause. This "function" takes the body of the fun and produces
a data type representing the abstract form of the list of expressions in
the body. The arguments of the function clause are ignored, but can be
used to ensure that all necessary variables are known to the compiler.
-##gen_module/3##
+
+
+
+## gen_module/3 ##
+
Generates abstract forms for a complete module definition.
+
+
Usage: `codegen:gen_module(ModuleName, Exports, Functions)`
+
+
`ModuleName` is either an atom or a `{'$var', V}` reference.
+
+
`Exports` is a list of `{Function, Arity}` tuples.
+
+
`Functions` is a list of `{Name, Fun}` tuples analogous to that for
`gen_functions/1`.
-##Variable substitution##
+
+
+
+## Variable substitution ##
+
It is possible to do some limited expansion (importing a value
bound at compile-time), using the construct `{'$var', V}`, where
-`V` is a bound variable in the scope of the call to `gen_function/2`.Example:
-
- gen(Name, X) ->
- codegen:gen_function(Name, fun(L) -> lists:member({'$var',X}, L) end).After transformation, calling `gen(contains_17, 17)` will yield the
-abstract form corresponding to:
-
- contains_17(L) ->
- lists:member(17, L).
+`V` is a bound variable in the scope of the call to `gen_function/2`.
+
+
+Example:
+
+```
+
+ gen(Name, X) ->
+ codegen:gen_function(Name, fun(L) -> lists:member({'$var',X}, L) end).
+```
+
+
+After transformation, calling `gen(contains_17, 17)` will yield the
+abstract form corresponding to:
+
+```
+
+ contains_17(L) ->
+ lists:member(17, L).
+```
+
+
+
+
+## Form substitution ##
-##Form substitution##
It is possible to inject abstract forms, using the construct
`{'$form', F}`, where `F` is bound to a parsed form in
-the scope of the call to `gen_function/2`.Example:
-
+the scope of the call to `gen_function/2`.
+
+
+Example:
+
+```
+
gen(Name, F) ->
- codegen:gen_function(Name, fun(X) -> X =:= {'$form',F} end).After transformation, calling `gen(is_foo, {atom,0,foo})` will yield the
+ codegen:gen_function(Name, fun(X) -> X =:= {'$form',F} end).
+```
+
+
+After transformation, calling `gen(is_foo, {atom,0,foo})` will yield the
abstract form corresponding to:
-
+
+```
+
is_foo(X) ->
- X =:= foo.
\ No newline at end of file
+ X =:= foo.
+```
+
diff --git a/doc/parse_trans_mod.md b/doc/parse_trans_mod.md
index e9cae52..84e925f 100644
--- a/doc/parse_trans_mod.md
+++ b/doc/parse_trans_mod.md
@@ -1,37 +1,43 @@
-#Module parse_trans_mod#
+# Module parse_trans_mod #
* [Data Types](#types)
* [Function Index](#index)
* [Function Details](#functions)
-
-
-##Data Types##
+## Data Types ##
-###compile_options()##
+### compile_options() ###
-compile_options() = [term()]
+
+compile_options() = [term()]
+
-###erlang_form()##
+
+
+### erlang_form() ###
-erlang_form() = term()
+
+erlang_form() = term()
+
+
+
-##Function Index##
+## Function Index ##
@@ -39,80 +45,78 @@
-##Function Details##
+## Function Details ##
-###abstract_code/1##
+### abstract_code/1 ###
-
-
-abstract_code(BeamFile::binary()) -> erlang_form()
-
+
+abstract_code(BeamFile::binary()) -> erlang_form()
+
+
-###beam_file/1##
+### beam_file/1 ###
-
-
-beam_file(Module::module()) -> binary()
-
+
+beam_file(Module::module()) -> binary()
+
+
-###compile_and_load_forms/1##
+### compile_and_load_forms/1 ###
-
-
-compile_and_load_forms(AbsCode::erlang_form()) -> ok
-
+
+compile_and_load_forms(AbsCode::erlang_form()) -> ok
+
+
-###compile_and_load_forms/2##
+### compile_and_load_forms/2 ###
-
-
-compile_and_load_forms(AbsCode::erlang_form(), Opts::compile_options()) -> ok
-
+
+compile_and_load_forms(AbsCode::erlang_form(), Opts::compile_options()) -> ok
+
+
-###compile_options/1##
+### compile_options/1 ###
-
-
-compile_options(BeamFile::binary() | module()) -> compile_options()
-
+
+compile_options(BeamFile::binary() | module()) -> compile_options()
+
+
-###rename_module/2##
+### rename_module/2 ###
-
-
-rename_module(T::erlang_form(), NewName::module()) -> erlang_form()
-
+
+rename_module(T::erlang_form(), NewName::module()) -> erlang_form()
+
+
-###transform_module/3##
-
-
-
+### transform_module/3 ###
`transform_module(Mod, PT, Options) -> any()`
+
diff --git a/doc/parse_trans_pp.md b/doc/parse_trans_pp.md
index f2120af..8b4c183 100644
--- a/doc/parse_trans_pp.md
+++ b/doc/parse_trans_pp.md
@@ -1,31 +1,39 @@
-#Module parse_trans_pp#
+# Module parse_trans_pp #
* [Description](#description)
* [Function Index](#index)
* [Function Details](#functions)
Generic parse transform library for Erlang.
+__Authors:__ : Ulf Wiger ([`ulf@feuerlabs.com`](mailto:ulf@feuerlabs.com)).
+
+## Description ##
-__Authors:__ : Ulf Wiger ([`ulf@feuerlabs.com`](mailto:ulf@feuerlabs.com)).
-
-##Description##
-
This module contains some useful utility functions for inspecting
the results of parse transforms or code generation.
The function `main/1` is called from escript, and can be used to
-pretty-print debug info in a .beam file from a Linux shell.Using e.g. the following bash alias:
-
- alias pp='escript $PARSE_TRANS_ROOT/ebin/parse_trans_pp.beam'
+pretty-print debug info in a .beam file from a Linux shell.
-a file could be pretty-printed using the following command:`$ pp ex_codegen.beam | less`
+Using e.g. the following bash alias:
-##Function Index##
+```
+
+ alias pp='escript $PARSE_TRANS_ROOT/ebin/parse_trans_pp.beam'
+```
+
+
+a file could be pretty-printed using the following command:
+
+
+`$ pp ex_codegen.beam | less`
+
+## Function Index ##
| main/1 | |
| pp_beam/1 |
@@ -37,60 +45,54 @@ Erlang source code, storing it in the file Out. |
-##Function Details##
+## Function Details ##
-###main/1##
+### main/1 ###
-
-
-main(X1::[string()]) -> any()
-
+
+main(X1::[string()]) -> any()
+
+
-###pp_beam/1##
-
-
-
-
-pp_beam(Beam::filename()) -> string() | {error, Reason}
-
-
+### pp_beam/1 ###
+
+pp_beam(Beam::filename()) -> string() | {error, Reason}
+
+
Reads debug_info from the beam file Beam and returns a string containing
-the pretty-printed corresponding erlang source code.
-
-###pp_beam/2##
-
-
-
-
-pp_beam(Beam::filename(), Out::filename()) -> ok | {error, Reason}
-
+the pretty-printed corresponding erlang source code.
+
+### pp_beam/2 ###
+
+pp_beam(Beam::filename(), Out::filename()) -> ok | {error, Reason}
+
+
Reads debug_info from the beam file Beam and pretty-prints it as
-Erlang source code, storing it in the file Out.
-
-###pp_src/2##
-
-
-
-
-pp_src(Forms0::Forms, Out::filename()) -> ok
-
+Erlang source code, storing it in the file Out.
+
+### pp_src/2 ###
+
+pp_src(Forms0::Forms, Out::filename()) -> ok
+
+
Pretty-prints the erlang source code corresponding to Forms into Out
+
diff --git a/include/codegen.hrl b/include/codegen.hrl
index c5bbb55..a1dfd49 100644
--- a/include/codegen.hrl
+++ b/include/codegen.hrl
@@ -10,16 +10,16 @@
%%
%% The Original Code is parse_trans-2.0.
%%
-%% Copyright (c) 2010 Erlang Solutions Ltd.
+%% Copyright (c) 2014 Ericsson AB
%%
%% Contributor(s): ______________________________________.
%%-------------------------------------------------------------------
%% File : codegen.hrl
-%% @author : Ulf Wiger
+%% @author : Ulf Wiger
%% @end
-%% Description :
+%% Description :
%%
-%% Created : 25 Feb 2010 by Ulf Wiger
+%% Created : 25 Feb 2010 by Ulf Wiger
%%-------------------------------------------------------------------
-compile({parse_transform, parse_trans_codegen}).
diff --git a/include/exprecs.hrl b/include/exprecs.hrl
index 1faab7e..6d92609 100644
--- a/include/exprecs.hrl
+++ b/include/exprecs.hrl
@@ -10,16 +10,16 @@
%%
%% The Original Code is exprecs-0.2.
%%
-%% Copyright (c) 2010 Erlang Solutions Ltd.
+%% Copyright (c) 2014 Ericsson AB
%%
%% Contributor(s): ______________________________________.
%%-------------------------------------------------------------------
%% File : exprecs.hrl
-%% @author : Ulf Wiger
+%% @author : Ulf Wiger
%% @end
-%% Description :
+%% Description :
%%
-%% Created : 25 Feb 2010 by Ulf Wiger
+%% Created : 25 Feb 2010 by Ulf Wiger
%%-------------------------------------------------------------------
-compile({parse_transform, exprecs}).
diff --git a/rebar.config b/rebar.config
index fea8d77..6c08fe5 100644
--- a/rebar.config
+++ b/rebar.config
@@ -5,8 +5,8 @@
{erl_opts, [debug_info]}.
{xref_checks, [undefined_function_calls]}.
-{deps, [{edown, ".*", {git, "git://github.com/esl/edown.git", "HEAD"}}]}.
+{deps, [{edown, ".*", {git, "git://github.com/uwiger/edown.git", "0.5"}}]}.
{edoc_opts, [{doclet, edown_doclet},
{top_level_readme,
{"./README.md",
- "http://github.com/esl/parse_trans"}}]}.
+ "http://github.com/uwiger/parse_trans"}}]}.
diff --git a/src/exprecs.erl b/src/exprecs.erl
index 9e41bbe..4e19e91 100755
--- a/src/exprecs.erl
+++ b/src/exprecs.erl
@@ -10,7 +10,7 @@
%%
%% The Original Code is exprecs-0.2.
%%
-%% Copyright (c) 2010 Erlang Solutions Ltd.
+%% Copyright (c) 2014 Ericsson AB
%% The Initial Developer of the Original Code is Ericsson AB.
%% Portions created by Ericsson are Copyright (C), 2006, Ericsson AB.
%% All Rights Reserved.
@@ -19,12 +19,12 @@
%%-------------------------------------------------------------------
%% File : exprecs.erl
-%% @author : Ulf Wiger
+%% @author : Ulf Wiger
%% @end
%% Description :
%%
-%% Created : 13 Feb 2006 by Ulf Wiger
-%% Rewritten: Jan-Feb 2010 by Ulf Wiger
+%% Created : 13 Feb 2006 by Ulf Wiger
+%% Rewritten: Jan-Feb 2010 by Ulf Wiger
%%-------------------------------------------------------------------
%% @doc Parse transform for generating record access functions.
diff --git a/src/parse_trans_mod.erl b/src/parse_trans_mod.erl
index 27cb090..2dbbf8e 100644
--- a/src/parse_trans_mod.erl
+++ b/src/parse_trans_mod.erl
@@ -1,5 +1,5 @@
%%============================================================================
-%% Copyright 2011 Erlang Solutions Ltd.
+%% Copyright 2014 Ulf Wiger
%%
%% Licensed under the Apache License, Version 2.0 (the "License");
%% you may not use this file except in compliance with the License.
@@ -14,7 +14,7 @@
%% limitations under the License.
%%============================================================================
%%
-%% Based on meck_mod.erl from http://github.com/esl/meck.git
+%% Based on meck_mod.erl from http://github.com/eproxus/meck.git
%% Original author: Adam Lindberg
%%
-module(parse_trans_mod).
|