@lcap/nasl-language-server-core 4.0.0-alpha.1 → 4.0.0-beta.10

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (191) hide show
  1. package/out/checker.d.ts +7 -7
  2. package/out/checker.d.ts.map +1 -1
  3. package/out/checker.js +183 -163
  4. package/out/checker.js.map +1 -1
  5. package/out/index.d.ts +2 -0
  6. package/out/index.d.ts.map +1 -1
  7. package/out/index.js +2 -0
  8. package/out/index.js.map +1 -1
  9. package/out/reference-manager/builtin-q-name.d.ts.map +1 -1
  10. package/out/reference-manager/builtin-q-name.js +16 -10
  11. package/out/reference-manager/builtin-q-name.js.map +1 -1
  12. package/out/reference-manager/collect-q-name.d.ts +24 -7
  13. package/out/reference-manager/collect-q-name.d.ts.map +1 -1
  14. package/out/reference-manager/collect-q-name.js +223 -74
  15. package/out/reference-manager/collect-q-name.js.map +1 -1
  16. package/out/reference-manager/get-q-name.d.ts +11 -0
  17. package/out/reference-manager/get-q-name.d.ts.map +1 -0
  18. package/out/reference-manager/get-q-name.js +217 -0
  19. package/out/reference-manager/get-q-name.js.map +1 -0
  20. package/out/reference-manager/reference-manager.d.ts +127 -97
  21. package/out/reference-manager/reference-manager.d.ts.map +1 -1
  22. package/out/reference-manager/reference-manager.js +861 -968
  23. package/out/reference-manager/reference-manager.js.map +1 -1
  24. package/out/reference-manager/remove-q-name.d.ts +17 -6
  25. package/out/reference-manager/remove-q-name.d.ts.map +1 -1
  26. package/out/reference-manager/remove-q-name.js +180 -31
  27. package/out/reference-manager/remove-q-name.js.map +1 -1
  28. package/out/reference-manager/rename-q-name.d.ts +18 -6
  29. package/out/reference-manager/rename-q-name.d.ts.map +1 -1
  30. package/out/reference-manager/rename-q-name.js +134 -17
  31. package/out/reference-manager/rename-q-name.js.map +1 -1
  32. package/out/reference-manager/symbol-type.d.ts +22 -0
  33. package/out/reference-manager/symbol-type.d.ts.map +1 -0
  34. package/out/reference-manager/symbol-type.js +108 -0
  35. package/out/reference-manager/symbol-type.js.map +1 -0
  36. package/out/reference-manager/update-nasl-fragment.d.ts +53 -0
  37. package/out/reference-manager/update-nasl-fragment.d.ts.map +1 -0
  38. package/out/reference-manager/update-nasl-fragment.js +309 -0
  39. package/out/reference-manager/update-nasl-fragment.js.map +1 -0
  40. package/out/symbol/namespace.js +1 -1
  41. package/out/symbol/namespace.js.map +1 -1
  42. package/out/symbol/traverse/concepts/frontend/frontend.d.ts.map +1 -1
  43. package/out/symbol/traverse/concepts/frontend/frontend.js +0 -1
  44. package/out/symbol/traverse/concepts/frontend/frontend.js.map +1 -1
  45. package/out/symbol/traverse/concepts/logic/variable.d.ts.map +1 -1
  46. package/out/symbol/traverse/concepts/logic/variable.js +2 -1
  47. package/out/symbol/traverse/concepts/logic/variable.js.map +1 -1
  48. package/out/symbol/traverse/concepts/other/app.js +3 -3
  49. package/out/symbol/traverse/concepts/other/app.js.map +1 -1
  50. package/out/typer/collectGlobalDefs.d.ts +2 -1
  51. package/out/typer/collectGlobalDefs.d.ts.map +1 -1
  52. package/out/typer/collectGlobalDefs.js +44 -32
  53. package/out/typer/collectGlobalDefs.js.map +1 -1
  54. package/out/typer/component-def-manager/component-def-manager.d.ts +47 -10
  55. package/out/typer/component-def-manager/component-def-manager.d.ts.map +1 -1
  56. package/out/typer/component-def-manager/component-def-manager.js +135 -21
  57. package/out/typer/component-def-manager/component-def-manager.js.map +1 -1
  58. package/out/typer/component-def-manager/utils.d.ts.map +1 -1
  59. package/out/typer/component-def-manager/utils.js +62 -15
  60. package/out/typer/component-def-manager/utils.js.map +1 -1
  61. package/out/typer/dispatch-all.d.ts +2 -2
  62. package/out/typer/dispatch-all.d.ts.map +1 -1
  63. package/out/typer/dispatch-all.js +38 -27
  64. package/out/typer/dispatch-all.js.map +1 -1
  65. package/out/typer/dispatch-def.d.ts +8 -3
  66. package/out/typer/dispatch-def.d.ts.map +1 -1
  67. package/out/typer/dispatch-def.js +142 -50
  68. package/out/typer/dispatch-def.js.map +1 -1
  69. package/out/typer/dispatch-expr.d.ts +4 -2
  70. package/out/typer/dispatch-expr.d.ts.map +1 -1
  71. package/out/typer/dispatch-expr.js +664 -474
  72. package/out/typer/dispatch-expr.js.map +1 -1
  73. package/out/typer/dispatch-process.d.ts +2 -3
  74. package/out/typer/dispatch-process.d.ts.map +1 -1
  75. package/out/typer/dispatch-process.js +80 -63
  76. package/out/typer/dispatch-process.js.map +1 -1
  77. package/out/typer/dispatch-stmt.d.ts +1 -0
  78. package/out/typer/dispatch-stmt.d.ts.map +1 -1
  79. package/out/typer/dispatch-stmt.js +40 -57
  80. package/out/typer/dispatch-stmt.js.map +1 -1
  81. package/out/typer/dispatch-view.d.ts +6 -6
  82. package/out/typer/dispatch-view.d.ts.map +1 -1
  83. package/out/typer/dispatch-view.js +425 -221
  84. package/out/typer/dispatch-view.js.map +1 -1
  85. package/out/typer/fix-use-before-assign.js +8 -8
  86. package/out/typer/fix-use-before-assign.js.map +1 -1
  87. package/out/typer/helper.d.ts +3 -2
  88. package/out/typer/helper.d.ts.map +1 -1
  89. package/out/typer/helper.js +7 -7
  90. package/out/typer/helper.js.map +1 -1
  91. package/out/typer/incremental-update.d.ts +38 -20
  92. package/out/typer/incremental-update.d.ts.map +1 -1
  93. package/out/typer/incremental-update.js +384 -207
  94. package/out/typer/incremental-update.js.map +1 -1
  95. package/out/typer/index.d.ts +6 -4
  96. package/out/typer/index.d.ts.map +1 -1
  97. package/out/typer/index.js +49 -50
  98. package/out/typer/index.js.map +1 -1
  99. package/out/typer/nasl-predicate.d.ts +10 -0
  100. package/out/typer/nasl-predicate.d.ts.map +1 -0
  101. package/out/typer/nasl-predicate.js +22 -0
  102. package/out/typer/nasl-predicate.js.map +1 -0
  103. package/out/typer/query-manager/query-manager.d.ts +28 -0
  104. package/out/typer/query-manager/query-manager.d.ts.map +1 -0
  105. package/out/typer/query-manager/query-manager.js +64 -0
  106. package/out/typer/query-manager/query-manager.js.map +1 -0
  107. package/out/typer/query-manager/query-tokens.d.ts +4 -0
  108. package/out/typer/query-manager/query-tokens.d.ts.map +1 -0
  109. package/out/typer/query-manager/query-tokens.js +8 -0
  110. package/out/typer/query-manager/query-tokens.js.map +1 -0
  111. package/out/typer/query-manager/type-level-evaluation-of.d.ts +13 -0
  112. package/out/typer/query-manager/type-level-evaluation-of.d.ts.map +1 -0
  113. package/out/typer/query-manager/type-level-evaluation-of.js +4 -0
  114. package/out/typer/query-manager/type-level-evaluation-of.js.map +1 -0
  115. package/out/typer/sem-diag.d.ts +5 -3
  116. package/out/typer/sem-diag.d.ts.map +1 -1
  117. package/out/typer/sem-diag.js +57 -15
  118. package/out/typer/sem-diag.js.map +1 -1
  119. package/out/typer/solver.d.ts +10 -9
  120. package/out/typer/solver.d.ts.map +1 -1
  121. package/out/typer/solver.js +50 -42
  122. package/out/typer/solver.js.map +1 -1
  123. package/out/typer/subster.d.ts +11 -8
  124. package/out/typer/subster.d.ts.map +1 -1
  125. package/out/typer/subster.js +156 -209
  126. package/out/typer/subster.js.map +1 -1
  127. package/out/typer/topo-sort.d.ts +1 -1
  128. package/out/typer/topo-sort.d.ts.map +1 -1
  129. package/out/typer/topo-sort.js +20 -9
  130. package/out/typer/topo-sort.js.map +1 -1
  131. package/out/typer/type-hint-manager/type-hint-manager.d.ts +4 -1
  132. package/out/typer/type-hint-manager/type-hint-manager.d.ts.map +1 -1
  133. package/out/typer/type-hint-manager/type-hint-manager.js +12 -4
  134. package/out/typer/type-hint-manager/type-hint-manager.js.map +1 -1
  135. package/out/typer/type-manager.d.ts +152 -0
  136. package/out/typer/type-manager.d.ts.map +1 -0
  137. package/out/typer/type-manager.js +836 -0
  138. package/out/typer/type-manager.js.map +1 -0
  139. package/out/typer/type-predicate.d.ts +78 -0
  140. package/out/typer/type-predicate.d.ts.map +1 -0
  141. package/out/typer/type-predicate.js +465 -0
  142. package/out/typer/type-predicate.js.map +1 -0
  143. package/out/typer/typer.d.ts +67 -26
  144. package/out/typer/typer.d.ts.map +1 -1
  145. package/out/typer/typer.js +239 -92
  146. package/out/typer/typer.js.map +1 -1
  147. package/out/typer/unifier.d.ts +17 -7
  148. package/out/typer/unifier.d.ts.map +1 -1
  149. package/out/typer/unifier.js +157 -135
  150. package/out/typer/unifier.js.map +1 -1
  151. package/out/types/diagnostics.d.ts +10 -0
  152. package/out/types/diagnostics.d.ts.map +1 -0
  153. package/out/types/diagnostics.js +3 -0
  154. package/out/types/diagnostics.js.map +1 -0
  155. package/out/utils/error-boundary.d.ts +1 -1
  156. package/out/utils/error-boundary.d.ts.map +1 -1
  157. package/out/utils/error-boundary.js +15 -10
  158. package/out/utils/error-boundary.js.map +1 -1
  159. package/out/utils/file-node-cache.d.ts +12 -0
  160. package/out/utils/file-node-cache.d.ts.map +1 -0
  161. package/out/utils/file-node-cache.js +30 -0
  162. package/out/utils/file-node-cache.js.map +1 -0
  163. package/out/utils/fp-macros.d.ts +16 -0
  164. package/out/utils/fp-macros.d.ts.map +1 -0
  165. package/out/utils/fp-macros.js +82 -0
  166. package/out/utils/fp-macros.js.map +1 -0
  167. package/out/utils/nasl-type-manipulation.d.ts +29 -0
  168. package/out/utils/nasl-type-manipulation.d.ts.map +1 -0
  169. package/out/utils/nasl-type-manipulation.js +78 -0
  170. package/out/utils/nasl-type-manipulation.js.map +1 -0
  171. package/out/utils/oql.d.ts +3 -0
  172. package/out/utils/oql.d.ts.map +1 -0
  173. package/out/utils/oql.js +26 -0
  174. package/out/utils/oql.js.map +1 -0
  175. package/out/utils/parseTsClassType.d.ts +4 -4
  176. package/out/utils/parseTsClassType.d.ts.map +1 -1
  177. package/out/utils/parseTsClassType.js +122 -76
  178. package/out/utils/parseTsClassType.js.map +1 -1
  179. package/out/utils/reference-hack.d.ts +4 -0
  180. package/out/utils/reference-hack.d.ts.map +1 -0
  181. package/out/utils/reference-hack.js +14 -0
  182. package/out/utils/reference-hack.js.map +1 -0
  183. package/out/utils/type-operator.d.ts +29 -0
  184. package/out/utils/type-operator.d.ts.map +1 -0
  185. package/out/utils/type-operator.js +150 -0
  186. package/out/utils/type-operator.js.map +1 -0
  187. package/package.json +8 -5
  188. package/out/typer/typeManager.d.ts +0 -96
  189. package/out/typer/typeManager.d.ts.map +0 -1
  190. package/out/typer/typeManager.js +0 -879
  191. package/out/typer/typeManager.js.map +0 -1
