Add change notes for default implementations of isBarrier and isAdditionalFlowStep

egregius313 · egregius313 · commit 63299688d53f · 2023-07-12T15:21:16.000-04:00
diff --git a/cpp/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/cpp/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md
@@ -0,0 +1,6 @@
+---
+category: feature
+---
+* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. 
+  Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed.
+  
diff --git a/csharp/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/csharp/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md
@@ -0,0 +1,6 @@
+---
+category: feature
+---
+* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. 
+  Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed.
+  
diff --git a/go/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/go/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md
@@ -0,0 +1,6 @@
+---
+category: feature
+---
+* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. 
+  Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed.
+  
diff --git a/java/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/java/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md
@@ -0,0 +1,6 @@
+---
+category: feature
+---
+* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. 
+  Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed.
+  
diff --git a/python/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/python/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md
@@ -0,0 +1,6 @@
+---
+category: feature
+---
+* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. 
+  Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed.
+  
diff --git a/ruby/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/ruby/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md
@@ -0,0 +1,6 @@
+---
+category: feature
+---
+* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. 
+  Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed.
+  
diff --git a/swift/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md b/swift/ql/lib/change-notes/2023-07-12-default-stateconfigsig-predicates.md
@@ -0,0 +1,6 @@
+---
+category: feature
+---
+* The `DataFlow::StateConfigSig` signature module has gained default implementations for `isBarrier/2` and `isAdditionalFlowStep/4`. 
+  Hence it is no longer needed to provide `none()` implementations of these predicates if they are not needed.
+  
