Skip to content

feat(zmodel): collection predicate binding #548

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ymc9 merged 5 commits into from
Jan 18, 2026
Merged

feat(zmodel): collection predicate binding #548

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
cb54db6
feat: audit policy collection aliases
mwillbanks Dec 29, 2025
aa4b30d
fix: code review comments + syntax fixes
mwillbanks Dec 29, 2025
bac5e6b
refactor: extract collection predicate binding to its own language co…
ymc9 Jan 16, 2026
53984c5
Merge remote-tracking branch 'origin/dev' into feat/audit-collection-…
ymc9 Jan 18, 2026
81009fb
addressing PR comments
ymc9 Jan 18, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
36 changes: 30 additions & 6 deletions packages/language/src/generated/ast.ts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -144,7 +144,7 @@ export function isMemberAccessTarget(item: unknown): item is MemberAccessTarget
return reflection.isInstance(item, MemberAccessTarget);
}

export type ReferenceTarget = DataField | EnumField | FunctionParam;
export type ReferenceTarget = CollectionPredicateBinding | DataField | EnumField | FunctionParam;

export const ReferenceTarget = 'ReferenceTarget';

Expand Down Expand Up @@ -258,6 +258,7 @@ export function isAttributeParamType(item: unknown): item is AttributeParamType
export interface BinaryExpr extends langium.AstNode {
readonly $container: Argument | ArrayExpr | AttributeArg | BinaryExpr | FieldInitializer | FunctionDecl | MemberAccessExpr | ReferenceArg | UnaryExpr;
readonly $type: 'BinaryExpr';
binding?: CollectionPredicateBinding;
left: Expression;
operator: '!' | '!=' | '&&' | '<' | '<=' | '==' | '>' | '>=' | '?' | '^' | 'in' | '||';
right: Expression;
Expand All @@ -281,6 +282,18 @@ export function isBooleanLiteral(item: unknown): item is BooleanLiteral {
return reflection.isInstance(item, BooleanLiteral);
}

export interface CollectionPredicateBinding extends langium.AstNode {
readonly $container: BinaryExpr;
readonly $type: 'CollectionPredicateBinding';
name: RegularID;
}

export const CollectionPredicateBinding = 'CollectionPredicateBinding';

export function isCollectionPredicateBinding(item: unknown): item is CollectionPredicateBinding {
return reflection.isInstance(item, CollectionPredicateBinding);
}

export interface ConfigArrayExpr extends langium.AstNode {
readonly $container: ConfigField;
readonly $type: 'ConfigArrayExpr';
Expand Down Expand Up @@ -775,6 +788,7 @@ export type ZModelAstType = {
AttributeParamType: AttributeParamType
BinaryExpr: BinaryExpr
BooleanLiteral: BooleanLiteral
CollectionPredicateBinding: CollectionPredicateBinding
ConfigArrayExpr: ConfigArrayExpr
ConfigExpr: ConfigExpr
ConfigField: ConfigField
Expand Down Expand Up @@ -822,7 +836,7 @@ export type ZModelAstType = {
export class ZModelAstReflection extends langium.AbstractAstReflection {

getAllTypes(): string[] {
return [AbstractDeclaration, Argument, ArrayExpr, Attribute, AttributeArg, AttributeParam, AttributeParamType, BinaryExpr, BooleanLiteral, ConfigArrayExpr, ConfigExpr, ConfigField, ConfigInvocationArg, ConfigInvocationExpr, DataField, DataFieldAttribute, DataFieldType, DataModel, DataModelAttribute, DataSource, Enum, EnumField, Expression, FieldInitializer, FunctionDecl, FunctionParam, FunctionParamType, GeneratorDecl, InternalAttribute, InvocationExpr, LiteralExpr, MemberAccessExpr, MemberAccessTarget, Model, ModelImport, NullExpr, NumberLiteral, ObjectExpr, Plugin, PluginField, Procedure, ProcedureParam, ReferenceArg, ReferenceExpr, ReferenceTarget, StringLiteral, ThisExpr, TypeDeclaration, TypeDef, UnaryExpr, UnsupportedFieldType];
return [AbstractDeclaration, Argument, ArrayExpr, Attribute, AttributeArg, AttributeParam, AttributeParamType, BinaryExpr, BooleanLiteral, CollectionPredicateBinding, ConfigArrayExpr, ConfigExpr, ConfigField, ConfigInvocationArg, ConfigInvocationExpr, DataField, DataFieldAttribute, DataFieldType, DataModel, DataModelAttribute, DataSource, Enum, EnumField, Expression, FieldInitializer, FunctionDecl, FunctionParam, FunctionParamType, GeneratorDecl, InternalAttribute, InvocationExpr, LiteralExpr, MemberAccessExpr, MemberAccessTarget, Model, ModelImport, NullExpr, NumberLiteral, ObjectExpr, Plugin, PluginField, Procedure, ProcedureParam, ReferenceArg, ReferenceExpr, ReferenceTarget, StringLiteral, ThisExpr, TypeDeclaration, TypeDef, UnaryExpr, UnsupportedFieldType];
}

protected override computeIsSubtype(subtype: string, supertype: string): boolean {
Expand Down Expand Up @@ -850,6 +864,11 @@ export class ZModelAstReflection extends langium.AbstractAstReflection {
case StringLiteral: {
return this.isSubtype(LiteralExpr, supertype);
}
case CollectionPredicateBinding:
case EnumField:
case FunctionParam: {
return this.isSubtype(ReferenceTarget, supertype);
}
case ConfigArrayExpr: {
return this.isSubtype(ConfigExpr, supertype);
}
Expand All @@ -861,10 +880,6 @@ export class ZModelAstReflection extends langium.AbstractAstReflection {
case TypeDef: {
return this.isSubtype(AbstractDeclaration, supertype) || this.isSubtype(TypeDeclaration, supertype);
}
case EnumField:
case FunctionParam: {
return this.isSubtype(ReferenceTarget, supertype);
}
case InvocationExpr:
case LiteralExpr: {
return this.isSubtype(ConfigExpr, supertype) || this.isSubtype(Expression, supertype);
Expand Down Expand Up @@ -975,6 +990,7 @@ export class ZModelAstReflection extends langium.AbstractAstReflection {
return {
name: BinaryExpr,
properties: [
{ name: 'binding' },
{ name: 'left' },
{ name: 'operator' },
{ name: 'right' }
Expand All @@ -989,6 +1005,14 @@ export class ZModelAstReflection extends langium.AbstractAstReflection {
]
};
}
case CollectionPredicateBinding: {
return {
name: CollectionPredicateBinding,
properties: [
{ name: 'name' }
]
};
}
case ConfigArrayExpr: {
return {
name: ConfigArrayExpr,
Expand Down
Loading
Loading