-
Notifications
You must be signed in to change notification settings - Fork 25
/
ADTSL.result
68 lines (68 loc) · 8.3 KB
/
ADTSL.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
68
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.typechecker.tests.ModulesSlTypeCheckTest">
<message column="52" line="1161" message="position at 1159:41 hidden by position" messageType="warning" number="5008" resource="ADTSL"/>
<message column="46" line="1161" message="data at 1159:35 hidden by data" messageType="warning" number="5008" resource="ADTSL"/>
<message column="1" line="1201" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1201" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1201" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1201" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="470" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="470" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="470" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="470" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="470" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="457" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="457" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="457" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="457" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="457" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="694" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="694" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="694" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="236" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1480" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1480" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1480" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1480" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1480" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1512" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1512" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1512" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1512" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1512" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1512" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1512" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1512" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="1512" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="483" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="483" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="483" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="483" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="483" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="483" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="483" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="713" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="713" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="713" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="713" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="713" message="Recursive function has no measure" messageType="warning" number="5012" resource="ADTSL"/>
<message column="1" line="828" message="Definition 'DList_Empty' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="1" line="834" message="Definition 'DList_Length' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="1" line="837" message="Definition 'DList_Traverse' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="1" line="866" message="Definition 'Queues_Enqueue' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="1" line="869" message="Definition 'Queues_Dequeue' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="1" line="905" message="Definition 'Stacks_Push' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="1" line="913" message="Definition 'Stacks_Pop' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="1" line="1074" message="Definition 'STrees_IsParent' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="1" line="1550" message="Definition 'Trees_IsLeftChildOf' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="11" line="1780" message="Definition 'charQueue' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="11" line="1781" message="Definition 'charStack' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="1" line="1804" message="Definition 'TestSList' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="1" line="1842" message="Definition 'TestDList' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="1" line="2112" message="Definition 'TestSTrees' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="1" line="2251" message="Definition 'TestTrees' not used" messageType="warning" number="5000" resource="ADTSL"/>
<message column="1" line="1565" message="Operation returns void value" messageType="error" number="3313" resource="ADTSL"/>
<message column="1" line="1683" message="Operation returns void value" messageType="error" number="3313" resource="ADTSL"/>
<message column="1" line="1712" message="Operation returns void value" messageType="error" number="3313" resource="ADTSL"/>
<result/>
</testResult>