Adds javax.xml.Location (for BioJava)

hansonr · hansonr · commit c6c85dbce649 · 2019-08-17T16:34:55.000-05:00
diff --git a/sources/net.sf.j2s.java.core/src/javax/xml/stream/Location.java b/sources/net.sf.j2s.java.core/src/javax/xml/stream/Location.java
@@ -0,0 +1,77 @@
+/*
+ * ORACLE PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ *
+ */
+
+/*
+ * Copyright (c) 2009 by Oracle Corporation. All Rights Reserved.
+ */
+
+package javax.xml.stream;
+
+/**
+ * Provides information on the location of an event.
+ *
+ * All the information provided by a Location is optional.  For example
+ * an application may only report line numbers.
+ *
+ * @version 1.0
+ * @author Copyright (c) 2009 by Oracle Corporation. All Rights Reserved.
+ * @since 1.6
+ */
+public interface Location {
+  /**
+   * Return the line number where the current event ends,
+   * returns -1 if none is available.
+   * @return the current line number
+   */
+  int getLineNumber();
+
+  /**
+   * Return the column number where the current event ends,
+   * returns -1 if none is available.
+   * @return the current column number
+   */
+  int getColumnNumber();
+
+  /**
+   * Return the byte or character offset into the input source this location
+   * is pointing to. If the input source is a file or a byte stream then
+   * this is the byte offset into that stream, but if the input source is
+   * a character media then the offset is the character offset.
+   * Returns -1 if there is no offset available.
+   * @return the current offset
+   */
+  int getCharacterOffset();
+
+  /**
+   * Returns the public ID of the XML
+   * @return the public ID, or null if not available
+   */
+  public String getPublicId();
+
+  /**
+   * Returns the system ID of the XML
+   * @return the system ID, or null if not available
+   */
+  public String getSystemId();
+}
