00001 package edu.ksu.cis.bandera.jjjc.decompiler; 00002 00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 00004 * Bandera, a Java(TM) analysis and transformation toolkit * 00005 * Copyright (C) 2000 Roby Joehanes (robbyjo@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.util.*; 00036 00037 /** 00038 * DecompilerPrinter is a helper class to write things to 00039 * the file output, pretty printed and (hopefully) 00040 * do the line to annotation stuff. 00041 * @author <a href="mailto:robbyjo@cis.ksu.edu">Roby Joehanes</a> 00042 * @version 0.4.21 00043 **/ 00044 public class DecompilerPrinter { 00045 private StringBuffer s = new StringBuffer(); 00046 private int indent = 0; 00047 private final String indentString = " "; 00048 private boolean beginLine = true; 00049 private boolean doIndent = true; 00050 00051 /** 00052 * SlabsPrinter constructor comment. 00053 */ 00054 public DecompilerPrinter() 00055 { 00056 super(); 00057 } 00058 public DecompilerPrinter(int i) 00059 { 00060 super(); 00061 indent = i; 00062 } 00063 public void add(Vector x) 00064 { 00065 int max = x.size(); 00066 00067 for (int i=0; i<max; i++) 00068 { 00069 String st = (String) x.get(i); 00070 println(st); 00071 } 00072 } 00073 public void disableIndent() 00074 { 00075 doIndent = false; 00076 } 00077 public void enableIndent() 00078 { 00079 doIndent = true; 00080 } 00081 public int getIndent() 00082 { 00083 return indent; 00084 } 00085 public void print(String str) 00086 { 00087 if (str.indexOf("}")>-1) 00088 indent--; 00089 00090 // If it is the beginning of the line, then print the indentation 00091 if ((beginLine) && (doIndent)) 00092 for (int i = 0; i < indent; i++) 00093 s.append(indentString); 00094 00095 if (str.indexOf("{")>-1) 00096 indent++; 00097 00098 // Print the string 00099 s.append(str); 00100 beginLine = false; 00101 } 00102 public void println(String str) 00103 { 00104 print(str+"\n"); 00105 beginLine = true; 00106 } 00107 public void reset() 00108 { 00109 s = new StringBuffer(); 00110 indent = 0; 00111 } 00112 public void setIndent(int i) 00113 { 00114 indent = i; 00115 } 00116 public String toString() 00117 { 00118 return s.toString(); 00119 } 00120 }