|
@@ -17,13 +17,13 @@ import org.eclipse.emf.common.util.EList;
|
|
|
import org.eclipse.xtext.validation.Check;
|
|
|
import org.yakindu.base.expressions.expressions.Expression;
|
|
|
import org.yakindu.base.types.ComplexType;
|
|
|
-import org.yakindu.base.types.ITypeSystemRegistry;
|
|
|
import org.yakindu.base.types.ParameterizedType;
|
|
|
import org.yakindu.base.types.Type;
|
|
|
import org.yakindu.base.types.TypeParameter;
|
|
|
import org.yakindu.base.types.TypedElement;
|
|
|
import org.yakindu.base.types.TypesPackage;
|
|
|
import org.yakindu.base.types.inferrer.ITypeSystemInferrer;
|
|
|
+import org.yakindu.base.types.typesystem.ITypeSystem;
|
|
|
import org.yakindu.base.types.validation.IValidationIssueAcceptor;
|
|
|
|
|
|
import com.google.common.collect.Sets;
|
|
@@ -61,7 +61,7 @@ public class ExpressionsJavaValidator extends org.yakindu.base.expressions.valid
|
|
|
@Inject
|
|
|
private ITypeSystemInferrer typeInferrer;
|
|
|
@Inject
|
|
|
- private ITypeSystemRegistry typeSystem;
|
|
|
+ private ITypeSystem typeSystem;
|
|
|
|
|
|
@Check
|
|
|
public void checkExpression(Expression expression) {
|