~ubuntu-branches/ubuntu/jaunty/adacontrol/jaunty

« back to all changes in this revision

Viewing changes to test/ref/t_case_statement.txt

  • Committer: Bazaar Package Importer
  • Author(s): Ludovic Brenta
  • Date: 2006-10-12 19:17:22 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20061012191722-fo5bcn4k5r0iubgd
Tags: 1.5r24-1

* New upstream release.
* debian/control (Depends): add gnat-4.1.
  (Enhances): add gnat-gps.
* debian/adacontrol.gpr: build pfni.
* debian/rules: install the new gnat-gps plug-in, and pfni.
* debian/pfni.1: new.
* patches/gps-integration.patch: new.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
t_case_statement.adb:13:7: Error: Max_Values: too many values for subtype of selector in case statement ( 11)
 
2
t_case_statement.adb:17:10: Error: Min_Others_Range: too few values covered by "others" in case statement ( 0)
 
3
t_case_statement.adb:20:7: Error: Max_Values: too many values for subtype of selector in case statement ( 11)
 
4
t_case_statement.adb:20:7: Error: Min_Paths: too few paths in case statement ( 2)
 
5
t_case_statement.adb:22:10: Found: Min_Others_Range: too few values covered by "others" in case statement ( 5)
 
6
t_case_statement.adb:25:7: Error: Max_Values: too many values for subtype of selector in case statement ( 11)
 
7
t_case_statement.adb:25:7: Error: Min_Paths: too few paths in case statement ( 2)
 
8
t_case_statement.adb:27:10: Found: Min_Others_Range: too few values covered by "others" in case statement ( 5)
 
9
t_case_statement.adb:30:7: Error: Max_Values: too many values for subtype of selector in case statement ( 191)
 
10
t_case_statement.adb:30:7: Found: Min_Paths: too few paths in case statement ( 3)
 
11
t_case_statement.adb:33:10: Found: Min_Others_Range: too few values covered by "others" in case statement ( 97)
 
12
t_case_statement.adb:45:7: Found: Max_Values: too many values for subtype of selector in case statement ( 10)
 
13
t_case_statement.adb:45:7: Found: Min_Paths: too few paths in case statement ( 3)
 
14
t_case_statement.adb:48:10: Error: Min_Others_Range: too few values covered by "others" in case statement ( 0)
 
15
t_case_statement.adb:51:7: Found: Max_Values: too many values for subtype of selector in case statement ( 10)
 
16
t_case_statement.adb:51:7: Error: Min_Paths: too few paths in case statement ( 2)
 
17
t_case_statement.adb:53:10: Found: Min_Others_Range: too few values covered by "others" in case statement ( 6)
 
18
t_case_statement.adb:71:10: Error: Min_Paths: too few paths in case statement ( 1)
 
19
t_case_statement.adb:75:10: Error: Min_Paths: too few paths in case statement ( 2)
 
20
t_case_statement.adb:80:10: Error: Min_Paths: too few paths in case statement ( 2)
 
21
t_case_statement.adb:100:7: Error: Min_Paths: too few paths in case statement ( 2)
 
22
t_case_statement.adb:102:10: Found: Min_Others_Range: too few values covered by "others" in case statement ( 17)
 
23
t_case_statement.adb:112:7: Error: Max_Values: too many values for subtype of selector in case statement ( 4294967296)
 
24
t_case_statement.adb:118:10: Found: Min_Others_Range: too few values covered by "others" in case statement ( 23)
 
25
 
 
26
Counts summary:
 
27
Number_Empty_Others: 2
 
28
Number_big_case: 2
 
29
Number_small_case: 9