aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/js/editor/xtextServiceResults.ts
blob: 8a4afa40fc00209af02b9e461330b06a7560bcc1 (plain) (blame)
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
export interface IPongResult {
  pong: string;
}

export function isPongResult(result: unknown): result is IPongResult {
  const pongResult = result as IPongResult;
  return typeof pongResult === 'object'
    && typeof pongResult.pong === 'string';
}

export interface IDocumentStateResult {
  stateId: string;
}

export function isDocumentStateResult(result: unknown): result is IDocumentStateResult {
  const documentStateResult = result as IDocumentStateResult;
  return typeof documentStateResult === 'object'
    && typeof documentStateResult.stateId === 'string';
}

export const VALID_CONFLICTS = ['invalidStateId', 'canceled'] as const;

export type Conflict = typeof VALID_CONFLICTS[number];

export interface IServiceConflictResult {
  conflict: Conflict;
}

export function isServiceConflictResult(result: unknown): result is IServiceConflictResult {
  const serviceConflictResult = result as IServiceConflictResult;
  return typeof serviceConflictResult.conflict === 'string'
    && VALID_CONFLICTS.includes(serviceConflictResult.conflict);
}

export const VALID_SEVERITIES = ['error', 'warning', 'info', 'ignore'] as const;

export type Severity = typeof VALID_SEVERITIES[number];

export interface IIssue {
  description: string;

  severity: Severity;

  line: number;

  column: number;

  offset: number;

  length: number;
}

export function isIssue(value: unknown): value is IIssue {
  const issue = value as IIssue;
  return typeof issue === 'object'
    && typeof issue.description === 'string'
    && typeof issue.severity === 'string'
    && VALID_SEVERITIES.includes(issue.severity)
    && typeof issue.line === 'number'
    && typeof issue.column === 'number'
    && typeof issue.offset === 'number'
    && typeof issue.length === 'number';
}

export interface IValidationResult {
  issues: IIssue[];
}

export function isValidationResult(result: unknown): result is IValidationResult {
  const validationResult = result as IValidationResult;
  return typeof validationResult === 'object'
    && Array.isArray(validationResult.issues)
    && validationResult.issues.every(isIssue);
}