-
Notifications
You must be signed in to change notification settings - Fork 25
/
casesstmt.vpp.result
67 lines (67 loc) · 8.31 KB
/
casesstmt.vpp.result
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.typechecker.tests.external.ExternalClassesPpTypeCheckTest">
<message column="7" line="8" message="Definition 'l1' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="12" line="8" message="Definition 'l2' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="7" line="9" message="Definition 'a' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="12" line="4" message="Definition 'dummy' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="7" line="14" message="Definition 'b' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="12" line="12" message="Definition 'dummy' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="7" line="20" message="Definition 'a' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="7" line="21" message="Definition 's1' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="16" line="21" message="Definition 's2' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="12" line="18" message="Definition 'dummy' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="27" line="30" message="Definition 'dummy' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="8" line="44" message="Statement will not be reached" messageType="warning" number="5006" resource="casesstmt.vpp"/>
<message column="8" line="45" message="Statement will not be reached" messageType="warning" number="5006" resource="casesstmt.vpp"/>
<message column="12" line="42" message="Definition 'c' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="16" line="41" message="Definition 'b' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="16" line="40" message="Definition 'a' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="17" line="47" message="Statement will not be reached" messageType="warning" number="5006" resource="casesstmt.vpp"/>
<message column="17" line="62" message="Definition 'a' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="14" line="64" message="Definition 'a' not used" messageType="warning" number="5000" resource="casesstmt.vpp"/>
<message column="16" line="103" message="a at 101:9 hidden by a" messageType="warning" number="5008" resource="casesstmt.vpp"/>
<message column="7" line="7" message="Matching expression is not a product of cardinality 2" messageType="error" number="3205" resource="casesstmt.vpp"/>
<message column="7" line="7" message="Pattern cannot match" messageType="error" number="3311" resource="casesstmt.vpp"/>
<message column="31" line="7" message="Right hand of and is not bool" messageType="error" number="3066" resource="casesstmt.vpp"/>
<message column="10" line="26" message="Matching expression is not a set type" messageType="error" number="3206" resource="casesstmt.vpp"/>
<message column="10" line="26" message="Pattern cannot match" messageType="error" number="3311" resource="casesstmt.vpp"/>
<message column="32" line="26" message="Left hand of / is not numeric" messageType="error" number="3139" resource="casesstmt.vpp"/>
<message column="32" line="26" message="Right hand of / is not numeric" messageType="error" number="3140" resource="casesstmt.vpp"/>
<message column="22" line="26" message="Value is not of the right type" messageType="error" number="3327" resource="casesstmt.vpp"/>
<message column="7" line="27" message="Matching expression is not a product of cardinality 3" messageType="error" number="3205" resource="casesstmt.vpp"/>
<message column="7" line="27" message="Pattern cannot match" messageType="error" number="3311" resource="casesstmt.vpp"/>
<message column="29" line="27" message="Name 'CasesStmtTest`a' is not in scope" messageType="error" number="3182" resource="casesstmt.vpp"/>
<message column="33" line="27" message="Name 'CasesStmtTest`b' is not in scope" messageType="error" number="3182" resource="casesstmt.vpp"/>
<message column="22" line="27" message="Value is not of the right type" messageType="error" number="3327" resource="casesstmt.vpp"/>
<message column="3" line="24" message="Void operation returns non-void value" messageType="error" number="3312" resource="casesstmt.vpp"/>
<message column="10" line="33" message="Right hand of - is not numeric" messageType="error" number="3140" resource="casesstmt.vpp"/>
<message column="10" line="33" message="Right hand of - is not numeric" messageType="error" number="3140" resource="casesstmt.vpp"/>
<message column="5" line="40" message="Pattern cannot match" messageType="error" number="3311" resource="casesstmt.vpp"/>
<message column="8" line="43" message="Statement may return void value" messageType="error" number="3328" resource="casesstmt.vpp"/>
<message column="3" line="37" message="Operation returns unexpected type" messageType="error" number="3027" resource="casesstmt.vpp"/>
<message column="5" line="54" message="Pattern cannot match" messageType="error" number="3311" resource="casesstmt.vpp"/>
<message column="5" line="55" message="Pattern cannot match" messageType="error" number="3311" resource="casesstmt.vpp"/>
<message column="19" line="63" message="Not expression is not a boolean" messageType="error" number="3137" resource="casesstmt.vpp"/>
<message column="5" line="64" message="Pattern cannot match" messageType="error" number="3311" resource="casesstmt.vpp"/>
<message column="5" line="66" message="Pattern cannot match" messageType="error" number="3311" resource="casesstmt.vpp"/>
<message column="10" line="66" message="For all statement does not contain a set type" messageType="error" number="3219" resource="casesstmt.vpp"/>
<message column="5" line="68" message="Pattern cannot match" messageType="error" number="3311" resource="casesstmt.vpp"/>
<message column="5" line="70" message="Pattern cannot match" messageType="error" number="3311" resource="casesstmt.vpp"/>
<message column="12" line="71" message="Statement may return void value" messageType="error" number="3328" resource="casesstmt.vpp"/>
<message column="11" line="81" message="Value is not of the right type" messageType="error" number="3327" resource="casesstmt.vpp"/>
<message column="11" line="82" message="Value is not of the right type" messageType="error" number="3327" resource="casesstmt.vpp"/>
<message column="17" line="84" message="Value is not of the right type" messageType="error" number="3327" resource="casesstmt.vpp"/>
<message column="8" line="85" message="Pattern cannot match" messageType="error" number="3311" resource="casesstmt.vpp"/>
<message column="11" line="92" message="Name 'CasesStmtTest`n' is not in scope" messageType="error" number="3182" resource="casesstmt.vpp"/>
<message column="10" line="93" message="Operation Cases10(nat1) is not in scope" messageType="error" number="3213" resource="casesstmt.vpp"/>
<message column="10" line="94" message="Value is not of the right type" messageType="error" number="3327" resource="casesstmt.vpp"/>
<message column="10" line="95" message="Operation Cases12(set1 of (nat1)) is not in scope" messageType="error" number="3213" resource="casesstmt.vpp"/>
<message column="15" line="96" message="Operation Cases13(seq1 of (nat1)) is not in scope" messageType="error" number="3213" resource="casesstmt.vpp"/>
<message column="32" line="104" message="Value is not of the right type" messageType="error" number="3327" resource="casesstmt.vpp"/>
<message column="27" line="104" message="Incompatible types in assignment" messageType="error" number="3239" resource="casesstmt.vpp"/>
<message column="8" line="106" message="Value is not of the right type" messageType="error" number="3327" resource="casesstmt.vpp"/>
<message column="12" line="108" message="Statement may return void value" messageType="error" number="3328" resource="casesstmt.vpp"/>
<message column="15" line="109" message="Statement may return void value" messageType="error" number="3328" resource="casesstmt.vpp"/>
<message column="3" line="99" message="Operation returns unexpected type" messageType="error" number="3027" resource="casesstmt.vpp"/>
<result/>
</testResult>