Program Preamble consists of 2 parts: rules & Journal. Preamble rules are no-input rules with rules for their required nodes. Preamble journal is journal part with results of executing these rules. Preamble is defined per-Query, because Journal differs for Queries. Repository CacheHolder is used for storing them b/w sessions. Rules are stored and retrievied with Memoizer. Journal is stored as SessionToken in PreambleSet (map Query->SessionToken). Add option to IncrementalSpec -- incrementality level (Preamble or Full). |
||
|---|---|---|
| .. | ||
| 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 | ||