From 00029ecddc13899900b0bb4e34e4569a9c4bde3b Mon Sep 17 00:00:00 2001
From: Andreas Schildbach <andreas@schildbach.de>
Date: Sat, 6 Jun 2015 00:21:43 +0200
Subject: [PATCH] Hafas: Assert for non-presence of <StationTable> and <St> on
 station board.

---
 enabler/src/de/schildbach/pte/AbstractHafasProvider.java | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/enabler/src/de/schildbach/pte/AbstractHafasProvider.java b/enabler/src/de/schildbach/pte/AbstractHafasProvider.java
index 54884f0f..3d59c95a 100644
--- a/enabler/src/de/schildbach/pte/AbstractHafasProvider.java
+++ b/enabler/src/de/schildbach/pte/AbstractHafasProvider.java
@@ -18,6 +18,7 @@
 package de.schildbach.pte;
 
 import static com.google.common.base.Preconditions.checkNotNull;
+import static com.google.common.base.Preconditions.checkState;
 
 import java.io.BufferedInputStream;
 import java.io.ByteArrayInputStream;
@@ -547,6 +548,8 @@ public abstract class AbstractHafasProvider extends AbstractNetworkProvider
 
 			if (stationBoardHasStationTable)
 				XmlPullUtil.enter(pp, "StationTable");
+			else
+				checkState(!XmlPullUtil.test(pp, "StationTable"));
 
 			if (stationBoardHasLocation)
 			{
@@ -564,6 +567,10 @@ public abstract class AbstractHafasProvider extends AbstractNetworkProvider
 				}
 				XmlPullUtil.requireSkip(pp, "St");
 			}
+			else
+			{
+				checkState(!XmlPullUtil.test(pp, "St"));
+			}
 
 			while (XmlPullUtil.test(pp, "Journey"))
 			{