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

Support querying exact types #47

Open eclipse-viatra-bot opened 5 months ago

eclipse-viatra-bot commented 5 months ago

| --- | --- | | Bugzilla Link | 507094 | | Status | NEW | | Importance | P3 enhancement | | Reported | Nov 05, 2016 04:20 EDT | | Modified | Nov 23, 2020 08:30 EDT | | Version | 1.5.0 | | See also | Gerrit change https://git.eclipse.org/r/#/c/128206/ | | Reporter | Zoltan Ujhelyi |

Description

Right now, the query language (and runtime) can only check whether a selected object is instance of an EClass, but there is no built-in support to describe that a class has exactly the type of an EClass. I know such a constraint can be described in most cases using negative pattern calls, but that is clumsy and in some cases impossible (e.g. if the metamodel is extended, but the queries should not depend on the extended metamodel).

As described in https://www.eclipse.org/forums/index.php?t=rview&goto=1746810#msg_1746810 there are some need for this. Given this task should not be too hard, we should consider it.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Oct 04, 2017 05:26

Moving potential tasks from future to 2.0.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Feb 08, 2018 07:21

Postponing to a future release.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Aug 31, 2018 03:52

In change https://git.eclipse.org/r/#/c/128206/ somewhat related functionality is being introduced, although some further work is needed to support it entirely.

To quote Gábor:

"To support exact-instanceof queries over such a tabular index host, we just need to make the metacontext aware of the exact instances type (e.g. exact instance implies transitive instance), an almost trivial task. Afterward, PQueries are free to include type constraints using this king of input key.

In case of the "regular" EMF base indexer, we need to actually extend the instance store + statistics store to be able to contain exact-instance information, and actually gather+maintain it from the model. That is somewhat more work."

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 May 18, 2020 13:04

Postponing issues that will not be solved for version 2.5.

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.