From 8c5b99059e7e64c14d1b5405dda960cc05fa88b1 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Thu, 28 May 2015 12:04:48 +0000
Subject: [PATCH] Update on ProVerif translation: variables
---
.../toproverif/AVATAR2ProVerif.java | 14 ++++++++++++--
1 file changed, 12 insertions(+), 2 deletions(-)
diff --git a/src/avatartranslator/toproverif/AVATAR2ProVerif.java b/src/avatartranslator/toproverif/AVATAR2ProVerif.java
index 39149a0d97..9df3ed6141 100755
--- a/src/avatartranslator/toproverif/AVATAR2ProVerif.java
+++ b/src/avatartranslator/toproverif/AVATAR2ProVerif.java
@@ -1271,9 +1271,19 @@ public class AVATAR2ProVerif {
}
} else if (AvatarSpecification.isABasicVariableSettingString(tmp)) {
- TraceManager.addDev("Found function: " + tmp);
+ TraceManager.addDev("Found variable setting: " + tmp);
addLineNoEnd(p, "let " + tmp + " in ");
- }
+ } else {
+ TraceManager.addDev("Assignment expression: " + tmp);
+ int index = tmp.indexOf("=");
+ if (index > -1) {
+ String var = tmp.substring(0, index).trim();
+ if (var.length() > 0) {
+ addLine(p, "new " + var);
+ }
+ }
+
+ }
}
makeBlockProcesses(_block, _asm, _asme.getNext(0), p, _processes, _states, null);
--
GitLab