rebuilding head

[mir.git] / source / mir / util / xml / html / HTMLParserExc.java

diff --git a/source/mir/util/xml/html/HTMLParserExc.java b/source/mir/util/xml/html/HTMLParserExc.java
new file mode 100755 (executable)
index 0000000..c1d48d1
--- /dev/null
+++ b/source/mir/util/xml/html/HTMLParserExc.java
@@ -0,0 +1,34 @@
+package mir.util.xml.html;\r
+\r
+/**\r
+ * Exception during parsing with optional location information.\r
+ */\r
+\r
+public class HTMLParserExc extends multex.Exc {\r
+  private boolean hasLocation;\r
+  private int lineNr;\r
+  private int columnNr;\r
+\r
+  public HTMLParserExc(String aMessage) {\r
+    super(aMessage);\r
+    hasLocation = false;\r
+  }\r
+\r
+  protected void setLocation(int aLineNr, int aColumnNr) {\r
+    lineNr = aLineNr;\r
+    columnNr = aColumnNr;\r
+    hasLocation = true;\r
+  }\r
+\r
+  public boolean getHasLocation() {\r
+    return hasLocation;\r
+  }\r
+\r
+  public int getLineNr() {\r
+    return lineNr;\r
+  }\r
+\r
+  public int getColumnNr() {\r
+    return columnNr;\r
+  }\r
+}\r