Functions and actions as interfaces

examples/Org.OData.Core.V1.IsSignature-vocabsample.json

@@ -0,0 +1,91 @@
+{
+    "$Version": "4.0",
+    "$Reference": {
+        "https://oasis-tcs.github.io/odata-vocabularies/vocabularies/Org.OData.Core.V1.json": {
+            "$Include": [
+                {
+                    "$Namespace": "Org.OData.Core.V1",
+                    "$Alias": "Core"
+                }
+            ]
+        },
+        "https://oasis-tcs.github.io/odata-vocabularies/vocabularies/Org.OData.Measures.V1.json": {
+            "$Include": [
+                {
+                    "$Namespace": "Org.OData.Measures.V1",
+                    "$Alias": "Measures"
+                }
+            ]
+        },
+        "/SalesDocument.svc/$metadata": {
+            "$Include": [
+                {
+                    "$Namespace": "SalesDocument",
+                    "$Alias": "service"
+                }
+            ]
+        }
+    },
+    "signature.sample": {
+        "$Alias": "self",
+        "@Core.LongDescription": "The [implementation](#ReturnsOrderWeight) differs from the [signature](#SalesDocumentWeight) in the following allowed ways:\n- Specialized binding parameter type from `Edm.EntityType` to a concrete entity type\n- Specialized return type from [`self.QuantityUnitType`](#QuantityUnitType) to [`self.ReturnsOrderWeightType`](#ReturnsOrderWeightType)\n  - Removed nullability of return type property `Unit`\n  - Additional return type property `PackagingWeight` (could be ignored by the client)",
+        "SalesDocumentWeight": [
+            {
+                "$Kind": "Function",
+                "$IsBound": true,
+                "@Core.IsSignature": true,
+                "@Core.Description": "Determines the total weight of the goods in a sales document",
+                "$Parameter": [
+                    {
+                        "$Name": "SalesDocument",
+                        "$Type": "Edm.EntityType"
+                    }
+                ],
+                "$ReturnType": {
+                    "$Type": "self.QuantityUnitType"
+                }
+            }
+        ],
+        "QuantityUnitType": {
+            "$Kind": "ComplexType",
+            "Quantity": {
+                "$Type": "Edm.Decimal",
+                "$Scale": 0,
+                "@Measures.Unit": {
+                    "$Path": "Unit"
+                }
+            },
+            "Unit": {
+                "$Nullable": true
+            }
+        },
+        "ReturnsOrderWeight": [
+            {
+                "$Kind": "Function",
+                "$IsBound": true,
+                "@Core.ImplementsSignature": "self.SalesDocumentWeight",
+                "$Parameter": [
+                    {
+                        "$Name": "SalesDocument",
+                        "$Type": "service.ReturnsOrderType"
+                    }
+                ],
+                "$ReturnType": {
+                    "$Type": "self.ReturnsOrderWeightType"
+                }
+            }
+        ],
+        "ReturnsOrderWeightType": {
+            "$Kind": "ComplexType",
+            "$BaseType": "self.QuantityUnitType",
+            "Unit": {},
+            "PackagingWeight": {
+                "$Type": "Edm.Decimal",
+                "$Scale": 0,
+                "@Measures.Unit": {
+                    "$Path": "Unit"
+                }
+            }
+        }
+    }
+}

examples/Org.OData.Core.V1.IsSignature-vocabsample.md

