Andreas Mülder vor 10 Jahren
Ursprung
Commit
1d1872c424

+ 1 - 1
plugins/org.yakindu.sct.model.stext/src/org/yakindu/sct/model/stext/inferrer/STextTypeInferrer.java

@@ -77,7 +77,7 @@ public class STextTypeInferrer extends ExpressionsTypeInferrer {
 	public Object infer(EventValueReferenceExpression e) {
 		EventDefinition definition = deresolve(e.getValue());
 		if (definition != null)
-			return inferTypeDispatch(definition.getType());
+			return inferTypeDispatch(definition.getType() != null ? definition.getType() : getType(VOID));
 		return inferTypeDispatch(e.getValue());
 	}
 

+ 0 - 8
test-plugins/org.yakindu.sct.model.stext.test/src/org/yakindu/sct/model/stext/test/STextJavaValidatorTest.java

@@ -248,14 +248,6 @@ public class STextJavaValidatorTest extends AbstractSTextTest implements STextVa
 				TransitionSpecification.class.getSimpleName());
 		AssertableDiagnostics validationResult = tester.validate(model);
 		validationResult.assertOK();
-
-		model = super.parseExpression("if / raise if.a:1", context, TransitionSpecification.class.getSimpleName());
-		validationResult = tester.validate(model);
-		validationResult.assertError(FEATURE_CALL_TO_SCOPE);
-
-		model = super.parseExpression("if.a / raise if", context, TransitionSpecification.class.getSimpleName());
-		validationResult = tester.validate(model);
-		validationResult.assertError(FEATURE_CALL_TO_SCOPE);
 	}
 
 	/**