← Back to branch summary

~tapaal-contributor/tapaal/add-java-info-1890600

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/batchProcessing/FileChangedEvent.java

merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/batchProcessing/FileChangedEvent.java
1
1
package dk.aau.cs.verification.batchProcessing;
2
2
 
3
3
public class FileChangedEvent {
4
 
        private String fileName;
 
4
        private final String fileName;
5
5
        
6
6
        public FileChangedEvent(String fileName) {
7
7
                this.fileName = fileName;