natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
mps-coderules/coderules
History
Fedor Isakov e5538bc39f A bunch of refactorings and cleanups in trace view 
- cleanup the code, rename symbols for better readability
 - drop dead code
 - support for optionally showing empty template trace nodes
 - display node path for source nodes
 		2023-06-21 15:27:05 +02:00
..
devkits/jetbrains.mps.devkit.aspect.types Introduce language j.m.l.types to contain aspect-related generator mappings 2021-08-17 09:29:21 +02:00
doc/img Update readme files. 2018-07-19 15:12:34 +02:00
languages A bunch of refactorings and cleanups in trace view 2023-06-21 15:27:05 +02:00
solutions Add an option to filter empty template nodes in trace view 2023-06-21 15:21:28 +02:00
README.md Fix paths to images. 2018-07-19 15:17:06 +02:00

README.md

Code Rules - Implementation Notes

Structure

The project modules are separated into several groups to separate levels of abstraction.

Logic

Define fundamental ideas used throughout the implementation, such as «data form» (a.k.a. term), logical variables, and others.

Code rules

Modules in this group define the core concepts of coderules and the logic behind it. This includes constraints, predicates, handlers, as well as code rule templates.

Constraints activation trace view for debugging the process of evaluating constraint rules.

Activation trace

Once finished, constraint rules produce inferred types and type errors, which are added as highlighter annotations to the editor.

Type checking

Defines a custom aspect «types», which is used to store the typing rules in the language source code.

Example of a typing rule

Type checking plugin for MPS provides the actions for checking the types in a currently opened root.

Control flow

Declares only control flow aspect. All functionality is inherited from coderules language.