Class Verification

Verify that the instances of the meta-model satisfy the invariants.

Inheritance
System.Object
Verification
Inherited Members
System.Object.Equals(System.Object)
System.Object.Equals(System.Object, System.Object)
System.Object.GetHashCode()
System.Object.GetType()
System.Object.MemberwiseClone()
System.Object.ReferenceEquals(System.Object, System.Object)
System.Object.ToString()
Namespace: AasCore.Aas3_0
Assembly: AasCore.Aas3_0.dll
Syntax
public static class Verification
Examples

Here is an example how to verify an instance of IHasSemantics:

var anInstance = new Aas.IHasSemantics(
    // ... some constructor arguments ...
);
foreach (var error in Verification.Verify(anInstance))
{
    System.Console.Writeln(
        $"{error.Cause} at: " +
        Reporting.GenerateJsonPath(error.PathSegments));
}

Methods

| Improve this Doc View Source

DataSpecificationIec61360sForDocumentHaveAppropriateDataType(IEnumerable<IEmbeddedDataSpecification>)

Check that the DataType is defined appropriately for all data specifications whose content is given as IEC 61360.

Declaration
public static bool DataSpecificationIec61360sForDocumentHaveAppropriateDataType(IEnumerable<IEmbeddedDataSpecification> embeddedDataSpecifications)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<IEmbeddedDataSpecification> embeddedDataSpecifications
Returns
Type Description
System.Boolean
| Improve this Doc View Source

DataSpecificationIec61360sForPropertyOrValueHaveAppropriateDataType(IEnumerable<IEmbeddedDataSpecification>)

Check that the DataType is defined appropriately for all data specifications whose content is given as IEC 61360.

Declaration
public static bool DataSpecificationIec61360sForPropertyOrValueHaveAppropriateDataType(IEnumerable<IEmbeddedDataSpecification> embeddedDataSpecifications)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<IEmbeddedDataSpecification> embeddedDataSpecifications
Returns
Type Description
System.Boolean
| Improve this Doc View Source

DataSpecificationIec61360sForReferenceHaveAppropriateDataType(IEnumerable<IEmbeddedDataSpecification>)

Check that the DataType is defined appropriately for all data specifications whose content is given as IEC 61360.

Declaration
public static bool DataSpecificationIec61360sForReferenceHaveAppropriateDataType(IEnumerable<IEmbeddedDataSpecification> embeddedDataSpecifications)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<IEmbeddedDataSpecification> embeddedDataSpecifications
Returns
Type Description
System.Boolean
| Improve this Doc View Source

DataSpecificationIec61360sHaveDataType(IEnumerable<IEmbeddedDataSpecification>)

Check that the DataType is defined for all data specifications whose content is given as IEC 61360.

Declaration
public static bool DataSpecificationIec61360sHaveDataType(IEnumerable<IEmbeddedDataSpecification> embeddedDataSpecifications)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<IEmbeddedDataSpecification> embeddedDataSpecifications
Returns
Type Description
System.Boolean
| Improve this Doc View Source

DataSpecificationIec61360sHaveDefinitionAtLeastInEnglish(IEnumerable<IEmbeddedDataSpecification>)

Check that the Definition is defined for all data specifications whose content is given as IEC 61360 at least in English.

Declaration
public static bool DataSpecificationIec61360sHaveDefinitionAtLeastInEnglish(IEnumerable<IEmbeddedDataSpecification> embeddedDataSpecifications)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<IEmbeddedDataSpecification> embeddedDataSpecifications
Returns
Type Description
System.Boolean
| Improve this Doc View Source

DataSpecificationIec61360sHaveValue(IEnumerable<IEmbeddedDataSpecification>)

Check that the Value is defined for all data specifications whose content is given as IEC 61360.

Declaration
public static bool DataSpecificationIec61360sHaveValue(IEnumerable<IEmbeddedDataSpecification> embeddedDataSpecifications)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<IEmbeddedDataSpecification> embeddedDataSpecifications
Returns
Type Description
System.Boolean
| Improve this Doc View Source

ExtensionNamesAreUnique(IEnumerable<IExtension>)

Check that all Name are unique among extensions.

Declaration
public static bool ExtensionNamesAreUnique(IEnumerable<IExtension> extensions)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<IExtension> extensions
Returns
Type Description
System.Boolean
| Improve this Doc View Source

IdShortsAreUnique(IEnumerable<IReferable>)

Check that all IdShort are unique among referables.

