Universal-Variability-Language/uvl-parser

Type of feature attributes is not correctly recognized

Closed this issue · 0 comments

When parsing constraints, the derived returnType (using Expression.getReturnType()) is wrong for attributes. Constant.True is always returned as type. This results in unintended type errors.

Specifically, validateTypeLevelConstraints(FeatureModel) throws a parsing error in this case.