org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/conversion/ProblemValueConverterService.java


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

package org.eclipse.viatra.solver.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")
	public IValueConverter<Integer> UpperBound() {
		return upperBoundValueConverter;
	}
}