Core.Validation

From emotive
Jump to navigation Jump to search

Classification

Name Validation
Short Description OTX Validation data model
Class OTX Core
Pre-Conditions -
Specified by ISO 13209-2

Introduction

To ensure data security and data quality a two-step validation process is defined in OTX

  1. Validation against the XML schema
    • Review against defined in the XML Schema rules (syntax, cardinality ...)
    • The scope of the validation is always limited a single document
    • Dependencies between documents are not resolved
  2. Validation against the standardized checker rules
    • Is only performed if step 1 was successfully completed
    • The second stage is for the rules that can not be tested with the schema validation
    • Here are typically semantic rules defined (eg reviewing document cross-references)
ErrorListControl.png
Validation to ensure data safety and data quality (OTX-Checker)

If both steps successfully, a document is considered to be standards compliant!

The validation is:

  • During the development process
  • Before executing a OTX document

performed.

Checker rules

Core_Chk001 Name of OTX document does not match the file name
Core_Chk002 The same document name within the same package
Core_Chk003 Dead import link
Core_Chk004 Imported document is not used
Core_Chk005 Not defined import prefix
Core_Chk006 Non-identical version of OTX
Core_Chk007 Missing specification
Core_Chk008 The main procedure is not public
Core_Chk009 No initialization available
Core_Chk010 Non-unique name within the procedure
Core_Chk011 Disabled item
Core_Chk012 Unavailable items
Core_Chk013 False validity-referencing
Core_Chk014 Wrong type of Locator variable in ForEach
Core_Chk015 No parallel in parallel
Core_Chk016 Exception already exists
Core_Chk017 Missing exception declaration
Core_Chk018 Missing catch section
Core_Chk019 Wrong type of exception
Core_Chk020 Wrong target by continue
Core_Chk021 Wrong target of break
Core_Chk022 Wrong area for TerminateLanes
Core_Chk023 The variable and value data types do not match in the allocation
Core_Chk024 Invalid procedure call
Core_Chk025 Missing procedure implementation
Core_Chk026 Unreachable code
Core_Chk027 Parameters are not the signature
Core_Chk028 Missing implementation
Core_Chk029 Arguments are not the parameters
Core_Chk030 Missing initial value
Core_Chk031 Incorrect data type (ListConcatenate)
Core_Chk032 Incorrect data type (ListAppendItems)
Core_Chk033 Incorrect data type (ListInsertItems)
Core_Chk034 Declaration error (initial value)
Core_Chk035 Incorrect data type (list item)
Core_Chk036 Incorrect data type (ListLiteral and ListCreate)
Core_Chk037 Incorrect data type (literal)
Core_Chk038 Incorrect data type (MapPutItem)
Core_Chk039 Incorrect data type (MapRemoveItems)
Core_Chk040 Incorrect data type (MapContainsKey)
Core_Chk041 Incorrect data type (MapContainsValue)
Core_Chk042 Incorrect data type (MapUnion)
Core_Chk043 Non-unique key (MapLiteral)
Core_Chk044 Declaration error (initial value in the key)
Core_Chk045 Declaration error (initial value in the value)
Core_Chk046 Incorrect data type (MapLiteral and MapCreate)
Core_Chk047 Incorrect data type (map-initial value)
Core_Chk048 Incorrect data type (MapLiteral)
Core_Chk049 Incorrect data type (compare)
Core_Chk050 Incorrect data type (reference to variable or constant)
Core_Chk051 Allocation conflict (constants, input parameters, or context variables)
Core_Chk052 Name conflict
Core_Chk053 Invalid reference
Core_Chk054 Unused declarations
Core_Chk055 Unreachable nodes
Core_Chk056 No modification of collection inside foreach-loops
Core_Chk057 No use of init in catch header exception type definition
Core_Chk101 The 1st level packages are not unique in all projects and references

See also

​​Naming Conventions
Imports
Declarations
Validities
Signatures
Parameter Declarations
Procedures
Comments