00001 package ServiceInformation; 00002 00003 00004 00005 // <<BeginUserCode>> 00006 00007 // <<EndUserCode>> 00014 public class ServiceStatus extends is.Info { 00015 public static final is.Type type = new is.Type( new ServiceStatus( ) ); 00016 00017 public ServiceStatus() { 00018 this( "ServiceStatus" ); 00019 } 00020 00021 protected ServiceStatus( String type ) { 00022 super( type ); 00023 done = 0; 00024 queue = 0; 00025 averageTimeEach = 0f; 00026 timeLeft = 0f; 00027 00028 // <<BeginUserCode>> 00029 00030 // <<EndUserCode>> 00031 } 00032 00033 00036 public int done; 00037 00040 public int queue; 00041 00044 public float averageTimeEach; 00045 00048 public float timeLeft; 00049 00050 00051 public void publishGuts( is.Ostream out ){ 00052 super.publishGuts( out ); 00053 out.put( done, false ).put( queue, false ).put( averageTimeEach ).put( timeLeft ); 00054 } 00055 00056 public void refreshGuts( is.Istream in ){ 00057 super.refreshGuts( in ); 00058 done = in.getInt( ); 00059 queue = in.getInt( ); 00060 averageTimeEach = in.getFloat( ); 00061 timeLeft = in.getFloat( ); 00062 } 00063 00064 00065 // <<BeginUserCode>> 00066 00067 // <<EndUserCode>> 00068 } 00069 00070 // <<BeginUserCode>> 00071 00072 // <<EndUserCode>> 00073