Difference between revisions of "Core.Declarations.LocalDeclarations"

From emotive
Jump to navigation Jump to search
Line 20: Line 20:
 
== Checker rules ==
 
== Checker rules ==
 
{| {{TableHeader}}
 
{| {{TableHeader}}
{{TableRowKeyValueList|[[CoreChk009|Core_Chk009]]|Mandatory constant initialisation}}
+
{{TableRowKeyValueList|[[Core.Validation.CoreChk009|Core_Chk009]]|Mandatory constant initialisation}}
{{TableRowKeyValueList|[[CoreChk051|Core_Chk051]]|Immutability of constants, input parameters and context variables}}
+
{{TableRowKeyValueList|[[Core.Validation.CoreChk051|Core_Chk051]]|Immutability of constants, input parameters and context variables}}
{{TableRowKeyValueList|[[CoreChk052|Core_Chk052]]|Identifier shadowing }}
+
{{TableRowKeyValueList|[[Core.Validation.CoreChk052|Core_Chk052]]|Identifier shadowing }}
 
|}
 
|}
  

Revision as of 10:20, 4 February 2016

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