• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Copyright (C) 2008 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 
17 package dot.junit.opcodes.iput_short;
18 
19 import dot.junit.DxTestCase;
20 import dot.junit.DxUtil;
21 import dot.junit.opcodes.iput_short.d.T_iput_short_1;
22 import dot.junit.opcodes.iput_short.d.T_iput_short_10;
23 import dot.junit.opcodes.iput_short.d.T_iput_short_11;
24 import dot.junit.opcodes.iput_short.d.T_iput_short_12;
25 import dot.junit.opcodes.iput_short.d.T_iput_short_13;
26 import dot.junit.opcodes.iput_short.d.T_iput_short_14;
27 import dot.junit.opcodes.iput_short.d.T_iput_short_15;
28 import dot.junit.opcodes.iput_short.d.T_iput_short_17;
29 import dot.junit.opcodes.iput_short.d.T_iput_short_7;
30 import dot.junit.opcodes.iput_short.d.T_iput_short_8;
31 import dot.junit.opcodes.iput_short.d.T_iput_short_9;
32 
33 public class Test_iput_short extends DxTestCase {
34     /**
35      * @title put short into field
36      */
testN1()37     public void testN1() {
38         T_iput_short_1 t = new T_iput_short_1();
39         assertEquals(0, t.st_i1);
40         t.run();
41         assertEquals(77, t.st_i1);
42     }
43 
44 
45     /**
46      * @title modification of final field
47      */
testN2()48     public void testN2() {
49         T_iput_short_12 t = new T_iput_short_12();
50         assertEquals(0, t.st_i1);
51         t.run();
52         assertEquals(77, t.st_i1);
53     }
54 
55     /**
56      * @title modification of protected field from subclass
57      */
testN4()58     public void testN4() {
59         //@uses dot.junit.opcodes.iput_short.d.T_iput_short_1
60         //@uses dot.junit.opcodes.iput_short.d.T_iput_short_14
61         T_iput_short_14 t = new T_iput_short_14();
62         assertEquals(0, t.getProtectedField());
63         t.run();
64         assertEquals(77, t.getProtectedField());
65     }
66 
67     /**
68      * @title expected NullPointerException
69      */
testE2()70     public void testE2() {
71         T_iput_short_13 t = new T_iput_short_13();
72         try {
73             t.run();
74             fail("expected NullPointerException");
75         } catch (NullPointerException e) {
76             // expected
77         }
78     }
79 
80 
81 
82     /**
83      * @constraint A11
84      * @title constant pool index
85      */
testVFE1()86     public void testVFE1() {
87         try {
88             Class.forName("dot.junit.opcodes.iput_short.d.T_iput_short_3");
89             fail("expected a verification exception");
90         } catch (Throwable t) {
91             DxUtil.checkVerifyException(t);
92         }
93     }
94 
95     /**
96      *
97      * @constraint A23
98      * @title number of registers
99      */
testVFE2()100     public void testVFE2() {
101         try {
102             Class.forName("dot.junit.opcodes.iput_short.d.T_iput_short_4");
103             fail("expected a verification exception");
104         } catch (Throwable t) {
105             DxUtil.checkVerifyException(t);
106         }
107     }
108 
109 
110     /**
111      *
112      * @constraint B14
113      * @title put short into long field - only field with same name but
114      * different type exists
115      */
testVFE5()116     public void testVFE5() {
117         try {
118             new T_iput_short_17().run();
119             fail("expected NoSuchFieldError");
120         } catch (NoSuchFieldError t) {
121         }
122     }
123 
124     /**
125      *
126      * @constraint B14
127      * @title put value '66000' into byte field
128      */
testVFE6()129     public void testVFE6() {
130         try {
131             Class.forName("dot.junit.opcodes.iput_short.d.T_iput_short_6");
132             fail("expected a verification exception");
133         } catch (Throwable t) {
134             DxUtil.checkVerifyException(t);
135         }
136     }
137 
138     /**
139      *
140      * @constraint B14
141      * @title type of field doesn't match opcode - attempt to modify double
142      * field with single-width register
143      */
testVFE7()144     public void testVFE7() {
145         try {
146             Class.forName("dot.junit.opcodes.iput_short.d.T_iput_short_18");
147             fail("expected a verification exception");
148         } catch (Throwable t) {
149             DxUtil.checkVerifyException(t);
150         }
151     }
152 
153     /**
154      *
155      * @constraint A11
156      * @title Attempt to set static field.
157      */
testVFE8()158     public void testVFE8() {
159          try {
160              new T_iput_short_7().run();
161              fail("expected IncompatibleClassChangeError");
162          } catch (IncompatibleClassChangeError t) {
163          }
164     }
165 
166     /**
167      * @constraint B12
168      * @title Attempt to modify inaccessible protected field.
169      */
testVFE9()170     public void testVFE9() {
171         //@uses dot.junit.opcodes.iput_short.TestStubs
172         //@uses dot.junit.opcodes.iput_short.d.T_iput_short_8
173         try {
174             new T_iput_short_8().run();
175             fail("expected IllegalAccessError");
176         } catch (IllegalAccessError t) {
177         }
178     }
179 
180     /**
181      * @constraint n/a
182      * @title Attempt to modify field of undefined class.
183      */
testVFE10()184     public void testVFE10() {
185         try {
186             new T_iput_short_9().run();
187             fail("expected NoClassDefFoundError");
188         } catch (NoClassDefFoundError t) {
189         }
190     }
191 
192     /**
193      * @constraint n/a
194      * @title Attempt to modify undefined field.
195      */
testVFE11()196     public void testVFE11() {
197         try {
198             new T_iput_short_10().run();
199             fail("expected NoSuchFieldError");
200         } catch (NoSuchFieldError t) {
201         }
202     }
203 
204 
205 
206     /**
207      * @constraint n/a
208      * @title Attempt to modify superclass' private field from subclass.
209      */
testVFE12()210     public void testVFE12() {
211         //@uses dot.junit.opcodes.iput_short.d.T_iput_short_1
212         //@uses dot.junit.opcodes.iput_short.d.T_iput_short_15
213         try {
214             new T_iput_short_15().run();
215             fail("expected IllegalAccessError");
216         } catch (IllegalAccessError t) {
217         }
218     }
219 
220 
221     /**
222      * @constraint B1
223      * @title iput-short shall not work for wide numbers
224      */
testVFE13()225     public void testVFE13() {
226         try {
227             Class.forName("dot.junit.opcodes.iput_short.d.T_iput_short_2");
228             fail("expected a verification exception");
229         } catch (Throwable t) {
230             DxUtil.checkVerifyException(t);
231         }
232     }
233 
234     /**
235      *
236      * @constraint B1
237      * @title iput-short shall not work for reference fields
238      */
testVFE14()239     public void testVFE14() {
240         try {
241             Class.forName("dot.junit.opcodes.iput_short.d.T_iput_short_20");
242             fail("expected a verification exception");
243         } catch (Throwable t) {
244             DxUtil.checkVerifyException(t);
245         }
246     }
247 
248     /**
249      *
250      * @constraint B1
251      * @title iput-short shall not work for char fields
252      */
testVFE15()253     public void testVFE15() {
254         try {
255             Class.forName("dot.junit.opcodes.iput_short.d.T_iput_short_21");
256             fail("expected a verification exception");
257         } catch (Throwable t) {
258             DxUtil.checkVerifyException(t);
259         }
260     }
261 
262     /**
263      *
264      * @constraint B1
265      * @title iput-short shall not work for int fields
266      */
testVFE16()267     public void testVFE16() {
268         try {
269             Class.forName("dot.junit.opcodes.iput_short.d.T_iput_short_22");
270             fail("expected a verification exception");
271         } catch (Throwable t) {
272             DxUtil.checkVerifyException(t);
273         }
274     }
275 
276     /**
277      *
278      * @constraint B1
279      * @title iput-short shall not work for byte fields
280      */
testVFE17()281     public void testVFE17() {
282         try {
283             Class.forName("dot.junit.opcodes.iput_short.d.T_iput_short_23");
284             fail("expected a verification exception");
285         } catch (Throwable t) {
286             DxUtil.checkVerifyException(t);
287         }
288     }
289 
290     /**
291      *
292      * @constraint B1
293      * @title iput-short shall not work for boolean fields
294      */
testVFE18()295     public void testVFE18() {
296         try {
297             Class.forName("dot.junit.opcodes.iput_short.d.T_iput_short_24");
298             fail("expected a verification exception");
299         } catch (Throwable t) {
300             DxUtil.checkVerifyException(t);
301         }
302     }
303 
304 
305     /**
306      * @constraint B6
307      * @title instance fields may only be accessed on already initialized instances.
308      */
testVFE30()309     public void testVFE30() {
310         try {
311             Class.forName("dot.junit.opcodes.iput_short.d.T_iput_short_30");
312             fail("expected a verification exception");
313         } catch (Throwable t) {
314             DxUtil.checkVerifyException(t);
315         }
316     }
317 
318     /**
319      * @constraint n/a
320      * @title Modification of final field in other class
321      */
testVFE19()322     public void testVFE19() {
323         //@uses dot.junit.opcodes.iput_short.TestStubs
324         //@uses dot.junit.opcodes.iput_short.d.T_iput_short_11
325     	try {
326             new T_iput_short_11().run();
327             fail("expected IllegalAccessError");
328         } catch (IllegalAccessError t) {
329         }
330     }
331 }
332 
333