Minor msgs printing

ge-high-assurance · Jul 12, 2022 · 6126c3e · 6126c3e
1 parent b1f5586
commit 6126c3e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...ct/com.ge.research.osate.verdict/src/com/ge/research/osate/verdict/aadl2vdm/Aadl2Vdm.java b/...ct/com.ge.research.osate.verdict/src/com/ge/research/osate/verdict/aadl2vdm/Aadl2Vdm.java
@@ -4486,7 +4486,7 @@ else if(dataPort.isOut()) {
 			dtype = resolveAADLDataImplementationType(aadlDImpl, model, dataTypeDecl);
 		} else {
 			dtype = null;
-			System.out.println("Unresolved/unexpected Named Element for a data port: " + dataPort);
+			System.out.println("Warning: No data type is declared for a data port: " + dataPort);
 		}
 		verdict.vdm.vdm_model.Port newPort = new verdict.vdm.vdm_model.Port();
 		newPort.setProbe(false);
@@ -4550,7 +4550,7 @@ else if(dataPort.isOut()) {
 				dtype = resolveAADLDataImplementationType(aadlDImpl, model, dataTypeDecl);
 			} else {
 				dtype = null;
-				System.out.println("Unresolved/unexpected Named Element for an event data port: " + dataPort);
+				System.out.println("Warning: No data type is declared for an event data port: " + dataPort);
 			}
 			if(dtype != null) {
 				newPort.setType(dtype);