aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store/src/main/java/tools/refinery/store/model/internal/ModelStoreBuilderImpl.java
blob: 79f7195d6fefe27a6597aff849038c7ecfcceb39 (plain) (blame)
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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
package tools.refinery.store.model.internal;

import tools.refinery.store.adapter.AdapterList;
import tools.refinery.store.adapter.ModelAdapterBuilder;
import tools.refinery.store.adapter.ModelAdapterBuilderFactory;
import tools.refinery.store.adapter.ModelAdapterType;
import tools.refinery.store.map.VersionedMapStore;
import tools.refinery.store.map.VersionedMapStoreImpl;
import tools.refinery.store.model.ModelStore;
import tools.refinery.store.model.ModelStoreBuilder;
import tools.refinery.store.model.TupleHashProvider;
import tools.refinery.store.representation.AnySymbol;
import tools.refinery.store.representation.Symbol;
import tools.refinery.store.tuple.Tuple;

import java.util.*;

public class ModelStoreBuilderImpl implements ModelStoreBuilder {
	private final Set<AnySymbol> allSymbols = new HashSet<>();
	private final Map<SymbolEquivalenceClass<?>, List<AnySymbol>> equivalenceClasses = new HashMap<>();
	private final AdapterList<ModelAdapterBuilder> adapters = new AdapterList<>();

	@Override
	public <T> ModelStoreBuilder symbol(Symbol<T> symbol) {
		if (!allSymbols.add(symbol)) {
			throw new IllegalArgumentException("Symbol %s already added".formatted(symbol));
		}
		var equivalenceClass = new SymbolEquivalenceClass<>(symbol);
		var symbolsInEquivalenceClass = equivalenceClasses.computeIfAbsent(equivalenceClass,
				ignored -> new ArrayList<>());
		symbolsInEquivalenceClass.add(symbol);
		return this;
	}

	@Override
	public <T extends ModelAdapterBuilder> T with(ModelAdapterBuilderFactory<?, ?, T> adapterBuilderFactory) {
		return adapters.<T>tryGet(adapterBuilderFactory, adapterBuilderFactory.getModelAdapterBuilderClass())
				.orElseGet(() -> addAdapter(adapterBuilderFactory));
	}

	private <T extends ModelAdapterBuilder> T addAdapter(ModelAdapterBuilderFactory<?, ?, T> adapterBuilderFactory) {
		for (var configuredAdapterType : adapters.getAdapterTypes()) {
			var intersection = new HashSet<>(adapterBuilderFactory.getSupportedAdapterTypes());
			intersection.retainAll(configuredAdapterType.getSupportedAdapterTypes());
			if (!intersection.isEmpty()) {
				if (configuredAdapterType.supports(adapterBuilderFactory)) {
					// Impossible to end up here from <code>#with</code>, because we should have returned
					// the existing adapter there instead of adding a new one.
					throw new IllegalArgumentException(
							"Cannot add %s, because it is already provided by configured adapter %s"
									.formatted(adapterBuilderFactory, configuredAdapterType));
				} else if (adapterBuilderFactory.supports(configuredAdapterType)) {
					throw new IllegalArgumentException(
							"Cannot add %s, because it provides already configured adapter %s"
									.formatted(adapterBuilderFactory, configuredAdapterType));
				} else {
					throw new IllegalArgumentException(
							"Cannot add %s, because configured adapter %s already provides %s"
									.formatted(adapterBuilderFactory, configuredAdapterType, intersection));
				}
			}
		}
		var newAdapter = adapterBuilderFactory.createBuilder(this);
		adapters.add(adapterBuilderFactory, newAdapter);
		return newAdapter;
	}

	@Override
	public <T extends ModelAdapterBuilder> Optional<T> tryGetAdapter(ModelAdapterType<?, ?, ? extends T> adapterType) {
		return adapters.tryGet(adapterType, adapterType.getModelAdapterBuilderClass());
	}

	@Override
	public <T extends ModelAdapterBuilder> T getAdapter(ModelAdapterType<?, ?, T> adapterType) {
		return adapters.get(adapterType, adapterType.getModelAdapterBuilderClass());
	}

	@Override
	public ModelStore build() {
		var stores = new HashMap<AnySymbol, VersionedMapStore<Tuple, ?>>(allSymbols.size());
		for (var entry : equivalenceClasses.entrySet()) {
			createStores(stores, entry.getKey(), entry.getValue());
		}
		var modelStore = new ModelStoreImpl(stores, adapters.size());
		for (int i = adapters.size() - 1; i >= 0; i--) {
			adapters.get(i).configure();
		}
		for (var entry : adapters.withAdapterTypes()) {
			var adapter = entry.adapter().createStoreAdapter(modelStore);
			modelStore.addAdapter(entry.adapterType(), adapter);
		}
		return modelStore;
	}

	private <T> void createStores(Map<AnySymbol, VersionedMapStore<Tuple, ?>> stores,
								  SymbolEquivalenceClass<T> equivalenceClass, List<AnySymbol> symbols) {
		int size = symbols.size();
		var storeGroup = VersionedMapStoreImpl.createSharedVersionedMapStores(size, TupleHashProvider.INSTANCE,
				equivalenceClass.defaultValue());
		for (int i = 0; i < size; i++) {
			stores.put(symbols.get(i), storeGroup.get(i));
		}
	}
}