OtxLink

From emotive
Jump to navigation Jump to search

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