From 6ad63b31c41e4864c0a81239c50e7abb41a20e6c Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Fri, 29 Nov 2024 11:51:46 +0100 Subject: [PATCH] Counting vars now --- .../xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/Utils.kt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/Utils.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/Utils.kt index ab6378d3f6..8443b26365 100644 --- a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/Utils.kt +++ b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/Utils.kt @@ -112,6 +112,8 @@ fun XcfaLabel.collectVars(): Iterable> = is ReadLabel -> setOf(global, local) is StartLabel -> params.map { ExprUtils.getVars(it) }.flatten().toSet() union setOf(pidVar) is WriteLabel -> setOf(global, local) + is SyncRecvLabel -> setOf(key) + is SyncSendLabel -> setOf(key) else -> emptySet() } @@ -241,6 +243,8 @@ fun XcfaLabel.collectVarsWithAccessType(): VarAccessMap = is JoinLabel -> mapOf(pidVar to READ) is ReadLabel -> mapOf(global to READ, local to READ) is WriteLabel -> mapOf(global to WRITE, local to WRITE) + is SyncRecvLabel -> mapOf(key to READ) + is SyncSendLabel -> mapOf(key to WRITE) else -> emptyMap() }