1 28 29 package ist.coach.coachEmfClientComponents.ManagedObjectClientComposition; 30 31 import java.text.DateFormat ; 32 38 public class heartbeatSegImpl 39 extends ist.coach.coachEmfClientComponents.ManagedObjectClientComposition.heartbeatSeg 40 { 41 47 53 public heartbeatSegImpl() 54 { 55 } 56 57 63 66 public void 67 push(ist.coach.itut_q816Components.Heartbeat event) 68 { 69 ManagedObjectClientImpl main_segment = (ManagedObjectClientImpl) get_main_segment(); 73 74 java.util.Date event_date = new java.util.Date (event.timeStamp.time); 75 DateFormat df = DateFormat.getDateTimeInstance(DateFormat.DEFAULT, DateFormat.DEFAULT); 76 String time_str = df.format(event_date); 77 main_segment.ui_client.print_alarm(time_str, 78 ist.coach.coachEmfClientComponents.gui.GuiMessages.heartbeat_alarm, 79 event.channelID, "AlarmChannel", 80 "", ""); 81 } 82 83 } 84 | Popular Tags |