1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
package dk.aau.cs.io;
import java.util.Collection;
import java.util.List;
import dk.aau.cs.gui.TabContent;
import dk.aau.cs.io.batchProcessing.LoadedBatchProcessingModel;
import pipe.dataLayer.TAPNQuery;
import pipe.dataLayer.Template;
import dk.aau.cs.model.tapn.TimedArcPetriNetNetwork;
public class LoadedModel implements LoadedBatchProcessingModel {
private final Collection<Template> templates;
private final Collection<TAPNQuery> queries;
private final TimedArcPetriNetNetwork network;
private final Collection<String> messages;
private final TabContent.TAPNLens lens;
public LoadedModel(TimedArcPetriNetNetwork network, Collection<Template> templates, Collection<TAPNQuery> queries, Collection<String> messages){
this(network, templates, queries, messages, TabContent.TAPNLens.Default);
}
public LoadedModel(TimedArcPetriNetNetwork network, Collection<Template> templates, Collection<TAPNQuery> queries){
this(network, templates, queries, List.of(), TabContent.TAPNLens.Default);
}
public LoadedModel(TimedArcPetriNetNetwork network, Collection<Template> templates, Collection<TAPNQuery> queries, Collection<String> messages, TabContent.TAPNLens lens){
this.templates = templates;
this.network = network;
this.queries = queries;
this.lens = lens;
this.messages = messages;
}
public Collection<Template> templates(){ return templates; }
public Collection<TAPNQuery> queries(){ return queries; }
public TimedArcPetriNetNetwork network(){ return network; }
public Collection<String> getMessages() { return messages; }
public TabContent.TAPNLens getLens(){
return lens;
}
public boolean isTimed() {
return lens.isTimed();
}
public boolean isGame() {
return lens.isGame();
}
}
|