@zenstackhq/language 3.0.0-beta.2 → 3.0.0-beta.20
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.
- package/dist/index.cjs +1577 -280
- package/dist/index.cjs.map +1 -1
- package/dist/index.d.cts +84 -20
- package/dist/index.d.ts +84 -20
- package/dist/index.js +1528 -234
- package/dist/index.js.map +1 -1
- package/dist/utils.cjs +106 -28
- package/dist/utils.cjs.map +1 -1
- package/dist/utils.d.cts +5 -5
- package/dist/utils.d.ts +5 -5
- package/dist/utils.js +100 -23
- package/dist/utils.js.map +1 -1
- package/package.json +11 -7
- package/res/stdlib.zmodel +43 -71
package/dist/index.d.cts
CHANGED
|
@@ -1,7 +1,20 @@
|
|
|
1
|
-
import { ValidationAcceptor, Module, DeepPartial } from 'langium';
|
|
2
|
-
import * as langium_lsp from 'langium/lsp';
|
|
3
|
-
import { LangiumServices, PartialLangiumServices, LangiumSharedServices, DefaultSharedModuleContext } from 'langium/lsp';
|
|
4
1
|
import { Model, DataSource, DataModel, TypeDef, Enum, Attribute, Expression, InvocationExpr, FunctionDecl } from './ast.cjs';
|
|
2
|
+
import { ValidationAcceptor, Module, DeepPartial, AstNode } from 'langium';
|
|
3
|
+
import { LangiumServices, PartialLangiumServices, LangiumSharedServices, DefaultSharedModuleContext } from 'langium/lsp';
|
|
4
|
+
|
|
5
|
+
/**
|
|
6
|
+
* Loads ZModel document from the given file name. Include the additional document
|
|
7
|
+
* files if given.
|
|
8
|
+
*/
|
|
9
|
+
declare function loadDocument(fileName: string, additionalModelFiles?: string[]): Promise<{
|
|
10
|
+
success: true;
|
|
11
|
+
model: Model;
|
|
12
|
+
warnings: string[];
|
|
13
|
+
} | {
|
|
14
|
+
success: false;
|
|
15
|
+
errors: string[];
|
|
16
|
+
warnings: string[];
|
|
17
|
+
}>;
|
|
5
18
|
|
|
6
19
|
/******************************************************************************
|
|
7
20
|
* This file was generated by langium-cli 3.5.0.
|
|
@@ -21,7 +34,6 @@ declare const ZModelLanguageMetaData: {
|
|
|
21
34
|
declare class ZModelValidator {
|
|
22
35
|
protected readonly services: ZModelServices;
|
|
23
36
|
constructor(services: ZModelServices);
|
|
24
|
-
private shouldCheck;
|
|
25
37
|
checkModel(node: Model, accept: ValidationAcceptor): void;
|
|
26
38
|
checkDataSource(node: DataSource, accept: ValidationAcceptor): void;
|
|
27
39
|
checkDataModel(node: DataModel, accept: ValidationAcceptor): void;
|
|
@@ -69,26 +81,78 @@ declare const ZModelSharedModule: Module<ZModelSharedServices, DeepPartial<ZMode
|
|
|
69
81
|
* @param context Optional module context with the LSP connection
|
|
70
82
|
* @returns An object wrapping the shared services and the language-specific services
|
|
71
83
|
*/
|
|
72
|
-
declare function createZModelLanguageServices(context: DefaultSharedModuleContext): {
|
|
84
|
+
declare function createZModelLanguageServices(context: DefaultSharedModuleContext, logToConsole?: boolean): {
|
|
73
85
|
shared: LangiumSharedServices;
|
|
74
86
|
ZModelLanguage: ZModelServices;
|
|
75
87
|
};
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
shared: langium_lsp.LangiumSharedServices;
|
|
88
|
+
declare function createZModelServices(logToConsole?: boolean): {
|
|
89
|
+
shared: LangiumSharedServices;
|
|
79
90
|
ZModelLanguage: ZModelServices;
|
|
80
91
|
};
|
|
81
|
-
|
|
82
|
-
|
|
92
|
+
|
|
93
|
+
/**
|
|
94
|
+
* Options for the generator.
|
|
95
|
+
*/
|
|
96
|
+
interface ZModelCodeOptions {
|
|
97
|
+
binaryExprNumberOfSpaces: number;
|
|
98
|
+
unaryExprNumberOfSpaces: number;
|
|
99
|
+
indent: number;
|
|
100
|
+
quote: 'single' | 'double';
|
|
101
|
+
}
|
|
102
|
+
/**
|
|
103
|
+
* Generates ZModel source code from AST.
|
|
104
|
+
*/
|
|
105
|
+
declare class ZModelCodeGenerator {
|
|
106
|
+
private readonly options;
|
|
107
|
+
constructor(options?: Partial<ZModelCodeOptions>);
|
|
108
|
+
/**
|
|
109
|
+
* Generates ZModel source code from AST.
|
|
110
|
+
*/
|
|
111
|
+
generate(ast: AstNode): string;
|
|
112
|
+
private _generateModel;
|
|
113
|
+
private _generateDataSource;
|
|
114
|
+
private _generateEnum;
|
|
115
|
+
private _generateEnumField;
|
|
116
|
+
private _generateGenerator;
|
|
117
|
+
private _generateConfigField;
|
|
118
|
+
private _generateConfigArrayExpr;
|
|
119
|
+
private _generateConfigInvocationExpr;
|
|
120
|
+
private _generatePlugin;
|
|
121
|
+
private _generatePluginField;
|
|
122
|
+
private _generateDataModel;
|
|
123
|
+
private _generateDataField;
|
|
124
|
+
private fieldType;
|
|
125
|
+
private _generateDataModelAttribute;
|
|
126
|
+
private _generateDataFieldAttribute;
|
|
127
|
+
private attribute;
|
|
128
|
+
private _generateAttributeArg;
|
|
129
|
+
private _generateObjectExpr;
|
|
130
|
+
private objectField;
|
|
131
|
+
private _generateArrayExpr;
|
|
132
|
+
private _generateLiteralExpr;
|
|
133
|
+
private _generateNumberLiteral;
|
|
134
|
+
private _generateBooleanLiteral;
|
|
135
|
+
private _generateUnaryExpr;
|
|
136
|
+
private _generateBinaryExpr;
|
|
137
|
+
private _generateReferenceExpr;
|
|
138
|
+
private _generateReferenceArg;
|
|
139
|
+
private _generateMemberExpr;
|
|
140
|
+
private _generateInvocationExpr;
|
|
141
|
+
private _generateNullExpr;
|
|
142
|
+
private _generateThisExpr;
|
|
143
|
+
private _generateAttribute;
|
|
144
|
+
private _generateAttributeParam;
|
|
145
|
+
private _generateAttributeParamType;
|
|
146
|
+
private _generateFunctionDecl;
|
|
147
|
+
private _generateFunctionParam;
|
|
148
|
+
private _generateFunctionParamType;
|
|
149
|
+
private _generateTypeDef;
|
|
150
|
+
private argument;
|
|
151
|
+
private get binaryExprSpace();
|
|
152
|
+
private get unaryExprSpace();
|
|
153
|
+
private get indent();
|
|
154
|
+
private isParenthesesNeededForBinaryExpr;
|
|
155
|
+
private isCollectionPredicateOperator;
|
|
83
156
|
}
|
|
84
|
-
declare function loadDocument(fileName: string, pluginModelFiles?: string[]): Promise<{
|
|
85
|
-
success: true;
|
|
86
|
-
model: Model;
|
|
87
|
-
warnings: string[];
|
|
88
|
-
} | {
|
|
89
|
-
success: false;
|
|
90
|
-
errors: string[];
|
|
91
|
-
warnings: string[];
|
|
92
|
-
}>;
|
|
93
157
|
|
|
94
|
-
export {
|
|
158
|
+
export { type ZModelAddedServices, ZModelCodeGenerator, ZModelLanguageMetaData, ZModelLanguageModule, type ZModelServices, ZModelSharedModule, type ZModelSharedServices, createZModelLanguageServices, createZModelServices, loadDocument };
|
package/dist/index.d.ts
CHANGED
|
@@ -1,7 +1,20 @@
|
|
|
1
|
-
import { ValidationAcceptor, Module, DeepPartial } from 'langium';
|
|
2
|
-
import * as langium_lsp from 'langium/lsp';
|
|
3
|
-
import { LangiumServices, PartialLangiumServices, LangiumSharedServices, DefaultSharedModuleContext } from 'langium/lsp';
|
|
4
1
|
import { Model, DataSource, DataModel, TypeDef, Enum, Attribute, Expression, InvocationExpr, FunctionDecl } from './ast.js';
|
|
2
|
+
import { ValidationAcceptor, Module, DeepPartial, AstNode } from 'langium';
|
|
3
|
+
import { LangiumServices, PartialLangiumServices, LangiumSharedServices, DefaultSharedModuleContext } from 'langium/lsp';
|
|
4
|
+
|
|
5
|
+
/**
|
|
6
|
+
* Loads ZModel document from the given file name. Include the additional document
|
|
7
|
+
* files if given.
|
|
8
|
+
*/
|
|
9
|
+
declare function loadDocument(fileName: string, additionalModelFiles?: string[]): Promise<{
|
|
10
|
+
success: true;
|
|
11
|
+
model: Model;
|
|
12
|
+
warnings: string[];
|
|
13
|
+
} | {
|
|
14
|
+
success: false;
|
|
15
|
+
errors: string[];
|
|
16
|
+
warnings: string[];
|
|
17
|
+
}>;
|
|
5
18
|
|
|
6
19
|
/******************************************************************************
|
|
7
20
|
* This file was generated by langium-cli 3.5.0.
|
|
@@ -21,7 +34,6 @@ declare const ZModelLanguageMetaData: {
|
|
|
21
34
|
declare class ZModelValidator {
|
|
22
35
|
protected readonly services: ZModelServices;
|
|
23
36
|
constructor(services: ZModelServices);
|
|
24
|
-
private shouldCheck;
|
|
25
37
|
checkModel(node: Model, accept: ValidationAcceptor): void;
|
|
26
38
|
checkDataSource(node: DataSource, accept: ValidationAcceptor): void;
|
|
27
39
|
checkDataModel(node: DataModel, accept: ValidationAcceptor): void;
|
|
@@ -69,26 +81,78 @@ declare const ZModelSharedModule: Module<ZModelSharedServices, DeepPartial<ZMode
|
|
|
69
81
|
* @param context Optional module context with the LSP connection
|
|
70
82
|
* @returns An object wrapping the shared services and the language-specific services
|
|
71
83
|
*/
|
|
72
|
-
declare function createZModelLanguageServices(context: DefaultSharedModuleContext): {
|
|
84
|
+
declare function createZModelLanguageServices(context: DefaultSharedModuleContext, logToConsole?: boolean): {
|
|
73
85
|
shared: LangiumSharedServices;
|
|
74
86
|
ZModelLanguage: ZModelServices;
|
|
75
87
|
};
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
shared: langium_lsp.LangiumSharedServices;
|
|
88
|
+
declare function createZModelServices(logToConsole?: boolean): {
|
|
89
|
+
shared: LangiumSharedServices;
|
|
79
90
|
ZModelLanguage: ZModelServices;
|
|
80
91
|
};
|
|
81
|
-
|
|
82
|
-
|
|
92
|
+
|
|
93
|
+
/**
|
|
94
|
+
* Options for the generator.
|
|
95
|
+
*/
|
|
96
|
+
interface ZModelCodeOptions {
|
|
97
|
+
binaryExprNumberOfSpaces: number;
|
|
98
|
+
unaryExprNumberOfSpaces: number;
|
|
99
|
+
indent: number;
|
|
100
|
+
quote: 'single' | 'double';
|
|
101
|
+
}
|
|
102
|
+
/**
|
|
103
|
+
* Generates ZModel source code from AST.
|
|
104
|
+
*/
|
|
105
|
+
declare class ZModelCodeGenerator {
|
|
106
|
+
private readonly options;
|
|
107
|
+
constructor(options?: Partial<ZModelCodeOptions>);
|
|
108
|
+
/**
|
|
109
|
+
* Generates ZModel source code from AST.
|
|
110
|
+
*/
|
|
111
|
+
generate(ast: AstNode): string;
|
|
112
|
+
private _generateModel;
|
|
113
|
+
private _generateDataSource;
|
|
114
|
+
private _generateEnum;
|
|
115
|
+
private _generateEnumField;
|
|
116
|
+
private _generateGenerator;
|
|
117
|
+
private _generateConfigField;
|
|
118
|
+
private _generateConfigArrayExpr;
|
|
119
|
+
private _generateConfigInvocationExpr;
|
|
120
|
+
private _generatePlugin;
|
|
121
|
+
private _generatePluginField;
|
|
122
|
+
private _generateDataModel;
|
|
123
|
+
private _generateDataField;
|
|
124
|
+
private fieldType;
|
|
125
|
+
private _generateDataModelAttribute;
|
|
126
|
+
private _generateDataFieldAttribute;
|
|
127
|
+
private attribute;
|
|
128
|
+
private _generateAttributeArg;
|
|
129
|
+
private _generateObjectExpr;
|
|
130
|
+
private objectField;
|
|
131
|
+
private _generateArrayExpr;
|
|
132
|
+
private _generateLiteralExpr;
|
|
133
|
+
private _generateNumberLiteral;
|
|
134
|
+
private _generateBooleanLiteral;
|
|
135
|
+
private _generateUnaryExpr;
|
|
136
|
+
private _generateBinaryExpr;
|
|
137
|
+
private _generateReferenceExpr;
|
|
138
|
+
private _generateReferenceArg;
|
|
139
|
+
private _generateMemberExpr;
|
|
140
|
+
private _generateInvocationExpr;
|
|
141
|
+
private _generateNullExpr;
|
|
142
|
+
private _generateThisExpr;
|
|
143
|
+
private _generateAttribute;
|
|
144
|
+
private _generateAttributeParam;
|
|
145
|
+
private _generateAttributeParamType;
|
|
146
|
+
private _generateFunctionDecl;
|
|
147
|
+
private _generateFunctionParam;
|
|
148
|
+
private _generateFunctionParamType;
|
|
149
|
+
private _generateTypeDef;
|
|
150
|
+
private argument;
|
|
151
|
+
private get binaryExprSpace();
|
|
152
|
+
private get unaryExprSpace();
|
|
153
|
+
private get indent();
|
|
154
|
+
private isParenthesesNeededForBinaryExpr;
|
|
155
|
+
private isCollectionPredicateOperator;
|
|
83
156
|
}
|
|
84
|
-
declare function loadDocument(fileName: string, pluginModelFiles?: string[]): Promise<{
|
|
85
|
-
success: true;
|
|
86
|
-
model: Model;
|
|
87
|
-
warnings: string[];
|
|
88
|
-
} | {
|
|
89
|
-
success: false;
|
|
90
|
-
errors: string[];
|
|
91
|
-
warnings: string[];
|
|
92
|
-
}>;
|
|
93
157
|
|
|
94
|
-
export {
|
|
158
|
+
export { type ZModelAddedServices, ZModelCodeGenerator, ZModelLanguageMetaData, ZModelLanguageModule, type ZModelServices, ZModelSharedModule, type ZModelSharedServices, createZModelLanguageServices, createZModelServices, loadDocument };
|