diff --git a/src/fr/inrialpes/exmo/align/parser/AlignmentParser.java b/src/fr/inrialpes/exmo/align/parser/AlignmentParser.java index 5f87cabbc9b19b1680980b81db21ab7141cdbaa1..40683a60430ddff6deb3eb1d278d2ced5ffe4590 100644 --- a/src/fr/inrialpes/exmo/align/parser/AlignmentParser.java +++ b/src/fr/inrialpes/exmo/align/parser/AlignmentParser.java @@ -289,6 +289,32 @@ public class AlignmentParser extends DefaultHandler { System.err.println("content AlignmentParser : " + content); } + /* + // Change proposed by Sabine Massmann + // If to be integrated, then put it in the proper place + // There is no reasons to test for Double in characters + public void characters(char ch[], int start, int length) { + String oldContent = "" + content; + content = new String( ch, start, length ); + if ( content != null && !content.equals("\n") + && !content.startsWith("\n ") + // && oldContent.contains(".") + && oldContent.indexOf('.',0) != -1 + ){ + oldContent = oldContent.concat(content); + try { + double test = Double.parseDouble(oldContent); + content = oldContent; + } catch (NumberFormatException e) { + // TODO Auto-generated catch block + // e.printStackTrace(); + } + } + if(debugMode > 2) + System.err.println("content AlignmentParser : " + content); + } + */ + /** * Called by the XML parser at the end of an element. *