Fix for XSDElement attributes with multiple spaces

INTO-CPS-Association · Mar 3, 2024 · dbad416 · dbad416
1 parent 0b4a822
commit dbad416
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/xsd2vdm/src/main/java/xsd2vdm/XSDElement.java b/xsd2vdm/src/main/java/xsd2vdm/XSDElement.java
@@ -296,11 +296,11 @@ protected String toVDM(String indent)
 
 				try
 				{
-					if (value.matches("([0123456789.+-eE]+ ?)+"))
+					if (value.matches("^([+-.0123456789eE]+\\s*)+$"))
 					{
 						List<String> nums = new Vector<String>();
 
-						Pattern p = Pattern.compile("[0123456789.+-eE]+");
+						Pattern p = Pattern.compile("[+-.0123456789eE]+");
 						Matcher m = p.matcher(value);
 
 						while (m.find())