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 3, 1999 by Patrick Lam (plam@sable.mcgill.ca) (*) 00071 Added changes in support of the Grimp intermediate 00072 representation (with aggregated-expressions). 00073 00074 - Modified on November 2, 1998 by Raja Vallee-Rai (kor@sable.mcgill.ca) (*) 00075 Repackaged all source files and performed extensive modifications. 00076 First initial release of Soot. 00077 00078 - Modified on September 22, 1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*) 00079 Changed the base from Immediate to Local. 00080 00081 - Modified on 2-Sep-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*) 00082 Replaced a (Local) cast with an (Immediate) cast. 00083 00084 - Modified on 15-Jun-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*) 00085 First internal release (Version 0.1). 00086 */ 00087 00088 import ca.mcgill.sable.soot.*; 00089 import ca.mcgill.sable.util.*; 00090 00091 public class AbstractVirtualInvokeExpr extends AbstractNonStaticInvokeExpr 00092 implements VirtualInvokeExpr 00093 00094 { 00095 protected AbstractVirtualInvokeExpr(ValueBox baseBox, SootMethod method, 00096 ValueBox[] argBoxes) 00097 { 00098 this.baseBox = baseBox; this.method = method; 00099 this.argBoxes = argBoxes; 00100 } 00101 public void apply(Switch sw) 00102 { 00103 ((ExprSwitch) sw).caseVirtualInvokeExpr(this); 00104 } 00105 public String toBriefString() 00106 { 00107 StringBuffer buffer = new StringBuffer(); 00108 00109 buffer.append(((ToBriefString) baseBox.getValue()).toBriefString() + 00110 "." + method.getName() + "("); 00111 00112 for(int i = 0; i < argBoxes.length; i++) 00113 { 00114 if(i != 0) 00115 buffer.append(", "); 00116 00117 buffer.append(((ToBriefString) argBoxes[i].getValue()).toBriefString()); 00118 } 00119 00120 buffer.append(")"); 00121 00122 return buffer.toString(); 00123 } 00124 public String toString() 00125 { 00126 StringBuffer buffer = new StringBuffer(); 00127 00128 buffer.append("virtualinvoke " + baseBox.getValue().toString() + 00129 ".[" + method.getSignature() + "]("); 00130 00131 for(int i = 0; i < argBoxes.length; i++) 00132 { 00133 if(i != 0) 00134 buffer.append(", "); 00135 00136 buffer.append(argBoxes[i].getValue().toString()); 00137 } 00138 00139 buffer.append(")"); 00140 00141 return buffer.toString(); 00142 } 00143 }