Skip to content
Snippets Groups Projects
Commit a8ae6822 authored by Roma Auguste's avatar Roma Auguste Committed by Virgile Prevosto
Browse files

Developer doc: tiny typos

parent d613928b
No related branches found
No related tags found
No related merge requests found
...@@ -190,7 +190,7 @@ documentation generated by \texttt{make doc} for that purpose. ...@@ -190,7 +190,7 @@ documentation generated by \texttt{make doc} for that purpose.
In \framac, plug-ins are program analysis or source-to-source In \framac, plug-ins are program analysis or source-to-source
transformations. The ones provided within \framac are in directory transformations. The ones provided within \framac are in directory
\texttt{src/$plugin\_name$}. Each plug-in is an extension point of \framac which \texttt{src/plugins/$plugin\_name$}. Each plug-in is an extension point of \framac which
has to be registered through \texttt{Plugin.Register}\scodeidx{Plugin}{Register} has to be registered through \texttt{Plugin.Register}\scodeidx{Plugin}{Register}
(see Section~\ref{adv:plugin-services}). \framac allows plug-in collaborations: (see Section~\ref{adv:plugin-services}). \framac allows plug-in collaborations:
a plug-in $p$ can use a list of plug-ins $p_1$, \dots, $p_n$ and a plug-in $p$ can use a list of plug-ins $p_1$, \dots, $p_n$ and
...@@ -271,7 +271,7 @@ with the \framac kernel or other plug-ins. ...@@ -271,7 +271,7 @@ with the \framac kernel or other plug-ins.
Next, \framac provides predefined ways to visit the ASTs, in particular through Next, \framac provides predefined ways to visit the ASTs, in particular through
object-oriented visitors defined in directory object-oriented visitors defined in directory
\texttt{src/kernel\_services/visitor} (see Section~\ref{adv:visitors}). \texttt{src/kernel\_services/visitors} (see Section~\ref{adv:visitors}).
Some predefined analyzers, such as a multiple generic dataflow analysis Some predefined analyzers, such as a multiple generic dataflow analysis
are provided in directory \texttt{src/kernel\_services/analysis}, while some are provided in directory \texttt{src/kernel\_services/analysis}, while some
predefined program transformation, such as cloning a function, are provided in predefined program transformation, such as cloning a function, are provided in
......
...@@ -472,7 +472,7 @@ file names, in the correct \ocaml build order. ...@@ -472,7 +472,7 @@ file names, in the correct \ocaml build order.
\codeidx{PLUGIN\_NAME} \codeidx{PLUGIN\_NAME}
\makefileinput{./tutorial/hello/generated/makefile_multiple/Makefile} \makefileinput{./tutorial/hello/generated/makefile_multiple/Makefile}
The three followoing files completely replace the \texttt{./hello\_world.ml} The three following files completely replace the \texttt{./hello\_world.ml}
from the previous section. Modules are directly called by their name in the from the previous section. Modules are directly called by their name in the
classical \ocaml way. classical \ocaml way.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment