---

TempStmt.java

package edu.ksu.cis.bandera.bofa;

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
 * Bandera, a Java(TM) analysis and transformation toolkit           *
 * Copyright (C) 1999, 2000, 2001                                    *
 * Venkatesh Prasad Ranganath (rvprasad@cis.ksu.edu)                 *
 * All rights reserved.                                              *
 *                                                                   *
 * This work was done as a project in the SAnToS Laboratory,         *
 * Department of Computing and Information Sciences, Kansas State    *
 * University, USA (http://www.cis.ksu.edu/santos).                  *
 * It is understood that any modification not identified as such is  *
 * not covered by the preceding statement.                           *
 *                                                                   *
 * This work is free software; you can redistribute it and/or        *
 * modify it under the terms of the GNU Library General Public       *
 * License as published by the Free Software Foundation; either      *
 * version 2 of the License, or (at your option) any later version.  *
 *                                                                   *
 * This work 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 *
 * Library General Public License for more details.                  *
 *                                                                   *
 * You should have received a copy of the GNU Library General Public *
 * License along with this toolkit; if not, write to the             *
 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,      *
 * Boston, MA  02111-1307, USA.                                      *
 *                                                                   *
 * Java is a trademark of Sun Microsystems, Inc.                     *
 *                                                                   *
 * To submit a bug report, send a comment, or get the latest news on *
 * this project and other SAnToS projects, please visit the web-site *
 *                http://www.cis.ksu.edu/santos                      *
 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */

import ca.mcgill.sable.soot.*;
import ca.mcgill.sable.soot.jimple.*;
import ca.mcgill.sable.util.*;
import edu.ksu.cis.bandera.jjjc.CompilationManager;
import java.io.PrintWriter;
import org.apache.log4j.Category;

/**
 * A jimple statement walker.
 *
 * @author 
 * <a href="http://www.cis.ksu.edu/~rvprasad">Venkatesh Prasad Ranganath</a>
 * @version $Name:  $($Revision: 1.1.1.1 $)
 */
class TempStmt extends AbstractStmtSwitch
{
    /**
     * Method enclosing the statement being walked.
     *
     */
    private SootMethod sm;

    /**
     * Statement graph of the given statement list.
     *
     */
    private BriefStmtGraph bsg;

    /**
     * The expression walker.
     *
     */
    private TempExpr expr;

    /**
     * Provides logging facility through log4j.
     *
     */
    private Category cat;

    /**
     * Creates a new <code>TempStmt</code> instance.
     *
     * @param expr the expression walker.
     */
    TempStmt(TempExpr expr)
    {
        this.expr = expr;
        cat = Category.getInstance("edu.ksu.cis.bandera.bofa.TempStmt");
    }
    /**
     * Triggers the walk.
     *
     * @param v the statement to be walked.
     */
    void build(Stmt v)
    {
        v.apply(this);
    }
    /**
     * Handles the case when <code>caseAssignStmt</code>s are encountered.
     *
     * @param v object representing an assignment statement in Jimple.
     */
    public void caseAssignStmt(AssignStmt v)
    {
        cat.debug("Assignment: " + v + " | Class of LHS: " +
                  v.getLeftOp().getClass());
        expr.build(v.getLeftOp());
        expr.build(v.getRightOp());
        cat.debug("Leaving AssignStmt");
    }
    /**
     * Handles the case when <code>caseGotoStmt</code>s are encountered.
     *
     * @param v object representing a goto statement in Jimple.
     */
    public void caseGotoStmt(GotoStmt v)
    {
    }
    /**
     * Handles the case when <code>caseIdentityStmt</code>s are encountered.
     *
     * @param v object representing an identity statement in Jimple.
     */
    public void caseIdentityStmt(IdentityStmt v)
    {
        cat.debug("IdentityStmt: " + v);
        expr.build(v.getLeftOp());
        expr.build(v.getRightOp());
        cat.debug("Leaving IdentityStmt");
    }
    /**
     * Handles the case when <code>caseIfStmt</code>s are encountered.
     *
     * @param v object representing an if statement in Jimple.
     */
    public void caseIfStmt(IfStmt v)
    {
        cat.debug("IfStmt: " + v);
        expr.build(v.getCondition());
        cat.debug("Leaving IfStmt");
    }
    /**
     * Handles the case when <code>caseInvokeStmt</code>s are encountered.
     *
     * @param v object representing a case statement in Jimple.
     */
    public void caseInvokeStmt(InvokeStmt v)
    {
        cat.debug("InvokeStmt: " + v);
        expr.build(v.getInvokeExpr());
        cat.debug("Leaving InvokeStmt");

    }
    /**
     * Handles the case when <code>caseLookupSwitchStmt</code>s are encountered.
     *
     * @param v object representing a lookup switch statement in Jimple.
     */
    public void caseLookupSwitchStmt(LookupSwitchStmt v)
    {
    }
    /**
     * Handles the case when <code>caseReturnStmt</code>s are encountered.
     *
     * @param v object representing a return statement in Jimple.
     */
    public void caseReturnStmt(ReturnStmt v)
    {
        cat.debug("ReturnStmt: " + v);
        expr.build(v.getReturnValue());
        cat.debug("Leaving ReturnStmt");
    }
    /**
     * Handles the case when <code>caseTableSwitchStmt</code>s are encountered.
     *
     * @param v object representing a tabled switch statement in Jimple.
     */
    public void caseTableSwitchStmt(TableSwitchStmt v)
    {
    }
    /**
     * Handles statements which we do not intend to handle at this time.
     *
     * @param obj object representing entities we donot handle.
     */
    public void defaultCase(Object obj)
    {
    }
    /**
     * Initializes the object with a method and the statement list in the method
     * in which the statements that will be analyzed are present.
     *
     * @param sm the method enclosing the statements to be analyzed.
     * @param stmts the list of statements in the enclosing method.
     */
    void init(SootMethod sm, StmtList stmts)
    {
        this.sm = sm;
        this.bsg = new BriefStmtGraph(stmts);
        cat.debug("Reached: " + sm);
    }
}

---