Local search does not allow input parameter as unreferenced variable

[eclipse-viatra-bot]

| --- | --- |
| Bugzilla Link | 530515 |
| Status | NEW |
| Importance | P3 normal |
| Reported | Jan 30, 2018 10:41 EDT |
| Modified | Nov 23, 2020 08:30 EDT |
| Version | 2.0.0 |
| Blocks | 501465 |
| Reporter | Abel Hegedus |

Description

The following pattern fails validation with "Parameter 'prefix' has no enumerable reference in body '#1'.", although the search-based query engine would be capable of evaluating the query.

search pattern nameStartsWith(c : EClass, in prefix : java ^java.lang.String) {
EClass.name(c, clName);
check(clName.startsWith(prefix));
}

[eclipse-viatra-bot]

By Zoltan Ujhelyi on Apr 10, 2018 07:11

This issue is an additional validator change related to parameter direction handling; marking is a subtask of corresponding bug 501465

[eclipse-viatra-bot]

By Zoltan Ujhelyi on May 27, 2019 07:49

Bugzilla cleanup.

[eclipse-viatra-bot]

By Zoltan Ujhelyi on Nov 20, 2019 05:51

Postponing issues to the next release.

[eclipse-viatra-bot]

By Zoltan Ujhelyi on Nov 23, 2020 08:30

Mass postponing of issues to the 2.6 timeframe.