Description

This call to a generic collection method contains an argument with an incompatible class from that of the collection's parameter.

Discussion

No response

Motivation

Code clarity and consistency

Details

The method removeAssertion is attempting to remove an AttributeType object from a list of AssertionType objects:

Additionally, consider adjusting the variable names for both the addAssertion and removeAssertion methods to avoid obfuscation.

Found by Linux Verification Center with SVACE