Redefine how Aspect Cliques are found (fixes MPSCR-60)

Browse Source

Now algorithm for finding aspect cliques includes 3 stages:
1) topological sort (as before)
2) bottom-up pass with initial assignment of clique ids (as before)
3) top-down pass (i.e. in reverse topo sort order) (added stage)

The 3rd stage handles case when hierarchy of langs with
required aspect include branching point (with no join further down),
as in the case of closuresExt & collectionsExt both extending blExt,
but unrelated to each other (neither extends the other).

...

This commit is contained in:

Grigorii Kirgizov 2020-05-06 18:43:21 +03:00

parent bb5412230a

commit e7d23f9b6d

1 changed files with 951 additions and 274 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1225

coderules/solutions/jetbrains.mps.lang.coderules.template/models/jetbrains.mps.lang.coderules.aspect.mps

View File

File diff suppressed because it is too large Load Diff