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

JRetStmt.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  * Modifications by Patrick Lam (plam@sable.mcgill.ca) are           *
00009  * Copyright (C) 1999 Patrick Lam.  All rights reserved.             *
00010  *                                                                   *
00011  * This work was done as a project of the Sable Research Group,      *
00012  * School of Computer Science, McGill University, Canada             *
00013  * (http://www.sable.mcgill.ca/).  It is understood that any         *
00014  * modification not identified as such is not covered by the         *
00015  * preceding statement.                                              *
00016  *                                                                   *
00017  * This work is free software; you can redistribute it and/or        *
00018  * modify it under the terms of the GNU Library General Public       *
00019  * License as published by the Free Software Foundation; either      *
00020  * version 2 of the License, or (at your option) any later version.  *
00021  *                                                                   *
00022  * This work is distributed in the hope that it will be useful,      *
00023  * but WITHOUT ANY WARRANTY; without even the implied warranty of    *
00024  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU *
00025  * Library General Public License for more details.                  *
00026  *                                                                   *
00027  * You should have received a copy of the GNU Library General Public *
00028  * License along with this library; if not, write to the             *
00029  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,      *
00030  * Boston, MA  02111-1307, USA.                                      *
00031  *                                                                   *
00032  * Java is a trademark of Sun Microsystems, Inc.                     *
00033  *                                                                   *
00034  * To submit a bug report, send a comment, or get the latest news on *
00035  * this project and other Sable Research Group projects, please      *
00036  * visit the web site: http://www.sable.mcgill.ca/                   *
00037  * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
00038 
00039 /*
00040  Reference Version
00041  -----------------
00042  This is the latest official version on which this file is based.
00043  The reference version is: $SootVersion: 1.beta.4 $
00044 
00045  Change History
00046  --------------
00047  A) Notes:
00048 
00049  Please use the following template.  Most recent changes should
00050  appear at the top of the list.
00051 
00052  - Modified on [date (March 1, 1900)] by [name]. [(*) if appropriate]
00053    [description of modification].
00054 
00055  Any Modification flagged with "(*)" was done as a project of the
00056  Sable Research Group, School of Computer Science,
00057  McGill University, Canada (http://www.sable.mcgill.ca/).
00058 
00059  You should add your copyright, using the following template, at
00060  the top of this file, along with other copyrights.
00061 
00062  *                                                                   *
00063  * Modifications by [name] are                                       *
00064  * Copyright (C) [year(s)] [your name (or company)].  All rights     *
00065  * reserved.                                                         *
00066  *                                                                   *
00067 
00068  B) Changes:
00069 
00070  - Modified on February 28, 1999 by Raja Vallee-Rai (rvalleerai@sable.mcgill.ca) (*)
00071    Fixed bug with use boxes.
00072 
00073  - Modified on February 3, 1999 by Patrick Lam (plam@sable.mcgill.ca) (*)
00074    Added changes in support of the Grimp intermediate
00075    representation (with aggregated-expressions).
00076 
00077  - Modified on November 2, 1998 by Raja Vallee-Rai (kor@sable.mcgill.ca) (*)
00078    Repackaged all source files and performed extensive modifications.
00079    First initial release of Soot.
00080 
00081  - Modified on 15-Jun-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*)
00082    First internal release (Version 0.1).
00083 */
00084 
00085 import ca.mcgill.sable.soot.*;
00086 import ca.mcgill.sable.util.*;
00087 
00088 public class JRetStmt extends AbstractStmt implements RetStmt
00089 {
00090     ValueBox stmtAddressBox;
00091     List useBoxes;
00092 
00093     JRetStmt(Value stmtAddress)
00094     {
00095         this(Jimple.v().newLocalBox(stmtAddress));
00096     }
00097     protected JRetStmt(ValueBox stmtAddressBox)
00098     {
00099         this.stmtAddressBox = stmtAddressBox;
00100 
00101     }
00102     public void apply(Switch sw)
00103     {
00104         ((StmtSwitch) sw).caseRetStmt(this);
00105     }
00106     public List getDefBoxes()
00107     {
00108         return emptyList;
00109     }
00110     public Value getStmtAddress()
00111     {
00112         return stmtAddressBox.getValue();
00113     }
00114     public ValueBox getStmtAddressBox()
00115     {
00116         return stmtAddressBox;
00117     }
00118     public List getUnitBoxes()
00119     {
00120         return emptyList;
00121     }
00122     public List getUseBoxes()
00123     {
00124         List useBoxes = new ArrayList();
00125 
00126         useBoxes.addAll(stmtAddressBox.getValue().getUseBoxes());
00127         useBoxes.add(stmtAddressBox);
00128 
00129         return useBoxes;
00130     }
00131     public void setStmtAddress(Value stmtAddress)
00132     {
00133         stmtAddressBox.setValue(stmtAddress);
00134     }
00135     protected String toString(boolean isBrief, Map stmtToName, String indentation)
00136     {
00137         if(isBrief)
00138             return indentation + "ret " + ((ToBriefString) stmtAddressBox.getValue()).toBriefString();
00139         else
00140             return indentation + "ret " + stmtAddressBox.getValue().toString();
00141     }
00142 }

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