Class FailureLocation


  • public final class FailureLocation
    extends Object
    • Constructor Detail

      • FailureLocation

        public FailureLocation​(Location loc,
                               String docURI)
    • Method Detail

      • getLocation

        public Location getLocation()
      • setLocation

        public void setLocation​(Location newLocation)
      • getDocumentURI

        public String getDocumentURI()
      • setDocumentURI

        public void setDocumentURI​(String newDocumentURI)