public void selectSemaphoreModifier(AttachToSemaphore val) { semaphoreModifier_ = val; semaphoreModifier_selected = true; eventModifier_selected = false; }