00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012 package cast.interfaces;
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023 public interface _CASTComponentOperations
00024 {
00025 void beat(Ice.Current __current);
00026
00027 void setID(String id, Ice.Current __current);
00028
00033 String getID(Ice.Current __current);
00034
00035 void configure(java.util.Map<java.lang.String, java.lang.String> config, Ice.Current __current);
00036
00037 void start(Ice.Current __current);
00038
00039 void run(Ice.Current __current);
00040
00041 void stop(Ice.Current __current);
00042
00043 void setComponentManager(ComponentManagerPrx man, Ice.Current __current);
00044
00045 void setTimeServer(TimeServerPrx ts, Ice.Current __current);
00046
00051 void destroy(Ice.Current __current);
00052 }