void function ( String arg0 , String arg1 , String arg2 ) { createFactoryAndManager ( ) ; entitymanager . getTransaction ( ) . begin ( ) ; User loc0 = new User ( ) ; loc0 . setUsername ( arg0 ) ; loc0 . setPassword ( arg1 ) ; loc0 . setIs_admin ( arg2 ) ; entitymanager . persist ( loc0 ) ; entitymanager . getTransaction ( ) . commit ( ) ; closeFactoryAndManager ( ) ; }
client uc : register concode_field_sep EntityManagerFactory emfactory concode_elem_sep EntityManager entitymanager concode_field_sep void updateAnimal concode_elem_sep void closeFactoryAndManager concode_elem_sep void deleteAnimal concode_elem_sep void createFactoryAndManager concode_elem_sep boolean rentAnimal concode_elem_sep void insertAnimal concode_elem_sep boolean checkUserName concode_elem_sep void bringBackAnimal concode_elem_sep List<Animal> searchAnimals concode_elem_sep User login concode_elem_sep List<Animal> listAnimals