@accordproject/concerto-linter 1.0.0

package/default-ruleset/package.json

@@ -0,0 +1,51 @@
+{
+    "name": "@accordproject/concerto-linter-default-ruleset",
+    "version": "1.0.0",
+    "description": "Default ruleset for the Accord Project Concerto Linter",
+    "homepage": "https://github.com/accordproject/concerto",
+    "engines": {
+        "node": ">=18",
+        "npm": ">=10"
+    },
+    "main": "dist/ruleset-main.js",
+    "typings": "dist/ruleset-main.d.ts",
+    "scripts": {
+        "clean": "rimraf dist",
+        "prebuild": "npm-run-all clean",
+        "build": "tsc",
+        "pretest": "npm-run-all lint",
+        "lint": "eslint .",
+        "lint:fix": "eslint . --fix",
+        "test": "jest",
+        "test:watch": "jest --watchAll"
+    },
+    "repository": {
+        "type": "git",
+        "url": "https://github.com/accordproject/concerto.git",
+        "directory": "packages/concerto-linter/default-ruleset"
+    },
+    "keywords": [
+        "concerto",
+        "linter",
+        "spectral",
+        "default-ruleset"
+    ],
+    "author": "accordproject.org",
+    "license": "Apache-2.0",
+    "dependencies": {
+        "@accordproject/concerto-core": "3.21.0",
+        "@stoplight/spectral-core": "1.20.0",
+        "@stoplight/spectral-functions": "1.10.1",
+        "@stoplight/spectral-parsers": "1.0.5"
+    },
+    "devDependencies": {
+        "eslint": "8.57.1",
+        "@typescript-eslint/eslint-plugin": "^8.46.2",
+        "@typescript-eslint/parser": "^8.46.2",
+        "npm-run-all": "^4.1.5",
+        "rimraf": "^6.0.1",
+        "typescript": "5.7.2",
+        "jest": "^29.7.0",
+        "ts-jest": "^29.2.5"
+    }
+}

package/default-ruleset/src/abstract-must-subclassed.ts

@@ -0,0 +1,29 @@
+/*
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+import { hasConcreteSubclass } from './functions/find-abstract-declaration';
+
+/**
+ * Rule: Abstract Must Be Subclassed
+ * ---------------------------------
+ * Ensures that every abstract declaration in the model has at least one concrete subclass.
+ * This helps prevent unused or orphaned abstract types, enforcing better model design.
+ */
+export default {
+    given: '$.models[*]',
+    severity: 0, // 0 = error, 1 = warning, 2 = info, 3 = hint
+    then: {
+        function: hasConcreteSubclass,
+    },
+};
+

package/default-ruleset/src/camel-case-properties.ts

@@ -0,0 +1,35 @@
+/*
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import { casing } from '@stoplight/spectral-functions';
+
+/**
+ * Rule: Camel Case Properties
+ * ---------------------------
+ * Ensures that properties of type String, Double, Integer, Long, DateTime, and Boolean
+ * are named using camelCase. This promotes consistency and readability in property naming
+ * conventions across the model.
+ */
+export default {
+    description: 'Properties of type String, Double, Integer, Long, DateTime, Boolean should be camelCase.',
+    given: '$.models[*].declarations[?(@.$class && @.$class != "concerto.metamodel@1.0.0.EnumDeclaration")].properties[*].name',
+    message: 'Property \'{{value}}\' should be camelCase (e.g. \'myProperty\')',
+    severity: 0, // 0 = error, 1 = warning, 2 = info, 3 = hint
+    then: {
+        function: casing,
+        functionOptions: {
+            type: 'camel',
+        },
+    },
+};

package/default-ruleset/src/functions/check-length-validator.ts

@@ -0,0 +1,52 @@
+/*
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import type { IFunction, IFunctionResult } from '@stoplight/spectral-core';
+
+interface StringLengthValidator {
+  $class: 'concerto.metamodel@1.0.0.StringLengthValidator';
+  minLength: number;
+  maxLength: number;
+}
+
+interface StringObject {
+  name: string;
+  lengthValidator?: StringLengthValidator;
+}
+
+/**
+ * Checks if a String object has a length validator.
+ *
+ * @param {unknown} targetVal The AST node to check, expected to be a StringProperty or StringScalar object.
+ * @returns {IFunctionResult[] | void} An array of results indicating declarations that lack a length validator.
+ * @throws {Error} If the input is not a valid object.
+ */
+export const checkLengthValidator: IFunction = (targetVal): IFunctionResult[] => {
+    // Validate that targetVal is a non-null object
+    if (targetVal === null || typeof targetVal !== 'object') {
+        throw new Error('Input must be a valid String AST object.');
+    }
+
+    const stringObject = targetVal as StringObject;
+    const results: IFunctionResult[] = [];
+
+    // Check for missing length validator
+    if (!stringObject.lengthValidator) {
+        results.push({
+            message: `String '${stringObject.name}' must have a length validator.`,
+        });
+    }
+
+    return results;
+};

