Added by Mikhail Chupilko over 10 years ago. Updated over 10 years ago.
0%
Description
To make Cfg one needs some condition to be set for each branch of "if-else" construction. Why doesn't VeriTrans return the condition in "IfStatementBranch" in "onIfStatementBranchBegin"? It should be negation of the correspondent condition in "onIfStatementBegin".
The getExpression methods have been implemented for the following classes:
IfStatementBranch - returns the condition associated with the if-statement branch:| Construct | Condition |
if(EXPRESSION) then ... |
EXPRESSION |
if(EXPRESSION) ... else |
not (EXPRESSION) |
IfGenerateBranch - returns the condition associated with the if-generate branch:
IfStatementBranch.CaseStatementItem - returns the condition associated with the case-statement item:| Construct | Condition |
case(EXPRESSION) A: |
(EXPRESSION === A) |
case(EXPRESSION) A, B, ...: |
(EXPRESSION === A) or (EXPRESSION === B) or ... |
case(EXPRESSION) default: |
not (CONDITION 1 or CONDITION 2 or ...) |
CaseGenerateItem - returns the condition associated with the case-generate item:
CaseStatementItem.Here is an example:
@Override
public void onIfStatementBranchBegin(final IfStatementBranch node) {
// Get the branch condition.
final Expression condition = node.getExpression();
// Do what you need.
...
}