method called by a customer instance to return a fruitbowl to the shop . this method releases the semaphore , making the fruitbowl available to another customer . concode_field_sep FruitBowl[] bowls concode_elem_sep boolean[] available concode_elem_sep Semaphore semaphore concode_field_sep FruitBowl takeBowl concode_elem_sep int countFruit
void function ( FruitBowl arg0 ) { if ( arg0 == bowls [ 0 ] ) { available [ 0 ] = true ; } else if ( arg0 == bowls [ 1 ] ) { available [ 1 ] = true ; } else if ( arg0 == bowls [ 2 ] ) { available [ 2 ] = true ; } }