From 6793422105d30c7f5e02130c0f0fd8ffe0b60204 Mon Sep 17 00:00:00 2001
From: Daniela Genius <genius@debussy.soc.lip6.fr>
Date: Tue, 26 Jun 2018 11:32:46 +0200
Subject: [PATCH] Avatar design Panel
---
src/main/java/ui/AvatarDesignPanelTranslator.java | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/src/main/java/ui/AvatarDesignPanelTranslator.java b/src/main/java/ui/AvatarDesignPanelTranslator.java
index a0dc17705e..879587c337 100644
--- a/src/main/java/ui/AvatarDesignPanelTranslator.java
+++ b/src/main/java/ui/AvatarDesignPanelTranslator.java
@@ -114,15 +114,15 @@ public class AvatarDesignPanelTranslator {
createRelationsBetweenBlocks(as, blocks);
makeBlockStateMachines(as);
/*for (String s: nameTypeMap.keySet()){
-
-
+ System.out.println(s + " "+ nameTypeMap.get(s));
+ System.out.println(typeAttributesMap.get(nameTypeMap.get(s)).size());
} */
createPragmas(as, blocks);
//TraceManager.addDev("Removing else guards");
as.removeElseGuards();
//TraceManager.addDev("Removing else guards ... done");
- //
+ //System.out.println(as.toString());
adp.abdp.repaint();
return as;
}
@@ -436,7 +436,7 @@ public class AvatarDesignPanelTranslator {
_pragma = _pragma.replaceAll(" ","");
String state1 = _pragma.split("-->")[0];
String state2 = _pragma.split("-->")[1];
- //
+ // System.out.println("checking... " + state1 + " " + state2);
if (!state1.contains(".") || !state2.contains(".")){
TraceManager.addDev("UPPAAL Pragma " + _pragma + " cannot be parsed: missing '.'");
return false;
@@ -473,7 +473,7 @@ public class AvatarDesignPanelTranslator {
//Divide into simple statements
String[] split = state.split("[|&]+");
- //
+ // System.out.println("split " + split[0]);
if (split.length >1){
boolean validity = true;
for (String fragment: split){
--
GitLab