00001 package DisplayGUI; 00002 00003 00004 00005 // <<BeginUserCode>> 00006 00007 // <<EndUserCode>> 00014 public class TestSummaryIS extends is.Info { 00015 public static final is.Type type = new is.Type( new TestSummaryIS( ) ); 00016 00017 public TestSummaryIS() { 00018 this( "TestSummaryIS" ); 00019 } 00020 00021 protected TestSummaryIS( String type ) { 00022 super( type ); 00023 dataString = ""; 00024 00025 // <<BeginUserCode>> 00026 00027 // <<EndUserCode>> 00028 } 00029 00030 00033 public String dataString; 00034 00035 00036 public void publishGuts( is.Ostream out ){ 00037 super.publishGuts( out ); 00038 out.put( dataString ); 00039 } 00040 00041 public void refreshGuts( is.Istream in ){ 00042 super.refreshGuts( in ); 00043 dataString = in.getString( ); 00044 } 00045 00046 00047 // <<BeginUserCode>> 00048 00049 // <<EndUserCode>> 00050 } 00051 00052 // <<BeginUserCode>> 00053 00054 // <<EndUserCode>> 00055