Home | History | Annotate | Download | only in iput_short 
      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      */
     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      */
     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      */
     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      */
     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      */
     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      */
    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      */
    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      */
    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      */
    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      */
    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      */
    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      */
    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      */
    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      */
    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      */
    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      */
    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      */
    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      */
    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      */
    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      */
    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      */
    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      */
    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