Declaration
public static bool IdShortsAreUnique(IEnumerable<IReferable> referables)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<IReferable> referables
Returns
Type Description
System.Boolean
| Improve this Doc View Source

IdShortsOfVariablesAreUnique(IEnumerable<IOperationVariable>, IEnumerable<IOperationVariable>, IEnumerable<IOperationVariable>)

Check that all IdShort's are among all the inputVariables, outputVariables and inoutputVariables are unique.

Declaration
public static bool IdShortsOfVariablesAreUnique(IEnumerable<IOperationVariable> inputVariables, IEnumerable<IOperationVariable> outputVariables, IEnumerable<IOperationVariable> inoutputVariables)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<IOperationVariable> inputVariables
System.Collections.Generic.IEnumerable<IOperationVariable> outputVariables
System.Collections.Generic.IEnumerable<IOperationVariable> inoutputVariables
Returns
Type Description
System.Boolean
| Improve this Doc View Source

IsBcp47ForEnglish(String)

Check that the text corresponds to a BCP47 code for english.

Declaration
public static bool IsBcp47ForEnglish(string text)
Parameters
Type Name Description
System.String text
Returns
Type Description
System.Boolean
| Improve this Doc View Source

IsLeapYear(BigInteger)

Check whether the given year is a leap year.

Declaration
public static bool IsLeapYear(BigInteger year)
Parameters
Type Name Description
System.Numerics.BigInteger year

to be checked
Returns
Type Description
System.Boolean

True if year is a leap year
Remarks

Year 1 BCE is a leap year.

| Improve this Doc View Source

IsModelReferenceTo(IReference, KeyTypes)

Check that the target of the model reference matches the expectedType.

Declaration
public static bool IsModelReferenceTo(IReference reference, KeyTypes expectedType)
Parameters
Type Name Description
IReference reference
KeyTypes expectedType
Returns
Type Description
System.Boolean
| Improve this Doc View Source

IsModelReferenceToReferable(IReference)

Check that the target of the reference matches a AasReferables.

Declaration
public static bool IsModelReferenceToReferable(IReference reference)
Parameters
Type Name Description
IReference reference
Returns
Type Description
System.Boolean
| Improve this Doc View Source

IsXsDateTime(String)

Check that value is a xs:dateTime with the time zone set to UTC.

Declaration
public static bool IsXsDateTime(string value)
Parameters
Type Name Description
System.String value
Returns
Type Description
System.Boolean
| Improve this Doc View Source

IsXsDateTimeUtc(String)

Check that value is a xs:dateTime with the time zone set to UTC.

Declaration
public static bool IsXsDateTimeUtc(string value)
Parameters
Type Name Description
System.String value
Returns
Type Description
System.Boolean
| Improve this Doc View Source

LangStringsHaveUniqueLanguages(IEnumerable<IAbstractLangString>)

Check that langStrings are specified each for a unique language.

Declaration
public static bool LangStringsHaveUniqueLanguages(IEnumerable<IAbstractLangString> langStrings)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<IAbstractLangString> langStrings
Returns
Type Description
System.Boolean
| Improve this Doc View Source

MatchesBcp47(String)

Check that text is a valid BCP 47 language tag.

Declaration
public static bool MatchesBcp47(string text)
Parameters
Type Name Description
System.String text
Returns
Type Description
System.Boolean
Remarks

See: https://en.wikipedia.org/wiki/IETF_language_tag

| Improve this Doc View Source

MatchesIdShort(String)

Check that text is a valid short ID.

Declaration
public static bool MatchesIdShort(string text)
Parameters
Type Name Description
System.String text
Returns
Type Description
System.Boolean
| Improve this Doc View Source

MatchesMimeType(String)

Check that text conforms to the pattern of MIME type.

