/*PLEASE DO NOT EDIT THIS CODE*/
/*This code was generated using the UMPLE ${last.version} modeling language!*/



////---- Tests for  GenericTestCase_association_optionalOneToMany ----/////

test Calculator {

 generate JUnit ;
 
 depend  Calculator,Number,Controller ; 



 
 GIVEN:
 GenericTestCase_association_optionalOneToMany.ump;
 
 
 
 THEN:
 

      //------------------
      //User-defined Tests
      //------------------

      
      test checkifLogged_controllers {
        Calculator c1 ( 4, 5) ;                
        String valueToCheck = p1.getControllers();
         Number tempController =  controllers;
        }
      
      
      
      
        
     
 
   

}
/*PLEASE DO NOT EDIT THIS CODE*/
/*This code was generated using the UMPLE ${last.version} modeling language!*/



////---- Tests for  GenericTestCase_association_optionalOneToMany ----/////

test Number {

 generate JUnit ;
 
 depend  Calculator,Number,Controller ; 



 
 GIVEN:
 GenericTestCase_association_optionalOneToMany.ump;
 
 
 
 THEN:
 

  
 
   

}
/*PLEASE DO NOT EDIT THIS CODE*/
/*This code was generated using the UMPLE ${last.version} modeling language!*/



////---- Tests for  GenericTestCase_association_optionalOneToMany ----/////

test Controller {

 generate JUnit ;
 
 depend  Calculator,Number,Controller ; 



 
 GIVEN:
 GenericTestCase_association_optionalOneToMany.ump;
 
 
 
 THEN:
 

  
 
   

}