subprojects/store/src/main/java/tools/refinery/store/statecoding/neighbourhood/ObjectCodeImpl.java


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

/*
 * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
 *
 * SPDX-License-Identifier: EPL-2.0
 */
package tools.refinery.store.statecoding.neighbourhood;

import tools.refinery.store.statecoding.ObjectCode;

import java.util.Arrays;

public class ObjectCodeImpl implements ObjectCode {
	private long[] vector;
	private int size;

	public ObjectCodeImpl() {
		vector = new long[10];
		size = 0;
	}

	public ObjectCodeImpl(ObjectCodeImpl sameSize) {
		this.vector = new long[sameSize.size];
		this.size = sameSize.size;
	}

	public void ensureSize(int object) {
		if(object >= size) {
			size = object+1;
		}

		if(object >= vector.length) {
			int newLength = vector.length*2;
			while(object >= newLength) {
				newLength*=2;
			}

			long[] newVector = new long[newLength];
			System.arraycopy(vector, 0, newVector, 0, vector.length);
			this.vector = newVector;
		}
	}

	public long get(int object) {
		if(object < vector.length) {
			return vector[object];
		} else {
			return 0;
		}
	}

	public void set(int object, long value) {
		ensureSize(object);
		final long valueToPut = value == 0 ? 1 : value;
		vector[object]=valueToPut;
	}

	public int getSize() {
		return this.size;
	}

	@Override
	public String toString() {
		return "ObjectCodeImpl{" +
				"vector=" + Arrays.toString(Arrays.copyOf(vector,this.size)) +
				'}';
	}
}