@memoarchitect/tools 0.6.6 → 0.7.2

package/packages/tools/lib/conformance/generated/syside-rules.js

@@ -0,0 +1,1142 @@
+// GENERATED by scripts/vendor-syside-rules.mjs. DO NOT EDIT.
+//
+// `syside 0.10.2 9e2b7f0e89cc4076f432504c3e4183e9a13b2734` — `syside rule list`, vendored so the B4 scoreboard needs no
+// external tool (plan §1.3 rule 1, §5.1.2). Re-run the script when the Syside
+// pin moves; the codes are Syside's and are kept verbatim.
+export const SYSIDE_VERSION = "syside 0.10.2 9e2b7f0e89cc4076f432504c3e4183e9a13b2734";
+export const SYSIDE_RULES = [
+    {
+        "code": "accept-action-usage-parameters",
+        "description": "This checks that accept action usages have at least two input parameters, `payload` and `receiver`.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "actor-membership-owning-type",
+        "description": "This checks that actors are owned by requirements or cases.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "annotation-annotating-element",
+        "description": "This checks that an `Annotation` either owns, or is owned by its annotating element.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "assert-constraint-usage-reference",
+        "description": "This checks that assert constraints reference other constraints only.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "assignment-action-usage-referent",
+        "description": "This checks that assignment action has a `referent` member feature element.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "association-binary-specialization",
+        "description": "This checks that nary associations do not specialize `Links::BinaryLink`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "association-end-types",
+        "description": "This checks that owned ends of associations have exactly one type.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "association-related-types",
+        "description": "This checks that concrete associations have at least two related types, i.e. `ends`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "attribute-definition-features",
+        "description": "This checks that all attribute definition features are referential (non-composite).",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "attribute-usage-features",
+        "description": "This checks that all attribute usage features are referential (non-composite).",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "behavior-specialization",
+        "description": "This checks that `behaviors` do not specialize structures.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "binding-connector-is-binary",
+        "description": "This checks that binding connectors have exactly two ends.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "case-definition-only-one-objective",
+        "description": "This checks that case definitions have at most one owned or inherited objective.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "case-definition-only-one-subject",
+        "description": "This checks that case definitions have at most one owned or inherited subject.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "case-definition-subject-parameter-position",
+        "description": "This checks that case definition subjects are the first parameter.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "case-usage-only-one-objective",
+        "description": "This checks that case usages have at most one owned or inherited objective.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "case-usage-only-one-subject",
+        "description": "This checks that case usages have at most one owned or inherited subject.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "case-usage-subject-parameter-position",
+        "description": "This checks that case usage subjects are the first parameter.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "class-specialization",
+        "description": "This checks that classes do not specialize data types, and non-association classes additionally do not specialize associations.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "classifier-multiplicity-domain",
+        "description": "This checks that multiplicities owned by `classifiers` do not have no `featuring_types`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "conjugated-port-definition-conjugated-port-definition-is-empty",
+        "description": "This checks that conjugated port definitions themselves have no conjugated port definitions.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "conjugated-port-definition-original-port-definition",
+        "description": "This checks that conjugated port definitions are owned their original port definitions, and they are conjugated.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "connector-binary-specialization",
+        "description": "This checks that nary connectors do not specialize `Links::BinaryLink`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "connector-related-features",
+        "description": "This checks that concrete connectors have at least two related features, i.e. `ends`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "constructor-expression-no-duplicate-feature-redefinition",
+        "description": "This checks that constructor arguments are bound only once.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "constructor-expression-owned-features",
+        "description": "This checks that constructors expressions have no other features other than its `result`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "constructor-expression-result-feature-redefinition",
+        "description": "This checks that constructors arguments are bound to the instantiated type features only, and only once, i.e. that there are no extraneous or unrelated arguments.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "control-node-owning-type",
+        "description": "This checks that control nodes are owned by actions.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "cross-subsetting-crossed-feature",
+        "description": "This checks that `CrossSubsettings` always chain two features, and if declared on one of two `end` features, starts from the opposite `end` feature.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "cross-subsetting-crossing-feature",
+        "description": "This checks that `CrossSubsettings` are declared on one of two or more `end` features.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "data-type-specialization",
+        "description": "This checks that data types do not specialize classes or associations.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "definition-variation-owned-feature-membership",
+        "description": "This checks that `variation` definitions have no owned features. `variants` are member features and are allowed.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "definition-variation-specialization",
+        "description": "This checks that `variation` definitions do not specialize other `variations`.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "element-filter-membership-condition-is-boolean",
+        "description": "This checks that element filter conditions are predicates, i.e. their expressions return boolean.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "element-filter-membership-condition-is-model-level-evaluable",
+        "description": "This checks that element filter condition expressions are model-level evaluable.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "element-is-implied-included",
+        "description": "This checks that an incomplete element has no implied relationships.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "event-occurrence-usage-reference",
+        "description": "This checks that event occurrences reference only other occurrences.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "exhibit-state-usage-reference",
+        "description": "This checks that exhibit state reference other states only.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "expose-owning-namespace",
+        "description": "This checks that expose are owned by view usages.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "expression-result-expression-membership",
+        "description": "This checks that expressions have at most one owned or inherited result expression membership.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "expression-return-parameter-membership",
+        "description": "This checks that expressions have at most one `return` parameter.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-chain-expression-conformance",
+        "description": "This checks that feature chain expressions segments are accessible from the previous segment.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-chaining-feature-conformance",
+        "description": "This checks that all feature chain segments are accessible from the previous segment.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-chaining-feature-not-one",
+        "description": "This checks that features have either no, or two or more owned feature `chainings`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-chaining-features-not-self",
+        "description": "This checks that features do not `chain` themselves directly.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-constant-is-variable",
+        "description": "This checks that `constant` features are also `variable`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-cross-feature-specialization",
+        "description": "This checks that cross features specialize cross features of the redefined features of the crossing features.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-cross-feature-type",
+        "description": "This checks that cross features have the same types as the crossing features.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-crossing-specialization",
+        "description": "This checks that `end` features with owned cross features have no explicit crossings.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-end-multiplicity",
+        "description": "This checks that `end` features have multiplicity of `1..1`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-end-no-direction",
+        "description": "This checks that `end` features have no `directions`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-end-not-derived-abstract-composite-or-portion",
+        "description": "This checks that `end` features are not `derived`, `abstract`, `composite`, or `portion`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-is-variable",
+        "description": "This checks that `variable` features are owned by occurrences.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-multiplicity-domain",
+        "description": "This checks that the feature multiplicity has the same featuring types as the owning feature.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-owned-cross-subsetting",
+        "description": "This checks that features have at most one cross subsetting.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-owned-reference-subsetting",
+        "description": "This checks that features have at most one owned reference subsetting.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-portion-not-variable",
+        "description": "This checks that `portion` features are not `variable`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-reference-expression-referent-is-feature",
+        "description": "This checks that the referent of feature reference expression is a feature.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-specialization",
+        "description": "This checks that feature directly or indirectly specialize `Base::things`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-value-is-initial",
+        "description": "This checks that initial feature values are only owned by `variable` features.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "feature-value-overriding",
+        "description": "This checks that redefined features have either no feature values, or `default` feature values if the redefining feature itself has feature value.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "flow-definition-connection-ends",
+        "description": "This checks that flow definitions have at most two flow ends.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "flow-end-nested-feature",
+        "description": "This checks that flow ends have exactly one owned feature.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "flow-end-owning-type",
+        "description": "This checks that flow ends are owned by flows only.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "flow-payload-feature",
+        "description": "This checks that flows owns at most one payload feature.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "for-loop-action-usage-loop-variable",
+        "description": "This checks that for loops have loop variables.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "for-loop-action-usage-parameters",
+        "description": "This checks that for loops have sequence and body action parameters.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "function-result-expression-membership",
+        "description": "This checks that functions have at most one owned or inherited result expression membership.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "function-return-parameter-membership",
+        "description": "This checks that functions have at most one `return` parameter.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "global-namespace-distinguishability",
+        "description": "This checks that all top-level member names are globally unique.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "if-action-usage-parameters",
+        "description": "This checks that for if actions have an argument and then action.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "import-explicit-visibility",
+        "description": "This checks that imports have an explicit visibility.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "import-top-level-visibility",
+        "description": "This checks that top-level imports have `private` visibility.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "include-use-case-usage-reference",
+        "description": "This checks that include use cases reference other use cases only.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "instantiation-expression-instantiated-type",
+        "description": "This checks that instantiation expressions have an instantiated type.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "invocation-expression-instantiated-type",
+        "description": "This checks that invocation expression invoke other `behaviors`, or features typed by a single `behavior`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "invocation-expression-no-duplicate-parameter-redefinition",
+        "description": "This checks that invocation arguments are bound only once.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "invocation-expression-owned-features",
+        "description": "This checks that owned invocation features are all input features, or a single `result`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "invocation-expression-parameter-redefinition",
+        "description": "This checks that invocation arguments are bound to the instantiated type input features only, and only once, i.e. that there are no extraneous or unrelated arguments.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "metadata-feature-annotated-element",
+        "description": "This checks that metadata is applied only to elements matching its `annotatedElement` constraints.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "metadata-feature-body",
+        "description": "This checks that feature directly or indirectly owned by metadata have no declared names, redefine a single inherited feature, and have no values or model-level evaluable values.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "metadata-feature-metaclass",
+        "description": "This checks that metadata features are typed by exactly one metaclass.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "metadata-feature-metaclass-not-abstract",
+        "description": "This checks that metadata is typed by a concrete metaclass.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "multiplicity-range-bound-result-types",
+        "description": "This checks that multiplicity range bounds expression is an integer.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "multiplicity-range-bounds",
+        "description": "This checks that model-level evaluable multiplicity range bounds are non-negative.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "namespace-distinguishability",
+        "description": "This checks that namespace member names are unambiguous.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "objective-membership-is-composite",
+        "description": "This checks that objectives are always composite.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "objective-membership-owning-type",
+        "description": "This checks that stakeholders are owned by cases.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "occurrence-usage-individual-definition",
+        "description": "This checks that occurrence usages are typed by at most one `individual` occurrence definition.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "occurrence-usage-individual-usage",
+        "description": "This checks that `individual` occurrence usages are typed by `individual` occurrence definitions.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "occurrence-usage-portion-kind",
+        "description": "This checks that `portion` occurrence usages are owned an occurrence.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "parameter-membership-owning-type",
+        "description": "This checks that parameter memberships are owned by `behaviors`, steps, or results of constructor expressions.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "perform-action-usage-reference",
+        "description": "This checks that perform actions reference other actions only.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "port-definition-owned-usages-not-composite",
+        "description": "This checks that port definitions only own referential (non-composite) usages or other ports.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "port-usage-nested-usages-not-composite",
+        "description": "This checks that port usages only own referential (non-composite) usages or other ports.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "quantity-operator-expression",
+        "description": "This checks that the second argument to quantity expressions is a measurement unit.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "redefinition-direction-conformance",
+        "description": "This checks that directed features are only redefined by features with compatible directions.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "redefinition-end-conformance",
+        "description": "This checks that `end` features are only redefined by other `end` features.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "redefinition-featuring-types",
+        "description": "This checks that redefining feature featuring types different to the featuring types of the redefined feature.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "requirement-constraint-membership-is-composite",
+        "description": "This checks that requirement constraints are always composite.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "requirement-constraint-membership-owning-type",
+        "description": "This checks that requirement constraints are owned by requirements.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "requirement-definition-only-one-subject",
+        "description": "This checks that requirement definitions have at most one owned or inherited subject.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "requirement-definition-subject-parameter-position",
+        "description": "This checks that requirement definition subjects are the first parameter.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "requirement-usage-only-one-subject",
+        "description": "This checks that requirement usages have at most one owned or inherited subject.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "requirement-usage-subject-parameter-position",
+        "description": "This checks that requirement usage subjects are the first parameter.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "requirement-verification-membership-owning-type",
+        "description": "This checks that requirement verifications are owned by objectives.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "result-expression-membership-owning-type",
+        "description": "This checks that result expression memberships are owned by functions or expressions.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "return-parameter-membership-owning-type",
+        "description": "This checks that return parameter memberships are owned by functions or expressions.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "satisfy-requirement-usage-reference",
+        "description": "This checks that satisfy requirements reference other requirements only.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "send-action-parameters",
+        "description": "This checks that send actions have a payload and sender.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "specialization-specific-not-conjugated",
+        "description": "This checks that a specialized type is not conjugated.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "stakeholder-membership-owning-type",
+        "description": "This checks that stakeholders are owned by requirements.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "standard-library-package",
+        "description": "This checks that user library packages are not marked `standard`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "state-definition-parallel-subactions",
+        "description": "This checks that parallel state definitions have no owned transitions or successions.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "state-definition-state-subaction-kind",
+        "description": "This checks that state definitions own at most one of each `entry`, `do`, and `exit` subactions.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "state-subaction-membership-owning-type",
+        "description": "This checks that state subactions are owned only by states.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "state-usage-parallel-subactions",
+        "description": "This checks that parallel state usages have no owned transitions or successions.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "state-usage-state-subaction-kind",
+        "description": "This checks that state usages own at most one of each `entry`, `do`, and `exit` subactions.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "structure-specialization",
+        "description": "This checks that structures do not specialize behaviours.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "subject-membership-owning-type",
+        "description": "This checks that subjects are owned by requirements or cases.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "subsetting-constant-conformance",
+        "description": "This checks that `variable` subsetting features are also `constant` if they subset a `constant` feature.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "subsetting-featuring-types",
+        "description": "This checks that subsetted features are accessible from the subsetting features, e.g. through inheritance.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "subsetting-uniqueness-conformance",
+        "description": "This checks that unique features are only subsetted by other unique features.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "transition-feature-membership-effect-action",
+        "description": "This checks that `do` transition member is an action.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "transition-feature-membership-guard-expression",
+        "description": "This checks that `if` transition member is a boolean expression.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "transition-feature-membership-owning-type",
+        "description": "This checks that transition feature memberships are owned by transitions.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "transition-feature-membership-trigger-action",
+        "description": "This checks that `accept` transition member is an accept action.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "transition-usage-parameters",
+        "description": "This checks that transitions have an implicit transition link source, and if they have `accept` actions - also have an implicit `payload`.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "transition-usage-succession",
+        "description": "This checks that transitions transition to an action usage.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "transition-usage-trigger-actions",
+        "description": "This checks that transitions that start not from states have no trigger actions (`accept`).",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "trigger-invocation-expression-after-argument",
+        "description": "This checks that `after` expression is a duration value.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "trigger-invocation-expression-at-argument",
+        "description": "This checks that `at` expression is a time instant value.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "trigger-invocation-expression-when-argument",
+        "description": "This checks that `when` expression has a boolean result type.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "type-at-most-one-conjugator",
+        "description": "This checks that types have at most one conjugation relationship.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "type-differencing-types-not-self",
+        "description": "This checks that types do not `difference` themselves directly.",
+        "grammars": [
+            "kerml"
+        ]
+    },
+    {
+        "code": "type-error",
+        "description": "This checks that assigned values conform to the types of the element they are being assigned to.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "type-intersecting-types-not-self",
+        "description": "This checks that types do not `intersect` themselves directly.",
+        "grammars": [
+            "kerml"
+        ]
+    },
+    {
+        "code": "type-owned-differencing-not-one",
+        "description": "This checks that types have either no, or two or more owned `differencings`.",
+        "grammars": [
+            "kerml"
+        ]
+    },
+    {
+        "code": "type-owned-intersecting-not-one",
+        "description": "This checks that types have either no, or two or more owned `intersectings`.",
+        "grammars": [
+            "kerml"
+        ]
+    },
+    {
+        "code": "type-owned-multiplicity",
+        "description": "This checks that types have at most one owned `multiplicity`.",
+        "grammars": [
+            "kerml"
+        ]
+    },
+    {
+        "code": "type-owned-unioning-not-one",
+        "description": "This checks that types have either no, or two or more owned `unionings`.",
+        "grammars": [
+            "kerml"
+        ]
+    },
+    {
+        "code": "type-specialization",
+        "description": "This checks that types directly or indirectly specialize `Base::Anything`.",
+        "grammars": [
+            "kerml",
+            "sysml"
+        ]
+    },
+    {
+        "code": "type-unioning-types-not-self",
+        "description": "This checks that types do not `union` themselves directly.",
+        "grammars": [
+            "kerml"
+        ]
+    },
+    {
+        "code": "usage-feature-typing",
+        "description": "This checks that usages are typed by classifiers instead of other features.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "usage-variation-owned-feature-membership",
+        "description": "This checks that `variation` usages have no owned features. `variants` are member features and are allowed.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "usage-variation-specialization",
+        "description": "This checks that `variation` usages do not specialize other `variations`.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "variant-membership-owning-namespace",
+        "description": "This checks that `variants` are owned by `variations`, or enum definitions which are implicitly variations.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "view-definition-only-one-view-rendering",
+        "description": "This checks that view definitions have at most one owned or inherited view rendering.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "view-rendering-membership-owning-type",
+        "description": "This checks that view renderings are owned by views.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "view-usage-only-one-view-rendering",
+        "description": "This checks that view usages have at most one owned or inherited view rendering.",
+        "grammars": [
+            "sysml"
+        ]
+    },
+    {
+        "code": "while-loop-action-usage-parameters",
+        "description": "This checks that while loops have at least an argument and a body action parameters.",
+        "grammars": [
+            "sysml"
+        ]
+    }
+];
+//# sourceMappingURL=syside-rules.js.map