org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/conversion/UpperBoundValueConverter.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
31
32
33
34
35

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

import org.eclipse.xtext.conversion.ValueConverterException;
import org.eclipse.xtext.conversion.impl.AbstractValueConverter;
import org.eclipse.xtext.conversion.impl.INTValueConverter;
import org.eclipse.xtext.nodemodel.INode;

import com.google.inject.Inject;
import com.google.inject.Singleton;

@Singleton
public class UpperBoundValueConverter extends AbstractValueConverter<Integer> {
	public static final String INFINITY = "*";	
	
	@Inject
	private INTValueConverter intValueConverter;
	
	@Override
	public Integer toValue(String string, INode node) throws ValueConverterException {
		if (INFINITY.equals(string)) {
			return -1;
		} else {
			return intValueConverter.toValue(string, node);
		}
	}

	@Override
	public String toString(Integer value) throws ValueConverterException {
		if (value < 0) {
			return INFINITY;
		} else {
			return intValueConverter.toString(value);
		}
	}
}