[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill-jetbrains-mps-aspect-constraints":3,"mdc--tew0o7-key":32,"related-repo-jetbrains-mps-aspect-constraints":1666,"related-org-jetbrains-mps-aspect-constraints":1735},{"slug":4,"name":4,"fn":5,"description":6,"org":7,"tags":11,"stars":19,"repoUrl":20,"updatedAt":21,"license":22,"forks":23,"topics":24,"repo":27,"sourceUrl":30,"mdContent":31},"mps-aspect-constraints","define JetBrains MPS language constraints","Use when defining or editing MPS language constraints — property validators \u002F setters \u002F getters, referent search scopes (imperative or inherited via `ScopeProvider.getScope`), `referentSetHandler` side effects, default-scope blocks, `canBeChild` \u002F `canBeParent` \u002F `canBeAncestor` \u002F `canBeRoot` placement rules, `defaultConcreteConcept` for abstract concepts, `set \u003Cread-only>` and `{name}` aliasing, and scope helpers (`SimpleRoleScope`, `ListScope`, `CompositeScope`, `HidingByNameScope`). Reach for this skill whenever the task involves authoring or modifying `\u003Clang>\u002FlanguageModels\u002Fconstraints.mps`.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},"jetbrains","JetBrains","https:\u002F\u002Fpexgzepcugksgbtrxkhf.supabase.co\u002Fstorage\u002Fv1\u002Fobject\u002Fpublic\u002Forg-logos\u002Fjetbrains.png",[12,16],{"name":13,"slug":14,"type":15},"Architecture","architecture","tag",{"name":17,"slug":18,"type":15},"Code Analysis","code-analysis",1650,"https:\u002F\u002Fgithub.com\u002FJetBrains\u002FMPS","2026-07-23T05:41:33.639365",null,311,[25,26],"domain-specific-language","dsl",{"repoUrl":20,"stars":19,"forks":23,"topics":28,"description":29},[25,26],"JetBrains Meta programming System","https:\u002F\u002Fgithub.com\u002FJetBrains\u002FMPS\u002Ftree\u002FHEAD\u002Fplugins\u002Fmcp-tools\u002Fresources\u002Fjetbrains\u002Fmps\u002Fagents\u002Fmcp\u002Fskills\u002Fmps-aspect-constraints","---\nname: mps-aspect-constraints\ndescription: Use when defining or editing MPS language constraints — property validators \u002F setters \u002F getters, referent search scopes (imperative or inherited via `ScopeProvider.getScope`), `referentSetHandler` side effects, default-scope blocks, `canBeChild` \u002F `canBeParent` \u002F `canBeAncestor` \u002F `canBeRoot` placement rules, `defaultConcreteConcept` for abstract concepts, `set \u003Cread-only>` and `{name}` aliasing, and scope helpers (`SimpleRoleScope`, `ListScope`, `CompositeScope`, `HidingByNameScope`). Reach for this skill whenever the task involves authoring or modifying `\u003Clang>\u002FlanguageModels\u002Fconstraints.mps`.\ntype: reference\n---\n\n# MPS Constraints Aspect\n\nThe **constraints** aspect controls *runtime* rules about nodes: what values properties may hold, how a property is stored when set, what nodes a reference may point to, and where a node of a concept is allowed to appear in the AST. It lives in the language's `constraints` model (`\u003Clang>\u002FlanguageModels\u002Fconstraints.mps`) and uses the language `jetbrains.mps.lang.constraints`.\n\nConstraints are enforced at edit time and also consulted by the typesystem\u002Feditor. They are **not** the place for structural cardinalities (that belongs in `structure`) or for types (that belongs in `typesystem`).\n\n## Critical Directives\n\n- One `ConceptConstraints` root per concept. Set its `concept` reference; everything else is child blocks.\n- Pick the right body for the job:\n  - **Validator** (`propertyValidator`) — pure acceptance check; returns `boolean`; never mutates state.\n  - **Setter** (`propertySetter`) — normalises and **must explicitly assign** `node.\u003Cprop> = propertyValue` (a body that forgets this silently drops the value).\n  - **Getter** (`propertyGetter`) — only when the displayed value differs from the stored value (derived URL, aliased name).\n  - `set \u003Cread-only>` means *no setter at all* — direct assignment to the property is rejected by MPS. An empty-body setter is almost always a bug.\n- `canBeChild` \u002F `canBeParent` \u002F `canBeAncestor` are **inherited** by sub-concepts; per-property and per-reference constraints are **not** — duplicate the `ConceptConstraints` root or hoist the rule up.\n- Pick the right scope shape:\n  - **Inherited via `InheritedNodeScopeFactory` + `ScopeProvider.getScope` (behavior)** — preferred whenever the scope naturally belongs to an ancestor (block, declaration, program, module). Composes cleanly along the containment chain with `parent scope`.\n  - **Imperative `ConstraintFunction_ReferentSearchScope_Scope`** — only when the scope is tiny, highly local, and has no natural ancestor owner.\n- `referentSetHandler` performs side effects (auto-rename referrer, copy fields, `keeps original reference`). Never overload the scope to do this.\n- `defaultConcreteConcept` on `ConceptConstraints` chooses which concrete subconcept replaces an abstract pick — it is a single reference, not a child block.\n- Surface forms (`come from`, `parent scope`, `kind.isSubConceptOf(...)`, `link\u002FC : role\u002F`, `concept\u002FC\u002F`) are not BaseLanguage. Each is a dedicated `jetbrains.mps.lang.scopes` \u002F `jetbrains.mps.lang.smodel` concept — construct those concepts, not strings (see `references\u002Fscope-fqn-reference.md`).\n- `Concept_IsSubConceptOfOperation` matches a concept **and** its sub-concepts; `Concept_IsExactlyOperation` excludes sub-concepts. Use `isExactly` for guards that must not fire on specialisations.\n- Edit constraint models through MPS MCP (`mps_mcp_insert_root_node_from_json`, `mps_mcp_update_node`, `mps_mcp_parse_java_and_insert`). Do not hand-edit `.mps` files. Validate with `mps_mcp_check_root_node_problems` and rebuild the language; if the new constraint is invisible at runtime, run `mps_mcp_reload_all`.\n\n## Common-Path Workflow\n\n1. Ensure the language has a `constraints` model; create it with `mps_mcp_create_model` (`modelName: \"\u003Clang>.constraints\"` — aspect ID `constraints`, case-sensitive, no `@` suffix; see [aspect-model-stereotypes.md](..\u002Fmps-mcp-workflow\u002Freferences\u002Faspect-model-stereotypes.md)) if absent.\n2. Add `jetbrains.mps.lang.constraints` to the model's used languages. For scope bodies also add `jetbrains.mps.lang.smodel`, `jetbrains.mps.lang.scopes`, `jetbrains.mps.lang.behavior`, `jetbrains.mps.baseLanguage`; import models `jetbrains.mps.scope` and `jetbrains.mps.lang.core.behavior`.\n   - **Module-level dependency for scope classes**: the language module must have a `Default` dependency on solution `jetbrains.mps.kernel` (which ships model `jetbrains.mps.scope`). `mps_mcp_model_dependency` adds it automatically when importing `jetbrains.mps.scope`; `mps_mcp_create_module type=language` does not. See `references\u002Fscope-fqn-reference.md` → \"Required module-level dependency\".\n3. For each concept to constrain, create one `ConceptConstraints` root (`mps_mcp_create_root_node`); set `concept` ref. Minimal blueprint and validated FQN\u002Fc-ref in `references\u002Fconcept-roots.md`.\n4. Add `NodePropertyConstraint` \u002F `NodeReferentConstraint` \u002F `canBe*` children as needed. For inherited scopes, also add a `getScope` method to the owning ancestor's `ConceptBehavior` (see `mps-aspect-behavior`).\n5. Write bodies in BaseLanguage + smodel — follow the `mps-model-manipulation` skill for smodel \u002F collections \u002F closures syntax. Prefer `mps_mcp_parse_java_and_insert` for the BaseLanguage skeleton, then drop in scope \u002F constraint-specific concepts via MCP.\n6. Validate with `mps_mcp_check_root_node_problems` and rebuild the language.\n\n## Related Skills\n\n- `mps-aspect-behavior` — `ScopeProvider.getScope` lives in the behavior aspect; this is the partner of every `InheritedNodeScopeFactory` constraint. Behavior is also where most validator\u002Fgetter delegation lands.\n- `mps-aspect-structure-concepts` — structural cardinalities belong in `structure`, not here. Add `INamedConcept` \u002F `IResolveInfo` \u002F `ScopeProvider` interfaces on the concept declaration before writing the matching constraint or scope.\n- `mps-aspect-editor-menus-and-keymaps` — completion menus consume the scope built here; substitute \u002F transformation menus are the place for actions that go *beyond* picking an existing target.\n- `mps-aspect-actions` — when a constructor-style initialization is needed, use `NodeFactory` (actions aspect), not a constraint.\n- `mps-aspect-intentions` — when a *suggested fix* belongs on a node, write an intention; constraints only accept or reject.\n- `mps-model-manipulation` — full BaseLanguage \u002F smodel \u002F collections \u002F closures reference for constraint and scope bodies. Indispensable for `ancestor\u003Cconcept = X, +>`, `selectMany`, `siblings.ofConcept\u003CX>.all(...)`, anonymous-class scopes, and the smodel operation FQNs.\n- `mps-aspect-typesystem` — type checks belong in typesystem; constraints are about value\u002Fscope\u002Fplacement.\n- `mps-aspect-textgen` and `mps-aspect-constraints`-co-located utility classes — see `references\u002Fconcept-roots.md` for the BaseLanguage `ClassConcept` co-location pattern (used by `XmlNameUtil`).\n\n## Reference Index\n\n- Open `references\u002Fconcept-roots.md` when creating the `ConceptConstraints` root, setting `defaultConcreteConcept` to a concrete subconcept of an abstract concept, looking up the validated concept c-ref, or co-locating a BaseLanguage helper `ClassConcept` next to constraint roots.\n- Open `references\u002Fproperty-constraints.md` when writing `NodePropertyConstraint` bodies — choosing validator vs. setter vs. getter, the `{name}` aliasing pattern with `set \u003Cread-only>`, derived-property getters (e.g. `Element.details_url`), sibling-uniqueness validators (`State.isInitial`), and full JSON blueprints for validator and getter bodies.\n- Open `references\u002Freferent-constraints.md` when writing `NodeReferentConstraint` — both scope styles (imperative `ConstraintFunction_ReferentSearchScope_Scope` and ancestor-supplied `InheritedNodeScopeFactory`), the verbatim Calculator \u002F StateChart \u002F Kaja examples (`SimpleRoleScope.forNamedElements`, `ListScope` with anonymous `getName`, `CompositeScope` + `addScope`, `model.rootsIncludingImported`), the meta-level scope offering structure declarations (`conceptNode.getAggregationLinkDeclarations()` for `LinkDeclaration` referents), `referentSetHandler` patterns (auto-rename, multi-field copy, `keeps original reference`), and concept-level `Default Scope`.\n- Open `references\u002Fscope-helpers.md` when picking among `EmptyScope`, `ListScope`, `SimpleRoleScope`, `CompositeScope`, `FilteringScope`, `DelegatingScope`, `ModelsScope`, `ModelPlusImportedScope`, `Scopes.forConcepts`, `HidingByNameScope`, or `ListScope.forResolvableElements`; or when caching with `for model [...]`, `visible roots [C]`, `visible nodes [C]`. Includes the verbatim StateChart `Stateful_Behavior.getScope` (`ListScope` + anonymous `getName` + `HidingByNameScope` over `parent scope`) idiom.\n- Open `references\u002Fscope-fqn-reference.md` when constructing scope bodies via MCP — the full surface-syntax-to-FQN table (`parent scope`, `come from`, `isSubConceptOf` vs `isExactly`, `RefConcept_Reference` vs `ConceptIdRefExpression`, `LinkIdRefExpression`, `Node_GetAncestorOperation` + `OperationParm_Concept`, `Node_GetDescendantsOperation`, `Node_GetModelOperation`, `Model_RootsIncludingImportedOperation`, `Node_GetParentOperation`, `Node_IsInstanceOfOperation`), required used-languages and model imports, the validated `ScopeProvider.getScope` overriddenMethod ref, and JSON blueprints for the `getScope` skeleton, `parent scope` return, and the guarded local-scope `if`-branch.\n- Open `references\u002Fcanbe-rules.md` when authoring `ConstraintFunction_CanBeAChild` \u002F `CanBeAParent` \u002F `CanBeAnAncestor` \u002F `CanBeARoot` — each block's parameter set (note `canBeAnAncestor` has only 3 parameters; no `parentNode` or `link`), the `parentNode.parent.isInstanceOf(...)` grandparent-traversal pattern (Kaja `RoutineDefinition` and `Require`), the `node.isInRole(link\u002FC : role\u002F)` pattern, the `model` parameter for `canBeRoot`, and the minimal `ConstraintFunction_CanBeAChild` blueprint.\n- Open `references\u002Fcommon-failures.md` when a setter runs but stores nothing, a completion popup is empty, the editor reports \"cannot be child\", a constraint does not apply to a sub-concept, or constraint edits seem invisible at runtime.\n",{"data":33,"body":35},{"name":4,"description":6,"type":34},"reference",{"type":36,"children":37},"root",[38,47,93,121,128,542,548,839,845,1049,1055],{"type":39,"tag":40,"props":41,"children":43},"element","h1",{"id":42},"mps-constraints-aspect",[44],{"type":45,"value":46},"text","MPS Constraints Aspect",{"type":39,"tag":48,"props":49,"children":50},"p",{},[51,53,59,61,67,69,75,77,83,85,91],{"type":45,"value":52},"The ",{"type":39,"tag":54,"props":55,"children":56},"strong",{},[57],{"type":45,"value":58},"constraints",{"type":45,"value":60}," aspect controls ",{"type":39,"tag":62,"props":63,"children":64},"em",{},[65],{"type":45,"value":66},"runtime",{"type":45,"value":68}," rules about nodes: what values properties may hold, how a property is stored when set, what nodes a reference may point to, and where a node of a concept is allowed to appear in the AST. It lives in the language's ",{"type":39,"tag":70,"props":71,"children":73},"code",{"className":72},[],[74],{"type":45,"value":58},{"type":45,"value":76}," model (",{"type":39,"tag":70,"props":78,"children":80},{"className":79},[],[81],{"type":45,"value":82},"\u003Clang>\u002FlanguageModels\u002Fconstraints.mps",{"type":45,"value":84},") and uses the language ",{"type":39,"tag":70,"props":86,"children":88},{"className":87},[],[89],{"type":45,"value":90},"jetbrains.mps.lang.constraints",{"type":45,"value":92},".",{"type":39,"tag":48,"props":94,"children":95},{},[96,98,103,105,111,113,119],{"type":45,"value":97},"Constraints are enforced at edit time and also consulted by the typesystem\u002Feditor. They are ",{"type":39,"tag":54,"props":99,"children":100},{},[101],{"type":45,"value":102},"not",{"type":45,"value":104}," the place for structural cardinalities (that belongs in ",{"type":39,"tag":70,"props":106,"children":108},{"className":107},[],[109],{"type":45,"value":110},"structure",{"type":45,"value":112},") or for types (that belongs in ",{"type":39,"tag":70,"props":114,"children":116},{"className":115},[],[117],{"type":45,"value":118},"typesystem",{"type":45,"value":120},").",{"type":39,"tag":122,"props":123,"children":125},"h2",{"id":124},"critical-directives",[126],{"type":45,"value":127},"Critical Directives",{"type":39,"tag":129,"props":130,"children":131},"ul",{},[132,154,255,301,358,377,395,458,492],{"type":39,"tag":133,"props":134,"children":135},"li",{},[136,138,144,146,152],{"type":45,"value":137},"One ",{"type":39,"tag":70,"props":139,"children":141},{"className":140},[],[142],{"type":45,"value":143},"ConceptConstraints",{"type":45,"value":145}," root per concept. Set its ",{"type":39,"tag":70,"props":147,"children":149},{"className":148},[],[150],{"type":45,"value":151},"concept",{"type":45,"value":153}," reference; everything else is child blocks.",{"type":39,"tag":133,"props":155,"children":156},{},[157,159],{"type":45,"value":158},"Pick the right body for the job:\n",{"type":39,"tag":129,"props":160,"children":161},{},[162,188,220,237],{"type":39,"tag":133,"props":163,"children":164},{},[165,170,172,178,180,186],{"type":39,"tag":54,"props":166,"children":167},{},[168],{"type":45,"value":169},"Validator",{"type":45,"value":171}," (",{"type":39,"tag":70,"props":173,"children":175},{"className":174},[],[176],{"type":45,"value":177},"propertyValidator",{"type":45,"value":179},") — pure acceptance check; returns ",{"type":39,"tag":70,"props":181,"children":183},{"className":182},[],[184],{"type":45,"value":185},"boolean",{"type":45,"value":187},"; never mutates state.",{"type":39,"tag":133,"props":189,"children":190},{},[191,196,197,203,205,210,212,218],{"type":39,"tag":54,"props":192,"children":193},{},[194],{"type":45,"value":195},"Setter",{"type":45,"value":171},{"type":39,"tag":70,"props":198,"children":200},{"className":199},[],[201],{"type":45,"value":202},"propertySetter",{"type":45,"value":204},") — normalises and ",{"type":39,"tag":54,"props":206,"children":207},{},[208],{"type":45,"value":209},"must explicitly assign",{"type":45,"value":211}," ",{"type":39,"tag":70,"props":213,"children":215},{"className":214},[],[216],{"type":45,"value":217},"node.\u003Cprop> = propertyValue",{"type":45,"value":219}," (a body that forgets this silently drops the value).",{"type":39,"tag":133,"props":221,"children":222},{},[223,228,229,235],{"type":39,"tag":54,"props":224,"children":225},{},[226],{"type":45,"value":227},"Getter",{"type":45,"value":171},{"type":39,"tag":70,"props":230,"children":232},{"className":231},[],[233],{"type":45,"value":234},"propertyGetter",{"type":45,"value":236},") — only when the displayed value differs from the stored value (derived URL, aliased name).",{"type":39,"tag":133,"props":238,"children":239},{},[240,246,248,253],{"type":39,"tag":70,"props":241,"children":243},{"className":242},[],[244],{"type":45,"value":245},"set \u003Cread-only>",{"type":45,"value":247}," means ",{"type":39,"tag":62,"props":249,"children":250},{},[251],{"type":45,"value":252},"no setter at all",{"type":45,"value":254}," — direct assignment to the property is rejected by MPS. An empty-body setter is almost always a bug.",{"type":39,"tag":133,"props":256,"children":257},{},[258,264,266,272,273,279,281,286,288,292,294,299],{"type":39,"tag":70,"props":259,"children":261},{"className":260},[],[262],{"type":45,"value":263},"canBeChild",{"type":45,"value":265}," \u002F ",{"type":39,"tag":70,"props":267,"children":269},{"className":268},[],[270],{"type":45,"value":271},"canBeParent",{"type":45,"value":265},{"type":39,"tag":70,"props":274,"children":276},{"className":275},[],[277],{"type":45,"value":278},"canBeAncestor",{"type":45,"value":280}," are ",{"type":39,"tag":54,"props":282,"children":283},{},[284],{"type":45,"value":285},"inherited",{"type":45,"value":287}," by sub-concepts; per-property and per-reference constraints are ",{"type":39,"tag":54,"props":289,"children":290},{},[291],{"type":45,"value":102},{"type":45,"value":293}," — duplicate the ",{"type":39,"tag":70,"props":295,"children":297},{"className":296},[],[298],{"type":45,"value":143},{"type":45,"value":300}," root or hoist the rule up.",{"type":39,"tag":133,"props":302,"children":303},{},[304,306],{"type":45,"value":305},"Pick the right scope shape:\n",{"type":39,"tag":129,"props":307,"children":308},{},[309,342],{"type":39,"tag":133,"props":310,"children":311},{},[312,333,335,341],{"type":39,"tag":54,"props":313,"children":314},{},[315,317,323,325,331],{"type":45,"value":316},"Inherited via ",{"type":39,"tag":70,"props":318,"children":320},{"className":319},[],[321],{"type":45,"value":322},"InheritedNodeScopeFactory",{"type":45,"value":324}," + ",{"type":39,"tag":70,"props":326,"children":328},{"className":327},[],[329],{"type":45,"value":330},"ScopeProvider.getScope",{"type":45,"value":332}," (behavior)",{"type":45,"value":334}," — preferred whenever the scope naturally belongs to an ancestor (block, declaration, program, module). Composes cleanly along the containment chain with ",{"type":39,"tag":70,"props":336,"children":338},{"className":337},[],[339],{"type":45,"value":340},"parent scope",{"type":45,"value":92},{"type":39,"tag":133,"props":343,"children":344},{},[345,356],{"type":39,"tag":54,"props":346,"children":347},{},[348,350],{"type":45,"value":349},"Imperative ",{"type":39,"tag":70,"props":351,"children":353},{"className":352},[],[354],{"type":45,"value":355},"ConstraintFunction_ReferentSearchScope_Scope",{"type":45,"value":357}," — only when the scope is tiny, highly local, and has no natural ancestor owner.",{"type":39,"tag":133,"props":359,"children":360},{},[361,367,369,375],{"type":39,"tag":70,"props":362,"children":364},{"className":363},[],[365],{"type":45,"value":366},"referentSetHandler",{"type":45,"value":368}," performs side effects (auto-rename referrer, copy fields, ",{"type":39,"tag":70,"props":370,"children":372},{"className":371},[],[373],{"type":45,"value":374},"keeps original reference",{"type":45,"value":376},"). Never overload the scope to do this.",{"type":39,"tag":133,"props":378,"children":379},{},[380,386,388,393],{"type":39,"tag":70,"props":381,"children":383},{"className":382},[],[384],{"type":45,"value":385},"defaultConcreteConcept",{"type":45,"value":387}," on ",{"type":39,"tag":70,"props":389,"children":391},{"className":390},[],[392],{"type":45,"value":143},{"type":45,"value":394}," chooses which concrete subconcept replaces an abstract pick — it is a single reference, not a child block.",{"type":39,"tag":133,"props":396,"children":397},{},[398,400,406,408,413,414,420,421,427,428,434,436,442,443,449,451,457],{"type":45,"value":399},"Surface forms (",{"type":39,"tag":70,"props":401,"children":403},{"className":402},[],[404],{"type":45,"value":405},"come from",{"type":45,"value":407},", ",{"type":39,"tag":70,"props":409,"children":411},{"className":410},[],[412],{"type":45,"value":340},{"type":45,"value":407},{"type":39,"tag":70,"props":415,"children":417},{"className":416},[],[418],{"type":45,"value":419},"kind.isSubConceptOf(...)",{"type":45,"value":407},{"type":39,"tag":70,"props":422,"children":424},{"className":423},[],[425],{"type":45,"value":426},"link\u002FC : role\u002F",{"type":45,"value":407},{"type":39,"tag":70,"props":429,"children":431},{"className":430},[],[432],{"type":45,"value":433},"concept\u002FC\u002F",{"type":45,"value":435},") are not BaseLanguage. Each is a dedicated ",{"type":39,"tag":70,"props":437,"children":439},{"className":438},[],[440],{"type":45,"value":441},"jetbrains.mps.lang.scopes",{"type":45,"value":265},{"type":39,"tag":70,"props":444,"children":446},{"className":445},[],[447],{"type":45,"value":448},"jetbrains.mps.lang.smodel",{"type":45,"value":450}," concept — construct those concepts, not strings (see ",{"type":39,"tag":70,"props":452,"children":454},{"className":453},[],[455],{"type":45,"value":456},"references\u002Fscope-fqn-reference.md",{"type":45,"value":120},{"type":39,"tag":133,"props":459,"children":460},{},[461,467,469,474,476,482,484,490],{"type":39,"tag":70,"props":462,"children":464},{"className":463},[],[465],{"type":45,"value":466},"Concept_IsSubConceptOfOperation",{"type":45,"value":468}," matches a concept ",{"type":39,"tag":54,"props":470,"children":471},{},[472],{"type":45,"value":473},"and",{"type":45,"value":475}," its sub-concepts; ",{"type":39,"tag":70,"props":477,"children":479},{"className":478},[],[480],{"type":45,"value":481},"Concept_IsExactlyOperation",{"type":45,"value":483}," excludes sub-concepts. Use ",{"type":39,"tag":70,"props":485,"children":487},{"className":486},[],[488],{"type":45,"value":489},"isExactly",{"type":45,"value":491}," for guards that must not fire on specialisations.",{"type":39,"tag":133,"props":493,"children":494},{},[495,497,503,504,510,511,517,519,525,527,533,535,541],{"type":45,"value":496},"Edit constraint models through MPS MCP (",{"type":39,"tag":70,"props":498,"children":500},{"className":499},[],[501],{"type":45,"value":502},"mps_mcp_insert_root_node_from_json",{"type":45,"value":407},{"type":39,"tag":70,"props":505,"children":507},{"className":506},[],[508],{"type":45,"value":509},"mps_mcp_update_node",{"type":45,"value":407},{"type":39,"tag":70,"props":512,"children":514},{"className":513},[],[515],{"type":45,"value":516},"mps_mcp_parse_java_and_insert",{"type":45,"value":518},"). Do not hand-edit ",{"type":39,"tag":70,"props":520,"children":522},{"className":521},[],[523],{"type":45,"value":524},".mps",{"type":45,"value":526}," files. Validate with ",{"type":39,"tag":70,"props":528,"children":530},{"className":529},[],[531],{"type":45,"value":532},"mps_mcp_check_root_node_problems",{"type":45,"value":534}," and rebuild the language; if the new constraint is invisible at runtime, run ",{"type":39,"tag":70,"props":536,"children":538},{"className":537},[],[539],{"type":45,"value":540},"mps_mcp_reload_all",{"type":45,"value":92},{"type":39,"tag":122,"props":543,"children":545},{"id":544},"common-path-workflow",[546],{"type":45,"value":547},"Common-Path Workflow",{"type":39,"tag":549,"props":550,"children":551},"ol",{},[552,603,724,758,807,827],{"type":39,"tag":133,"props":553,"children":554},{},[555,557,562,564,570,571,577,579,584,586,592,594,601],{"type":45,"value":556},"Ensure the language has a ",{"type":39,"tag":70,"props":558,"children":560},{"className":559},[],[561],{"type":45,"value":58},{"type":45,"value":563}," model; create it with ",{"type":39,"tag":70,"props":565,"children":567},{"className":566},[],[568],{"type":45,"value":569},"mps_mcp_create_model",{"type":45,"value":171},{"type":39,"tag":70,"props":572,"children":574},{"className":573},[],[575],{"type":45,"value":576},"modelName: \"\u003Clang>.constraints\"",{"type":45,"value":578}," — aspect ID ",{"type":39,"tag":70,"props":580,"children":582},{"className":581},[],[583],{"type":45,"value":58},{"type":45,"value":585},", case-sensitive, no ",{"type":39,"tag":70,"props":587,"children":589},{"className":588},[],[590],{"type":45,"value":591},"@",{"type":45,"value":593}," suffix; see ",{"type":39,"tag":595,"props":596,"children":598},"a",{"href":597},"..\u002Fmps-mcp-workflow\u002Freferences\u002Faspect-model-stereotypes.md",[599],{"type":45,"value":600},"aspect-model-stereotypes.md",{"type":45,"value":602},") if absent.",{"type":39,"tag":133,"props":604,"children":605},{},[606,608,613,615,620,621,626,627,633,634,640,642,648,650,656,658],{"type":45,"value":607},"Add ",{"type":39,"tag":70,"props":609,"children":611},{"className":610},[],[612],{"type":45,"value":90},{"type":45,"value":614}," to the model's used languages. For scope bodies also add ",{"type":39,"tag":70,"props":616,"children":618},{"className":617},[],[619],{"type":45,"value":448},{"type":45,"value":407},{"type":39,"tag":70,"props":622,"children":624},{"className":623},[],[625],{"type":45,"value":441},{"type":45,"value":407},{"type":39,"tag":70,"props":628,"children":630},{"className":629},[],[631],{"type":45,"value":632},"jetbrains.mps.lang.behavior",{"type":45,"value":407},{"type":39,"tag":70,"props":635,"children":637},{"className":636},[],[638],{"type":45,"value":639},"jetbrains.mps.baseLanguage",{"type":45,"value":641},"; import models ",{"type":39,"tag":70,"props":643,"children":645},{"className":644},[],[646],{"type":45,"value":647},"jetbrains.mps.scope",{"type":45,"value":649}," and ",{"type":39,"tag":70,"props":651,"children":653},{"className":652},[],[654],{"type":45,"value":655},"jetbrains.mps.lang.core.behavior",{"type":45,"value":657},".\n",{"type":39,"tag":129,"props":659,"children":660},{},[661],{"type":39,"tag":133,"props":662,"children":663},{},[664,669,671,677,679,685,687,692,694,700,702,707,709,715,717,722],{"type":39,"tag":54,"props":665,"children":666},{},[667],{"type":45,"value":668},"Module-level dependency for scope classes",{"type":45,"value":670},": the language module must have a ",{"type":39,"tag":70,"props":672,"children":674},{"className":673},[],[675],{"type":45,"value":676},"Default",{"type":45,"value":678}," dependency on solution ",{"type":39,"tag":70,"props":680,"children":682},{"className":681},[],[683],{"type":45,"value":684},"jetbrains.mps.kernel",{"type":45,"value":686}," (which ships model ",{"type":39,"tag":70,"props":688,"children":690},{"className":689},[],[691],{"type":45,"value":647},{"type":45,"value":693},"). ",{"type":39,"tag":70,"props":695,"children":697},{"className":696},[],[698],{"type":45,"value":699},"mps_mcp_model_dependency",{"type":45,"value":701}," adds it automatically when importing ",{"type":39,"tag":70,"props":703,"children":705},{"className":704},[],[706],{"type":45,"value":647},{"type":45,"value":708},"; ",{"type":39,"tag":70,"props":710,"children":712},{"className":711},[],[713],{"type":45,"value":714},"mps_mcp_create_module type=language",{"type":45,"value":716}," does not. See ",{"type":39,"tag":70,"props":718,"children":720},{"className":719},[],[721],{"type":45,"value":456},{"type":45,"value":723}," → \"Required module-level dependency\".",{"type":39,"tag":133,"props":725,"children":726},{},[727,729,734,736,742,744,749,751,757],{"type":45,"value":728},"For each concept to constrain, create one ",{"type":39,"tag":70,"props":730,"children":732},{"className":731},[],[733],{"type":45,"value":143},{"type":45,"value":735}," root (",{"type":39,"tag":70,"props":737,"children":739},{"className":738},[],[740],{"type":45,"value":741},"mps_mcp_create_root_node",{"type":45,"value":743},"); set ",{"type":39,"tag":70,"props":745,"children":747},{"className":746},[],[748],{"type":45,"value":151},{"type":45,"value":750}," ref. Minimal blueprint and validated FQN\u002Fc-ref in ",{"type":39,"tag":70,"props":752,"children":754},{"className":753},[],[755],{"type":45,"value":756},"references\u002Fconcept-roots.md",{"type":45,"value":92},{"type":39,"tag":133,"props":759,"children":760},{},[761,762,768,769,775,776,782,784,790,792,798,800,806],{"type":45,"value":607},{"type":39,"tag":70,"props":763,"children":765},{"className":764},[],[766],{"type":45,"value":767},"NodePropertyConstraint",{"type":45,"value":265},{"type":39,"tag":70,"props":770,"children":772},{"className":771},[],[773],{"type":45,"value":774},"NodeReferentConstraint",{"type":45,"value":265},{"type":39,"tag":70,"props":777,"children":779},{"className":778},[],[780],{"type":45,"value":781},"canBe*",{"type":45,"value":783}," children as needed. For inherited scopes, also add a ",{"type":39,"tag":70,"props":785,"children":787},{"className":786},[],[788],{"type":45,"value":789},"getScope",{"type":45,"value":791}," method to the owning ancestor's ",{"type":39,"tag":70,"props":793,"children":795},{"className":794},[],[796],{"type":45,"value":797},"ConceptBehavior",{"type":45,"value":799}," (see ",{"type":39,"tag":70,"props":801,"children":803},{"className":802},[],[804],{"type":45,"value":805},"mps-aspect-behavior",{"type":45,"value":120},{"type":39,"tag":133,"props":808,"children":809},{},[810,812,818,820,825],{"type":45,"value":811},"Write bodies in BaseLanguage + smodel — follow the ",{"type":39,"tag":70,"props":813,"children":815},{"className":814},[],[816],{"type":45,"value":817},"mps-model-manipulation",{"type":45,"value":819}," skill for smodel \u002F collections \u002F closures syntax. Prefer ",{"type":39,"tag":70,"props":821,"children":823},{"className":822},[],[824],{"type":45,"value":516},{"type":45,"value":826}," for the BaseLanguage skeleton, then drop in scope \u002F constraint-specific concepts via MCP.",{"type":39,"tag":133,"props":828,"children":829},{},[830,832,837],{"type":45,"value":831},"Validate with ",{"type":39,"tag":70,"props":833,"children":835},{"className":834},[],[836],{"type":45,"value":532},{"type":45,"value":838}," and rebuild the language.",{"type":39,"tag":122,"props":840,"children":842},{"id":841},"related-skills",[843],{"type":45,"value":844},"Related Skills",{"type":39,"tag":129,"props":846,"children":847},{},[848,872,912,930,949,967,999,1010],{"type":39,"tag":133,"props":849,"children":850},{},[851,856,858,863,865,870],{"type":39,"tag":70,"props":852,"children":854},{"className":853},[],[855],{"type":45,"value":805},{"type":45,"value":857}," — ",{"type":39,"tag":70,"props":859,"children":861},{"className":860},[],[862],{"type":45,"value":330},{"type":45,"value":864}," lives in the behavior aspect; this is the partner of every ",{"type":39,"tag":70,"props":866,"children":868},{"className":867},[],[869],{"type":45,"value":322},{"type":45,"value":871}," constraint. Behavior is also where most validator\u002Fgetter delegation lands.",{"type":39,"tag":133,"props":873,"children":874},{},[875,881,883,888,890,896,897,903,904,910],{"type":39,"tag":70,"props":876,"children":878},{"className":877},[],[879],{"type":45,"value":880},"mps-aspect-structure-concepts",{"type":45,"value":882}," — structural cardinalities belong in ",{"type":39,"tag":70,"props":884,"children":886},{"className":885},[],[887],{"type":45,"value":110},{"type":45,"value":889},", not here. Add ",{"type":39,"tag":70,"props":891,"children":893},{"className":892},[],[894],{"type":45,"value":895},"INamedConcept",{"type":45,"value":265},{"type":39,"tag":70,"props":898,"children":900},{"className":899},[],[901],{"type":45,"value":902},"IResolveInfo",{"type":45,"value":265},{"type":39,"tag":70,"props":905,"children":907},{"className":906},[],[908],{"type":45,"value":909},"ScopeProvider",{"type":45,"value":911}," interfaces on the concept declaration before writing the matching constraint or scope.",{"type":39,"tag":133,"props":913,"children":914},{},[915,921,923,928],{"type":39,"tag":70,"props":916,"children":918},{"className":917},[],[919],{"type":45,"value":920},"mps-aspect-editor-menus-and-keymaps",{"type":45,"value":922}," — completion menus consume the scope built here; substitute \u002F transformation menus are the place for actions that go ",{"type":39,"tag":62,"props":924,"children":925},{},[926],{"type":45,"value":927},"beyond",{"type":45,"value":929}," picking an existing target.",{"type":39,"tag":133,"props":931,"children":932},{},[933,939,941,947],{"type":39,"tag":70,"props":934,"children":936},{"className":935},[],[937],{"type":45,"value":938},"mps-aspect-actions",{"type":45,"value":940}," — when a constructor-style initialization is needed, use ",{"type":39,"tag":70,"props":942,"children":944},{"className":943},[],[945],{"type":45,"value":946},"NodeFactory",{"type":45,"value":948}," (actions aspect), not a constraint.",{"type":39,"tag":133,"props":950,"children":951},{},[952,958,960,965],{"type":39,"tag":70,"props":953,"children":955},{"className":954},[],[956],{"type":45,"value":957},"mps-aspect-intentions",{"type":45,"value":959}," — when a ",{"type":39,"tag":62,"props":961,"children":962},{},[963],{"type":45,"value":964},"suggested fix",{"type":45,"value":966}," belongs on a node, write an intention; constraints only accept or reject.",{"type":39,"tag":133,"props":968,"children":969},{},[970,975,977,983,984,990,991,997],{"type":39,"tag":70,"props":971,"children":973},{"className":972},[],[974],{"type":45,"value":817},{"type":45,"value":976}," — full BaseLanguage \u002F smodel \u002F collections \u002F closures reference for constraint and scope bodies. Indispensable for ",{"type":39,"tag":70,"props":978,"children":980},{"className":979},[],[981],{"type":45,"value":982},"ancestor\u003Cconcept = X, +>",{"type":45,"value":407},{"type":39,"tag":70,"props":985,"children":987},{"className":986},[],[988],{"type":45,"value":989},"selectMany",{"type":45,"value":407},{"type":39,"tag":70,"props":992,"children":994},{"className":993},[],[995],{"type":45,"value":996},"siblings.ofConcept\u003CX>.all(...)",{"type":45,"value":998},", anonymous-class scopes, and the smodel operation FQNs.",{"type":39,"tag":133,"props":1000,"children":1001},{},[1002,1008],{"type":39,"tag":70,"props":1003,"children":1005},{"className":1004},[],[1006],{"type":45,"value":1007},"mps-aspect-typesystem",{"type":45,"value":1009}," — type checks belong in typesystem; constraints are about value\u002Fscope\u002Fplacement.",{"type":39,"tag":133,"props":1011,"children":1012},{},[1013,1019,1020,1025,1027,1032,1034,1040,1042,1048],{"type":39,"tag":70,"props":1014,"children":1016},{"className":1015},[],[1017],{"type":45,"value":1018},"mps-aspect-textgen",{"type":45,"value":649},{"type":39,"tag":70,"props":1021,"children":1023},{"className":1022},[],[1024],{"type":45,"value":4},{"type":45,"value":1026},"-co-located utility classes — see ",{"type":39,"tag":70,"props":1028,"children":1030},{"className":1029},[],[1031],{"type":45,"value":756},{"type":45,"value":1033}," for the BaseLanguage ",{"type":39,"tag":70,"props":1035,"children":1037},{"className":1036},[],[1038],{"type":45,"value":1039},"ClassConcept",{"type":45,"value":1041}," co-location pattern (used by ",{"type":39,"tag":70,"props":1043,"children":1045},{"className":1044},[],[1046],{"type":45,"value":1047},"XmlNameUtil",{"type":45,"value":120},{"type":39,"tag":122,"props":1050,"children":1052},{"id":1051},"reference-index",[1053],{"type":45,"value":1054},"Reference Index",{"type":39,"tag":129,"props":1056,"children":1057},{},[1058,1091,1141,1254,1399,1536,1654],{"type":39,"tag":133,"props":1059,"children":1060},{},[1061,1063,1068,1070,1075,1077,1082,1084,1089],{"type":45,"value":1062},"Open ",{"type":39,"tag":70,"props":1064,"children":1066},{"className":1065},[],[1067],{"type":45,"value":756},{"type":45,"value":1069}," when creating the ",{"type":39,"tag":70,"props":1071,"children":1073},{"className":1072},[],[1074],{"type":45,"value":143},{"type":45,"value":1076}," root, setting ",{"type":39,"tag":70,"props":1078,"children":1080},{"className":1079},[],[1081],{"type":45,"value":385},{"type":45,"value":1083}," to a concrete subconcept of an abstract concept, looking up the validated concept c-ref, or co-locating a BaseLanguage helper ",{"type":39,"tag":70,"props":1085,"children":1087},{"className":1086},[],[1088],{"type":45,"value":1039},{"type":45,"value":1090}," next to constraint roots.",{"type":39,"tag":133,"props":1092,"children":1093},{},[1094,1095,1101,1103,1108,1110,1116,1118,1123,1125,1131,1133,1139],{"type":45,"value":1062},{"type":39,"tag":70,"props":1096,"children":1098},{"className":1097},[],[1099],{"type":45,"value":1100},"references\u002Fproperty-constraints.md",{"type":45,"value":1102}," when writing ",{"type":39,"tag":70,"props":1104,"children":1106},{"className":1105},[],[1107],{"type":45,"value":767},{"type":45,"value":1109}," bodies — choosing validator vs. setter vs. getter, the ",{"type":39,"tag":70,"props":1111,"children":1113},{"className":1112},[],[1114],{"type":45,"value":1115},"{name}",{"type":45,"value":1117}," aliasing pattern with ",{"type":39,"tag":70,"props":1119,"children":1121},{"className":1120},[],[1122],{"type":45,"value":245},{"type":45,"value":1124},", derived-property getters (e.g. ",{"type":39,"tag":70,"props":1126,"children":1128},{"className":1127},[],[1129],{"type":45,"value":1130},"Element.details_url",{"type":45,"value":1132},"), sibling-uniqueness validators (",{"type":39,"tag":70,"props":1134,"children":1136},{"className":1135},[],[1137],{"type":45,"value":1138},"State.isInitial",{"type":45,"value":1140},"), and full JSON blueprints for validator and getter bodies.",{"type":39,"tag":133,"props":1142,"children":1143},{},[1144,1145,1151,1152,1157,1159,1164,1166,1171,1173,1179,1180,1186,1188,1194,1195,1201,1202,1208,1209,1215,1217,1223,1225,1231,1233,1238,1240,1245,1247,1253],{"type":45,"value":1062},{"type":39,"tag":70,"props":1146,"children":1148},{"className":1147},[],[1149],{"type":45,"value":1150},"references\u002Freferent-constraints.md",{"type":45,"value":1102},{"type":39,"tag":70,"props":1153,"children":1155},{"className":1154},[],[1156],{"type":45,"value":774},{"type":45,"value":1158}," — both scope styles (imperative ",{"type":39,"tag":70,"props":1160,"children":1162},{"className":1161},[],[1163],{"type":45,"value":355},{"type":45,"value":1165}," and ancestor-supplied ",{"type":39,"tag":70,"props":1167,"children":1169},{"className":1168},[],[1170],{"type":45,"value":322},{"type":45,"value":1172},"), the verbatim Calculator \u002F StateChart \u002F Kaja examples (",{"type":39,"tag":70,"props":1174,"children":1176},{"className":1175},[],[1177],{"type":45,"value":1178},"SimpleRoleScope.forNamedElements",{"type":45,"value":407},{"type":39,"tag":70,"props":1181,"children":1183},{"className":1182},[],[1184],{"type":45,"value":1185},"ListScope",{"type":45,"value":1187}," with anonymous ",{"type":39,"tag":70,"props":1189,"children":1191},{"className":1190},[],[1192],{"type":45,"value":1193},"getName",{"type":45,"value":407},{"type":39,"tag":70,"props":1196,"children":1198},{"className":1197},[],[1199],{"type":45,"value":1200},"CompositeScope",{"type":45,"value":324},{"type":39,"tag":70,"props":1203,"children":1205},{"className":1204},[],[1206],{"type":45,"value":1207},"addScope",{"type":45,"value":407},{"type":39,"tag":70,"props":1210,"children":1212},{"className":1211},[],[1213],{"type":45,"value":1214},"model.rootsIncludingImported",{"type":45,"value":1216},"), the meta-level scope offering structure declarations (",{"type":39,"tag":70,"props":1218,"children":1220},{"className":1219},[],[1221],{"type":45,"value":1222},"conceptNode.getAggregationLinkDeclarations()",{"type":45,"value":1224}," for ",{"type":39,"tag":70,"props":1226,"children":1228},{"className":1227},[],[1229],{"type":45,"value":1230},"LinkDeclaration",{"type":45,"value":1232}," referents), ",{"type":39,"tag":70,"props":1234,"children":1236},{"className":1235},[],[1237],{"type":45,"value":366},{"type":45,"value":1239}," patterns (auto-rename, multi-field copy, ",{"type":39,"tag":70,"props":1241,"children":1243},{"className":1242},[],[1244],{"type":45,"value":374},{"type":45,"value":1246},"), and concept-level ",{"type":39,"tag":70,"props":1248,"children":1250},{"className":1249},[],[1251],{"type":45,"value":1252},"Default Scope",{"type":45,"value":92},{"type":39,"tag":133,"props":1255,"children":1256},{},[1257,1258,1264,1266,1272,1273,1278,1279,1285,1286,1291,1292,1298,1299,1305,1306,1312,1313,1319,1320,1326,1327,1333,1335,1341,1343,1349,1350,1356,1357,1363,1365,1371,1372,1377,1379,1384,1385,1390,1392,1397],{"type":45,"value":1062},{"type":39,"tag":70,"props":1259,"children":1261},{"className":1260},[],[1262],{"type":45,"value":1263},"references\u002Fscope-helpers.md",{"type":45,"value":1265}," when picking among ",{"type":39,"tag":70,"props":1267,"children":1269},{"className":1268},[],[1270],{"type":45,"value":1271},"EmptyScope",{"type":45,"value":407},{"type":39,"tag":70,"props":1274,"children":1276},{"className":1275},[],[1277],{"type":45,"value":1185},{"type":45,"value":407},{"type":39,"tag":70,"props":1280,"children":1282},{"className":1281},[],[1283],{"type":45,"value":1284},"SimpleRoleScope",{"type":45,"value":407},{"type":39,"tag":70,"props":1287,"children":1289},{"className":1288},[],[1290],{"type":45,"value":1200},{"type":45,"value":407},{"type":39,"tag":70,"props":1293,"children":1295},{"className":1294},[],[1296],{"type":45,"value":1297},"FilteringScope",{"type":45,"value":407},{"type":39,"tag":70,"props":1300,"children":1302},{"className":1301},[],[1303],{"type":45,"value":1304},"DelegatingScope",{"type":45,"value":407},{"type":39,"tag":70,"props":1307,"children":1309},{"className":1308},[],[1310],{"type":45,"value":1311},"ModelsScope",{"type":45,"value":407},{"type":39,"tag":70,"props":1314,"children":1316},{"className":1315},[],[1317],{"type":45,"value":1318},"ModelPlusImportedScope",{"type":45,"value":407},{"type":39,"tag":70,"props":1321,"children":1323},{"className":1322},[],[1324],{"type":45,"value":1325},"Scopes.forConcepts",{"type":45,"value":407},{"type":39,"tag":70,"props":1328,"children":1330},{"className":1329},[],[1331],{"type":45,"value":1332},"HidingByNameScope",{"type":45,"value":1334},", or ",{"type":39,"tag":70,"props":1336,"children":1338},{"className":1337},[],[1339],{"type":45,"value":1340},"ListScope.forResolvableElements",{"type":45,"value":1342},"; or when caching with ",{"type":39,"tag":70,"props":1344,"children":1346},{"className":1345},[],[1347],{"type":45,"value":1348},"for model [...]",{"type":45,"value":407},{"type":39,"tag":70,"props":1351,"children":1353},{"className":1352},[],[1354],{"type":45,"value":1355},"visible roots [C]",{"type":45,"value":407},{"type":39,"tag":70,"props":1358,"children":1360},{"className":1359},[],[1361],{"type":45,"value":1362},"visible nodes [C]",{"type":45,"value":1364},". Includes the verbatim StateChart ",{"type":39,"tag":70,"props":1366,"children":1368},{"className":1367},[],[1369],{"type":45,"value":1370},"Stateful_Behavior.getScope",{"type":45,"value":171},{"type":39,"tag":70,"props":1373,"children":1375},{"className":1374},[],[1376],{"type":45,"value":1185},{"type":45,"value":1378}," + anonymous ",{"type":39,"tag":70,"props":1380,"children":1382},{"className":1381},[],[1383],{"type":45,"value":1193},{"type":45,"value":324},{"type":39,"tag":70,"props":1386,"children":1388},{"className":1387},[],[1389],{"type":45,"value":1332},{"type":45,"value":1391}," over ",{"type":39,"tag":70,"props":1393,"children":1395},{"className":1394},[],[1396],{"type":45,"value":340},{"type":45,"value":1398},") idiom.",{"type":39,"tag":133,"props":1400,"children":1401},{},[1402,1403,1408,1410,1415,1416,1421,1422,1428,1430,1435,1436,1442,1443,1449,1450,1456,1457,1463,1464,1470,1471,1477,1478,1484,1485,1491,1492,1498,1499,1505,1507,1512,1514,1519,1521,1526,1528,1534],{"type":45,"value":1062},{"type":39,"tag":70,"props":1404,"children":1406},{"className":1405},[],[1407],{"type":45,"value":456},{"type":45,"value":1409}," when constructing scope bodies via MCP — the full surface-syntax-to-FQN table (",{"type":39,"tag":70,"props":1411,"children":1413},{"className":1412},[],[1414],{"type":45,"value":340},{"type":45,"value":407},{"type":39,"tag":70,"props":1417,"children":1419},{"className":1418},[],[1420],{"type":45,"value":405},{"type":45,"value":407},{"type":39,"tag":70,"props":1423,"children":1425},{"className":1424},[],[1426],{"type":45,"value":1427},"isSubConceptOf",{"type":45,"value":1429}," vs ",{"type":39,"tag":70,"props":1431,"children":1433},{"className":1432},[],[1434],{"type":45,"value":489},{"type":45,"value":407},{"type":39,"tag":70,"props":1437,"children":1439},{"className":1438},[],[1440],{"type":45,"value":1441},"RefConcept_Reference",{"type":45,"value":1429},{"type":39,"tag":70,"props":1444,"children":1446},{"className":1445},[],[1447],{"type":45,"value":1448},"ConceptIdRefExpression",{"type":45,"value":407},{"type":39,"tag":70,"props":1451,"children":1453},{"className":1452},[],[1454],{"type":45,"value":1455},"LinkIdRefExpression",{"type":45,"value":407},{"type":39,"tag":70,"props":1458,"children":1460},{"className":1459},[],[1461],{"type":45,"value":1462},"Node_GetAncestorOperation",{"type":45,"value":324},{"type":39,"tag":70,"props":1465,"children":1467},{"className":1466},[],[1468],{"type":45,"value":1469},"OperationParm_Concept",{"type":45,"value":407},{"type":39,"tag":70,"props":1472,"children":1474},{"className":1473},[],[1475],{"type":45,"value":1476},"Node_GetDescendantsOperation",{"type":45,"value":407},{"type":39,"tag":70,"props":1479,"children":1481},{"className":1480},[],[1482],{"type":45,"value":1483},"Node_GetModelOperation",{"type":45,"value":407},{"type":39,"tag":70,"props":1486,"children":1488},{"className":1487},[],[1489],{"type":45,"value":1490},"Model_RootsIncludingImportedOperation",{"type":45,"value":407},{"type":39,"tag":70,"props":1493,"children":1495},{"className":1494},[],[1496],{"type":45,"value":1497},"Node_GetParentOperation",{"type":45,"value":407},{"type":39,"tag":70,"props":1500,"children":1502},{"className":1501},[],[1503],{"type":45,"value":1504},"Node_IsInstanceOfOperation",{"type":45,"value":1506},"), required used-languages and model imports, the validated ",{"type":39,"tag":70,"props":1508,"children":1510},{"className":1509},[],[1511],{"type":45,"value":330},{"type":45,"value":1513}," overriddenMethod ref, and JSON blueprints for the ",{"type":39,"tag":70,"props":1515,"children":1517},{"className":1516},[],[1518],{"type":45,"value":789},{"type":45,"value":1520}," skeleton, ",{"type":39,"tag":70,"props":1522,"children":1524},{"className":1523},[],[1525],{"type":45,"value":340},{"type":45,"value":1527}," return, and the guarded local-scope ",{"type":39,"tag":70,"props":1529,"children":1531},{"className":1530},[],[1532],{"type":45,"value":1533},"if",{"type":45,"value":1535},"-branch.",{"type":39,"tag":133,"props":1537,"children":1538},{},[1539,1540,1546,1548,1554,1555,1561,1562,1568,1569,1575,1577,1583,1585,1591,1593,1599,1601,1607,1609,1615,1616,1622,1623,1629,1631,1637,1639,1645,1647,1652],{"type":45,"value":1062},{"type":39,"tag":70,"props":1541,"children":1543},{"className":1542},[],[1544],{"type":45,"value":1545},"references\u002Fcanbe-rules.md",{"type":45,"value":1547}," when authoring ",{"type":39,"tag":70,"props":1549,"children":1551},{"className":1550},[],[1552],{"type":45,"value":1553},"ConstraintFunction_CanBeAChild",{"type":45,"value":265},{"type":39,"tag":70,"props":1556,"children":1558},{"className":1557},[],[1559],{"type":45,"value":1560},"CanBeAParent",{"type":45,"value":265},{"type":39,"tag":70,"props":1563,"children":1565},{"className":1564},[],[1566],{"type":45,"value":1567},"CanBeAnAncestor",{"type":45,"value":265},{"type":39,"tag":70,"props":1570,"children":1572},{"className":1571},[],[1573],{"type":45,"value":1574},"CanBeARoot",{"type":45,"value":1576}," — each block's parameter set (note ",{"type":39,"tag":70,"props":1578,"children":1580},{"className":1579},[],[1581],{"type":45,"value":1582},"canBeAnAncestor",{"type":45,"value":1584}," has only 3 parameters; no ",{"type":39,"tag":70,"props":1586,"children":1588},{"className":1587},[],[1589],{"type":45,"value":1590},"parentNode",{"type":45,"value":1592}," or ",{"type":39,"tag":70,"props":1594,"children":1596},{"className":1595},[],[1597],{"type":45,"value":1598},"link",{"type":45,"value":1600},"), the ",{"type":39,"tag":70,"props":1602,"children":1604},{"className":1603},[],[1605],{"type":45,"value":1606},"parentNode.parent.isInstanceOf(...)",{"type":45,"value":1608}," grandparent-traversal pattern (Kaja ",{"type":39,"tag":70,"props":1610,"children":1612},{"className":1611},[],[1613],{"type":45,"value":1614},"RoutineDefinition",{"type":45,"value":649},{"type":39,"tag":70,"props":1617,"children":1619},{"className":1618},[],[1620],{"type":45,"value":1621},"Require",{"type":45,"value":1600},{"type":39,"tag":70,"props":1624,"children":1626},{"className":1625},[],[1627],{"type":45,"value":1628},"node.isInRole(link\u002FC : role\u002F)",{"type":45,"value":1630}," pattern, the ",{"type":39,"tag":70,"props":1632,"children":1634},{"className":1633},[],[1635],{"type":45,"value":1636},"model",{"type":45,"value":1638}," parameter for ",{"type":39,"tag":70,"props":1640,"children":1642},{"className":1641},[],[1643],{"type":45,"value":1644},"canBeRoot",{"type":45,"value":1646},", and the minimal ",{"type":39,"tag":70,"props":1648,"children":1650},{"className":1649},[],[1651],{"type":45,"value":1553},{"type":45,"value":1653}," blueprint.",{"type":39,"tag":133,"props":1655,"children":1656},{},[1657,1658,1664],{"type":45,"value":1062},{"type":39,"tag":70,"props":1659,"children":1661},{"className":1660},[],[1662],{"type":45,"value":1663},"references\u002Fcommon-failures.md",{"type":45,"value":1665}," when a setter runs but stores nothing, a completion popup is empty, the editor reports \"cannot be child\", a constraint does not apply to a sub-concept, or constraint edits seem invisible at runtime.",{"items":1667,"total":1734},[1668,1682,1690,1698,1703,1713,1726],{"slug":1669,"name":1669,"fn":1670,"description":1671,"org":1672,"tags":1673,"stars":19,"repoUrl":20,"updatedAt":1681},"mps-aspect-accessories","configure JetBrains MPS module dependencies","Wire MPS module and model dependencies, used languages, used devkits, extended languages, runtime solutions, accessory models, and language\u002Fdependency versions. Use when adding\u002Fremoving module dependencies, importing languages or devkits into a model, declaring runtime solutions, or shipping accessory content visible to consumers without explicit import.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1674,1675,1678],{"name":13,"slug":14,"type":15},{"name":1676,"slug":1677,"type":15},"Configuration","configuration",{"name":1679,"slug":1680,"type":15},"Engineering","engineering","2026-07-17T06:06:57.311661",{"slug":938,"name":938,"fn":1683,"description":1684,"org":1685,"tags":1686,"stars":19,"repoUrl":20,"updatedAt":1689},"define and edit MPS node factories","Use when defining or editing MPS node factories (the \"actions\" aspect) — `NodeFactories` roots, per-concept `NodeFactory` setup functions that initialize a freshly created node and optionally copy data from a replaced `sampleNode`, plus the actions aspect's `CopyPasteHandlers` and `PasteWrappers` roots. Reach for this skill when a substitution, side transform, completion replacement, or `add new initialized(...)` should preserve fields from the node it is replacing, or when defaults set in a constructor are not enough.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1687,1688],{"name":13,"slug":14,"type":15},{"name":1679,"slug":1680,"type":15},"2026-07-17T06:04:48.066901",{"slug":805,"name":805,"fn":1691,"description":1692,"org":1693,"tags":1694,"stars":19,"repoUrl":20,"updatedAt":1697},"define and edit MPS concept behavior","Use when defining or editing MPS `ConceptBehavior` — per-concept methods (non-virtual \u002F virtual \u002F abstract \u002F static \u002F virtual static), constructors, virtual dispatch (MRO), super and interface-default calls (`super\u003CInterface>.method`), overriding methods from `lang.core.behavior` interfaces such as `ScopeProvider.getScope` \u002F `INamedConcept.getName` \u002F `BaseConcept.getPresentation`, calling sibling methods (`LocalBehaviorMethodCall`) and behavior methods from other aspects via `node.method(...)`. Reach for this skill whenever the task involves authoring or modifying `\u003Clang>\u002FlanguageModels\u002Fbehavior.mps`.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1695,1696],{"name":13,"slug":14,"type":15},{"name":1679,"slug":1680,"type":15},"2026-07-13T06:45:21.757084",{"slug":4,"name":4,"fn":5,"description":6,"org":1699,"tags":1700,"stars":19,"repoUrl":20,"updatedAt":21},{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1701,1702],{"name":13,"slug":14,"type":15},{"name":17,"slug":18,"type":15},{"slug":1704,"name":1704,"fn":1705,"description":1706,"org":1707,"tags":1708,"stars":19,"repoUrl":20,"updatedAt":1712},"mps-aspect-dataflow","define and debug MPS dataflow builders","Use when defining or debugging MPS dataflow builders for a concept — control\u002Fdata flow declarations that drive reachability analysis and variable-use checking. Covers DataFlowBuilderDeclaration, BuilderBlock, emit instructions (code for, jump, ifjump, label, read, write, ret, mayBeUnreachable), positions (AfterPosition, BeforePosition, LabelPosition), the jetbrains.mps.lang.dataFlow language, the NodeParameter implicit, BL+smodel usage inside builder bodies, and IBuilderMode for advanced analyses such as nullable\u002Fnon-null tracking.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1709],{"name":1710,"slug":1711,"type":15},"Data Analysis","data-analysis","2026-07-13T06:45:19.114674",{"slug":1714,"name":1714,"fn":1715,"description":1716,"org":1717,"tags":1718,"stars":19,"repoUrl":20,"updatedAt":1725},"mps-aspect-editor","define MPS editor layouts","Use when creating or changing MPS editor definitions — the overall workflow from scaffolding a `ConceptEditorDeclaration` through componentizing reusable `EditorComponentDeclaration`s, refining cell models and cell layouts, applying style sheets and indent-layout style items, wiring smart references, leveraging inheritance via super-concepts and interfaces, inspecting (`print_node_json`, `show_node_representation`) and validating (`check_root_node_problems`). Covers `jetbrains.mps.lang.editor` cell models (`CellModel_RefNode`\u002F`CellModel_RefNodeList`\u002F`CellModel_RefCell`\u002F`CellModel_Property`\u002F`CellModel_Constant`), layout choices, and JSON blueprints for common editor shapes. For the non-layout side (action maps, keymaps, transformation\u002Fsubstitute menus) use `mps-aspect-editor-menus-and-keymaps`.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1719,1722],{"name":1720,"slug":1721,"type":15},"Design","design",{"name":1723,"slug":1724,"type":15},"UI Components","ui-components","2026-07-23T05:41:56.638151",{"slug":920,"name":920,"fn":1727,"description":1728,"org":1729,"tags":1730,"stars":19,"repoUrl":20,"updatedAt":1733},"author MPS editor menus and keymaps","Use when authoring the **non-layout** parts of the MPS editor aspect — what happens when the user types, presses a key, triggers completion, pastes, or invokes a context action. Covers action maps (`CellActionMapDeclaration`), cell keymaps (`CellKeyMapDeclaration`), transformation menus (`TransformationMenu_Default` \u002F `_Named` \u002F `_Contribution`), substitute menus (`SubstituteMenu_Default` \u002F `SubstituteMenu` \u002F contributions), side transforms (LEFT\u002FRIGHT), legacy cell menus, paste wrappers and copy-paste handlers (in the actions language), completion styling, reference presentation, two-step deletion, and the editor selection API. Trigger terms: `actionMap`, `keyMap`, `delete_action_id`, `transformationMenu`, `substituteMenu`, `Ctrl+Space`, `Ctrl+Alt+B`, side transform, paste wrapper, completion styling, `PasteWrappers`, `CopyPasteHandlers`. For the **layout** side (cells, layouts, style sheets) use `mps-aspect-editor` instead.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1731,1732],{"name":1679,"slug":1680,"type":15},{"name":1723,"slug":1724,"type":15},"2026-07-23T05:41:49.666535",31,{"items":1736,"total":1821},[1737,1743,1748,1753,1758,1762,1767,1772,1781,1791,1799,1812],{"slug":1669,"name":1669,"fn":1670,"description":1671,"org":1738,"tags":1739,"stars":19,"repoUrl":20,"updatedAt":1681},{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1740,1741,1742],{"name":13,"slug":14,"type":15},{"name":1676,"slug":1677,"type":15},{"name":1679,"slug":1680,"type":15},{"slug":938,"name":938,"fn":1683,"description":1684,"org":1744,"tags":1745,"stars":19,"repoUrl":20,"updatedAt":1689},{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1746,1747],{"name":13,"slug":14,"type":15},{"name":1679,"slug":1680,"type":15},{"slug":805,"name":805,"fn":1691,"description":1692,"org":1749,"tags":1750,"stars":19,"repoUrl":20,"updatedAt":1697},{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1751,1752],{"name":13,"slug":14,"type":15},{"name":1679,"slug":1680,"type":15},{"slug":4,"name":4,"fn":5,"description":6,"org":1754,"tags":1755,"stars":19,"repoUrl":20,"updatedAt":21},{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1756,1757],{"name":13,"slug":14,"type":15},{"name":17,"slug":18,"type":15},{"slug":1704,"name":1704,"fn":1705,"description":1706,"org":1759,"tags":1760,"stars":19,"repoUrl":20,"updatedAt":1712},{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1761],{"name":1710,"slug":1711,"type":15},{"slug":1714,"name":1714,"fn":1715,"description":1716,"org":1763,"tags":1764,"stars":19,"repoUrl":20,"updatedAt":1725},{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1765,1766],{"name":1720,"slug":1721,"type":15},{"name":1723,"slug":1724,"type":15},{"slug":920,"name":920,"fn":1727,"description":1728,"org":1768,"tags":1769,"stars":19,"repoUrl":20,"updatedAt":1733},{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1770,1771],{"name":1679,"slug":1680,"type":15},{"name":1723,"slug":1724,"type":15},{"slug":1773,"name":1773,"fn":1774,"description":1775,"org":1776,"tags":1777,"stars":19,"repoUrl":20,"updatedAt":1780},"mps-aspect-generation-plan","modify MPS generation plans","Use when defining or modifying an MPS generation plan — explicit ordering of generators, checkpoints for cross-model reference resolution, forks for parallel branches, IncludePlan composition, conditional PlanContribution activation, ParameterEquals\u002FConceptListSelector fork selectors, and InitModelAttributes for targetFacet routing. Apply when working with @genplan models, the jetbrains.mps.lang.generator.plan language, attaching plans via DevKits or the Custom generation facet, or debugging cross-model mapping label resolution.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1778,1779],{"name":13,"slug":14,"type":15},{"name":1679,"slug":1680,"type":15},"2026-07-13T06:44:59.507855",{"slug":1782,"name":1782,"fn":1783,"description":1784,"org":1785,"tags":1786,"stars":19,"repoUrl":20,"updatedAt":1790},"mps-aspect-generator","define JetBrains MPS generator rules","Use when defining or modifying MPS generators — author a generator module, add or edit root\u002Freduction\u002Fweaving\u002Fpattern mapping rules, attach template macros ($COPY_SRC, $LOOP, $IF, $PROPERTY, $REF, $SWITCH, $MAP_SRC, $WEAVE, $INSERT, $LABEL, $TRACE, $VAR), wire mapping labels, build template switches, write pre\u002Fpost mapping scripts, navigate `genContext`, or debug \"rule didn't fire\", missing references, empty output, infinite reduction loops, and generated-Java compile failures.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1787,1788,1789],{"name":13,"slug":14,"type":15},{"name":17,"slug":18,"type":15},{"name":1679,"slug":1680,"type":15},"2026-07-17T06:06:58.042999",{"slug":957,"name":957,"fn":1792,"description":1793,"org":1794,"tags":1795,"stars":19,"repoUrl":20,"updatedAt":1798},"define and edit MPS intentions","Use when defining or editing MPS intentions (the Alt+Enter context-action aspect) — adding `IntentionDeclaration` roots, parameterized or surround-with variants, description\u002FisApplicable\u002Fexecute blocks, child-filter functions, factory-initialized AST splicing, or debugging why an intention is not offered. Lives in the language's `intentions` model and uses `jetbrains.mps.lang.intentions`.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1796,1797],{"name":13,"slug":14,"type":15},{"name":1679,"slug":1680,"type":15},"2026-07-23T05:41:48.692899",{"slug":1800,"name":1800,"fn":1801,"description":1802,"org":1803,"tags":1804,"stars":19,"repoUrl":20,"updatedAt":1811},"mps-aspect-migrations","author and debug MPS migration scripts","Use when authoring or debugging MPS migration scripts that upgrade user models after a language definition changes — covers jetbrains.mps.lang.migration (MigrationScript class-based, PureMigrationScript declarative, MoveConcept\u002FMoveContainmentLink\u002FMoveReferenceLink\u002FMoveProperty, ordering via OrderDependency, data exchange via putData\u002FgetData, RefactoringLog, ConceptMigrationReference) and jetbrains.mps.lang.script Enhancement Scripts (MigrationScript with MigrationScriptPart_Instance, ExtractInterfaceMigration, FactoryMigrationScriptPart, CommentMigrationScriptPart) — when a model needs version-gated upgrade, concept rename or removal, link or property rename, instance-level transformation, or composition of migration steps.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1805,1808],{"name":1806,"slug":1807,"type":15},"Debugging","debugging",{"name":1809,"slug":1810,"type":15},"Migration","migration","2026-07-13T06:45:20.372122",{"slug":880,"name":880,"fn":1813,"description":1814,"org":1815,"tags":1816,"stars":19,"repoUrl":20,"updatedAt":1820},"define concepts in MPS structure aspect","Define concepts, interface concepts, enumerations, and constrained data types in an MPS language's `structure` aspect. Covers smart-reference detection, alias rules, cardinality, INamedConcept usage, bulk creation, and the full `mps_mcp_alter_structure` \u002F `mps_mcp_query_structure` reference. Use when authoring or modifying a language's structure model.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":9},[1817],{"name":1818,"slug":1819,"type":15},"Data Modeling","data-modeling","2026-07-23T05:41:30.705975",188]