Avoides the need to exactly duplicate features of ancestors. Opens possibility to match on super-terms with partially provided (overriden) features. For example, suppose there's `typeParameterized(child: param)` term which is extended by `classifier` and `methodSignature`. Then it becomes possible to write a common rule for both terms, matching on `typeParameterized(param=[Smth])`. |
||
|---|---|---|
| .. | ||
| jetbrains.mps.lang.coderules | ||
| jetbrains.mps.lang.controlflow | ||
| jetbrains.mps.lang.smodel.types/generator/template | ||
| jetbrains.mps.lang.typechecking | ||
| jetbrains.mps.logic | ||
| jetbrains.mps.typechecking.annotation | ||
| jetbrains.mps.typechecking.testlang | ||
| jetbrains.mps.typechecking.testlangCycle1/generator/templates | ||
| jetbrains.mps.typechecking.testlangCycle2/generator/templates | ||