From 5fb5c6f09a6de993ee57e96a185bd9fa253eda1e Mon Sep 17 00:00:00 2001
From: Letitia Li <leli@enst.fr>
Date: Mon, 13 Jun 2016 15:35:17 +0000
Subject: [PATCH] PROOFS paper
---
src/tmltranslator/toavatar/TML2AvatarDP.java | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/tmltranslator/toavatar/TML2AvatarDP.java b/src/tmltranslator/toavatar/TML2AvatarDP.java
index b023e74768..27839ca2ef 100644
--- a/src/tmltranslator/toavatar/TML2AvatarDP.java
+++ b/src/tmltranslator/toavatar/TML2AvatarDP.java
@@ -223,6 +223,9 @@ public class TML2AvatarDP {
type=0;
}
bl.addAttribute(new TAttribute(0, attr.getName(), attr.getType().getDefaultInitialValue(), type));
+ if (attr.getName().equals("key")){
+ bl.addCryptoElements();
+ }
}
xpos+=400;
//Build the state machine
--
GitLab