Difference between revisions of "Core.Declarations.LocalDeclarations"

From emotive
Jump to navigation Jump to search
Line 1: Line 1:
{{DISPLAYTITLE:OTX '''Local Declarations''' data model}}[[Category:OTX-Core]][[Category:Declarations]]
+
{{DISPLAYTITLE:OTX '''Local Declarations'''}}[[Category:OTX Core]][[Category:Declarations]]
 
== Classification ==
 
== Classification ==
{{ClassificationCore | Local Declarations | OTX local declarations data model | [[OTX Core]] | - }}
+
{{ClassificationCore | Local Declarations | Local variables and constants | [[OtxReference|OTX Core]] | - }}
  
 
== Introduction ==
 
== Introduction ==
In the local declaration block:
+
The following elements can be declared in the local declaration block:
  
* Constant
+
* Constants
* Variable
+
* Variables
  
can be declared. The local declaration block is located on a procedure level. The declared items can be used within the procedure.
+
The local declaration block is located on a procedure level. The declared items can be used within the procedure.
  
 
== Semantics ==
 
== Semantics ==
 
=== Constant ===
 
=== Constant ===
The value of a local constant is set at design time and can not be changed at runtime. Local constants are visible only within its own procedure. A constant has a [[OtxDataTypes|Type]] and a corresponding type value.
+
The value of a local constant is set at design-time and can not be changed at runtime. Local constants are visible only within its own procedure. A constant has a [[OtxDataTypes|Type]] and a value corresponding to the type.
  
 
=== Variable ===
 
=== Variable ===
The value of a local variable can be changed at runtime. Local variables are visible only within its own procedure. A variable has a  [[OtxDataTypes|Type]] and a corresponding type the initial value (default value).
+
The value of a local variable can be changed at runtime. Local variables are visible only within its own procedure. A variable has a  [[OtxDataTypes|Type]] and an initial value (default value) corresponding to the type.
  
 
== Checker rules ==
 
== Checker rules ==
 
{| {{TableHeader}}
 
{| {{TableHeader}}
{{TableRowKeyValueList|[[CoreChk004|Core_Chk009]]|Mandatory constant initialisation}}
+
{{TableRowKeyValueList|[[CoreChk009|Core_Chk009]]|Mandatory constant initialisation}}
 +
{{TableRowKeyValueList|[[CoreChk051|Core_Chk051]]|Immutability of constants, input parameters and context variables}}
 +
{{TableRowKeyValueList|[[CoreChk052|Core_Chk052]]|Identifier shadowing }}
 
|}
 
|}
  

Revision as of 11:02, 10 September 2014

Classification

Name Local Declarations
Short Description Local variables and constants
Class OTX Core
Pre-Conditions -
Specified by ISO 13209-2

Introduction

The following elements can be declared in the local declaration block:

  • Constants
  • Variables

The local declaration block is located on a procedure level. The declared items can be used within the procedure.

Semantics

Constant

The value of a local constant is set at design-time and can not be changed at runtime. Local constants are visible only within its own procedure. A constant has a Type and a value corresponding to the type.

Variable

The value of a local variable can be changed at runtime. Local variables are visible only within its own procedure. A variable has a Type and an initial value (default value) corresponding to the type.

Checker rules

Core_Chk009 Mandatory constant initialisation
Core_Chk051 Immutability of constants, input parameters and context variables
Core_Chk052 Identifier shadowing

See also

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