diff options
Diffstat (limited to 'subprojects/viatra-runtime-rete/src/main/java/tools/refinery/viatra/runtime/rete/index/timely/TimelyMemoryIdentityIndexer.java')
-rw-r--r-- | subprojects/viatra-runtime-rete/src/main/java/tools/refinery/viatra/runtime/rete/index/timely/TimelyMemoryIdentityIndexer.java | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/subprojects/viatra-runtime-rete/src/main/java/tools/refinery/viatra/runtime/rete/index/timely/TimelyMemoryIdentityIndexer.java b/subprojects/viatra-runtime-rete/src/main/java/tools/refinery/viatra/runtime/rete/index/timely/TimelyMemoryIdentityIndexer.java new file mode 100644 index 00000000..4319ee29 --- /dev/null +++ b/subprojects/viatra-runtime-rete/src/main/java/tools/refinery/viatra/runtime/rete/index/timely/TimelyMemoryIdentityIndexer.java | |||
@@ -0,0 +1,51 @@ | |||
1 | /******************************************************************************* | ||
2 | * Copyright (c) 2010-2019, Tamas Szabo, Istvan Rath and Daniel Varro | ||
3 | * This program and the accompanying materials are made available under the | ||
4 | * terms of the Eclipse Public License v. 2.0 which is available at | ||
5 | * http://www.eclipse.org/legal/epl-v20.html. | ||
6 | * | ||
7 | * SPDX-License-Identifier: EPL-2.0 | ||
8 | *******************************************************************************/ | ||
9 | package tools.refinery.viatra.runtime.rete.index.timely; | ||
10 | |||
11 | import java.util.Collection; | ||
12 | import java.util.Collections; | ||
13 | import java.util.List; | ||
14 | import java.util.Map; | ||
15 | |||
16 | import tools.refinery.viatra.runtime.matchers.tuple.Tuple; | ||
17 | import tools.refinery.viatra.runtime.matchers.util.TimelyMemory; | ||
18 | import tools.refinery.viatra.runtime.matchers.util.timeline.Timeline; | ||
19 | import tools.refinery.viatra.runtime.rete.index.IdentityIndexer; | ||
20 | import tools.refinery.viatra.runtime.rete.network.Receiver; | ||
21 | import tools.refinery.viatra.runtime.rete.network.ReteContainer; | ||
22 | import tools.refinery.viatra.runtime.rete.network.Supplier; | ||
23 | import tools.refinery.viatra.runtime.rete.network.communication.Timestamp; | ||
24 | |||
25 | public class TimelyMemoryIdentityIndexer extends IdentityIndexer { | ||
26 | |||
27 | protected final TimelyMemory<Timestamp> memory; | ||
28 | |||
29 | public TimelyMemoryIdentityIndexer(final ReteContainer reteContainer, final int tupleWidth, | ||
30 | final TimelyMemory<Timestamp> memory, final Supplier parent, final Receiver activeNode, | ||
31 | final List<ListenerSubscription> sharedSubscriptionList) { | ||
32 | super(reteContainer, tupleWidth, parent, activeNode, sharedSubscriptionList); | ||
33 | this.memory = memory; | ||
34 | } | ||
35 | |||
36 | @Override | ||
37 | public Map<Tuple, Timeline<Timestamp>> getTimeline(final Tuple signature) { | ||
38 | final Timeline<Timestamp> timestamp = this.memory.get(signature); | ||
39 | if (timestamp != null) { | ||
40 | return Collections.singletonMap(signature, timestamp); | ||
41 | } else { | ||
42 | return null; | ||
43 | } | ||
44 | } | ||
45 | |||
46 | @Override | ||
47 | protected Collection<Tuple> getTuples() { | ||
48 | return this.memory.getTuplesAtInfinity(); | ||
49 | } | ||
50 | |||
51 | } | ||