changeset 1723:0246add03d11

dont allow empty xml
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 10 Aug 2022 14:21:15 -0600
parents 7d2ab44f7a59
children 32c6b085bb83 30df07a9771c
files src/goodjava/xml/XmlParser.java
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/goodjava/xml/XmlParser.java	Fri Jul 29 14:12:01 2022 -0600
+++ b/src/goodjava/xml/XmlParser.java	Wed Aug 10 14:21:15 2022 -0600
@@ -33,6 +33,8 @@
 		spaces();
 		if( !parser.endOfInput() )
 			throw exception("unexpected text");
+		if( element==null )
+			throw exception("empty document not allowed");
 		return element;
 	}