← 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/UPPAAL/VerifytaOutputParser.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/UPPAAL/VerifytaOutputParser.java
8
8
        private static final String PROPERTY_IS_NOT_SATISFIED_STRING = "is NOT satisfied".toLowerCase();
9
9
        private static final String PROPERTY_IS_SATISFIED_STRING = "is satisfied".toLowerCase();
10
10
        private static final String DISCRETE_INCLUSION = "discrete inclusion".toLowerCase();
11
 
        private boolean error = false;
 
11
        private final boolean error = false;
12
12
        private boolean discreteInclusion = false;
13
 
        private TAPNQuery query;
 
13
        private final TAPNQuery query;
14
14
 
15
15
        public VerifytaOutputParser(TAPNQuery query){
16
16
                this.query = query;