summaryrefslogtreecommitdiff
path: root/test/linter/test_erlang_dialyzer.vader
blob: 5e818d7f2969980b1483cf64936638d508c40530 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
Before:
  call ale#assert#SetUpLinterTest('erlang', 'dialyzer')

After:
  call ale#assert#TearDownLinterTest()

Execute(The default command should be correct.):
    AssertLinter 'dialyzer',
    \ ale#Escape('dialyzer')
    \ . ' -n --plt ' . ale#Escape(expand('$HOME/.dialyzer_plt'))
    \ . ' -Wunmatched_returns'
    \ . ' -Werror_handling'
    \ . ' -Wrace_conditions'
    \ . ' -Wunderspecs'
    \ . ' %s'

Execute(The command should accept configured executable.):
    let b:ale_erlang_dialyzer_executable = '/usr/bin/dialyzer'
    AssertLinter '/usr/bin/dialyzer',
    \ ale#Escape('/usr/bin/dialyzer')
    \ . ' -n --plt ' . ale#Escape(expand('$HOME/.dialyzer_plt'))
    \ . ' -Wunmatched_returns'
    \ . ' -Werror_handling'
    \ . ' -Wrace_conditions'
    \ . ' -Wunderspecs'
    \ . ' %s'

Execute(The command should accept configured options.):
    let b:ale_erlang_dialyzer_options = '-r ' . expand('$HOME')
    AssertLinter 'dialyzer',
    \ ale#Escape('dialyzer')
    \ . ' -n --plt ' . ale#Escape(expand('$HOME/.dialyzer_plt'))
    \ . ' -r ' . expand('$HOME')
    \ . ' %s'

Execute(The command should accept configured PLT file.):
    let b:ale_erlang_dialyzer_plt_file = 'custom-plt'
    AssertLinter 'dialyzer',
    \ ale#Escape('dialyzer')
    \ . ' -n --plt ' . ale#Escape(expand('custom-plt'))
    \ . ' -Wunmatched_returns'
    \ . ' -Werror_handling'
    \ . ' -Wrace_conditions'
    \ . ' -Wunderspecs'
    \ . ' %s'