autoformat and update expected output

This commit is contained in:
Erik Krogh Kristensen
2020-03-10 14:01:40 +01:00
parent ad52d6446e
commit 62ae484545
2 changed files with 2 additions and 3 deletions

View File

@@ -208,9 +208,7 @@ private module ArrayDataFlow {
* A step for creating an array and storing the elements in the array.
*/
private class ArrayCreationStep extends DataFlow::AdditionalFlowStep, DataFlow::Node {
ArrayCreationStep() {
this instanceof DataFlow::ArrayCreationNode
}
ArrayCreationStep() { this instanceof DataFlow::ArrayCreationNode }
override predicate storeStep(DataFlow::Node element, DataFlow::Node obj, string prop) {
prop = arrayElement() and