Class NodeLocation


  • public final class NodeLocation
    extends Object
    • Field Detail

      • UNKNOWN_LOCATION

        public static final NodeLocation UNKNOWN_LOCATION
      • systemId

        public final String systemId
      • lineNumber

        public final int lineNumber
      • columnNumber

        public final int columnNumber
      • elementPointer

        public final String elementPointer
    • Constructor Detail

      • NodeLocation

        public NodeLocation​(String systemId,
                            int lineNumber,
                            int columnNumber,
                            String elementPointer)