package/out/checker.d.ts CHANGED
@@ -1,14 +1,12 @@
1
1
  import type { SyntaxNode, App, BaseNode } from '@lcap/nasl-concepts';
2
2
  import { TypeAnnotation } from '@lcap/nasl-concepts';
3
- import { SemEnv } from './typer';
3
+ import { type SemEnv } from './typer';
4
+ import { Diagnostic as NaslTypeDiagnostic } from '@lcap/nasl-types';
4
5
  export declare enum Severity {
5
6
  WARN = "warning",
6
7
  ERROR = "error"
7
8
  }
8
- export interface Diagnostic {
9
- severity?: Severity;
10
- message?: string;
11
- }
9
+ export type Diagnostic = NaslTypeDiagnostic.Diagnostic<SyntaxNode>;
12
10
  type ErrorContext = {
13
11
  severity?: Severity;
14
12
  [key: string]: any;
@@ -41,8 +39,9 @@ export declare function createErrorDiagnoser(context: DiagnoseContext): {
41
39
  checkNode: (node: SyntaxNode | undefined) => Generator<TypeAnnotation | {
42
40
  typeKind: string;
43
41
  } | undefined, any, unknown>;
44
- clearDiagnostics: (node: SyntaxNode) => void;
45
- getDiagnostics: (node: SyntaxNode) => NodeDiagnosticsMap | FileDiagnosticsMap | undefined;
42
+ clearDiagnostics: (node?: SyntaxNode) => void;
43
+ getDiagnostics: (node: SyntaxNode) => NodeDiagnosticsMap | undefined;
44
+ getAllDiagnostics: () => FileDiagnosticsMap;
46
45
  error: (node: SyntaxNode, message: string, context?: ErrorContext) => void;
47
46
  };
48
47
  export interface DiagnosticRecord {
@@ -56,5 +55,6 @@ export interface DiagnosticRecord {
56
55
  suggestionDiagnostics: Array<Diagnostic>;
57
56
  }
58
57
  export declare const transformDiagnosticsToRecords: (fileNode: SyntaxNode, diagnostics: NodeDiagnosticsMap) => Array<DiagnosticRecord>;
58
+ export type ErrorDiagnoser = ReturnType<typeof createErrorDiagnoser>;
59
59
  export {};
60
60
  //# sourceMappingURL=checker.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../src/checker.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,UAAU,EAU0F,GAAG,EAMvG,QAAQ,EACT,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACgE,cAAc,EAGpF,MAAM,qBAAqB,CAAC;AAM7B,OAAO,EAAgC,MAAM,EAAE,MAAM,SAAS,CAAC;AAE/D,oBAAY,QAAQ;IAClB,IAAI,YAAY;IAChB,KAAK,UAAU;CAChB;AAED,MAAM,WAAW,UAAU;IAEzB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAEpB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,KAAK,YAAY,GAAG;IAClB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB,CAAC;AAMF,MAAM,MAAM,kBAAkB,GAAG,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAEpE,MAAM,MAAM,kBAAkB,GAAG,GAAG,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;AAMrE,KAAK,gBAAgB,GAAG;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAqBF,KAAK,eAAe,GAAG;IACrB,GAAG,EAAE,GAAG,CAAC;IACT,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,OAAO,CAAC;IACf,yBAAyB,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC/C,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB,CAAC;AA+PF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCAwgIpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;6BAsChB,UAAU;2BAuBZ,UAAU;kBAt/HnB,UAAU,WAAW,MAAM,YAAY,YAAY;EAsgIzE;AAGD,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IAEX,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,iBAAiB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACrC,mBAAmB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACvC,qBAAqB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;CAC1C;AAED,eAAO,MAAM,6BAA6B,aAAc,UAAU,sCAAoC,MAAM,gBAAgB,CAmC3H,CAAA"}
1
+ {"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../src/checker.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,UAAU,EAU0F,GAAG,EAMvG,QAAQ,EACT,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACgE,cAAc,EAGpF,MAAM,qBAAqB,CAAC;AAS7B,OAAO,EAA4B,KAAK,MAAM,EAAE,MAAM,SAAS,CAAC;AAIhE,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAEpE,oBAAY,QAAQ;IAClB,IAAI,YAAY;IAChB,KAAK,UAAU;CAChB;AAED,MAAM,MAAM,UAAU,GAAG,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;AAEnE,KAAK,YAAY,GAAG;IAClB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB,CAAC;AAMF,MAAM,MAAM,kBAAkB,GAAG,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAEpE,MAAM,MAAM,kBAAkB,GAAG,GAAG,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;AAMrE,KAAK,gBAAgB,GAAG;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAqBF,KAAK,eAAe,GAAG;IACrB,GAAG,EAAE,GAAG,CAAC;IACT,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,OAAO,CAAC;IACf,yBAAyB,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC/C,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB,CAAC;AAiQF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCAwiIpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BAsCf,UAAU;2BAuBb,UAAU;;kBAthInB,UAAU,WAAW,MAAM,YAAY,YAAY;EAwiIzE;AAGD,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IAEX,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,iBAAiB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACrC,mBAAmB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACvC,qBAAqB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;CAC1C;AAED,eAAO,MAAM,6BAA6B,aAAc,UAAU,sCAAoC,MAAM,gBAAgB,CAmC3H,CAAA;AAMD,MAAM,MAAM,cAAc,GAAG,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC"}