Dataflow: Remove headUsesContent.

aschackmull · aschackmull · commit 9e45f10c5ddb · 2020-11-13T15:12:39.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll
@@ -804,9 +804,6 @@ abstract class AccessPathFront extends TAccessPathFront {
 
   TypedContent getHead() { this = TFrontHead(result) }
 
-  // TODO: delete
-  predicate headUsesContent(TypedContent tc) { this = TFrontHead(tc) }
-
   predicate isClearedAt(Node n) { clearsContent(n, getHead().getContent()) }
 }
 
diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll
@@ -804,9 +804,6 @@ abstract class AccessPathFront extends TAccessPathFront {
 
   TypedContent getHead() { this = TFrontHead(result) }
 
-  // TODO: delete
-  predicate headUsesContent(TypedContent tc) { this = TFrontHead(tc) }
-
   predicate isClearedAt(Node n) { clearsContent(n, getHead().getContent()) }
 }
 
diff --git a/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll b/csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll
@@ -804,9 +804,6 @@ abstract class AccessPathFront extends TAccessPathFront {
 
   TypedContent getHead() { this = TFrontHead(result) }
 
-  // TODO: delete
-  predicate headUsesContent(TypedContent tc) { this = TFrontHead(tc) }
-
   predicate isClearedAt(Node n) { clearsContent(n, getHead().getContent()) }
 }
 
diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll
@@ -804,9 +804,6 @@ abstract class AccessPathFront extends TAccessPathFront {
 
   TypedContent getHead() { this = TFrontHead(result) }
 
-  // TODO: delete
-  predicate headUsesContent(TypedContent tc) { this = TFrontHead(tc) }
-
   predicate isClearedAt(Node n) { clearsContent(n, getHead().getContent()) }
 }
 
diff --git a/python/ql/src/semmle/python/dataflow/new/internal/DataFlowImplCommon.qll b/python/ql/src/semmle/python/dataflow/new/internal/DataFlowImplCommon.qll
@@ -804,9 +804,6 @@ abstract class AccessPathFront extends TAccessPathFront {
 
   TypedContent getHead() { this = TFrontHead(result) }
 
-  // TODO: delete
-  predicate headUsesContent(TypedContent tc) { this = TFrontHead(tc) }
-
   predicate isClearedAt(Node n) { clearsContent(n, getHead().getContent()) }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -804,9 +804,6 @@ abstract class AccessPathFront extends TAccessPathFront {`
`804`	`804`
`805`	`805`	`TypedContent getHead() { this = TFrontHead(result) }`
`806`	`806`
`807`		`- // TODO: delete`
`808`		`- predicate headUsesContent(TypedContent tc) { this = TFrontHead(tc) }`
`809`		`-`
`810`	`807`	`predicate isClearedAt(Node n) { clearsContent(n, getHead().getContent()) }`
`811`	`808`	`}`
`812`	`809`