Documenter will, by default, run jldoctest
code blocks that it finds and makes sure that
the actual output matches what's in the doctest. This can help to avoid documentation
examples from becoming outdated, incorrect, or misleading. It is recommended that as many of
a package's examples as possible be runnable by Documenter's doctest.
Doctest failures during makedocs
are fatal by default, but can be turned into just warnings by passing warnonly=:doctest
to makedocs
.
This section of the manual outlines how to go about enabling doctests for code blocks in your package's documentation.
The first, of two, types of doctests is the "script" code block. To make Documenter detect this kind of code block the following format must be used:
```jldoctest
a = 1
b = 2
a + b
# output
3
```
The code block's "language" must be jldoctest
and must include a line containing exactly the text # output
. The text before this line is the contents of the script that is run. The text that
appears after # output
is the textual representation that would be shown in the Julia REPL
if the script had been include
d. In particular, semicolons ;
at the end of
a line have no effect.
The actual output produced by running the "script" is compared to the expected result and
any difference will result in makedocs
throwing an error and terminating.
Note that the amount of whitespace appearing above and below the # output
line is not
significant and can be increased or decreased if desired.
It is possible to suppress the output from the doctest by setting the output
keyword
argument to false
, for example
```jldoctest; output = false
a = 1
b = 2
a + b
# output
3
```
Note that the output of the script will still be compared to the expected result,
i.e. what is # output
section, but the # output
section will be suppressed in
the rendered documentation.
The other kind of doctest is a simulated Julia REPL session. The following format is detected by Documenter as a REPL doctest:
```jldoctest
julia> a = 1
1
julia> b = 2;
julia> c = 3; # comment
julia> a + b + c
6
```
As with script doctests, the code block must have it's language set to jldoctest
. When a code
block contains one or more julia>
at the start of a line then it is assumed to be a REPL
doctest. Semi-colons, ;
, at the end of a line works in the same way as in the Julia REPL
and will suppress the output, although the line is still evaluated.
Note that not all features of the REPL are supported such as shell and help modes.
!!! note "Soft vs hard scope"
Julia 1.5 changed the REPL to use the _soft scope_ when handling global variables in
`for` loops etc. When using Documenter with Julia 1.5 or above, Documenter uses the soft
scope in `@repl`-blocks and REPL-type doctests.
Doctests can also test for thrown exceptions and their stacktraces. Comparing of the actual and expected results is done by checking whether the expected result matches the start of the actual result. Hence, both of the following errors will match the actual result.
```jldoctest
julia> div(1, 0)
ERROR: DivideError: integer division error
in div(::Int64, ::Int64) at ./int.jl:115
julia> div(1, 0)
ERROR: DivideError: integer division error
```
If instead the first div(1, 0)
error was written as
```jldoctest
julia> div(1, 0)
ERROR: DivideError: integer division error
in div(::Int64, ::Int64) at ./int.jl:114
```
where line 115
is replaced with 114
then the doctest will fail.
In the second div(1, 0)
, where no stacktrace is shown, it may appear to the reader that
it is expected that no stacktrace will actually be displayed when they attempt to try to
recreate the error themselves. To indicate to readers that the output result is truncated
and does not display the entire (or any of) the stacktrace you may write [...]
at the
line where checking should stop, i.e.
```jldoctest
julia> div(1, 0)
ERROR: DivideError: integer division error
[...]
```
Every doctest block is evaluated inside its own module
. This means that definitions
(types, variables, functions etc.) from a block can not be used in the next block.
For example:
```jldoctest
julia> foo = 42
42
```
The variable foo
will not be defined in the next block:
```jldoctest
julia> println(foo)
ERROR: UndefVarError: foo not defined
```
To preserve definitions it is possible to label blocks in order to collect several blocks into the same module. All blocks with the same label (in the same file) will be evaluated in the same module, and hence share scope. This can be useful if the same definitions are used in more than one block, with for example text, or other doctest blocks, in between. Example:
```jldoctest mylabel
julia> foo = 42
42
```
Now, since the block below has the same label as the block above, the variable foo
can
be used:
```jldoctest mylabel
julia> println(foo)
42
```
!!! note
Labeled doctest blocks do not need to be consecutive (as in the example above) to be
included in the same module. They can be interspaced with unlabeled blocks or blocks
with another label.
Doctests may require some setup code that must be evaluated prior to that of the actual example, but that should not be displayed in the final documentation. There are three ways to specify the setup code, each appropriate in a different situation.
For doctests in the Markdown source files, an @meta
block containing a DocTestSetup = ...
value can be used. In the example below, the function foo
is defined inside a @meta
block. This block will be evaluated at the start of the following doctest blocks:
```@meta
DocTestSetup = quote
function foo(x)
return x^2
end
end
```
```jldoctest
julia> foo(2)
4
```
```@meta
DocTestSetup = nothing
```
The DocTestSetup = nothing
is not strictly necessary, but good practice nonetheless to
help avoid unintentional definitions in following doctest blocks.
While technically the @meta
blocks also work within docstrings, their use there is
discouraged since the @meta
blocks will show up when querying docstrings in the REPL.
!!! note "Historic note"
It used to be that DocTestSetup
s in @meta
blocks in Markdown files that included
docstrings also affected the doctests in the docstrings. Since Documenter 0.23 that is
no longer the case. You should use Module-level metadata or Block-level setup
code instead.
For doctests that are in docstrings, the exported DocMeta
module provides an API
to attach metadata that applies to all the docstrings in a particular module. Setting up the
DocTestSetup
metadata should be done before the makedocs
or doctest
call:
using MyPackage, Documenter
DocMeta.setdocmeta!(MyPackage, :DocTestSetup, :(using MyPackage); recursive=true)
makedocs(modules=[MyPackage], ...)
!!! note
Make sure to include all (top-level) modules that contain docstrings with doctests in the
modules
argument to makedocs
. Otherwise these doctests will not be run.
Yet another option is to use the setup
keyword argument to the jldoctest
block, which is
convenient for short definitions, and for setups needed in inline docstrings.
```jldoctest; setup = :(foo(x) = x^2)
julia> foo(2)
4
```
!!! note
The `DocTestSetup` and the `setup` values are **re-evaluated** at the start of *each* doctest block
and no state is shared between any code blocks.
To preserve definitions see [Preserving Definitions Between Blocks](@ref).
A part of the output of a doctest might be non-deterministic, e.g. pointer addresses and timings. It is possible to use regular expressions to filter out or transform parts of the doctest outputs so that the deterministic part can still be tested.
A doctest filter is a regular expression and substitution string pair.
In a doctest, each match in the expected output and the actual output is replaced according to the filter before the two outputs are compared.
For example, in the following, the filter matches floating point numbers and only retains the first 4 digits after the decimal point, replacing the rest with ***
:
```jldoctest; filter = r"(\d*)\.(\d{4})\d+" => s"\1.\2***"
julia> sqrt(2)
1.4142135623730951
```
The actual string that gets compared when determining whether the doctest is up to date is actually
1.4142***
The filter can also be just a regular expression in which case the whole matching substring is removed (i.e. the substitution is just ""
).
For more information on the regular expression and substitution string syntax, see the Julia manual.
The doctest filters can be applied globally, on a per-file basis or to each doctest separately.
To apply them globally, i.e. to all doctests in the documentation, a list of filters can be passed to makedocs
with the keyword doctestfilters
.
For more fine grained control it is possible to define filters in @meta
blocks by assigning them
to the DocTestFilters
variable, either as a single regular expression (DocTestFilters = [r"foo"]
)
or as a vector of several regexes (DocTestFilters = [r"foo", r"bar"]
).
As an example, to filter out some of the non-deterministic output from @time
, the following filtering could be applied:
```@meta
DocTestFilters = r"[0-9\.]+ seconds \(.*\)"
```
```jldoctest
julia> @time [1,2,3,4]
0.000003 seconds (5 allocations: 272 bytes)
4-element Array{Int64,1}:
1
2
3
4
```
```@meta
DocTestFilters = nothing
```
DocTestFilters = nothing
is not strictly necessary, but good practice nonetheless to
help avoid unintentional filtering in following doctest blocks.
!!! info
The filter match is replaced with an empty string in both the expected and actual output using replace
, e.g. replace(str, filter => substitution)
.
Note that this means that the same filter can match multiple times, and if you need the same filter to match multiple lines your regex need to account for that.
Another option is to use the filter
keyword argument. This defines a doctest-local filter
which is only active for the specific doctest. Note that such filters are not shared between
named doctests either. It is possible to define a filter by a single regex (filter = r"foo"
)
or as a list of regex (filter = [r"foo-[0-9]+", r"bar-([0-9]+)" => s"\1"]
). Example:
```jldoctest; filter = r"[0-9\.]+ seconds \(.*\)"
julia> @time [1,2,3,4]
0.000003 seconds (5 allocations: 272 bytes)
4-element Array{Int64,1}:
1
2
3
4
```
!!! note
The global filters, filters defined in `@meta` blocks, and filters defined with the `filter`
keyword argument are all applied to each doctest.
!!! note "Testing and debugging"
Documenter outputs debug-level logs for each doctest it runs, showing the outputs both
before and after filtering. This can be useful when developing doctests to see if the
filters are being applied as you expect (e.g. to make sure that they are not too broad
or to understand why a filter is not working).
To enable the debug output, you can set the `JULIA_DEBUG` environment variable to
`Documenter`, e.g. by doing the following in the `make.jl` script:
```julia
ENV["JULIA_DEBUG"] = "Documenter"
```
Documenter provides the doctest
function which can be used to verify all doctests
independently of manual builds. It behaves like a @testset
, so it will return a testset
if all the tests pass or throw a TestSetException
if it does not.
For example, it can be used to verify doctests as part of the normal test suite by having
e.g. the following in runtests.jl
:
using Test, Documenter, MyPackage
doctest(MyPackage)
By default, it will also attempt to verify all the doctests on manual .md
files, which it
assumes are located under docs/src
. This can be configured or disabled with the manual
keyword (see doctest
for more information).
It can also be included in another testset, in which case it gets incorporated into the
parent testset. So, as another example, to test a package that does have separate manual
pages, just docstrings, and also collects all the tests into a single testset, the
runtests.jl
might look as follows:
using Test, Documenter, MyPackage
@testset "MyPackage" begin
... # other tests & testsets
doctest(MyPackage; manual = false)
... # other tests & testsets
end
Note that you still need to make sure that all the necessary Module-level metadata
for the doctests is set up before doctest
is called. Also, you need to add
Documenter and all the other packages you are loading in the doctests as test dependencies.
To fix outdated doctests, the doctest
function can be called with fix = true
.
This will run the doctests, and overwrite the old results with the new output. This can be
done just in the REPL:
julia> using Documenter, MyPackage
julia> doctest(MyPackage, fix=true)
Alternatively, you can also pass the doctest = :fix
keyword to makedocs
.
!!! note
* The `:fix` option currently only works for LF line endings (`'\n'`)
* It is recommended to `git commit` any code changes before running the doctest fixing.
That way it is simple to restore to the previous state if the fixing goes wrong.
* There are some corner cases where the fixing algorithm may replace the wrong code
snippet. It is therefore recommended to manually inspect the result of the fixing
before committing.
Doctesting can be disabled by setting the makedocs
keyword doctest = false
.
This should only be done when initially laying out the structure of a package's
documentation, after which it's encouraged to always run doctests when building docs.