← Back to branch summary

~tapaal-contributor/tapaal/autodetect-lens-check2

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/io/TapnLegacyXmlLoader.java

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2020-08-26 11:45:58 UTC
  • Revision ID: kenneth@yrke.dk-20200826114558-5nyqmpo0pwnran5s
Implemented lense check for model that does not contain lense information.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/io/TapnLegacyXmlLoader.java
84
84
        private final IdResolver idResolver = new IdResolver();
85
85
 
86
86
    private final Collection<String> messages = new ArrayList<>(10);
87
 
    private final TabContent.TAPNLens lens = new TabContent.TAPNLens(true, false);
 
87
    private final TabContent.TAPNLens lens = null;
88
88
 
89
89
 
90
90
    public TapnLegacyXmlLoader() {}
146
146
                
147
147
                checkThatQueriesUseExistingPlaces(network);
148
148
                
149
 
                return new LoadedModel(network, templates, queries, messages);
 
149
                return new LoadedModel(network, templates, queries, messages, null);
150
150
        }
151
151
 
152
152
        private void checkThatQueriesUseExistingPlaces(TimedArcPetriNetNetwork network) {