@@ -0,0 +1,58 @@
+**Namespace: [signature.sample](Org.OData.Core.V1.IsSignature-vocabsample.xml)**
+
+
+
+The [implementation](#ReturnsOrderWeight) differs from the [signature](#SalesDocumentWeight) in the following allowed ways:
+- Specialized binding parameter type from `Edm.EntityType` to a concrete entity type
+- Specialized return type from [`self.QuantityUnitType`](#QuantityUnitType) to [`self.ReturnsOrderWeightType`](#ReturnsOrderWeightType)
+  - Removed nullability of return type property `Unit`
+  - Additional return type property `PackagingWeight` (could be ignored by the client)
+
+
+## Functions
+
+<a name="SalesDocumentWeight"></a>
+### [*SalesDocumentWeight*](./Org.OData.Core.V1.IsSignature-vocabsample.xml#L23:~:text=<Function%20Name="-,SalesDocumentWeight,-")
+
+**Signature only:**
+Determines the total weight of the goods in a sales document
+
+Parameter|Type|Description
+:--------|:---|:----------
+**[SalesDocument](./Org.OData.Core.V1.IsSignature-vocabsample.xml#L26:~:text=<Function%20Name="-,SalesDocumentWeight,-")**|EntityType|**Binding parameter**
+[&rarr;](./Org.OData.Core.V1.IsSignature-vocabsample.xml#L27:~:text=<Function%20Name="-,SalesDocumentWeight,-")|[QuantityUnitType](#QuantityUnitType)|
+
+
+<a name="ReturnsOrderWeight"></a>
+### [ReturnsOrderWeight](./Org.OData.Core.V1.IsSignature-vocabsample.xml#L36:~:text=<Function%20Name="-,ReturnsOrderWeight,-")
+
+**Implements [SalesDocumentWeight](#SalesDocumentWeight)**
+
+
+Parameter|Type|Description
+:--------|:---|:----------
+**[SalesDocument](./Org.OData.Core.V1.IsSignature-vocabsample.xml#L38:~:text=<Function%20Name="-,ReturnsOrderWeight,-")**|[ReturnsOrderType](#ReturnsOrderType)|**Binding parameter**
+[&rarr;](./Org.OData.Core.V1.IsSignature-vocabsample.xml#L39:~:text=<Function%20Name="-,ReturnsOrderWeight,-")|[ReturnsOrderWeightType](#ReturnsOrderWeightType)|
+
+
+<a name="QuantityUnitType"></a>
+## [QuantityUnitType](./Org.OData.Core.V1.IsSignature-vocabsample.xml#L29:~:text=<ComplexType%20Name="-,QuantityUnitType,-")
+
+
+**Derived Types:**
+- [ReturnsOrderWeightType](#ReturnsOrderWeightType)
+
+Property|Type|Description
+:-------|:---|:----------
+[Quantity](./Org.OData.Core.V1.IsSignature-vocabsample.xml#L30:~:text=<ComplexType%20Name="-,QuantityUnitType,-")|Decimal|
+[Unit](./Org.OData.Core.V1.IsSignature-vocabsample.xml#L33:~:text=<ComplexType%20Name="-,QuantityUnitType,-")|String?|
+
+<a name="ReturnsOrderWeightType"></a>
+## [ReturnsOrderWeightType](./Org.OData.Core.V1.IsSignature-vocabsample.xml#L41:~:text=<ComplexType%20Name="-,ReturnsOrderWeightType,-"): [QuantityUnitType](#QuantityUnitType)
+
+
+Property|Type|Description
+:-------|:---|:----------
+[*Quantity*](./Org.OData.Core.V1.IsSignature-vocabsample.xml#L30:~:text=<ComplexType%20Name="-,QuantityUnitType,-")|Decimal|
+[Unit](./Org.OData.Core.V1.IsSignature-vocabsample.xml#L42:~:text=<ComplexType%20Name="-,ReturnsOrderWeightType,-")|String|
+[PackagingWeight](./Org.OData.Core.V1.IsSignature-vocabsample.xml#L43:~:text=<ComplexType%20Name="-,ReturnsOrderWeightType,-")|Decimal|

examples/Org.OData.Core.V1.IsSignature-vocabsample.xml

@@ -0,0 +1,50 @@
+<?xml version="1.0" encoding="utf-8"?>
+<edmx:Edmx Version="4.0" xmlns:edmx="http://docs.oasis-open.org/odata/ns/edmx">
+  <edmx:Reference Uri="https://oasis-tcs.github.io/odata-vocabularies/vocabularies/Org.OData.Core.V1.xml">
+    <edmx:Include Namespace="Org.OData.Core.V1" Alias="Core" />
+  </edmx:Reference>
+  <edmx:Reference Uri="https://oasis-tcs.github.io/odata-vocabularies/vocabularies/Org.OData.Measures.V1.xml">
+    <edmx:Include Namespace="Org.OData.Measures.V1" Alias="Measures" />
+  </edmx:Reference>
+  <edmx:Reference Uri="/SalesDocument.svc/$metadata">
+    <edmx:Include Namespace="SalesDocument" Alias="service" />
+  </edmx:Reference>
+  <edmx:DataServices>
+    <Schema Namespace="signature.sample" Alias="self" xmlns="http://docs.oasis-open.org/odata/ns/edm">
+
+      <Annotation Term="Core.LongDescription">
+        <String>The [implementation](#ReturnsOrderWeight) differs from the [signature](#SalesDocumentWeight) in the following allowed ways:
+- Specialized binding parameter type from `Edm.EntityType` to a concrete entity type
+- Specialized return type from [`self.QuantityUnitType`](#QuantityUnitType) to [`self.ReturnsOrderWeightType`](#ReturnsOrderWeightType)
+  - Removed nullability of return type property `Unit`
+  - Additional return type property `PackagingWeight` (could be ignored by the client)</String>
+      </Annotation>
+
+      <Function Name="SalesDocumentWeight" IsBound="true">
+        <Annotation Term="Core.IsSignature" />
+        <Annotation Term="Core.Description" String="Determines the total weight of the goods in a sales document" />
+        <Parameter Name="SalesDocument" Type="Edm.EntityType" Nullable="false" />
+        <ReturnType Type="self.QuantityUnitType" Nullable="false" />
+      </Function>
+      <ComplexType Name="QuantityUnitType">
+        <Property Name="Quantity" Type="Edm.Decimal" Nullable="false">
+          <Annotation Term="Measures.Unit" Path="Unit" />
+        </Property>
+        <Property Name="Unit" Type="Edm.String" Nullable="true" />
+      </ComplexType>
+
+      <Function Name="ReturnsOrderWeight" IsBound="true">
+        <Annotation Term="Core.ImplementsSignature" String="self.SalesDocumentWeight" />
+        <Parameter Name="SalesDocument" Type="service.ReturnsOrderType" Nullable="false" />
+        <ReturnType Type="self.ReturnsOrderWeightType" Nullable="false" />
+      </Function>
+      <ComplexType Name="ReturnsOrderWeightType" BaseType="self.QuantityUnitType">
+        <Property Name="Unit" Type="Edm.String" Nullable="false" />
+        <Property Name="PackagingWeight" Type="Edm.Decimal" Nullable="false">
+          <Annotation Term="Measures.Unit" Path="Unit" />
+        </Property>
+      </ComplexType>
+
+    </Schema>
+  </edmx:DataServices>
+</edmx:Edmx>