OTX Reference  
OpenTestSystem.Otx.Core.Declarations.InParameterDeclaration Class Reference

Input parameter More...

Inheritance diagram for OpenTestSystem.Otx.Core.Declarations.InParameterDeclaration:
Inheritance graph

Additional Inherited Members

- Public Attributes inherited from OpenTestSystem.Otx.Core.Declarations.Declaration
DeclarationRealisation realisation
 For declarations at specification stage, having a name for the declaration is sufficient. For realisation stage, the declaration needs a data type assignment. The optional realisation element is used for exactly this task – it contains a dataType sub element. More...
 
- Public Attributes inherited from OpenTestSystem.Otx.Core.UniversalTypes.NamedAndSpecified
ExtensibleData[] extendedData
 Declares general data for NamedAndSpecified which can be extented by new general data defined in new OTX extensions using the standardised extension mechanism. For example it can be used to specify specification relevant content in a better structured way. More...
 
OtxId id
 Unique identifier of an element More...
 
MetaData metaData
 Additional tool-specific data More...
 
OtxName name
 Name of an element More...
 
NamedAndSpecifiedSpecification[] specification
 Descriptive specification More...
 

Detailed Description

Input parameter

Declares an input parameter of the Signature or Procedure. When calling a Signature or Procedure, an input argument may be omitted if and only if there's an initial value defined for the parameter. This initial value will apply in place of the missing argument. Input parameters will be treated as constants – the value is not allowed to change throughout Procedure execution.

Checker rules
CheckerRule.Core_Chk051 - Immutability of constants, input parameters and context variables
CheckerRule.Core_Chk030 - Input- and in/output-argument omission CheckerRule.Core_Chk052 - Identifier shadowing