package/default-ruleset/src/functions/find-abstract-declaration.ts

@@ -0,0 +1,70 @@
+/*
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import type { IFunction, IFunctionResult } from '@stoplight/spectral-core';
+
+interface Declaration {
+  name: string;
+  isAbstract?: boolean;
+  superType?: { name: string };
+}
+
+interface Model {
+  declarations: Declaration[];
+}
+
+/**
+ * Checks if each abstract declaration in the model has at least one concrete subclass.
+ *
+ * Iterates through the model's declarations, collects all abstract types,
+ * and removes any abstract type that is extended by a concrete subclass.
+ * Returns a result for each abstract type without a concrete subclass.
+ *
+ * @param {unknown} targetVal The AST model object containing declarations.
+ * @returns {IFunctionResult[] | void} An array of results for abstract declarations lacking concrete subclasses.
+ * @throws {Error} If the input is not a valid model AST.
+ */
+export const hasConcreteSubclass: IFunction = (
+    targetVal,
+): IFunctionResult[] | void => {
+    const results: IFunctionResult[] = [];
+
+    // Validate that targetVal is a non-null object
+    if (typeof targetVal !== 'object' || !targetVal || !Array.isArray((targetVal as Model).declarations)) {
+        throw new Error(`${targetVal} must be a valid AST for concerto model`);
+    }
+
+    const abstractNames = new Map<string, number>();
+    const allDeclarations = (targetVal as Model).declarations;
+
+    for (const [index, decl] of allDeclarations.entries()) {
+        if (decl && decl.isAbstract && typeof decl.name === 'string') {
+            abstractNames.set(decl.name, index);
+        }
+    }
+
+    for (const decl of allDeclarations) {
+        if (decl && !decl.isAbstract && decl.superType && typeof decl.superType.name === 'string') {
+            abstractNames.delete(decl.superType.name);
+        }
+    }
+    if (abstractNames.size > 0) {
+        for (const [abstractName] of abstractNames) {
+            results.push({
+                message: `Abstract declaration '${abstractName}' must have concrete subclasses`,
+            });
+        }
+    }
+    return results;
+};

package/default-ruleset/src/functions/find-empty-declarations.ts

@@ -0,0 +1,56 @@
+/*
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import type { IFunction, IFunctionResult } from '@stoplight/spectral-core';
+
+interface Declaration {
+    name: string;
+    properties?: unknown[];
+}
+
+/**
+ * Finds and reports empty Concerto Declarations (i.e., declarations with no properties).
+ *
+ * @param {unknown} targetVal The AST node to check, expected to be a Concerto Declaration object.
+ * @returns {IFunctionResult[]} An array of results indicating declarations that are empty.
+ * @throws {Error} If the input is not a valid object.
+ */
+export const findEmptyDeclarations: IFunction = (
+    targetVal,
+): IFunctionResult[] => {
+    const results: IFunctionResult[] = [];
+
+    // Validate that targetVal is a non-null object
+    if (typeof targetVal !== 'object' || targetVal === null) {
+        throw new Error('Value must be a valid AST object for a Concerto Declaration.');
+    }
+
+    // Ensure targetVal is a Declaration with a 'properties' field (not a scalar)
+    if (!(targetVal as Declaration).properties)
+    {
+        return results;
+    }
+
+    const declaration = targetVal as Declaration;
+    const properties = declaration.properties;
+
+    // If 'properties' is missing, not an array, or empty, report an error
+    if (!Array.isArray(properties) || properties.length === 0) {
+        results.push({
+            message: `Declaration '${declaration.name}' should not be empty and must declare at least one property.`,
+        });
+    }
+
+    return results;
+};

package/default-ruleset/src/namespace-version.ts

@@ -0,0 +1,35 @@
+/*
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import { pattern } from '@stoplight/spectral-functions';
+
+/**
+ * Rule: Namespace Should Specify a Version
+ * ----------------------------------------
+ * Ensures that the namespace declaration in the model includes a version number.
+ * This rule enforces semantic versioning in namespaces, promoting clarity and compatibility management.
+ */
+export default {
+    description: 'namespace should specify a version.',
+    given: '$.models[0].namespace',
+    message: 'namespace \'{{value}}\' should specify a version.',
+    severity: 0, // 0 = error, 1 = warning, 2 = info, 3 = hint
+    then: {
+        function: pattern,
+        functionOptions: {
+            match: /@\d+\.\d+\.\d+/,
+        },
+    },
+};
+

