OTX Signatures

From emotive
Jump to: navigation, search

Classification

Name Signatures
Short Description Interface description to another module
Class OTX Core
Pre-Conditions -
Specified by ISO 13209-2

Introduction

OTX signatures support the design by contract (DBC) concept, see Signature Concept. A signature is therefore a description of an interface to another module so that the user, who wants to use this module, needs to know nothing about the internal structure.

OTX allows different types of signatures:


See also

Validation (OTX-Checker)
​​Naming Conventions
Declarations
Visibilities
Imports
Validities
Parameter Declarations
Procedures
Comments