← Back to branch summary

~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108

« back to all changes in this revision

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

  • Committer: srba.jiri at gmail
  • Date: 2020-08-19 12:02:28 UTC
  • mfrom: (1071.2.34 untimed-timed-gui)
  • Revision ID: srba.jiri@gmail.com-20200819120228-ktxdev3ou3kuj3l0
merged in lp:~tapaal-contributor/tapaal/untimed-timed-gui adding timed/untimed lens projection

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/io/LoadedModel.java
3
3
import java.util.Collection;
4
4
import java.util.List;
5
5
 
 
6
import dk.aau.cs.gui.TabContent;
6
7
import dk.aau.cs.io.batchProcessing.LoadedBatchProcessingModel;
7
8
import pipe.dataLayer.TAPNQuery;
8
9
import pipe.dataLayer.Template;
13
14
    private final Collection<Template> templates;
14
15
        private final Collection<TAPNQuery> queries;
15
16
        private final TimedArcPetriNetNetwork network;
16
 
    private final boolean isTimed;
17
 
    private final boolean isGame;
18
17
    private final Collection<String> messages;
19
 
        
20
 
        public LoadedModel(TimedArcPetriNetNetwork network, Collection<Template> templates, Collection<TAPNQuery> queries, Collection<String> messages){
21
 
        this(network, templates, queries, messages, true, false);
 
18
    private final TabContent.TAPNLens lens;
 
19
 
 
20
    public LoadedModel(TimedArcPetriNetNetwork network, Collection<Template> templates, Collection<TAPNQuery> queries, Collection<String> messages){
 
21
        this(network, templates, queries, messages, TabContent.TAPNLens.Default);
22
22
    }
23
23
        public LoadedModel(TimedArcPetriNetNetwork network, Collection<Template> templates, Collection<TAPNQuery> queries){
24
 
                this(network, templates, queries, List.of(), true, false);
 
24
                this(network, templates, queries, List.of(), TabContent.TAPNLens.Default);
25
25
        }
26
26
 
27
 
    public LoadedModel(TimedArcPetriNetNetwork network, Collection<Template> templates, Collection<TAPNQuery> queries, Collection<String> messages, boolean isTimed, boolean isGame){
 
27
    public LoadedModel(TimedArcPetriNetNetwork network, Collection<Template> templates, Collection<TAPNQuery> queries, Collection<String> messages, TabContent.TAPNLens lens){
28
28
        this.templates = templates;
29
29
        this.network = network;
30
30
        this.queries = queries;
31
 
        this.isTimed = isTimed;
32
 
        this.isGame = isGame;
 
31
        this.lens = lens;
33
32
        this.messages = messages;
34
33
    }
35
34
 
38
37
        public TimedArcPetriNetNetwork network(){ return network; }
39
38
    public Collection<String> getMessages() { return messages; }
40
39
 
 
40
    public TabContent.TAPNLens getLens(){
 
41
        return lens;
 
42
    }
41
43
 
42
44
        public boolean isTimed() {
43
 
            return isTimed;
 
45
            return lens.isTimed();
44
46
    }
45
47
    public boolean isGame() {
46
 
            return isGame;
 
48
            return lens.isGame();
47
49
    }
48
50
 
49
51
}
 
 
b'\\ No newline at end of file'