package/default-ruleset/src/no-empty-declarations.ts

@@ -0,0 +1,31 @@
+/*
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import { findEmptyDeclarations } from './functions/find-empty-declarations';
+
+/**
+ * Rule: No Empty Declarations
+ * ---------------------------
+ * Detects and reports any model declarations that are empty.
+ * This rule helps maintain model integrity by ensuring that all declarations contain meaningful content,
+ * preventing the inclusion of unused or placeholder declarations in the model.
+ */
+export default {
+    given: '$.models[*].declarations[*]',
+    severity: 0, // 0 = error, 1 = warning, 2 = info, 3 = hint
+    then: {
+        function: findEmptyDeclarations
+    },
+};
+

package/default-ruleset/src/no-reserved-keywords.ts

@@ -0,0 +1,43 @@
+/*
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import { pattern } from '@stoplight/spectral-functions';
+
+/**
+ * Rule: No Reserved Keywords with Declarations, Properties, and Decorators
+ *
+ * This rule enforces that names used for declarations, properties, and decorators
+ * in Concerto models do not use reserved keywords. Reserved keywords are language-specific
+ * terms that may cause conflicts or unexpected behavior if used as identifiers.
+ * If a name matches any of the reserved keywords (case-insensitive), the linter will
+ * report an error to prevent its usage.
+ */
+export default {
+    description: 'Names should not be reserved words.',
+    given: [
+        '$.models[*].declarations[*].name',
+        '$.models[*].declarations[*].properties[*].name',
+        '$.models[*].decorators[*].name',
+        '$.models[*].declarations[*].decorators[*].name',
+        '$.models[*].declarations[*].properties[*].decorators[*].name'
+    ],
+    message: 'Name "{{value}}" is a reserved keyword.',
+    severity: 0, // 0 = error, 1 = warning, 2 = info, 3 = hint
+    then: {
+        function: pattern,
+        functionOptions: {
+            notMatch: '/^(String|Double|Integer|Long|DateTime|Boolean|scalar|concept|enum|asset|participant|transaction|event|map|optional|length|regex|range|default)$/i'
+        },
+    },
+};

package/default-ruleset/src/pascal-case-declarations.ts

@@ -0,0 +1,35 @@
+/*
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import { casing } from '@stoplight/spectral-functions';
+
+/**
+ * Rule: Pascal Case Declarations
+ * ------------------------------
+ * Ensures that declaration names (scalar, enum, concept, asset, participant, transaction, event)
+ * follow PascalCase naming convention (e.g., 'MyDeclaration').
+ * This promotes consistency and readability across model declarations.
+ */
+export default {
+    description: 'Declaration names (scalar, enum, concept, asset, participant, transaction, event) should be PascalCase.',
+    given: '$.models[*].declarations[*].name',
+    message: 'Declaration \'{{value}}\' should be PascalCase (e.g. \'MyDeclaration\')',
+    severity: 0, // 0 = error, 1 = warning, 2 = info, 3 = hint
+    then: {
+        function: casing,
+        functionOptions: {
+            type: 'pascal',
+        },
+    },
+};

package/default-ruleset/src/pascal-case-decorators.ts

@@ -0,0 +1,38 @@
+/*
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import { casing } from '@stoplight/spectral-functions';
+
+/**
+ * Rule: Pascal Case Decorators
+ * ------------------------------
+ * Ensures that decorator names follow PascalCase naming convention (e.g., 'MyDecorator').
+ * This promotes consistency and readability across model decorators.
+ */
+export default {
+    description: 'Decorators names should be PascalCase.',
+    given: [
+        '$.models[*].decorators[*].name',
+        '$.models[*].declarations[*].decorators[*].name',
+        '$.models[*].declarations[*].properties[*].decorators[*].name'
+    ],
+    message: 'Decorator \'{{value}}\' should be PascalCase (e.g. \'MyDecorator\')',
+    severity: 0, // 0 = error, 1 = warning, 2 = info, 3 = hint
+    then: {
+        function: casing,
+        functionOptions: {
+            type: 'pascal',
+        },
+    },
+};

package/default-ruleset/src/ruleset-main.ts

