CodeQL library for Python
codeql/python-all 5.0.1 (changelog, source)
Search

Predicate signature MakeImpl::Impl::StageSig::storeStepCand

Holds if this stage makes use of a store step of content c from node1 to node2.

contentType and containerType are the types of the content being stored, and the type of the resulting container, respectively.

signature predicate storeStepCand(Nd node1, Content c, Nd node2, Type contentType, Type containerType)