2828 },
2929 "queries" : [
3030 {
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. " ,
3232 "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 " ,
3434 "precision" : " high" ,
3535 "severity" : " error" ,
3636 "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" ]
4138 }
4239 ],
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"
4441 },
4542 "RULE-17-7" : {
4643 "properties" : {
4744 "obligation" : " required"
4845 },
4946 "queries" : [
5047 {
51- "description" : " " ,
48+ "description" : " The value returned by a function having non-void return type shall be used or cast to void. " ,
5249 "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 " ,
5451 "precision" : " very-high" ,
5552 "severity" : " error" ,
5653 "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" ]
6155 }
6256 ],
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 "
6458 }
6559 }
6660}
0 commit comments