@@ -0,0 +1,41 @@
+/*
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import { RulesetDefinition } from '@stoplight/spectral-core';
+
+import namespaceVersion from './namespace-version';
+import pascalCaseDeclarations from './pascal-case-declarations';
+import camelCaseProperties from './camel-case-properties';
+import upperSnakeCaseEnumConst from './upper-snake-case-enum-const';
+import pascalCaseDecorators from './pascal-case-decorators';
+import stringLengthValidator from './string-length-validator';
+import noReservedKeywords from './no-reserved-keywords';
+import noEmptyDeclarations from './no-empty-declarations';
+import abstractMustSubclassed from './abstract-must-subclassed';
+
+const concertoRuleset: RulesetDefinition = {
+    rules: {
+        'namespace-version': namespaceVersion,
+        'no-reserved-keywords': noReservedKeywords,
+        'pascal-case-declarations': pascalCaseDeclarations,
+        'camel-case-properties': camelCaseProperties,
+        'upper-snake-case-enum-constants': upperSnakeCaseEnumConst,
+        'pascal-case-decorators': pascalCaseDecorators,
+        'string-length-validator': stringLengthValidator,
+        'no-empty-declarations': noEmptyDeclarations,
+        'abstract-must-subclassed': abstractMustSubclassed,
+    }
+};
+
+export default concertoRuleset;

package/default-ruleset/src/string-length-validator.ts

@@ -0,0 +1,32 @@
+/*
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import { checkLengthValidator } from './functions/check-length-validator';
+
+/**
+ * Rule: String Length
+ * ---------------------------
+ * Ensures that all string within the data model have a length validator applied.
+ * Which helps prevent inconsistent data length and ensure proper storage."
+ */
+export default {
+    given: [
+        '$.models[*].declarations[?(@.$class=="concerto.metamodel@1.0.0.StringScalar")]',
+        '$.models[*].declarations[*].properties[?(@.$class=="concerto.metamodel@1.0.0.StringProperty")]'
+    ],
+    severity: 0, // 0 = error, 1 = warning, 2 = info, 3 = hint
+    then: {
+        function: checkLengthValidator,
+    },
+};

package/default-ruleset/src/upper-snake-case-enum-const.ts

@@ -0,0 +1,36 @@
+/*
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+import { pattern } from '@stoplight/spectral-functions';
+
+/**
+ * Rule: Enum Constants Must Use UPPER_SNAKE_CASE
+ * ----------------------------------------------
+ * Enforces that all enum constant names follow the UPPER_SNAKE_CASE convention.
+ * This rule checks each enum property name and reports an error if it does not match the required pattern.
+ * Ensures consistency and readability in enum naming across the model.
+ */
+export default {
+
+    description: 'Enum constants must use UPPER_SNAKE_CASE.',
+    given: '$.models[*].declarations[?(@.$class == "concerto.metamodel@1.0.0.EnumDeclaration")].properties[*].name',
+    message: 'Enum constant \'{{value}}\' should be UPPER_SNAKE_CASE (e.g. \'MY_CONSTANT\')',
+    severity: 0, // 0 = error, 1 = warning, 2 = info, 3 = hint
+    then: {
+        function: pattern,
+        functionOptions: {
+            match: '^[A-Z][A-Z0-9]*(_[A-Z0-9]+)*$',
+        },
+    },
+};

package/default-ruleset/test/fixtures/ENUM_Constans-invaild.cto

@@ -0,0 +1,7 @@
+namespace org.example@1.0.0
+
+enum MyCardSuit {
+  o Clubs
+  o DiamondsSuit
+  o hearts
+}

package/default-ruleset/test/fixtures/ENUM_Constans-vaild.cto

@@ -0,0 +1,7 @@
+namespace org.example@1.0.0
+
+enum MyCardSuit {
+  o CLUBS
+  o DIAMONDS_SUIT
+  o HEARTS
+}

package/default-ruleset/test/fixtures/abstract-must-subclassed-invalid.cto

@@ -0,0 +1,10 @@
+namespace org.example@1.0.0
+
+abstract concept Vehicle {
+  o String make
+  o String model
+}
+
+abstract asset Product {
+  o String productId
+}

package/default-ruleset/test/fixtures/abstract-must-subclassed-valid.cto

@@ -0,0 +1,18 @@
+namespace org.example@1.0.0
+
+abstract concept Vehicle {
+  o String make
+  o String model
+}
+
+concept Car extends Vehicle {
+  o Integer numberOfDoors
+}
+
+abstract asset Product {
+  o String productId
+}
+
+asset Electronics extends Product {
+  o String brand
+}

package/default-ruleset/test/fixtures/declarations-valid-PascalCase.cto

@@ -0,0 +1,21 @@
+namespace org.example@1.0.0
+
+scalar SsnNumber extends String default="000-00-0000"
+
+concept MyProduct {
+}
+
+asset PaymentOrder {
+}
+
+participant Customer {
+}
+
+transaction Order {
+} 
+
+event LateDelivery {
+}
+
+enum Product {
+}