00001 package edu.ksu.cis.bandera.abstraction.util; 00002 00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 00004 * Bandera, a Java(TM) analysis and transformation toolkit * 00005 * Copyright (C) 2000 Robby (robby@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 import java.lang.reflect.*; 00036 import java.util.*; 00037 import ca.mcgill.sable.soot.*; 00038 public class Util { 00039 /** 00040 * Util constructor comment. 00041 */ 00042 private Util() { 00043 } 00044 public static String deleteChars(String s, String chars) { 00045 StringBuffer buffer = new StringBuffer(); 00046 for (StringTokenizer t = new StringTokenizer(s, chars); t.hasMoreTokens();) { 00047 buffer.append(t.nextToken()); 00048 } 00049 return buffer.toString(); 00050 } 00051 public static Type getType(String typeName) { 00052 if ("int".equals(typeName)) { 00053 return IntType.v(); 00054 } else 00055 if ("byte".equals(typeName)) { 00056 return ByteType.v(); 00057 } else 00058 if ("short".equals(typeName)) { 00059 return ShortType.v(); 00060 } else 00061 if ("long".equals(typeName)) { 00062 return LongType.v(); 00063 } else 00064 if ("char".equals(typeName)) { 00065 return CharType.v(); 00066 } else 00067 if ("boolean".equals(typeName)) { 00068 return BooleanType.v(); 00069 } else 00070 if ("float".equals(typeName)) { 00071 return FloatType.v(); 00072 } else 00073 if ("double".equals(typeName)) { 00074 return DoubleType.v(); 00075 } else { 00076 return RefType.v(typeName); 00077 } 00078 } 00079 /** 00080 * 00081 * @return boolean 00082 * @param s java.lang.String 00083 */ 00084 public static boolean hasJavaPrefix(String s) { 00085 return s.startsWith("java.") || s.startsWith("javax."); 00086 } 00087 }