Core.Declarations.LocalDeclarations

From emotive
Jump to navigation Jump to search

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