KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > soot > tagkit > TagManager


1 /* Soot - a J*va Optimization Framework
2  * Copyright (C) 2000 Patrice Pominville and Feng Qian
3  *
4  * This library is free software; you can redistribute it and/or
5  * modify it under the terms of the GNU Lesser General Public
6  * License as published by the Free Software Foundation; either
7  * version 2.1 of the License, or (at your option) any later version.
8  *
9  * This library is distributed in the hope that it will be useful,
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12  * Lesser General Public License for more details.
13  *
14  * You should have received a copy of the GNU Lesser General Public
15  * License along with this library; if not, write to the
16  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
17  * Boston, MA 02111-1307, USA.
18  */
19
20 /*
21  * Modified by the Sable Research Group and others 1997-1999.
22  * See the 'credits' file distributed with Soot for the complete list of
23  * contributors. (Soot is distributed at http://www.sable.mcgill.ca/soot)
24  */
25
26 package soot.tagkit;
27 import soot.*;
28
29
30 import java.util.*;
31 import javax.swing.*;
32 import java.io.*;
33
34 /** Utility functions for tags. */
35 public class TagManager
36 {
37     public TagManager( Singletons.Global g ) {}
38     public static TagManager v() { return G.v().soot_tagkit_TagManager(); }
39     private TagPrinter tagPrinter = new StdTagPrinter();
40
41     /** Returns the Tag class with the given name.
42      *
43      * (This does not seem to be necessary.) */
44     public Tag getTagFor(String JavaDoc tagName) {
45     try {
46         Class JavaDoc cc = Class.forName("soot.tagkit." + tagName);
47         return (Tag) cc.newInstance();
48     }
49     catch (ClassNotFoundException JavaDoc e) {
50         return null;
51     } catch(IllegalAccessException JavaDoc e) {
52         throw new RuntimeException JavaDoc();
53     } catch (InstantiationException JavaDoc e) {
54         throw new RuntimeException JavaDoc(e.toString());
55     }
56     }
57
58     /** Sets the default tag printer. */
59     public void setTagPrinter(TagPrinter p)
60     {
61     tagPrinter = p;
62     }
63
64     /** Prints the given Tag, assuming that it belongs to the given class and field or method. */
65     public String JavaDoc print(String JavaDoc aClassName, String JavaDoc aFieldOrMtdSignature,
66                                Tag aTag)
67     {
68     return tagPrinter.print(aClassName, aFieldOrMtdSignature, aTag);
69     }
70 }
71
72
73
74
Popular Tags