Home | History | Annotate | Download | only in and_int_lit8
      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.and_int_lit8;
     18 
     19 import dot.junit.DxTestCase;
     20 import dot.junit.DxUtil;
     21 import dot.junit.opcodes.and_int_lit8.d.T_and_int_lit8_9;
     22 import dot.junit.opcodes.and_int_lit8.d.T_and_int_lit8_1;
     23 import dot.junit.opcodes.and_int_lit8.d.T_and_int_lit8_2;
     24 import dot.junit.opcodes.and_int_lit8.d.T_and_int_lit8_3;
     25 import dot.junit.opcodes.and_int_lit8.d.T_and_int_lit8_4;
     26 import dot.junit.opcodes.and_int_lit8.d.T_and_int_lit8_5;
     27 
     28 public class Test_and_int_lit8 extends DxTestCase {
     29     /**
     30      * @title Arguments = 15 & 8
     31      */
     32     public void testN1() {
     33         T_and_int_lit8_1 t = new T_and_int_lit8_1();
     34         assertEquals(8, t.run());
     35     }
     36 
     37     /**
     38      * @title Arguments = 0xfffffff8 & -8
     39      */
     40     public void testN2() {
     41         T_and_int_lit8_2 t = new T_and_int_lit8_2();
     42         assertEquals(-8, t.run());
     43     }
     44 
     45     /**
     46      * @title Arguments = 0xcafe & -1
     47      */
     48     public void testN3() {
     49         T_and_int_lit8_3 t = new T_and_int_lit8_3();
     50         assertEquals(0xcafe, t.run());
     51     }
     52 
     53     /**
     54      * @title Arguments = 0 & -1
     55      */
     56     public void testB1() {
     57         T_and_int_lit8_4 t = new T_and_int_lit8_4();
     58         assertEquals(0, t.run());
     59     }
     60 
     61     /**
     62      * @title Arguments = Short.MAX_VALUE & Short.MIN_VALUE
     63      */
     64     public void testB2() {
     65         T_and_int_lit8_5 t = new T_and_int_lit8_5();
     66         assertEquals(0, t.run());
     67     }
     68 
     69 
     70 
     71     /**
     72      * @constraint B1
     73      * @title types of arguments - double & int
     74      */
     75     public void testVFE1() {
     76         try {
     77             Class.forName("dot.junit.opcodes.and_int_lit8.d.T_and_int_lit8_6");
     78             fail("expected a verification exception");
     79         } catch (Throwable t) {
     80             DxUtil.checkVerifyException(t);
     81         }
     82     }
     83 
     84     /**
     85      * @constraint B1
     86      * @title types of arguments - long & int
     87      */
     88     public void testVFE2() {
     89         try {
     90             Class.forName("dot.junit.opcodes.and_int_lit8.d.T_and_int_lit8_7");
     91             fail("expected a verification exception");
     92         } catch (Throwable t) {
     93             DxUtil.checkVerifyException(t);
     94         }
     95     }
     96 
     97     /**
     98      * @constraint B1
     99      * @title types of arguments - int & reference
    100      */
    101     public void testVFE3() {
    102         try {
    103             Class.forName("dot.junit.opcodes.and_int_lit8.d.T_and_int_lit8_8");
    104             fail("expected a verification exception");
    105         } catch (Throwable t) {
    106             DxUtil.checkVerifyException(t);
    107         }
    108     }
    109 
    110     /**
    111      * @constraint A23
    112      * @title number of registers
    113      */
    114     public void testVFE5() {
    115         try {
    116             Class.forName("dot.junit.opcodes.and_int_lit8.d.T_and_int_lit8_10");
    117             fail("expected a verification exception");
    118         } catch (Throwable t) {
    119             DxUtil.checkVerifyException(t);
    120         }
    121     }
    122 
    123     /**
    124      * @constraint B1
    125      * @title Types of arguments - int, float. The verifier checks that ints
    126      * and longs are not used interchangeably.
    127      */
    128     public void testVFE6() {
    129         try {
    130             Class.forName("dot.junit.opcodes.and_int_lit8.d.T_and_int_lit8_9");
    131             fail("expected a verification exception");
    132         } catch (Throwable t) {
    133             DxUtil.checkVerifyException(t);
    134         }
    135     }
    136 }
    137