Declaration
public static bool MatchesMimeType(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

The definition has been taken from: https://www.rfc-editor.org/rfc/rfc7231#section-3.1.1.1, https://www.rfc-editor.org/rfc/rfc7230#section-3.2.3 and https://www.rfc-editor.org/rfc/rfc7230#section-3.2.6.

| Improve this Doc View Source

MatchesRevisionType(String)

Check that text is a valid revision string.

Declaration
public static bool MatchesRevisionType(string text)
Parameters
Type Name Description
System.String text
Returns
Type Description
System.Boolean
| Improve this Doc View Source

MatchesRfc8089Path(String)

Check that text is a path conforming to the pattern of RFC 8089.

Declaration
public static bool MatchesRfc8089Path(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

The definition has been taken from: https://datatracker.ietf.org/doc/html/rfc8089

| Improve this Doc View Source

MatchesVersionType(String)

Check that text is a valid version string.

Declaration
public static bool MatchesVersionType(string text)
Parameters
Type Name Description
System.String text
Returns
Type Description
System.Boolean
| Improve this Doc View Source

MatchesXmlSerializableString(String)

Check that text conforms to the pattern of the Constraint AASd-130.

Declaration
public static bool MatchesXmlSerializableString(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

Ensures that encoding is possible and interoperability between different serializations is possible.

| Improve this Doc View Source

MatchesXsAnyUri(String)

Check that text conforms to the pattern of an xs:anyURI.

Declaration
public static bool MatchesXsAnyUri(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#anyURI and https://datatracker.ietf.org/doc/html/rfc3987

| Improve this Doc View Source

MatchesXsBase64Binary(String)

Check that text conforms to the pattern of an xs:base64Binary.

Declaration
public static bool MatchesXsBase64Binary(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#base64Binary

| Improve this Doc View Source

MatchesXsBoolean(String)

Check that text conforms to the pattern of an xs:boolean.

Declaration
public static bool MatchesXsBoolean(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#boolean

| Improve this Doc View Source

MatchesXsByte(String)

Check that text conforms to the pattern of an xs:byte.

Declaration
public static bool MatchesXsByte(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#byte

| Improve this Doc View Source

MatchesXsDate(String)

Check that text conforms to the pattern of an xs:date.

Declaration
public static bool MatchesXsDate(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#date

| Improve this Doc View Source

MatchesXsDateTime(String)

Check that text conforms to the pattern of an xs:dateTime.

Declaration
public static bool MatchesXsDateTime(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#dateTime

| Improve this Doc View Source

MatchesXsDateTimeUtc(String)

Check that text conforms to the pattern of an xs:dateTime.

Declaration
public static bool MatchesXsDateTimeUtc(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

The time zone must be fixed to UTC. We verify only that the text matches a pre-defined pattern. We do not verify that the day of month is correct nor do we check for leap seconds.

See: https://www.w3.org/TR/xmlschema-2/#dateTime

| Improve this Doc View Source

MatchesXsDecimal(String)

Check that text conforms to the pattern of an xs:decimal.

Declaration
public static bool MatchesXsDecimal(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#decimal

| Improve this Doc View Source

MatchesXsDouble(String)

Check that text conforms to the pattern of an xs:double.

Declaration
public static bool MatchesXsDouble(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#double

| Improve this Doc View Source

MatchesXsDuration(String)

Check that text conforms to the pattern of an xs:duration.

Declaration
public static bool MatchesXsDuration(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#duration

| Improve this Doc View Source

MatchesXsFloat(String)

Check that text conforms to the pattern of an xs:float.

Declaration
public static bool MatchesXsFloat(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#float

| Improve this Doc View Source

MatchesXsGDay(String)

Check that text conforms to the pattern of an xs:gDay.

Declaration
public static bool MatchesXsGDay(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#gDay

| Improve this Doc View Source

MatchesXsGMonth(String)

Check that text conforms to the pattern of an xs:gMonth.

Declaration
public static bool MatchesXsGMonth(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#gMonth

| Improve this Doc View Source

MatchesXsGMonthDay(String)

Check that text conforms to the pattern of an xs:gMonthDay.

Declaration
public static bool MatchesXsGMonthDay(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#gMonthDay

| Improve this Doc View Source

MatchesXsGYear(String)

Check that text conforms to the pattern of an xs:gYear.

Declaration
public static bool MatchesXsGYear(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#gYear

| Improve this Doc View Source

MatchesXsGYearMonth(String)

Check that text conforms to the pattern of an xs:gYearMonth.

Declaration
public static bool MatchesXsGYearMonth(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#gYearMonth

| Improve this Doc View Source

MatchesXsHexBinary(String)

Check that text conforms to the pattern of an xs:hexBinary.

Declaration
public static bool MatchesXsHexBinary(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#hexBinary

| Improve this Doc View Source

MatchesXsInt(String)

Check that text conforms to the pattern of an xs:int.

Declaration
public static bool MatchesXsInt(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#int

| Improve this Doc View Source

MatchesXsInteger(String)

Check that text conforms to the pattern of an xs:integer.

Declaration
public static bool MatchesXsInteger(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#integer

| Improve this Doc View Source

MatchesXsLong(String)

Check that text conforms to the pattern of an xs:long.

Declaration
public static bool MatchesXsLong(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#long

| Improve this Doc View Source

MatchesXsNegativeInteger(String)

Check that text conforms to the pattern of an xs:negativeInteger.

Declaration
public static bool MatchesXsNegativeInteger(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#negativeInteger

| Improve this Doc View Source

MatchesXsNonNegativeInteger(String)

Check that text conforms to the pattern of an xs:nonNegativeInteger.

Declaration
public static bool MatchesXsNonNegativeInteger(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#nonNegativeInteger

| Improve this Doc View Source

MatchesXsNonPositiveInteger(String)

Check that text conforms to the pattern of an xs:nonPositiveInteger.

Declaration
public static bool MatchesXsNonPositiveInteger(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#nonPositiveInteger

| Improve this Doc View Source

MatchesXsPositiveInteger(String)

Check that text conforms to the pattern of an xs:positiveInteger.

Declaration
public static bool MatchesXsPositiveInteger(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#positiveInteger

| Improve this Doc View Source

MatchesXsShort(String)

Check that text conforms to the pattern of an xs:short.

Declaration
public static bool MatchesXsShort(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#short

| Improve this Doc View Source

MatchesXsString(String)

Check that text conforms to the pattern of an xs:string.

Declaration
public static bool MatchesXsString(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#string

| Improve this Doc View Source

MatchesXsTime(String)

Check that text conforms to the pattern of an xs:time.

Declaration
public static bool MatchesXsTime(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#time

| Improve this Doc View Source

MatchesXsUnsignedByte(String)

Check that text conforms to the pattern of an xs:unsignedByte.

Declaration
public static bool MatchesXsUnsignedByte(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#unsignedByte

| Improve this Doc View Source

MatchesXsUnsignedInt(String)

Check that text conforms to the pattern of an xs:unsignedInt.

Declaration
public static bool MatchesXsUnsignedInt(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#unsignedInt

| Improve this Doc View Source

MatchesXsUnsignedLong(String)

Check that text conforms to the pattern of an xs:unsignedLong.

Declaration
public static bool MatchesXsUnsignedLong(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#unsignedLong

| Improve this Doc View Source

MatchesXsUnsignedShort(String)

Check that text conforms to the pattern of an xs:unsignedShort.

Declaration
public static bool MatchesXsUnsignedShort(string text)
Parameters
Type Name Description
System.String text

Text to be checked
Returns
Type Description
System.Boolean

True if the text conforms to the pattern
Remarks

See: https://www.w3.org/TR/xmlschema-2/#unsignedShort

| Improve this Doc View Source

PropertiesOrRangesHaveValueType(IEnumerable<ISubmodelElement>, Nullable<DataTypeDefXsd>)

Check that the elements which are IProperty or IRange have the given valueType.

Declaration
public static bool PropertiesOrRangesHaveValueType(IEnumerable<ISubmodelElement> elements, DataTypeDefXsd? valueType)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<ISubmodelElement> elements
System.Nullable<DataTypeDefXsd> valueType
Returns
Type Description
System.Boolean
Remarks

We have to use nullable valueType since the compiler does not really handle nullable C# value types.

See https://endjin.com/blog/2022/02/csharp-10-generics-nullable-references-improvements-allownull

| Improve this Doc View Source

QualifierTypesAreUnique(IEnumerable<IQualifier>)

Check that there are no duplicate Type's in the qualifiers.

Declaration
public static bool QualifierTypesAreUnique(IEnumerable<IQualifier> qualifiers)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<IQualifier> qualifiers
Returns
Type Description
System.Boolean
| Improve this Doc View Source

ReferenceKeyValuesEqual(IReference, IReference)

Check that the two references, that and other, are equal by comparing their Keys by Value's.

Declaration
public static bool ReferenceKeyValuesEqual(IReference that, IReference other)
Parameters
Type Name Description
IReference that
IReference other
Returns
Type Description
System.Boolean
| Improve this Doc View Source

SubmodelElementIsOfType(ISubmodelElement, AasSubmodelElements)

Declaration
public static bool SubmodelElementIsOfType(ISubmodelElement element, AasSubmodelElements expectedType)
Parameters
Type Name Description
ISubmodelElement element
AasSubmodelElements expectedType
Returns
Type Description
System.Boolean
| Improve this Doc View Source

SubmodelElementsHaveIdenticalSemanticIds(IEnumerable<ISubmodelElement>)

Check that all elements have the identical SemanticId's.

Declaration
public static bool SubmodelElementsHaveIdenticalSemanticIds(IEnumerable<ISubmodelElement> elements)
Parameters
Type Name Description
System.Collections.Generic.IEnumerable<ISubmodelElement> elements
Returns
Type Description
System.Boolean
| Improve this Doc View Source

ValueConsistentWithXsdType(String, DataTypeDefXsd)

Check that the value is consistent with the given valueType.

Declaration
public static bool ValueConsistentWithXsdType(string value, DataTypeDefXsd valueType)
Parameters
Type Name Description
System.String value
DataTypeDefXsd valueType
Returns
Type Description
System.Boolean
| Improve this Doc View Source

Verify(IClass)

Verify the constraints of that recursively.

Declaration
public static IEnumerable<Reporting.Error> Verify(IClass that)
Parameters
Type Name Description
IClass that

The instance of the meta-model to be verified
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyAasSubmodelElements(AasSubmodelElements)

Verify that that is a valid enumeration value.

Declaration
public static IEnumerable<Reporting.Error> VerifyAasSubmodelElements(AasSubmodelElements that)
Parameters
Type Name Description
AasSubmodelElements that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyAssetKind(AssetKind)

Verify that that is a valid enumeration value.

Declaration
public static IEnumerable<Reporting.Error> VerifyAssetKind(AssetKind that)
Parameters
Type Name Description
AssetKind that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyBcp47LanguageTag(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyBcp47LanguageTag(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyBlobType(Byte[])

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyBlobType(byte[] that)
Parameters
Type Name Description
System.Byte[] that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyContentType(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyContentType(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyDataTypeDefXsd(DataTypeDefXsd)

Verify that that is a valid enumeration value.

Declaration
public static IEnumerable<Reporting.Error> VerifyDataTypeDefXsd(DataTypeDefXsd that)
Parameters
Type Name Description
DataTypeDefXsd that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyDataTypeIec61360(DataTypeIec61360)

Verify that that is a valid enumeration value.

Declaration
public static IEnumerable<Reporting.Error> VerifyDataTypeIec61360(DataTypeIec61360 that)
Parameters
Type Name Description
DataTypeIec61360 that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyDateTimeUtc(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyDateTimeUtc(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyDirection(Direction)

Verify that that is a valid enumeration value.

Declaration
public static IEnumerable<Reporting.Error> VerifyDirection(Direction that)
Parameters
Type Name Description
Direction that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyDuration(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyDuration(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyEntityType(EntityType)

Verify that that is a valid enumeration value.

Declaration
public static IEnumerable<Reporting.Error> VerifyEntityType(EntityType that)
Parameters
Type Name Description
EntityType that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyIdentifier(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyIdentifier(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyIdShortType(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyIdShortType(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyKeyTypes(KeyTypes)

Verify that that is a valid enumeration value.

Declaration
public static IEnumerable<Reporting.Error> VerifyKeyTypes(KeyTypes that)
Parameters
Type Name Description
KeyTypes that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyLabelType(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyLabelType(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyMessageTopicType(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyMessageTopicType(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyModellingKind(ModellingKind)

Verify that that is a valid enumeration value.

Declaration
public static IEnumerable<Reporting.Error> VerifyModellingKind(ModellingKind that)
Parameters
Type Name Description
ModellingKind that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyNameType(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyNameType(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyNonEmptyXmlSerializableString(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyNonEmptyXmlSerializableString(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyPathType(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyPathType(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyQualifierKind(QualifierKind)

Verify that that is a valid enumeration value.

Declaration
public static IEnumerable<Reporting.Error> VerifyQualifierKind(QualifierKind that)
Parameters
Type Name Description
QualifierKind that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyQualifierType(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyQualifierType(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyReferenceTypes(ReferenceTypes)

Verify that that is a valid enumeration value.

Declaration
public static IEnumerable<Reporting.Error> VerifyReferenceTypes(ReferenceTypes that)
Parameters
Type Name Description
ReferenceTypes that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyRevisionType(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyRevisionType(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyStateOfEvent(StateOfEvent)

Verify that that is a valid enumeration value.

Declaration
public static IEnumerable<Reporting.Error> VerifyStateOfEvent(StateOfEvent that)
Parameters
Type Name Description
StateOfEvent that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyValueDataType(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyValueDataType(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyValueTypeIec61360(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyValueTypeIec61360(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyVersionType(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyVersionType(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>
| Improve this Doc View Source

VerifyXmlSerializableString(String)

Verify the constraints of that.

Declaration
public static IEnumerable<Reporting.Error> VerifyXmlSerializableString(string that)
Parameters
Type Name Description
System.String that
Returns
Type Description
System.Collections.Generic.IEnumerable<Reporting.Error>