Home | History | Annotate | Download | only in b2 
      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.verify.b2;
     18 
     19 import dot.junit.DxTestCase;
     20 import dot.junit.DxUtil;
     21 
     22 public class Test_b2 extends DxTestCase {
     23 
     24     /**
     25      * @constraint B2
     26      * @title attempt to mess around with register-pairs.
     27      */
     28     public void testVFE1() {
     29         try {
     30             Class.forName("dot.junit.verify.b2.d.T_b2_1");
     31             fail("expected a verification exception");
     32         } catch (Throwable t) {
     33             DxUtil.checkVerifyException(t);
     34         }
     35     }
     36 
     37     /**
     38      * @constraint B2
     39      * @title attempt to mess around with register-pairs.
     40      */
     41     public void testVFE2() {
     42         try {
     43             Class.forName("dot.junit.verify.b2.d.T_b2_2");
     44             fail("expected a verification exception");
     45         } catch (Throwable t) {
     46             DxUtil.checkVerifyException(t);
     47         }
     48     }
     49 
     50     /**
     51      * @constraint B2
     52      * @title attempt to mess around with register-pairs.
     53      */
     54     public void testVFE3() {
     55         try {
     56             Class.forName("dot.junit.verify.b2.d.T_b2_3");
     57             fail("expected a verification exception");
     58         } catch (Throwable t) {
     59             DxUtil.checkVerifyException(t);
     60         }
     61     }
     62 
     63     /**
     64      * @constraint B2
     65      * @title attempt to mess around with register-pairs.
     66      */
     67     public void testVFE4() {
     68         try {
     69             Class.forName("dot.junit.verify.b2.d.T_b2_4");
     70             fail("expected a verification exception");
     71         } catch (Throwable t) {
     72             DxUtil.checkVerifyException(t);
     73         }
     74     }
     75 
     76     /**
     77      * @constraint B2
     78      * @title attempt to mess around with register-pairs.
     79      */
     80     public void testVFE5() {
     81         try {
     82             Class.forName("dot.junit.verify.b2.d.T_b2_5");
     83             fail("expected a verification exception");
     84         } catch (Throwable t) {
     85             DxUtil.checkVerifyException(t);
     86         }
     87     }
     88 
     89 }
     90