blob: 26cb4654741288fa4d1bcf17dbb0c6c3d6f6f9a9 (
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
46
47
48
49
50
51
52
53
|
from sarif import *
import pytest
@pytest.fixture(scope='function', autouse=True)
def sarif():
return sarif_from_env()
def test_basics(sarif):
schema = sarif['$schema']
assert schema == "https://docs.oasis-open.org/sarif/sarif/v2.1.0/errata01/os/schemas/sarif-schema-2.1.0.json"
version = sarif['version']
assert version == "2.1.0"
def test_execution_unsuccessful(sarif):
runs = sarif['runs']
run = runs[0]
invocations = run['invocations']
assert len(invocations) == 1
invocation = invocations[0]
# We expect the 'error' to make executionSuccessful be false
assert invocation['executionSuccessful'] == False
def test_error(sarif):
runs = sarif['runs']
run = runs[0]
results = run['results']
# We expect a single error
#
# . The textual form of the diagnostic would look like this:
# . PATH/diagnostic-format-sarif-1.F90:4:2:
# .
# . 4 | #error message
# . | 1~~~~
# . Error: #error message
assert len(results) == 1
result = results[0]
assert result['level'] == 'error'
assert result['message']['text'] == "#error message"
locations = result['locations']
assert len(locations) == 1
location = locations[0]
assert get_location_artifact_uri(location).endswith('diagnostic-format-sarif-1.F90')
assert get_location_snippet_text(location) == '#error message\n'
assert get_location_physical_region(location)['startLine'] == 4
assert get_location_physical_region(location)['startColumn'] == 2
assert get_location_physical_region(location)['endColumn'] == 7
|
