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_RC02

Assembly: AasCore.Aas3_0_RC02.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

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

IsXsDateTimeStampUtc(String)

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

Declaration

public static bool IsXsDateTimeStampUtc(string value)

Parameters

Type	Name	Description
System.String	value

Returns

Type	Description
System.Boolean

| Improve this Doc View Source

LangStringsHaveUniqueLanguages(IEnumerable<ILangString>)

Check that langStrings are specified each for a unique language.

Declaration

public static bool LangStringsHaveUniqueLanguages(IEnumerable<ILangString> langStrings)

Parameters

Type	Name	Description
System.Collections.Generic.IEnumerable<ILangString>	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

MatchesGlobalAssetIdLiterally(String)

Check that the text matches globalAssetId case-insensitive.

Declaration

public static bool MatchesGlobalAssetIdLiterally(string text)

Parameters

Type	Name	Description
System.String	text	which needs to match `globalAssetId` literally

Returns

Type	Description
System.Boolean	True if the `text` matches case-insensitive

Remarks

The case-insensitivity depends on the culture. For example in Turkish, uppercase "i" is "İ", not "I". We assume the culture to be English, and explicitly check for English case-folding.

| 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

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

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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-2/#dateTime

| Improve this Doc View Source

MatchesXsDateTimeStamp(String)

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

Declaration

public static bool MatchesXsDateTimeStamp(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/xmlschema11-2/#dateTimeStamp

| Improve this Doc View Source

MatchesXsDateTimeStampUtc(String)

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

Declaration

public static bool MatchesXsDateTimeStampUtc(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/xmlschema11-2/#dateTimeStamp

| Improve this Doc View Source

MatchesXsDayTimeDuration(String)

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

Declaration

public static bool MatchesXsDayTimeDuration(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/xmlschema11-2/#dayTimeDuration

| 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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-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/xmlschema11-2/#unsignedShort

| Improve this Doc View Source

MatchesXsYearMonthDuration(String)

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

Declaration

public static bool MatchesXsYearMonthDuration(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/xmlschema11-2/#yearMonthDuration

| 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

VerifyDateTimeStampUtc(String)

Verify the constraints of that.

Declaration

public static IEnumerable<Reporting.Error> VerifyDateTimeStampUtc(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

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

VerifyIdShort(String)

Verify the constraints of that.

Declaration

public static IEnumerable<Reporting.Error> VerifyIdShort(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

VerifyLevelType(LevelType)

Verify that that is a valid enumeration value.

Declaration

public static IEnumerable<Reporting.Error> VerifyLevelType(LevelType that)

Parameters

Type	Name	Description
LevelType	that

Returns

Type	Description
System.Collections.Generic.IEnumerable<Reporting.Error>

| Improve this Doc View Source

VerifyModelingKind(ModelingKind)

Verify that that is a valid enumeration value.

Declaration

public static IEnumerable<Reporting.Error> VerifyModelingKind(ModelingKind that)

Parameters

Type	Name	Description
ModelingKind	that

Returns

Type	Description
System.Collections.Generic.IEnumerable<Reporting.Error>

| Improve this Doc View Source

VerifyNonEmptyString(String)

Verify the constraints of that.

Declaration

public static IEnumerable<Reporting.Error> VerifyNonEmptyString(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

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>