destroy_alarm_checked


Description:

public VoidCookie destroy_alarm_checked (Alarm alarm)