Home | History | Annotate | Download | only in opc_return 
      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.opc_return;
     18 
     19 import dot.junit.DxTestCase;
     20 import dot.junit.DxUtil;
     21 import dot.junit.opcodes.opc_return.d.T_opc_return_1;
     22 import dot.junit.opcodes.opc_return.d.T_opc_return_3;
     23 
     24 public class Test_opc_return extends DxTestCase {
     25     /**
     26      * @title check that frames are discarded and reinstananted correctly
     27      */
     28     public void testN1() {
     29         T_opc_return_1 t = new T_opc_return_1();
     30         assertEquals(123456, t.run());
     31     }
     32 
     33 
     34     /**
     35      * @title Method is synchronized but thread is not monitor owner
     36      */
     37     public void testE1() {
     38         T_opc_return_3 t = new T_opc_return_3();
     39         try {
     40             assertTrue(t.run());
     41             fail("expected IllegalMonitorStateException");
     42         } catch (IllegalMonitorStateException imse) {
     43             // expected
     44         }
     45     }
     46 
     47 
     48     /**
     49      * @constraint B11
     50      * @title method's return type - long
     51      */
     52     public void testVFE1() {
     53         try {
     54             Class.forName("dot.junit.opcodes.opc_return.d.T_opc_return_5");
     55             fail("expected a verification exception");
     56         } catch (Throwable t) {
     57             DxUtil.checkVerifyException(t);
     58         }
     59     }
     60 
     61     /**
     62      * @constraint B11
     63      * @title method's return type - reference
     64      */
     65     public void testVFE2() {
     66         try {
     67             Class.forName("dot.junit.opcodes.opc_return.d.T_opc_return_6");
     68             fail("expected a verification exception");
     69         } catch (Throwable t) {
     70             DxUtil.checkVerifyException(t);
     71         }
     72     }
     73 
     74     /**
     75      * @constraint A23
     76      * @title number of registers
     77      */
     78     public void testVFE3() {
     79         try {
     80             Class.forName("dot.junit.opcodes.opc_return.d.T_opc_return_7");
     81             fail("expected a verification exception");
     82         } catch (Throwable t) {
     83             DxUtil.checkVerifyException(t);
     84         }
     85     }
     86 
     87     /**
     88      * @constraint B1
     89      * @title return on wide register pair
     90      */
     91     public void testVFE4() {
     92         try {
     93             Class.forName("dot.junit.opcodes.opc_return.d.T_opc_return_8");
     94             fail("expected a verification exception");
     95         } catch (Throwable t) {
     96             DxUtil.checkVerifyException(t);
     97         }
     98     }
     99 
    100 }
    101