OtxLink
Classification
Name | OtxLink |
Short Description | Represents restrictions on the syntax of names and references |
Class | OTX Core |
Pre-Conditions | - |
Specified by | ISO 13209-2 |
Introduction
The OtxLink is used for referring to the named entities (like signatures, procedures or validities as well as global and local declarations). The The OtxLink represents restrictions on the syntax of such names and references.
Semantics
The simple type OtxLink is derived from xsd:string. The type restricts the value space of xsd:string by a regular expression pattern "(_*[a-zA-Z][a-zA-Z0-9_]*:)?_*[a-zA-Z][a-zA-Z0-9_]*".
According to the pattern, the OtxLink syntax allows two ways of referring to a named entity, depending on whether the target entity is defined in the same document, or whether it is defined in an external document. In the first case the syntax equals the OtxName syntax. In the latter case the syntax equals "OtxName:OtxName": Here the first part shall be the name of the prefix assigned to the particular OTX document where the target entity is defined, the second part (after the colon) is the entity name itself.
Valid uses of this naming scheme allow document-internal references like e.g. "MyProcedure" or "x", but also cross-document references to entities defined in external documents like e.g. "sig:mySignature5" or "constants:PI".
Checker rules
Core_Chk005 | No use of undefined import prefixes |
Core_Chk053 | No dangling OtxLink associations |