28
28
},
29
29
"queries" : [
30
30
{
31
- "description" : " The function argument corresponding to a parameter declared to have an array type shall have an appropriate number of elements" ,
31
+ "description" : " The function argument corresponding to an array parameter shall have an appropriate number of elements. " ,
32
32
"kind" : " problem" ,
33
- "name" : " The function argument corresponding to a parameter declared to have an array type shall have an " ,
33
+ "name" : " An array founction argument shall have an appropriate number of elements " ,
34
34
"precision" : " high" ,
35
35
"severity" : " error" ,
36
36
"short_name" : " ArrayFunctionArgumentNumberOfElements" ,
37
- "tags" : [" correctness" ],
38
- "implementation_scope" : {
39
- "description" : " The rule is enforced in the context of a single function."
40
- }
37
+ "tags" : [" correctness" ]
41
38
}
42
39
],
43
- "title" : " The function argument corresponding to a parameter declared to have an array type shall have an appropriate number of elements"
40
+ "title" : " The function argument corresponding to an array parameter shall have an appropriate number of elements"
44
41
},
45
42
"RULE-17-7" : {
46
43
"properties" : {
47
44
"obligation" : " required"
48
45
},
49
46
"queries" : [
50
47
{
51
- "description" : " " ,
48
+ "description" : " The value returned by a function having non-void return type shall be used or cast to void. " ,
52
49
"kind" : " problem" ,
53
- "name" : " The value returned by a function having non-void return type shall be used " ,
50
+ "name" : " Return values should be used or cast to void " ,
54
51
"precision" : " very-high" ,
55
52
"severity" : " error" ,
56
53
"short_name" : " ValueReturnedByAFunctionNotUsed" ,
57
- "tags" : [" correctness" ],
58
- "implementation_scope" : {
59
- "description" : " The rule is enforced in the context of a single function."
60
- }
54
+ "tags" : [" correctness" ]
61
55
}
62
56
],
63
- "title" : " The value returned by a function having non-void return type shall be used"
57
+ "title" : " The value returned by a function having non-void return type shall be used or cast to void "
64
58
}
65
59
}
66
60
}
0 commit comments