subprojects/store-query/src/main/java/tools/refinery/store/query/term/NodeSort.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

package tools.refinery.store.query.term;

import org.jetbrains.annotations.Nullable;

public final class NodeSort implements Sort {
	public static final NodeSort INSTANCE = new NodeSort();

	private NodeSort() {
	}

	@Override
	public boolean isInstance(Variable variable) {
		return variable instanceof NodeVariable;
	}

	@Override
	public NodeVariable newInstance(@Nullable String name) {
		return new NodeVariable(name);
	}

	@Override
	public NodeVariable newInstance() {
		return newInstance(null);
	}

	@Override
	public String toString() {
		return "<node>";
	}
}