Creates CallSiteWithExtractedValue a constructor with CallSiteWithParamIndex and ExtractedValue as parameter
CallSiteWithParamIndex gives position of the location index of the error
ExtractedValue gives the value of the call site
This class defines-IncompleteOperationError:
Found when the usage of an object may be incomplete
For example a Cipher object may be initialized but never been used for encryption or decryption, this may render the code dead.
The ProviderDetection class helps in detecting the provider used when
coding with JCA's Cryptographic APIs and chooses the corresponding set of
CrySL rules that are implemented for that provider.
Creates RequiredPredicateError for all Required Predicate error generates RequiredPredicateError
contradictedPredicate a CrySLPredicate holds the contradicted required predicate or parameter
extractedValues a CallSiteWithExtractedValue hold the location value of the missing required predicate or parameter