00001 package ca.mcgill.sable.soot.coffi;
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 (gagnon@sable.mcgill.ca) are *
00009 * Copyright (C) 1998 Patrick Lam. All rights reserved. *
00010 * *
00011 * Modifications by Vijay Sundaresan (vijay@sable.mcgill.ca) are *
00012 * Copyright (C) 1999 Vijay Sundaresan. All rights reserved. *
00013 * *
00014 * This work was done as a project of the Sable Research Group, *
00015 * School of Computer Science, McGill University, Canada *
00016 * (http://www.sable.mcgill.ca/). It is understood that any *
00017 * modification not identified as such is not covered by the *
00018 * preceding statement. *
00019 * *
00020 * This work is free software; you can redistribute it and/or *
00021 * modify it under the terms of the GNU Library General Public *
00022 * License as published by the Free Software Foundation; either *
00023 * version 2 of the License, or (at your option) any later version. *
00024 * *
00025 * This work is distributed in the hope that it will be useful, *
00026 * but WITHOUT ANY WARRANTY; without even the implied warranty of *
00027 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *
00028 * Library General Public License for more details. *
00029 * *
00030 * You should have received a copy of the GNU Library General Public *
00031 * License along with this library; if not, write to the *
00032 * Free Software Foundation, Inc., 59 Temple Place - Suite 330, *
00033 * Boston, MA 02111-1307, USA. *
00034 * *
00035 * Java is a trademark of Sun Microsystems, Inc. *
00036 * *
00037 * To submit a bug report, send a comment, or get the latest news on *
00038 * this project and other Sable Research Group projects, please *
00039 * visit the web site: http://www.sable.mcgill.ca/ *
00040 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
00041
00042 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
00043 * Coffi, a bytecode parser for the Java(TM) language. *
00044 * Copyright (C) 1996, 1997 Clark Verbrugge (clump@sable.mcgill.ca). *
00045 * All rights reserved. *
00046 * *
00047 * This work was done as a project of the Sable Research Group, *
00048 * School of Computer Science, McGill University, Canada *
00049 * (http://www.sable.mcgill.ca/). It is understood that any *
00050 * modification not identified as such is not covered by the *
00051 * preceding statement. *
00052 * *
00053 * This work is free software; you can redistribute it and/or *
00054 * modify it under the terms of the GNU Library General Public *
00055 * License as published by the Free Software Foundation; either *
00056 * version 2 of the License, or (at your option) any later version. *
00057 * *
00058 * This work is distributed in the hope that it will be useful, *
00059 * but WITHOUT ANY WARRANTY; without even the implied warranty of *
00060 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *
00061 * Library General Public License for more details. *
00062 * *
00063 * You should have received a copy of the GNU Library General Public *
00064 * License along with this library; if not, write to the *
00065 * Free Software Foundation, Inc., 59 Temple Place - Suite 330, *
00066 * Boston, MA 02111-1307, USA. *
00067 * *
00068 * Java is a trademark of Sun Microsystems, Inc. *
00069 * *
00070 * To submit a bug report, send a comment, or get the latest news on *
00071 * this project and other Sable Research Group projects, please *
00072 * visit the web site: http://www.sable.mcgill.ca/ *
00073 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
00074
00075 /*
00076 Reference Version
00077 -----------------
00078 This is the latest official version on which this file is based.
00079 The reference version is: $CoffiVersion: 1.1 $
00080 $SootVersion: 1.beta.4 $
00081
00082 Change History
00083 --------------
00084 A) Notes:
00085
00086 Please use the following template. Most recent changes should
00087 appear at the top of the list.
00088
00089 - Modified on [date (March 1, 1900)] by [name]. [(*) if appropriate]
00090 [description of modification].
00091
00092 Any Modification flagged with "(*)" was done as a project of the
00093 Sable Research Group, School of Computer Science,
00094 McGill University, Canada (http://www.sable.mcgill.ca/).
00095
00096 You should add your copyright, using the following template, at
00097 the top of this file, along with other copyrights.
00098
00099 * *
00100 * Modifications by [name] are *
00101 * Copyright (C) [year(s)] [your name (or company)]. All rights *
00102 * reserved. *
00103 * *
00104
00105 B) Changes:
00106
00107 - Modified on March 17, 1999 by Vijay Sundaresan (vijay@sable.mcgill.ca) (*)
00108 Fixed the JSR code duplicator.
00109
00110 - Modified on March 2, by Patrick Lam (plam@sable.mcgill.ca). (*)
00111 Commented out JSR bytecode code for now.
00112
00113 - Modified on February 22, by Raja Vallee-Rai (kor@sable.mcgill.ca). (*)
00114 Fixed a bug with the DUP2_x1 bytecode.
00115
00116 - Modified on February 19, 1999 by Vijay Sundaresan (vijay@sable.mcgill.ca) (*)
00117 Implemented a JSR eliminator/handler code duplicator.
00118
00119 - Modified on January 18, 1998 by Patrick Lam (plam@sable.mcgill.ca) (*)
00120 Fixed a bug in interpreting the SWAP bytecode.
00121
00122 - Modified on November 2, 1998 by Raja Vallee-Rai (kor@sable.mcgill.ca) (*)
00123 Repackaged all source files and performed extensive modifications.
00124 First initial release of Soot.
00125
00126 - Modified on September 29, 1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*)
00127 Fixed the production of (char) casts.
00128
00129 - Modified on 31-Aug-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*)
00130 Minor changes to the type analysis.
00131 Ret now points back to all Jsr's.
00132 Fixed InstanceOf.
00133 Fixed an AALOAD problem.
00134
00135 - Modified on 29-Jul-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*)
00136 Fixed a bug concerned local variable naming.
00137
00138 - Modified on 23-Jul-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*)
00139 Renamed the uses of Hashtable to HashMap.
00140
00141 - Modified on 15-Jun-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*)
00142 First internal release (Version 0.1).
00143 */
00144
00145 import java.util.Hashtable;
00146 import java.util.Enumeration;
00147 import java.util.Vector;
00148 import java.util.NoSuchElementException;
00149
00150 import ca.mcgill.sable.soot.*;
00151 import ca.mcgill.sable.soot.jimple.*;
00152 import ca.mcgill.sable.soot.baf.*;
00153 import ca.mcgill.sable.util.*;
00154
00155 class OutFlow
00156 {
00157 TypeStack typeStack;
00158
00159 OutFlow(TypeStack typeStack)
00160 {
00161 this.typeStack = typeStack;
00162 }
00163 }
1.2.10 written by Dimitri van Heesch,
© 1997-2001