Analyzation Library Documentation¶

Company:: System
Title:: Analyzation
Version:: 4.5.0.0
Categories:: Intern|SFC
Namespace:: Analyzation
Author:: CODESYS Development GmbH
Placeholder:: Analyzation

Description [1]¶

Analysis of expressions with the Analyzation library¶

This library provides modules for the analysis of expressions. If a composed expression is FALSE, those of its components can be evaluated which are adding to this result. In the SFC-Editor the flag SFCErrorAnalyzationTable uses this function implicitely for the analysis of expressions in transitions.

Example of an expression:¶

b OR NOT(y < x) OR NOT (NOT d AND e)

The functions:¶

The following variables are used by all modules:

InputExpr: BOOL, expression to be analysed

DoAnalyze: BOOL, TRUE starts analysis

ExpResult: BOOL, current value of the expression

Result of the analyzation:¶

AnalyzeExpression returns in a string the components of the expression, which are adding to the total value FALSE.

OutString: STRING, Result of the analysis, Sequence of the concerned components of the expression (e.g. y < x | d)

AnalyseExpressionTable writes the components of the expression, which are adding to the total value FALSE, to an array. For each component the following information is provided by structure ExpressionResult: name, address, comment, (current)value.

OutTable: ARRAY [0..15] OF ExpressionResult;

e.g..

Figure 1: SFC settings

Figure 2: SFC analyzation example

AnalyseExpressionCombined combines the functionalities of AnalyzeExpression plus AnalyseExpressionTable