src/ogdl/OgdlParser.java
changeset 12 3932322b7d83
parent 0 8bc2bfcd1bd8
--- a/src/ogdl/OgdlParser.java	Sun Jan 14 20:27:03 2007 +0100
+++ b/src/ogdl/OgdlParser.java	Wed Jan 17 19:14:26 2007 +0100
@@ -41,6 +41,8 @@
     int savedSpaces = 0;
     boolean savedNewline = false;
 
+    boolean continueParsing = true;
+
     private IParserHandler event;
 
     /* leaf buffer, for first level string processing: escape sequences */
@@ -259,7 +261,7 @@
     public int node() throws IOException
     { 
         if (block()) {
-            event.event(CONTENT,level, sb.toString());
+            continueParsing = event.event(CONTENT,level, sb.toString());
             return -1;
         }
     
@@ -291,7 +293,7 @@
             return 1;
     
         if (len != 0) 
-            event.event(CONTENT, level, sb.toString());
+            continueParsing = event.event(CONTENT, level, sb.toString());
 
         level++;   
    
@@ -331,6 +333,8 @@
 
         while ( (i=node()) > 0) 
             space();
+	if (!continueParsing)
+		return false;
 
         if (i > 0) {        /* after a block don't eat spaces */
             space();