00001 package edu.ksu.cis.bandera.pdgslicer; 00002 00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 00004 * Bandera, a Java(TM) analysis and transformation toolkit * 00005 * Copyright (C) 1998, 1999 Hongjun Zheng (zheng@cis.ksu.edu) * 00006 * All rights reserved. * 00007 * * 00008 * This work was done as a project in the SAnToS Laboratory, * 00009 * Department of Computing and Information Sciences, Kansas State * 00010 * University, USA (http://www.cis.ksu.edu/santos). * 00011 * It is understood that any modification not identified as such is * 00012 * not covered by the 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 toolkit; 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 SAnToS projects, please visit the web-site * 00033 * http://www.cis.ksu.edu/santos * 00034 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */ 00035 00036 00037 //import ca.mcgill.sable.util.*; 00038 import ca.mcgill.sable.soot.*; 00039 import ca.mcgill.sable.util.*; 00040 import java.util.BitSet; 00041 import ca.mcgill.sable.soot.jimple.*; 00042 /** 00043 * This class is for information of one method. 00044 */ 00045 public class MethodInfo { 00046 public SootMethod sootMethod; 00047 /** 00048 * The class where this method is declared. 00049 */ 00050 public SootClass sootClass; 00051 public IndexMaps indexMaps; 00052 public BuildPDG methodPDG; 00053 /** 00054 * A set of {@link CallSite CallSite}, which 00055 * is a call site to this method. 00056 */ 00057 public Set whoCallMe; 00058 Fields MOD; 00059 Fields REF; 00060 //set of InterClassStmt{className, methodName, callsiteStmt} 00061 /** 00062 * (Original) slice criterion for this method. 00063 */ 00064 SliceCriterion sCriterion; 00065 BitSet sliceSet; 00066 /** 00067 * Generated slice criterion for this method. 00068 */ 00069 SliceCriterion increCriterion; 00070 /** 00071 * A set of {@link CallSite CallSite} such that 00072 * inside the called method body there may contain 00073 * some ready dependence. 00074 */ 00075 Set possibleReadyDependCallSite; //CallSite set 00076 StmtList stmtList; 00077 public StmtList originalStmtList; 00078 Set removedStmt; 00079 00080 public String toString() 00081 { 00082 return "IndexMaps: " + indexMaps + "\n\n" + methodPDG + "\n\n whoCallMe: " + whoCallMe; 00083 } 00084 }