path: root/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/naming/ProblemQualifiedNameConverter.java

package org.eclipse.viatra.solver.language.naming;

import org.eclipse.xtext.naming.IQualifiedNameConverter;

import com.google.inject.Singleton;

@Singleton
public class ProblemQualifiedNameConverter extends IQualifiedNameConverter.DefaultImpl {
	public static final String DELIMITER = ":";
	
	@Override
	public String getDelimiter() {
		return DELIMITER;
	}
}