search

eclipse-viatra / org.eclipse.viatra

Main components of the VIATRA framework
https://eclipse.dev/viatra
Eclipse Public License 2.0
0 stars 1 forks source link

Local search does not allow input parameter as unreferenced variable #76

Open eclipse-viatra-bot opened 5 months ago

eclipse-viatra-bot commented 5 months ago

| --- | --- | | 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 commented 5 months ago

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 commented 5 months ago

By Zoltan Ujhelyi on May 27, 2019 07:49

Bugzilla cleanup.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Nov 20, 2019 05:51

Postponing issues to the next release.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Nov 23, 2020 08:30

Mass postponing of issues to the 2.6 timeframe.