System
Analyzation
4.1.0.0
Intern|SFC
Analyzation
3S-Smart Software Solutions
Analyzation
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.
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
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