-
-
Notifications
You must be signed in to change notification settings - Fork 4
/
minilogo-validator.ts
48 lines (41 loc) · 1.51 KB
/
minilogo-validator.ts
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
import { ValidationAcceptor, ValidationCheck, ValidationRegistry } from 'langium';
import { Def, MiniLogoAstType, Model } from './generated/ast';
import type { MiniLogoServices } from './minilogo-module';
/**
* Map AST node types to validation checks.
*/
type MiniLogoChecks = { [type in MiniLogoAstType]?: ValidationCheck | ValidationCheck[] }
/**
* Registry for validation checks.
*/
export class MiniLogoValidationRegistry extends ValidationRegistry {
constructor(services: MiniLogoServices) {
super(services);
const validator = services.validation.MiniLogoValidator;
const checks: MiniLogoChecks = {
Model: validator.checkUniqueDefs,
Def: validator.checkUniqueParams
};
this.register(checks, validator);
}
}
export class MiniLogoValidator {
checkUniqueDefs(model: Model, accept: ValidationAcceptor): void {
const reported = new Set();
model.defs.forEach(d => {
if (reported.has(d.name)) {
accept('error', `Def has non-unique name '${d.name}'.`, {node: d, property: 'name'});
}
reported.add(d.name);
});
}
checkUniqueParams(def: Def, accept: ValidationAcceptor): void {
const reported = new Set();
def.params.forEach(p => {
if (reported.has(p.name)) {
accept('error', `Param ${p.name} is non-unique for Def '${def.name}'`, {node: p, property: 'name'});
}
reported.add(p.name);
});
}
}