CodeQL library for JavaScript
codeql/javascript-all 0.6.2 ( changelog , source )
Search

Predicate Redux :: reducerToStateStep

Holds if pred -> succ should be a step from a reducer to a state access affected by the reducer.

Import path

import javascript
predicate reducerToStateStep ( Node pred , Node succ )