soot.dava.toolkits.base.AST.transformations.OrAggregatorOne Maven / Gradle / Ivy
package soot.dava.toolkits.base.AST.transformations;
/*-
* #%L
* Soot - a J*va Optimization Framework
* %%
* Copyright (C) 2005 Nomair A. Naeem
* %%
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as
* published by the Free Software Foundation, either version 2.1 of the
* License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Lesser Public License for more details.
*
* You should have received a copy of the GNU General Lesser Public
* License along with this program. If not, see
* .
* #L%
*/
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;
import soot.G;
import soot.dava.internal.AST.ASTCondition;
import soot.dava.internal.AST.ASTIfNode;
import soot.dava.internal.AST.ASTLabeledBlockNode;
import soot.dava.internal.AST.ASTNode;
import soot.dava.internal.AST.ASTOrCondition;
import soot.dava.internal.AST.ASTStatementSequenceNode;
import soot.dava.internal.SET.SETNodeLabel;
import soot.dava.internal.asg.AugmentedStmt;
import soot.dava.internal.javaRep.DAbruptStmt;
import soot.dava.toolkits.base.AST.analysis.DepthFirstAdapter;
import soot.jimple.Stmt;
/*
Nomair A. Naeem 18-FEB-2005
The class is responsible to do the following transformation on the AST
label_1:{ label_1:{
label_0:{ if(cond1 || cond2){
if(cond1){ Body1
break label_0; }
} }
if(!cond2){ Body2
break label_1; ------>
} Cant remove label_1 as Body 1
}//end of label_0 might have reference to it
Body1 can however set some flag if we are
}//end of label_1 sure that label_1 is not broken
Body2 and later removed
TO MAKE CODE EFFECIENT BLOCK THE ANALYSIS TO GOING INTO STATEMENTS
this is done by overriding the caseASTStatementSequenceNode
*/
public class OrAggregatorOne extends DepthFirstAdapter {
public OrAggregatorOne() {
}
public OrAggregatorOne(boolean verbose) {
super(verbose);
}
public void caseASTStatementSequenceNode(ASTStatementSequenceNode node) {
}
public void outASTLabeledBlockNode(ASTLabeledBlockNode node) {
String outerLabel = node.get_Label().toString();
if (outerLabel == null) {
return;
}
String innerLabel = null;
ASTLabeledBlockNode secondLabeledBlockNode = isLabelWithinLabel(node);
if (secondLabeledBlockNode == null) {
// node doesnt have an immediate label following it
return;
}
// store the labelname
innerLabel = secondLabeledBlockNode.get_Label().toString();
if (innerLabel == null) {
// empty or marked for deletion
return;
}
List secondLabelsBodies = getSecondLabeledBlockBodies(secondLabeledBlockNode);
boolean allIfs = checkAllAreIfsWithProperBreaks(secondLabelsBodies.iterator(), outerLabel, innerLabel);
if (!allIfs) {
// pattern doesnt match
return;
}
// the pattern has been matched do the transformation
// Create a list of conditions to be Ored together
// remembering that the last ones condition is to be flipped
List conditions = getConditions(secondLabelsBodies.iterator());
// create an aggregated condition
Iterator condIt = conditions.iterator();
ASTCondition newCond = null;
;
while (condIt.hasNext()) {
ASTCondition next = condIt.next();
if (newCond == null) {
newCond = next;
} else {
newCond = new ASTOrCondition(newCond, next);
}
}
// will contain the Body of the ASTIfNode
List