From e354e2503e916b00eb9604d78436a344343b21ce Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Wed, 6 Nov 2024 10:35:33 +0100
Subject: [PATCH] Removing warning on annotation
---
.../tmltranslator/AutoSecurityGenerationDiplodocusTest.java | 2 ++
1 file changed, 2 insertions(+)
diff --git a/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java b/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java
index 53b0107f56..a311f22fd3 100644
--- a/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java
+++ b/ttool/src/test/java/tmltranslator/AutoSecurityGenerationDiplodocusTest.java
@@ -60,6 +60,7 @@ public class AutoSecurityGenerationDiplodocusTest extends AbstractTest {
}
@Test
+ @SuppressWarnings("unchecked")
public void testSecurityModels() throws Exception {
// Test if proverif is installed in the path
TraceManager.addDev("Testing if \"proverif\" is in the PATH");
@@ -173,6 +174,7 @@ public class AutoSecurityGenerationDiplodocusTest extends AbstractTest {
assertEquals(0, syntaxGenerated.hasErrors());
TMLMappingTextSpecification<Class<?>> specNew = new TMLMappingTextSpecification<Class<?>>(tab);
+
specNew.toTextFormat((TMLMapping<Class<?>>) tmap);
specNew.saveFile(pathDirJsonFile, "spec");
--
GitLab