/*
* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors
*
* SPDX-License-Identifier: EPL-2.0
*/
package tools.refinery.store.query.viatra.internal.pquery;
import org.eclipse.viatra.query.runtime.matchers.context.common.BaseInputKeyWrapper;
import tools.refinery.store.query.view.AnySymbolView;
public class SymbolViewWrapper extends BaseInputKeyWrapper {
public SymbolViewWrapper(AnySymbolView wrappedKey) {
super(wrappedKey);
}
@Override
public String getPrettyPrintableName() {
return wrappedKey.name();
}
@Override
public String getStringID() {
return getPrettyPrintableName();
}
@Override
public int getArity() {
return wrappedKey.arity();
}
@Override
public boolean isEnumerable() {
return true;
}
@Override
public String toString() {
return "RelationViewWrapper{wrappedKey=%s}".formatted(wrappedKey);
}
}