From 01e0b0adafa605bfb2ebfdf8ef1dfa429464e368 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Urak=20J=C3=B3zsef?= <124312789+lyozi@users.noreply.github.com> Date: Thu, 11 Dec 2025 00:10:18 +0100 Subject: [PATCH 1/2] Fix grammatical errors in predicates documentation --- .../version-0.2.0/learn/language/predicates/index.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/subprojects/docs/versioned_docs/version-0.2.0/learn/language/predicates/index.md b/subprojects/docs/versioned_docs/version-0.2.0/learn/language/predicates/index.md index 311f58d5f..f06a8da2e 100644 --- a/subprojects/docs/versioned_docs/version-0.2.0/learn/language/predicates/index.md +++ b/subprojects/docs/versioned_docs/version-0.2.0/learn/language/predicates/index.md @@ -69,11 +69,11 @@ class Statechart extends CompositeElement. [Assertions](../logic/#assertions) about graph predicates can prescribe where the predicate should (for positive assertions) or should not (for negative assertions) hold. -When generating consistent models +When generating consistent models, Refinery ensures these assertions are satisfied. ## Atoms -An _atom_ is formed by a _symbol_ and _argument list_ of variables. +An _atom_ is formed by a _symbol_ and an _argument list_ of variables. Possible symbols include [classes](../classes/#classes), [references](../classes/#references), and [predicates](../predicates). We may write a basic graph query as a conjunction (AND) of atoms. @@ -234,11 +234,11 @@ pred sameName(CompositeElement a, CompositeElement b) <-> ## Derived features -Graph predicates may act as _derived types_ and _references_ in metamodel. +Graph predicates may act as _derived types_ and _references_ in the metamodel. A graph predicate with exactly 1 parameter can be used as if it was a class: you may use it as a [_parameter type_](#atoms) in other graph patterns, as a _target type_ of a (non-containment) [reference](../classes/#references), or in a [_scope constraint_](../logic#type-scopes). -_Derived references_ are graph predicates with exactly 2 parameters, which correspond the source and target node of the reference. +_Derived references_ are graph predicates with exactly 2 parameters, which correspond to the source and target node of the reference. import TuneIcon from '@material-icons/svg/svg/tune/baseline.svg'; import LabelIcon from '@material-icons/svg/svg/label/baseline.svg'; @@ -303,7 +303,7 @@ import DerivedFeature from './DerivedFeature.svg'; A common use-case for graph predicates is _model validation_, where a predicate highlights _errors_ in the model. Such predicates are called _error predicates._ -In a consistent generated model, an error predicates should have no matches. +In a consistent generated model, error predicates should have no matches. You can declare error predicates with the `error` keyword: From d2befe5eb2c71d69bd2471e114b40e28c2fd20ee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20Marussy?= Date: Tue, 24 Mar 2026 20:34:42 +0100 Subject: [PATCH 2/2] docs: backport fix grammatical errors in predicates documentation --- .../docs/src/docs/learn/language/predicates/index.md | 10 +++++----- .../version-0.1.0/learn/language/predicates/index.md | 10 +++++----- .../version-0.1.6/learn/language/predicates/index.md | 10 +++++----- 3 files changed, 15 insertions(+), 15 deletions(-) diff --git a/subprojects/docs/src/docs/learn/language/predicates/index.md b/subprojects/docs/src/docs/learn/language/predicates/index.md index 311f58d5f..f06a8da2e 100644 --- a/subprojects/docs/src/docs/learn/language/predicates/index.md +++ b/subprojects/docs/src/docs/learn/language/predicates/index.md @@ -69,11 +69,11 @@ class Statechart extends CompositeElement. [Assertions](../logic/#assertions) about graph predicates can prescribe where the predicate should (for positive assertions) or should not (for negative assertions) hold. -When generating consistent models +When generating consistent models, Refinery ensures these assertions are satisfied. ## Atoms -An _atom_ is formed by a _symbol_ and _argument list_ of variables. +An _atom_ is formed by a _symbol_ and an _argument list_ of variables. Possible symbols include [classes](../classes/#classes), [references](../classes/#references), and [predicates](../predicates). We may write a basic graph query as a conjunction (AND) of atoms. @@ -234,11 +234,11 @@ pred sameName(CompositeElement a, CompositeElement b) <-> ## Derived features -Graph predicates may act as _derived types_ and _references_ in metamodel. +Graph predicates may act as _derived types_ and _references_ in the metamodel. A graph predicate with exactly 1 parameter can be used as if it was a class: you may use it as a [_parameter type_](#atoms) in other graph patterns, as a _target type_ of a (non-containment) [reference](../classes/#references), or in a [_scope constraint_](../logic#type-scopes). -_Derived references_ are graph predicates with exactly 2 parameters, which correspond the source and target node of the reference. +_Derived references_ are graph predicates with exactly 2 parameters, which correspond to the source and target node of the reference. import TuneIcon from '@material-icons/svg/svg/tune/baseline.svg'; import LabelIcon from '@material-icons/svg/svg/label/baseline.svg'; @@ -303,7 +303,7 @@ import DerivedFeature from './DerivedFeature.svg'; A common use-case for graph predicates is _model validation_, where a predicate highlights _errors_ in the model. Such predicates are called _error predicates._ -In a consistent generated model, an error predicates should have no matches. +In a consistent generated model, error predicates should have no matches. You can declare error predicates with the `error` keyword: diff --git a/subprojects/docs/versioned_docs/version-0.1.0/learn/language/predicates/index.md b/subprojects/docs/versioned_docs/version-0.1.0/learn/language/predicates/index.md index 9db55c989..c2ccfb4d8 100644 --- a/subprojects/docs/versioned_docs/version-0.1.0/learn/language/predicates/index.md +++ b/subprojects/docs/versioned_docs/version-0.1.0/learn/language/predicates/index.md @@ -66,11 +66,11 @@ class Statechart extends CompositeElement. [Assertions](../logic/#assertions) about graph predicates can prescribe where the predicate should (for positive assertions) or should not (for negative assertions) hold. -When generating consistent models +When generating consistent models, Refinery ensures these assertions are satisfied. ## Atoms -An _atom_ is formed by a _symbol_ and _argument list_ of variables. +An _atom_ is formed by a _symbol_ and an _argument list_ of variables. Possible symbols include [classes](../classes/#classes), [references](../classes/#references), and [predicates](../predicates). We may write a basic graph query as a conjunction (AND) of atoms. @@ -196,11 +196,11 @@ pred regionWithInvalidNumberOfEntries(r) <-> ## Derived features -Graph predicates may act as _derived types_ and _references_ in metamodel. +Graph predicates may act as _derived types_ and _references_ in the metamodel. A graph predicate with exactly 1 parameter can be used as if it was a class: you may use it as a [_parameter type_](#atoms) in other graph patterns, as a _target type_ of a (non-containment) [reference](../classes/#references), or in a [_scope constraint_](../logic#type-scopes). -_Derived references_ are graph predicates with exactly 2 parameters, which correspond the source and target node of the reference. +_Derived references_ are graph predicates with exactly 2 parameters, which correspond to the source and target node of the reference. import TuneIcon from '@material-icons/svg/svg/tune/baseline.svg'; import LabelIcon from '@material-icons/svg/svg/label/baseline.svg'; @@ -265,7 +265,7 @@ import DerivedFeature from './DerivedFeature.svg'; A common use-case for graph predicates is _model validation_, where a predicate highlights _errors_ in the model. Such predicates are called _error predicates._ -In a consistent generated model, an error predicates should have no matches. +In a consistent generated model, error predicates should have no matches. You can declare error predicates with the `error` keyword: diff --git a/subprojects/docs/versioned_docs/version-0.1.6/learn/language/predicates/index.md b/subprojects/docs/versioned_docs/version-0.1.6/learn/language/predicates/index.md index 9db55c989..c2ccfb4d8 100644 --- a/subprojects/docs/versioned_docs/version-0.1.6/learn/language/predicates/index.md +++ b/subprojects/docs/versioned_docs/version-0.1.6/learn/language/predicates/index.md @@ -66,11 +66,11 @@ class Statechart extends CompositeElement. [Assertions](../logic/#assertions) about graph predicates can prescribe where the predicate should (for positive assertions) or should not (for negative assertions) hold. -When generating consistent models +When generating consistent models, Refinery ensures these assertions are satisfied. ## Atoms -An _atom_ is formed by a _symbol_ and _argument list_ of variables. +An _atom_ is formed by a _symbol_ and an _argument list_ of variables. Possible symbols include [classes](../classes/#classes), [references](../classes/#references), and [predicates](../predicates). We may write a basic graph query as a conjunction (AND) of atoms. @@ -196,11 +196,11 @@ pred regionWithInvalidNumberOfEntries(r) <-> ## Derived features -Graph predicates may act as _derived types_ and _references_ in metamodel. +Graph predicates may act as _derived types_ and _references_ in the metamodel. A graph predicate with exactly 1 parameter can be used as if it was a class: you may use it as a [_parameter type_](#atoms) in other graph patterns, as a _target type_ of a (non-containment) [reference](../classes/#references), or in a [_scope constraint_](../logic#type-scopes). -_Derived references_ are graph predicates with exactly 2 parameters, which correspond the source and target node of the reference. +_Derived references_ are graph predicates with exactly 2 parameters, which correspond to the source and target node of the reference. import TuneIcon from '@material-icons/svg/svg/tune/baseline.svg'; import LabelIcon from '@material-icons/svg/svg/label/baseline.svg'; @@ -265,7 +265,7 @@ import DerivedFeature from './DerivedFeature.svg'; A common use-case for graph predicates is _model validation_, where a predicate highlights _errors_ in the model. Such predicates are called _error predicates._ -In a consistent generated model, an error predicates should have no matches. +In a consistent generated model, error predicates should have no matches. You can declare error predicates with the `error` keyword: