blob: 3111b69bcf99e45b9e41d0488a516da825ecea08 (
plain) (
blame)
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);
}
}
}
|