OtxName

From emotive
Jump to navigation Jump to search

Classification

Name OtxName
Short Description Represents restrictions on the syntax of names and references
Class OTX Core
Pre-Conditions -
Specified by ISO 13209-2

Introduction

The OtxName is used for naming entities like signatures, procedures or validities as well as global and local declarations. The OtxName represents restrictions on the syntax of such names and references.

Semantics

The simple type OtxName 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_]*".

As a consequence, an OtxName has to start with a letter (optionally preceded by any number of underscore characters); all following characters have to be alphanumeric. This guarantees and enforces a uniform naming scheme to which OTX authors shall obey.

Valid uses of this naming scheme allow identifiers like e.g. "MyProcedure", "__validity10", "PI" or "_y2", whereas invalid uses are e.g. "9x", "___" or just the empty string.