From f7ca066b94306095df3a66ca432103f31db5fce4 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Wed, 14 Jun 2023 15:42:14 +0200
Subject: [PATCH] Adding verification result
---
src/main/java/ui/TDiagramPanel.java | 34 +++++++++++++++++------------
1 file changed, 20 insertions(+), 14 deletions(-)
diff --git a/src/main/java/ui/TDiagramPanel.java b/src/main/java/ui/TDiagramPanel.java
index c9e2c8278d..cd3d5dfa16 100644
--- a/src/main/java/ui/TDiagramPanel.java
+++ b/src/main/java/ui/TDiagramPanel.java
@@ -2591,21 +2591,27 @@ public abstract class TDiagramPanel extends JPanel implements GenericTree {
for (TGComponent tgc : getAllComponentList()) {
tgc.resetVerificationResults();
}
- for (TMLTask t : mgui.gtm.getTMLMapping().getTMLModeling().getTasks()) {
- for (TMLActivityElement elem : t.getActivityDiagram().getElements()) {
- if (elem.getReferenceObject() instanceof TMLADReadChannel){
- TMLADReadChannel rc = (TMLADReadChannel) elem.getReferenceObject();
- if (rc.getAuthCheck()) {
- rc.setWeakAuthStatus(1);
- rc.setStrongAuthStatus(1);
- }
- }
+ if (mgui.gtm.getTMLMapping() != null) {
+ if ( mgui.gtm.getTMLMapping().getTMLModeling() != null) {
+ if (mgui.gtm.getTMLMapping().getTMLModeling().getTasks() != null) {
+ for (TMLTask t : mgui.gtm.getTMLMapping().getTMLModeling().getTasks()) {
+ for (TMLActivityElement elem : t.getActivityDiagram().getElements()) {
+ if (elem.getReferenceObject() instanceof TMLADReadChannel) {
+ TMLADReadChannel rc = (TMLADReadChannel) elem.getReferenceObject();
+ if (rc.getAuthCheck()) {
+ rc.setWeakAuthStatus(1);
+ rc.setStrongAuthStatus(1);
+ }
+ }
- if (elem.getReferenceObject() instanceof TMLADDecrypt) {
- TMLADDecrypt dec = (TMLADDecrypt) elem.getReferenceObject();
- if (dec.getAuthCheck()) {
- dec.setWeakAuthStatus(1);
- dec.setStrongAuthStatus(1);
+ if (elem.getReferenceObject() instanceof TMLADDecrypt) {
+ TMLADDecrypt dec = (TMLADDecrypt) elem.getReferenceObject();
+ if (dec.getAuthCheck()) {
+ dec.setWeakAuthStatus(1);
+ dec.setStrongAuthStatus(1);
+ }
+ }
+ }
}
}
}
--
GitLab