summaryrefslogtreecommitdiff
path: root/test/handler/test_dafny_handler.vader
blob: 674f691d5d53d0ffb2a55d9e92c750cf6edd330f (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
Before:
  runtime ale_linters/dafny/dafny.vim

After:
  call ale#linter#Reset()

Execute(The Dafny handler should parse output correctly):
  AssertEqual
  \ [
  \   {
  \     'bufnr': 0,
  \     'col': 45,
  \     'lnum': 123,
  \     'text': 'A precondition for this call might not hold.',
  \     'type': 'E'
  \   },
  \   {
  \     'bufnr': 0,
  \     'col': 90,
  \     'lnum': 678,
  \     'text': 'This is the precondition that might not hold.',
  \     'type': 'W'
  \   }
  \ ],
  \ ale_linters#dafny#dafny#Handle(0, [
  \ 'File.dfy(123,45): Error BP5002: A precondition for this call might not hold.',
  \ 'File.dfy(678,90): Related location: This is the precondition that might not hold.'
  \ ])