(String fileURL)
| 571 | /// |
| 572 | /// - `fileURL`: the fileURL to set |
| 573 | public void setFileURL(String fileURL) { |
| 574 | if (!Objects.equals(this.fileURL, fileURL)) { |
| 575 | try { |
| 576 | this.fileURL = fileURL; |
| 577 | output = createWriter(); |
| 578 | } catch (IOException ex) { |
| 579 | ex.printStackTrace(); |
| 580 | } |
| 581 | } |
| 582 | } |
| 583 | |
| 584 | /// Activates the filesystem tracking of file open/close operations |
| 585 | public void trackFileSystem() { |