00001 package edu.ksu.cis.bandera.bofa; 00002 00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 00004 * Bandera, a Java(TM) analysis and transformation toolkit * 00005 * Copyright (C) 2001, 2002 * 00006 * John Hatcliff (hatcliff@cis.ksu.edu) * 00007 * All rights reserved. * 00008 * * 00009 * This work was done as a project in the SAnToS Laboratory, * 00010 * Department of Computing and Information Sciences, Kansas State * 00011 * University, USA (http://www.cis.ksu.edu/santos). * 00012 * It is understood that any modification not identified as such is * 00013 * not covered by the preceding statement. * 00014 * * 00015 * This work is free software; you can redistribute it and/or * 00016 * modify it under the terms of the GNU Library General Public * 00017 * License as published by the Free Software Foundation; either * 00018 * version 2 of the License, or (at your option) any later version. * 00019 * * 00020 * This work is distributed in the hope that it will be useful, * 00021 * but WITHOUT ANY WARRANTY; without even the implied warranty of * 00022 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * 00023 * Library General Public License for more details. * 00024 * * 00025 * You should have received a copy of the GNU Library General Public * 00026 * License along with this toolkit; if not, write to the * 00027 * Free Software Foundation, Inc., 59 Temple Place - Suite 330, * 00028 * Boston, MA 02111-1307, USA. * 00029 * * 00030 * Java is a trademark of Sun Microsystems, Inc. * 00031 * * 00032 * To submit a bug report, send a comment, or get the latest news on * 00033 * this project and other SAnToS projects, please visit the web-site * 00034 * http://www.cis.ksu.edu/santos * 00035 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */ 00036 00037 import java.util.Iterator; 00038 import java.util.List; 00039 import java.util.Vector; 00040 import ca.mcgill.sable.soot.Type; 00041 import ca.mcgill.sable.soot.jimple.VirtualInvokeExpr; 00042 import org.apache.log4j.Category; 00043 00044 /* 00045 * CallBackRegistry.java 00046 * $Id: CallBackRegistry.java,v 1.1.1.1 2002/01/24 03:42:07 pserver Exp $ 00047 */ 00048 00049 /** 00050 * The user can register with this class the various callback objects to be 00051 * invoked at suitable points during the analysis. These callback objects 00052 * should inherit from CallBack. 00053 * 00054 * @author <a href="mailto:rvprasad@cis.ksu.edu">Venkatesh Prasad Ranganath</a> 00055 * @version $Name: $($Revision: 1.1.1.1 $) 00056 */ 00057 00058 public class CallBackRegistry { 00059 00060 /** 00061 * Information of all virtual invocation on which external methods needs to 00062 * be called is stored as a Vector. 00063 */ 00064 private Vector vinvokeRegister; 00065 00066 /** 00067 * Object used to create a category for logging information. 00068 * 00069 */ 00070 protected static Category cat; 00071 00072 /** 00073 * Creates a new <code>CallBackRegistry</code> instance. 00074 * 00075 */ 00076 public CallBackRegistry () { 00077 // at present we are interested only in the virtual invoke expression. 00078 vinvokeRegister = new Vector(); 00079 cat = Category.getInstance(getClass().getName()); 00080 } 00081 /** 00082 * Activation point when a trigger pertaining to virtual method invocation 00083 * occurs during flow analysis. 00084 * 00085 * @param v object representing the virtual invoke expression. 00086 * @param obj object which was processing the expression. 00087 */ 00088 public void callVInvoke(VirtualInvokeExpr v, FGExpr obj) { 00089 Iterator i = vinvokeRegister.iterator(); 00090 while (i.hasNext()) { 00091 ((CallBack)i.next()).callback(v, obj); 00092 } // end of while (i.hasnext()) 00093 } 00094 /** 00095 * Registers a callback object to be called when a particular method will 00096 * be invoked. 00097 * 00098 * @param cb object to be called when a virtual invoke expression is 00099 * encountered during flow analysis. 00100 */ 00101 public void regVInvoke(CallBack cb) { 00102 vinvokeRegister.add(cb); 00103 cat.debug("Registering callback " + cb); 00104 } 00105 }// Callbackregistry