/
rectrapstmt.vdm.result
28 lines (28 loc) · 3.28 KB
/
rectrapstmt.vdm.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
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest">
<message column="9" line="18" message="Definition 'b' not used" messageType="warning" number="5000" resource="rectrapstmt.vdm"/>
<message column="9" line="19" message="a at 10:3 hidden by a" messageType="warning" number="5008" resource="rectrapstmt.vdm"/>
<message column="19" line="19" message="a at 19:9 hidden by a" messageType="warning" number="5008" resource="rectrapstmt.vdm"/>
<message column="9" line="24" message="a at 10:3 hidden by a" messageType="warning" number="5008" resource="rectrapstmt.vdm"/>
<message column="9" line="24" message="Definition 'a' not used" messageType="warning" number="5000" resource="rectrapstmt.vdm"/>
<message column="13" line="24" message="Definition 'b' not used" messageType="warning" number="5000" resource="rectrapstmt.vdm"/>
<message column="9" line="25" message="stid at 11:3 hidden by stid" messageType="warning" number="5008" resource="rectrapstmt.vdm"/>
<message column="20" line="25" message="Definition 's' not used" messageType="warning" number="5000" resource="rectrapstmt.vdm"/>
<message column="9" line="44" message="Definition 'b' not used" messageType="warning" number="5000" resource="rectrapstmt.vdm"/>
<message column="17" line="44" message="Definition 'c' not used" messageType="warning" number="5000" resource="rectrapstmt.vdm"/>
<message column="9" line="45" message="a at 10:3 hidden by a" messageType="warning" number="5008" resource="rectrapstmt.vdm"/>
<message column="5" line="56" message="a at 10:3 hidden by a" messageType="warning" number="5008" resource="rectrapstmt.vdm"/>
<message column="5" line="56" message="Definition 'a' not used" messageType="warning" number="5000" resource="rectrapstmt.vdm"/>
<message column="9" line="66" message="a at 10:3 hidden by a" messageType="warning" number="5008" resource="rectrapstmt.vdm"/>
<message column="9" line="66" message="Definition 'a' not used" messageType="warning" number="5000" resource="rectrapstmt.vdm"/>
<message column="3" line="16" message="Definition 'RecTrap1' not used" messageType="warning" number="5000" resource="rectrapstmt.vdm"/>
<message column="3" line="51" message="Definition 'RecTrap5' not used" messageType="warning" number="5000" resource="rectrapstmt.vdm"/>
<message column="3" line="64" message="Definition 'RecTrap6' not used" messageType="warning" number="5000" resource="rectrapstmt.vdm"/>
<message column="14" line="25" message="Matching expression is not a set type" messageType="error" number="3206" resource="rectrapstmt.vdm"/>
<message column="5" line="40" message="Statement may return void value" messageType="error" number="3328" resource="rectrapstmt.vdm"/>
<message column="3" line="30" message="Operation returns unexpected type" messageType="error" number="3027" resource="rectrapstmt.vdm"/>
<message column="9" line="53" message="Matching expression is not a compatible record type" messageType="error" number="3201" resource="rectrapstmt.vdm"/>
<message column="28" line="69" message="Left hand of '^' is not a sequence" messageType="error" number="3157" resource="rectrapstmt.vdm"/>
<message column="28" line="69" message="Right hand of '^' is not a sequence" messageType="error" number="3158" resource="rectrapstmt.vdm"/>
<result/>
</testResult>