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 * 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 * Coffi, a bytecode parser for the Java(TM) language. * 00038 * Copyright (C) 1996, 1997 Clark Verbrugge (clump@sable.mcgill.ca). * 00039 * All rights reserved. * 00040 * * 00041 * This work was done as a project of the Sable Research Group, * 00042 * School of Computer Science, McGill University, Canada * 00043 * (http://www.sable.mcgill.ca/). It is understood that any * 00044 * modification not identified as such is not covered by the * 00045 * preceding statement. * 00046 * * 00047 * This work is free software; you can redistribute it and/or * 00048 * modify it under the terms of the GNU Library General Public * 00049 * License as published by the Free Software Foundation; either * 00050 * version 2 of the License, or (at your option) any later version. * 00051 * * 00052 * This work is distributed in the hope that it will be useful, * 00053 * but WITHOUT ANY WARRANTY; without even the implied warranty of * 00054 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * 00055 * Library General Public License for more details. * 00056 * * 00057 * You should have received a copy of the GNU Library General Public * 00058 * License along with this library; if not, write to the * 00059 * Free Software Foundation, Inc., 59 Temple Place - Suite 330, * 00060 * Boston, MA 02111-1307, USA. * 00061 * * 00062 * Java is a trademark of Sun Microsystems, Inc. * 00063 * * 00064 * To submit a bug report, send a comment, or get the latest news on * 00065 * this project and other Sable Research Group projects, please * 00066 * visit the web site: http://www.sable.mcgill.ca/ * 00067 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */ 00068 00069 /* 00070 Reference Version 00071 ----------------- 00072 This is the latest official version on which this file is based. 00073 The reference version is: $CoffiVersion: 1.1 $ 00074 $SootVersion: 1.beta.4 $ 00075 00076 Change History 00077 -------------- 00078 A) Notes: 00079 00080 Please use the following template. Most recent changes should 00081 appear at the top of the list. 00082 00083 - Modified on [date (March 1, 1900)] by [name]. [(*) if appropriate] 00084 [description of modification]. 00085 00086 Any Modification flagged with "(*)" was done as a project of the 00087 Sable Research Group, School of Computer Science, 00088 McGill University, Canada (http://www.sable.mcgill.ca/). 00089 00090 You should add your copyright, using the following template, at 00091 the top of this file, along with other copyrights. 00092 00093 * * 00094 * Modifications by [name] are * 00095 * Copyright (C) [year(s)] [your name (or company)]. All rights * 00096 * reserved. * 00097 * * 00098 00099 B) Changes: 00100 00101 - Modified on November 2, 1998 by Raja Vallee-Rai (kor@sable.mcgill.ca) (*) 00102 Repackaged all source files and performed extensive modifications. 00103 First initial release of Soot. 00104 00105 - Modified on 15-Jun-1998 by Raja Vallee-Rai (kor@sable.mcgill.ca). (*) 00106 First internal release (Version 0.1). 00107 */ 00108 00109 import java.util.Vector; 00110 import java.util.Enumeration; 00111 import java.util.NoSuchElementException; 00112 00113 /** A queue of BasicBlocks. 00114 * @author Clark Verbrugge 00115 * @see BasicBlock 00116 */ 00117 final class BBQ { 00118 00119 private Vector q = new Vector(); 00120 00121 /** Empties the queue of all blocks (and resets their <i>inq</i> flags). */ 00122 public void clear() { 00123 BasicBlock b; 00124 for (Enumeration e = q.elements();e.hasMoreElements();) { 00125 b = (BasicBlock)(e.nextElement()); 00126 b.inq = false; 00127 } 00128 q.removeAllElements(); 00129 } 00130 /** Answers whether a block is in the queue or not. 00131 * @param BasicBlock in question. 00132 * @return <i>true</i> if it is, <i>false</i> if it ain't. 00133 * @see BasicBlock#inq 00134 */ 00135 public boolean contains(BasicBlock b) { return b.inq; } 00136 /** Answers whether the queue is empty 00137 * @return <i>true</i> if it is, <i>false</i> if it ain't. 00138 */ 00139 public boolean isEmpty() { return q.isEmpty(); } 00140 /** Removes the first block in the queue (and resets its <i>inq</i> flag). 00141 * @return BasicBlock which was first. 00142 * @exception java.util.NoSuchElementException if the queue is empty. 00143 * @see BasicBlock#inq 00144 */ 00145 public BasicBlock pull() throws NoSuchElementException { 00146 if(q.size()==0) 00147 throw new 00148 NoSuchElementException("Pull from empty BBQ"); 00149 BasicBlock b = (BasicBlock)(q.firstElement()); 00150 q.removeElementAt(0); 00151 b.inq = false; 00152 return b; 00153 } 00154 /** Adds a block to the end of the queue, but only if its <i>inq</i> flag is false. 00155 * @param b the Basic Block in question. 00156 * @see BasicBlock#inq 00157 */ 00158 public void push(BasicBlock b) { 00159 if (b.inq!=true) { // ensure only in queue once... 00160 b.inq = true; 00161 q.addElement(b); 00162 } 00163 } 00164 /** Answers the size of the queue. 00165 * @return size of the queue. 00166 */ 00167 public int size() { return q.size(); } 00168 }