rune-langium / core/src / RuneDslValidator

Class: RuneDslValidator

Defined in: packages/core/src/services/rune-dsl-validator.ts:69

Custom validator for the Rune DSL.

Implements structural, naming, expression, and reporting validations ported from the original Xtext implementation.

Rule categories:

• S-##: Structural constraints (duplicates, cycles, missing fields)
• N-##: Naming convention rules
• E-##: Expression validation rules
• R-##: Reporting validation rules

Constructors

Constructor

new RuneDslValidator(): RuneDslValidator;

Returns

RuneDslValidator

Methods

checkAttributeCardinality()

checkAttributeCardinality(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:155

S-04: Attribute cardinality must have lower <= upper.

Parameters

Parameter	Type
node	Attribute
accept	ValidationAcceptor

Returns

void

---

checkAttributeNaming()

checkAttributeNaming(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:454

N-02: Attribute names should start with lowercase. Exempt: attributes inside Annotation blocks and ChoiceOptions (matching Xtext behavior).

Parameters

Parameter	Type
node	Attribute
accept	ValidationAcceptor

Returns

void

---

checkAttributeTypeResolved()

checkAttributeTypeResolved(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:288

S-17: Attribute type reference must resolve.

NOTE: Not registered. Langium's built-in linker already emits an error for unresolved TypeCall.type references, so registering this check would produce duplicate error messages.

Parameters

Parameter	Type
node	Attribute
accept	ValidationAcceptor

Returns

void

---

checkChoiceMinOptions()

checkChoiceMinOptions(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:351

S-21: Choice must have at least two options.

Parameters

Parameter	Type
node	Choice
accept	ValidationAcceptor

Returns

void

---

checkChoiceNaming()

checkChoiceNaming(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:492

N-05: Choice names should start with uppercase.

Parameters

Parameter	Type
node	Choice
accept	ValidationAcceptor

Returns

void

---

checkChoiceNoDuplicateOptions()

checkChoiceNoDuplicateOptions(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:218

S-11: No duplicate choice option type references.

Parameters

Parameter	Type
node	Choice
accept	ValidationAcceptor

Returns

void

---

checkChoiceOptionTypeResolved()

checkChoiceOptionTypeResolved(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:367

S-22: ChoiceOption type must resolve.

NOTE: Not registered. Langium's built-in linker already emits an error for unresolved TypeCall.type references, so registering this check would produce duplicate error messages.

Parameters

Parameter	Type
node	ChoiceOption
accept	ValidationAcceptor

Returns

void

---

checkConditionHasExpression()

checkConditionHasExpression(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:391

S-24: Condition must have an expression body.

Parameters

Parameter	Type
node	Condition
accept	ValidationAcceptor

Returns

void

---

checkConditionNaming()

checkConditionNaming(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:504

N-06: Condition names should start with uppercase.

Parameters

Parameter	Type
node	Condition
accept	ValidationAcceptor

Returns

void

---

checkDataAttributeOverrideValid()

checkDataAttributeOverrideValid(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:256

S-15: Override attribute must exist in the parent type.

Parameters

Parameter	Type
node	Data
accept	ValidationAcceptor

Returns

void

---

checkDataExtendsCycle()

checkDataExtendsCycle(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:136

S-02: Detect circular inheritance in Data extends chain.

Parameters

Parameter	Type
node	Data
accept	ValidationAcceptor

Returns

void

---

checkDataMustHaveAttributesOrSuperType()

checkDataMustHaveAttributesOrSuperType(_node, _accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:276

S-16: Data type should have at least one attribute or extend another type.

Parameters

Parameter	Type
_node	Data
_accept	ValidationAcceptor

Returns

void

---

checkDataNaming()

checkDataNaming(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:441

N-01: Data type names should start with uppercase.

Parameters

Parameter	Type
node	Data
accept	ValidationAcceptor

Returns

void

---

checkDataNoDuplicateAttributes()

checkDataNoDuplicateAttributes(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:120

S-01: No duplicate attribute names within a Data type.

Parameters

Parameter	Type
node	Data
accept	ValidationAcceptor

Returns

void

---

checkEnumExtendsCycle()

checkEnumExtendsCycle(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:332

S-20: Detect circular inheritance in Enum extends chain.

Parameters

Parameter	Type
node	RosettaEnumeration
accept	ValidationAcceptor

Returns

void

---

checkEnumNaming()

checkEnumNaming(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:480

N-04: Enum names should start with uppercase.

Parameters

Parameter	Type
node	RosettaEnumeration
accept	ValidationAcceptor

Returns

void

---

checkEnumNoDuplicateValues()

checkEnumNoDuplicateValues(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:202

S-09: No duplicate enum value names.

Parameters

Parameter	Type
node	RosettaEnumeration
accept	ValidationAcceptor

Returns

void

---

checkEnumValueNaming()

checkEnumValueNaming(_node, _accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:516

N-07: Enum value names should start with an uppercase letter (convention: PascalCase or UPPER_CASE).

Parameters

Parameter	Type
_node	RosettaEnumeration
_accept	ValidationAcceptor

Returns

void

---

checkEnumValueNamingRule()

checkEnumValueNamingRule(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:524

N-08: Standalone enum value naming (used from ChoiceOption context).

Parameters

Parameter	Type
node	RosettaEnumValue
accept	ValidationAcceptor

Returns

void

---

checkExpressionValid()

checkExpressionValid(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:568

Expression validator dispatcher. Routes to specific checks based on expression $type.

Parameters

Parameter	Type
node	RosettaExpression
accept	ValidationAcceptor

Returns

void

---

checkFunctionNaming()

checkFunctionNaming(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:468

N-03: Function names should start with uppercase.

Parameters

Parameter	Type
node	RosettaFunction
accept	ValidationAcceptor

Returns

void

---

checkFunctionNoDuplicateConditions()

checkFunctionNoDuplicateConditions(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:316

S-19: No duplicate condition names in a function.

Parameters

Parameter	Type
node	RosettaFunction
accept	ValidationAcceptor

Returns

void

---

checkFunctionNoDuplicateInputs()

checkFunctionNoDuplicateInputs(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:173

S-06: No duplicate function input names.

Parameters

Parameter	Type
node	RosettaFunction
accept	ValidationAcceptor

Returns

void

---

checkFunctionNoDuplicateShortcuts()

checkFunctionNoDuplicateShortcuts(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:300

S-18: No duplicate shortcut names in a function.

Parameters

Parameter	Type
node	RosettaFunction
accept	ValidationAcceptor

Returns

void

---

checkFunctionOutputRequired()

checkFunctionOutputRequired(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:190

S-07: Functions should have an output. Dispatch functions (with dispatchAttribute) are exempt — they inherit output from the parent.

Parameters

Parameter	Type
node	RosettaFunction
accept	ValidationAcceptor

Returns

void

---

checkImportNotEmpty()

checkImportNotEmpty(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:427

S-27: Import path must not be empty.

Parameters

Parameter	Type
node	Import
accept	ValidationAcceptor

Returns

void

---

checkModelNamespaceValid()

checkModelNamespaceValid(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:379

S-23: Namespace must be a valid qualified name.

Parameters

Parameter	Type
node	RosettaModel
accept	ValidationAcceptor

Returns

void

---

checkModelNoDuplicateElements()

checkModelNoDuplicateElements(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:236

S-13: No duplicate top-level element names in the same model. Dispatch function overloads share the same name intentionally — skip them.

Parameters

Parameter	Type
node	RosettaModel
accept	ValidationAcceptor

Returns

void

---

checkOperationHasExpression()

checkOperationHasExpression(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:415

S-26: Operation must have an expression body.

Parameters

Parameter	Type
node	Operation
accept	ValidationAcceptor

Returns

void

---

checkRuleHasExpression()

checkRuleHasExpression(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:553

R-01: Rule must have an expression body.

Parameters

Parameter	Type
node	RosettaRule
accept	ValidationAcceptor

Returns

void

---

checkRuleNaming()

checkRuleNaming(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:539

N-10: Rule names should start with uppercase.

Parameters

Parameter	Type
node	RosettaRule
accept	ValidationAcceptor

Returns

void

---

checkShortcutHasExpression()

checkShortcutHasExpression(node, accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:403

S-25: ShortcutDeclaration must have an expression body.

Parameters

Parameter	Type
node	ShortcutDeclaration
accept	ValidationAcceptor

Returns

void

---

checkShortcutNaming()

checkShortcutNaming(_node, _accept): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:531

N-09: Shortcut names should start with lowercase.

Parameters

Parameter	Type
_node	ShortcutDeclaration
_accept	ValidationAcceptor

Returns

void

---

registerChecks()

registerChecks(services): void;

Defined in: packages/core/src/services/rune-dsl-validator.ts:73

Register validation checks with the Langium validation registry.

Parameters

Parameter	Type
services	LangiumCoreServices

Returns

void