Main.java revision 7365493ad8d360c1dcf9cd8b6eee62747af01cae 
1/*
2 * Copyright (C) 2009 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 *      http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17import other.Mutant;
18import other.InaccessibleClass;
19import other.InaccessibleMethod;
20
21/**
22 * Test some problematic situations that the verifier detects.
23 */
24public class Main {
25    public static final boolean VERBOSE = false;
26
27    public static void main(String[] args) {
28        testClassNewInstance();
29        testMissingStuff();
30        testBadAccess();
31    }
32
33    /**
34     * Try to create a new instance of an abstract class.
35     */
36    static void testClassNewInstance() {
37        try {
38            MaybeAbstract ma = new MaybeAbstract();
39            System.err.println("ERROR: MaybeAbstract succeeded unexpectedly");
40        } catch (InstantiationError ie) {
41            System.out.println("Got expected InstantationError");
42            if (VERBOSE) System.out.println("--- " + ie);
43        } catch (Exception ex) {
44            System.err.println("Got unexpected MaybeAbstract failure");
45        }
46    }
47
48    /**
49     * Test stuff that disappears.
50     */
51    static void testMissingStuff() {
52        Mutant mutant = new Mutant();
53
54        try {
55            int x = mutant.disappearingField;
56        } catch (NoSuchFieldError nsfe) {
57            System.out.println("Got expected NoSuchFieldError");
58            if (VERBOSE) System.out.println("--- " + nsfe);
59        }
60
61        try {
62            int y = Mutant.disappearingStaticField;
63        } catch (NoSuchFieldError nsfe) {
64            System.out.println("Got expected NoSuchFieldError");
65            if (VERBOSE) System.out.println("--- " + nsfe);
66        }
67
68        try {
69            mutant.disappearingMethod();
70        } catch (NoSuchMethodError nsme) {
71            System.out.println("Got expected NoSuchMethodError");
72            if (VERBOSE) System.out.println("--- " + nsme);
73        }
74
75        try {
76            Mutant.disappearingStaticMethod();
77        } catch (NoSuchMethodError nsme) {
78            System.out.println("Got expected NoSuchMethodError");
79            if (VERBOSE) System.out.println("--- " + nsme);
80        }
81    }
82
83    /**
84     * Test stuff that becomes inaccessible.
85     */
86    static void testBadAccess() {
87        Mutant mutant = new Mutant();
88
89        try {
90            int x = mutant.inaccessibleField;
91            System.err.println("ERROR: bad access succeeded\n");
92        } catch (IllegalAccessError iae) {
93            System.out.println("Got expected IllegalAccessError (ifield)");
94            if (VERBOSE) System.out.println("--- " + iae);
95        }
96
97        try {
98            int y = Mutant.inaccessibleStaticField;
99            System.err.println("ERROR: bad access succeeded\n");
100        } catch (IllegalAccessError iae) {
101            System.out.println("Got expected IllegalAccessError (sfield)");
102            if (VERBOSE) System.out.println("--- " + iae);
103        }
104
105        try {
106            mutant.inaccessibleMethod();
107            System.err.println("ERROR: bad access succeeded\n");
108        } catch (IllegalAccessError iae) {
109            System.out.println("Got expected IllegalAccessError (method)");
110            if (VERBOSE) System.out.println("--- " + iae);
111        }
112
113        try {
114            Mutant.inaccessibleStaticMethod();
115            System.err.println("ERROR: bad access succeeded\n");
116        } catch (IllegalAccessError iae) {
117            System.out.println("Got expected IllegalAccessError (smethod)");
118            if (VERBOSE) System.out.println("--- " + iae);
119        }
120
121        try {
122            /* accessible static method in an inaccessible class */
123            InaccessibleClass.test();
124            System.err.println("ERROR: bad meth-class access succeeded\n");
125        } catch (IllegalAccessError iae) {
126            System.out.println("Got expected IllegalAccessError (meth-class)");
127            if (VERBOSE) System.out.println("--- " + iae);
128        }
129
130        try {
131            /* accessible static field in an inaccessible class */
132            int blah = InaccessibleClass.blah;
133            System.err.println("ERROR: bad field-class access succeeded\n");
134        } catch (IllegalAccessError iae) {
135            System.out.println("Got expected IllegalAccessError (field-class)");
136            if (VERBOSE) System.out.println("--- " + iae);
137        }
138
139        try {
140            /* inaccessible static method in an accessible class */
141            InaccessibleMethod.test();
142            System.err.println("ERROR: bad access succeeded\n");
143        } catch (IllegalAccessError iae) {
144            System.out.println("Got expected IllegalAccessError (meth-meth)");
145            if (VERBOSE) System.out.println("--- " + iae);
146        }
147    }
148}
149