zenstack 0.1.0

package/src/language-server/zmodel.langium

@@ -0,0 +1,186 @@
+grammar ZModel
+
+entry Model:
+    (
+        declarations+=AbstractDeclaration
+    )*;
+
+AbstractDeclaration:
+    DataSource | DataModel | Enum | Function | Attribute;
+
+// datasource
+DataSource:
+    'datasource' name=ID '{' (fields+=DataSourceField)+ '}';
+
+DataSourceField:
+    (name=ID '=' value=(LiteralExpr|InvocationExpr));
+
+// expression
+Expression:
+    LogicalExpr;
+
+LiteralExpr:
+    value=(BOOLEAN | INT | STRING);
+
+ArrayExpr:
+    '[' (items+=Expression (',' items+=Expression)*)? ']';
+
+type ReferenceTarget = FunctionParam | DataModelField | EnumField;
+
+ThisExpr:
+    value=THIS;
+
+NullExpr:
+    value=NULL;
+
+ReferenceExpr:
+    target=[ReferenceTarget:ID] ('(' ReferenceArgList ')')?;
+
+fragment ReferenceArgList:
+    args+=ReferenceArg (',' args+=ReferenceArg)*;
+
+ReferenceArg:
+    name=('sort') ':' value=('Asc'| 'Desc');
+
+InvocationExpr:
+    function=[Function] '(' ArgumentList? ')';
+
+UnaryExpr:
+    operator=('!') operand=Expression;
+
+// binary operator precedence follow Javascript's rules:
+// https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/Operator_Precedence#table
+
+MemberAccessExpr infers Expression:
+    PrimaryExpr (
+        {infer MemberAccessExpr.operand=current}
+        ('.' member=[DataModelField])
+    )*;
+
+CollectionPredicateExpr infers Expression:
+    MemberAccessExpr (
+        {infer BinaryExpr.left=current}
+        operator=('?'|'!'|'^')
+        '[' right=Expression ']'
+    )*;
+
+// TODO: support arithmetics?
+//
+// MultDivExpr infers Expression:
+//     CollectionPredicateExpr (
+//         {infer BinaryExpr.left=current}
+//         operator=('*'|'/')
+//         right=CollectionPredicateExpr
+//     )*;
+
+// AddSubExpr infers Expression:
+//     MultDivExpr (
+//         {infer BinaryExpr.left=current}
+//         operator=('+'|'-')
+//         right=MultDivExpr
+//     )*;
+
+ComparisonExpr infers Expression:
+    CollectionPredicateExpr (
+        {infer BinaryExpr.left=current}
+        operator=('>'|'<'|'>='|'<=')
+        right=CollectionPredicateExpr
+    )*;
+
+EqualityExpr infers Expression:
+    ComparisonExpr (
+        {infer BinaryExpr.left=current}
+        operator=('=='|'!=')
+        right=ComparisonExpr
+    )*;
+
+LogicalExpr infers Expression:
+    EqualityExpr (
+        {infer BinaryExpr.left=current}
+        operator=('&&'|'||')
+        right=EqualityExpr
+    )*;
+
+PrimaryExpr infers Expression:
+    '(' Expression ')' |
+    ThisExpr |
+    NullExpr |
+    LiteralExpr |
+    InvocationExpr |
+    ArrayExpr|
+    ReferenceExpr |
+    UnaryExpr;
+
+fragment ArgumentList:
+    args+=Argument (',' args+=Argument)*;
+
+Argument:
+    (name=ID ':')? value=Expression;
+
+// model
+DataModel:
+    'model' name=ID '{' (
+            fields+=DataModelField
+            | attributes+=DataModelAttribute
+        )+
+    '}';
+
+DataModelField:
+    name=ID type=DataModelFieldType (attributes+=DataModelFieldAttribute)*;
+
+DataModelFieldType:
+    (BuiltinType | reference=[TypeDeclaration:ID]) (array?='[]')? (optional?='?')?;
+
+// enum
+Enum:
+    'enum' name=ID '{' (fields+=EnumField)+ '}';
+
+EnumField:
+    name=ID;
+
+// function
+Function:
+    'function' name=ID '(' (params+=FunctionParam (',' params+=FunctionParam)*)? ')' returnType=FunctionParamType '{' (expression=Expression)? '}';
+
+FunctionParam:
+    name=ID type=FunctionParamType;
+
+FunctionParamType:
+    (BuiltinType | reference=[TypeDeclaration]) (array?='[]')?;
+
+// attribute
+Attribute:
+    'attribute' name=ID '(' (params+=AttributeParam (',' params+=AttributeParam)*)? ')';
+
+AttributeParam:
+    positional?='_' name=ID type=AttributeParamType;
+
+AttributeParamType:
+    (BuiltinType | type='FieldReference') array?='[]' optional?='?';
+
+type TypeDeclaration = DataModel | Enum;
+
+DataModelFieldAttribute:
+    '@' decl=[Attribute] ('(' AttributeArgList? ')')?;
+
+DataModelAttribute:
+    '@@' decl=[Attribute] ('(' AttributeArgList? ')')?;
+
+fragment AttributeArgList:
+    args+=AttributeArg (',' args+=AttributeArg)*;
+
+AttributeArg:
+    (name=ID ':')? value=Expression;
+
+fragment BuiltinType:
+    type=('String'|'Boolean'|'Int'|'DateTime'|'JSON');
+
+hidden terminal WS: /\s+/;
+terminal BOOLEAN returns boolean: /true|false/;
+terminal NULL: 'null';
+terminal THIS: 'this';
+terminal ID: /[_a-zA-Z][\w_]*/;
+terminal STRING: /"[^"]*"|'[^']*'/;
+terminal INT returns number: /[+-]?[0-9]+/;
+hidden terminal ML_COMMENT: /\/\*[\s\S]*?\*\//;
+hidden terminal SL_COMMENT: /\/\/[^\n\r]*/;

package/src/utils/indent-string.ts

@@ -0,0 +1,41 @@
+// https://github.com/sindresorhus/indent-string
+
+export default function indentString(
+    string: string,
+    count = 4,
+    options: { indent?: string; includeEmptyLines?: boolean } = {}
+) {
+    const { indent = ' ', includeEmptyLines = false } = options;
+
+    if (typeof string !== 'string') {
+        throw new TypeError(
+            `Expected \`input\` to be a \`string\`, got \`${typeof string}\``
+        );
+    }
+
+    if (typeof count !== 'number') {
+        throw new TypeError(
+            `Expected \`count\` to be a \`number\`, got \`${typeof count}\``
+        );
+    }
+
+    if (count < 0) {
+        throw new RangeError(
+            `Expected \`count\` to be at least 0, got \`${count}\``
+        );
+    }
+
+    if (typeof indent !== 'string') {
+        throw new TypeError(
+            `Expected \`options.indent\` to be a \`string\`, got \`${typeof indent}\``
+        );
+    }
+
+    if (count === 0) {
+        return string;
+    }
+
+    const regex = includeEmptyLines ? /^/gm : /^(?!\s*$)/gm;
+
+    return string.replace(regex, indent.repeat(count));
+}