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)