subprojects/language/src/main/java/tools/refinery/language/conversion/ProblemValueConverterService.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

package tools.refinery.language.conversion;

import org.eclipse.xtext.common.services.DefaultTerminalConverters;
import org.eclipse.xtext.conversion.IValueConverter;
import org.eclipse.xtext.conversion.ValueConverter;

import com.google.inject.Inject;

public class ProblemValueConverterService extends DefaultTerminalConverters {
	@Inject
	private UpperBoundValueConverter upperBoundValueConverter;

	@ValueConverter(rule = "UpperBound")
	// Method name follows Xtext convention.
	@SuppressWarnings("squid:S100")
	public IValueConverter<Integer> UpperBound() {
		return upperBoundValueConverter;
	}
}