KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > jbet > cmd > verify


1 /*
2  * JBET - Java Binary Enhancement Tool
3  * Copyright (c) 2003 Networks Associates Technology, Inc.
4  *
5  * This software was developed under DARPA/SPAWAR contract
6  * N66001-00-C-8602 "SPMA" as part of the
7  * DARPA OASIS research program.
8  *
9  * Redistribution and use in source and binary forms, with or without
10  * modification, are permitted provided that the following conditions
11  * are met:
12  * 1. Redistributions of source code must retain the above copyright
13  * notice, this list of conditions and the following disclaimer.
14  * 2. Redistributions in binary form must reproduce the above copyright
15  * notice, this list of conditions and the following disclaimer in the
16  * documentation and/or other materials provided with the distribution.
17  *
18  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
19  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21  * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
22  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
28  * SUCH DAMAGE.
29  */
30
31 /*
32    Command object called by Jbet.doCommands().
33    run() parses the input using the supplied lexer.
34 */
35
36 package jbet.cmd;
37 import jbet.*;
38 import java.io.*;
39 import java.util.*;
40
41 public class verify implements Command
42 {
43     public int helplevel() { return 1; }
44     public String JavaDoc shorthelp() { return "verify a method or a class"; }
45     public String JavaDoc longhelp() {
46     return
47         "jbet verify <class>.<method>\t\t\n"+
48         "jbet verify <class>\n"; }
49
50     public void run (Lexer lexer) throws Exception JavaDoc
51     {
52     lexer.match(Token.END_OF_OPTS);
53     Object JavaDoc thing = lexer.getThing(Jbet.default_class);
54     lexer.term();
55
56     if (thing instanceof FieldInfo)
57         throw new GlobalException("can't verify a field");
58     if (thing instanceof ClassInfo) {
59         ClassInfo cr = (ClassInfo) thing;
60         for (int i = 0; i < cr.numMethods(); i++) {
61           MethodInfo mi = cr.methodAt(i);
62           if (mi.code == null) continue;
63
64           try {
65         DataFlow df = new DataFlow (mi);
66         df.out = Jbet.debug;
67         df.run();
68         Jbet.info.println ("verified " + mi.qualifiedName());
69           } catch (Exception JavaDoc e) {
70           Jbet.output.println (e.getMessage());
71           }
72           mi.removeDataFlow();
73         }
74     }
75     if (thing instanceof MethodInfo) {
76         MethodInfo mi = (MethodInfo) thing;
77         DataFlow df = new DataFlow (mi);
78         df.out = Jbet.debug;
79         try {
80         df.run();
81         Jbet.info.println ("verified " + mi.qualifiedName());
82         } catch (Exception JavaDoc e) {
83         Jbet.output.println (e.getMessage());
84         }
85         mi.removeDataFlow();
86     }
87     }
88
89 }
90
Popular Tags