-
Notifications
You must be signed in to change notification settings - Fork 2
/
AdaControl.aru
34 lines (29 loc) · 1.22 KB
/
AdaControl.aru
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
check simplifiable_statements (block, handler, if, loop, null);
Dead : check simplifiable_statements (dead);
Loop_While : check simplifiable_statements (loop_for_while);
check simplifiable_expressions (logical_true, logical_false, range);
Conversion : check simplifiable_expressions (conversion);
Parentheses : check simplifiable_expressions (parentheses);
Logical_Not : check simplifiable_expressions (logical_not);
Andor_Boolean : check expressions (and_boolean, or_boolean);
check expressions (inconsistent_attribute_dimension);
check abnormal_function_return;
check case_statement (others_span, min 1);
Char : check characters;
check comments (pattern, "@@@");
check entities (Unchecked_Conversion, Unchecked_Deallocation);
check generic_aliasing;
Aliasing : check parameter_aliasing (possible);
check max_blank_lines (2);
check max_line_length (120);
check max_nesting (6);
check statements (goto, labelled);
check statements (unnamed_exit);
check style (no_closing_name);
Use : check unnecessary_use_clause;
check with_clauses (reduceable);
check max_statement_nesting (block, 3);
check max_statement_nesting (case, 5);
check max_statement_nesting (if, 5);
check max_statement_nesting (loop, 4);
check max_statement_nesting (all, 7);