ExpressionText Function
Relevance:
Variable occurrences within this function do not contribute towards the overall relevance of those variables.
Consequently, such variables must occur in at least one other context for them to be considered relevant.
Description 1 of 2 (the serialisation text of an expression):
The serialisation text of an expression.
note
This function is always evaluable even if the expression is non-evaluable.
Returns:
Text
Parameter:
Parameter | Data Type | Description |
|---|---|---|
1 | Any | The expression. |
Examples:
Expression | Result |
|---|---|
ExpressionText( A or not(B) ) where A and B are unknown variables | "A or not(B)" |
ExpressionText( A or not(B) ) where A is false and B is unknown | "not B" |
ExpressionText( A or not(B) ) where A is true | "true" |
Description 2 of 2 (the serialisation text of an expression):
The serialisation text of an expression, transformed into disjunctive-normal-form or not, and with or without adding line-breaks at the locations:
- IfBefore
- IfAfter
- ThenBefore
- ThenAfter
- ElseBefore
- ElseAfter
- OrBefore
- OrAfter
- AndBefore
- AndAfter
- NotBefore
- NotAfter
note
This function is always evaluable even if the expression is non-evaluable.
Returns:
Text
Parameters:
Parameter | Data Type | Description |
|---|---|---|
1 | Any | The expression. |
2 | Boolean | Transform the expression into disjunctive-normal-form. |
3 | Text* | The list of line-break locations. |
Examples:
Expression | Result |
|---|---|
ExpressionText( if A then B else if C then D else E, false, List() ) where all variables are unknow n | "if A then B else if C then D else E" |
ExpressionText( if A then B else if C then D else E, false, List("ThenBefore","ElseBefore") ) where all variables are unknown | "if A^Lthen B^Lelse if C^Lthen D^Lelse E" |
ExpressionText( ((A and B) or (C and D)), true, List("OrBefore","OrAfter") ) where all variables are unknown | "A and C^L or ^LA and D^L or ^LB and C^L or ^LB and D" |