Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

SimpleLiveLocals.java

00001 package ca.mcgill.sable.soot.jimple;
00002 
00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
00004  * Jimple, a 3-address code Java(TM) bytecode representation.        *
00005  * Copyright (C) 1997, 1998 Raja Vallee-Rai (kor@sable.mcgill.ca)    *
00006  * All rights reserved.                                              *
00007  *                                                                   *
00008  * This work was done as a project of the Sable Research Group,      *
00009  * School of Computer Science, McGill University, Canada             *
00010  * (http://www.sable.mcgill.ca/).  It is understood that any         *
00011  * modification not identified as such is not covered by the         *
00012  * preceding statement.                                              *
00013  *                                                                   *
00014  * This work is free software; you can redistribute it and/or        *
00015  * modify it under the terms of the GNU Library General Public       *
00016  * License as published by the Free Software Foundation; either      *
00017  * version 2 of the License, or (at your option) any later version.  *
00018  *                                                                   *
00019  * This work is distributed in the hope that it will be useful,      *
00020  * but WITHOUT ANY WARRANTY; without even the implied warranty of    *
00021  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU *
00022  * Library General Public License for more details.                  *
00023  *                                                                   *
00024  * You should have received a copy of the GNU Library General Public *
00025  * License along with this library; if not, write to the             *
00026  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,      *
00027  * Boston, MA  02111-1307, USA.                                      *
00028  *                                                                   *
00029  * Java is a trademark of Sun Microsystems, Inc.                     *
00030  *                                                                   *
00031  * To submit a bug report, send a comment, or get the latest news on *
00032  * this project and other Sable Research Group projects, please      *
00033  * visit the web site: http://www.sable.mcgill.ca/                   *
00034  * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
00035 
00036 /*
00037  Reference Version
00038  -----------------
00039  This is the latest official version on which this file is based.
00040  The reference version is: $SootVersion: 1.beta.4 $
00041 
00042  Change History
00043  --------------
00044  A) Notes:
00045 
00046  Please use the following template.  Most recent changes should
00047  appear at the top of the list.
00048 
00049  - Modified on [date (March 1, 1900)] by [name]. [(*) if appropriate]
00050    [description of modification].
00051 
00052  Any Modification flagged with "(*)" was done as a project of the
00053  Sable Research Group, School of Computer Science,
00054  McGill University, Canada (http://www.sable.mcgill.ca/).
00055 
00056  You should add your copyright, using the following template, at
00057  the top of this file, along with other copyrights.
00058 
00059  *                                                                   *
00060  * Modifications by [name] are                                       *
00061  * Copyright (C) [year(s)] [your name (or company)].  All rights     *
00062  * reserved.                                                         *
00063  *                                                                   *
00064 
00065  B) Changes:
00066 
00067  - Modified on March 13, 1999 by Raja Vallee-Rai (rvalleerai@sable.mcgill.ca) (*)
00068    Re-organized the timers.
00069 
00070  - Modified on February 4, 1998 by Raja Vallee-Rai (kor@sable.mcgill.ca) (*)
00071    Added getLiveLocalsAfter();
00072    
00073  - Modified on November 2, 1998 by Raja Vallee-Rai (kor@sable.mcgill.ca) (*)
00074    Repackaged all source files and performed extensive modifications.
00075    First initial release of Soot.
00076 
00077  - Modified on 23-Jul-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*)
00078    Renamed the uses of Hashtable to HashMap.
00079 
00080  - Modified on 15-Jun-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*)
00081    First internal release (Version 0.1).
00082 */
00083 
00084 import ca.mcgill.sable.soot.*;
00085 import ca.mcgill.sable.util.*;
00086 
00087 public class SimpleLiveLocals implements LiveLocals
00088 {
00089     Map stmtToLocalsAfter;
00090     Map stmtToLocalsBefore;
00091 
00092     public SimpleLiveLocals(CompleteStmtGraph graph)
00093     {
00094         if(Main.isProfilingOptimization)
00095             Main.liveTimer.start();
00096         
00097         if(Main.isVerbose)
00098             System.out.println("[" + graph.getBody().getMethod().getName() +
00099                 "]     Constructing SimpleLiveLocals...");
00100         
00101         SimpleLiveLocalsAnalysis analysis = new SimpleLiveLocalsAnalysis(graph);
00102 
00103         if(Main.isProfilingOptimization)
00104                 Main.livePostTimer.start();
00105 
00106         // Build stmtToLocals map
00107         {
00108             stmtToLocalsAfter = new HashMap(graph.size() * 2 + 1, 0.7f);
00109             stmtToLocalsBefore = new HashMap(graph.size() * 2 + 1, 0.7f);
00110 
00111             Iterator stmtIt = graph.iterator();
00112 
00113             while(stmtIt.hasNext())
00114             {
00115                 Stmt s = (Stmt) stmtIt.next();
00116  
00117                 FlowSet set = (FlowSet) analysis.getFlowBeforeStmt(s);
00118                 stmtToLocalsBefore.put(s, Collections.unmodifiableList(set.toList()));
00119                 
00120                 set = (FlowSet) analysis.getFlowAfterStmt(s);
00121                 stmtToLocalsAfter.put(s, Collections.unmodifiableList(set.toList()));
00122             }            
00123         }
00124         
00125         if(Main.isProfilingOptimization)
00126             Main.livePostTimer.end();
00127         
00128         if(Main.isProfilingOptimization)
00129             Main.liveTimer.end();
00130     }
00131     public List getLiveLocalsAfter(Stmt s)
00132     {
00133         return (List) stmtToLocalsAfter.get(s);
00134     }
00135     public List getLiveLocalsBefore(Stmt s)
00136     {
00137         return (List) stmtToLocalsAfter.get(s);
00138     }
00139 }

Generated at Thu Feb 7 06:54:54 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001