/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 30169 by manus, Fri Jan 11 01:28:57 2002 UTC revision 30224 by manus, Thu Jan 17 00:57:45 2002 UTC
# Line 32  inherit Line 32  inherit
32                          {NONE} all                          {NONE} all
33                  end                  end
34    
35    create
36            make
37            
38    feature {NONE} -- Initialization
39    
40            make (id: INTEGER) is
41                            -- Create new instance of `Current' with `base_id'
42                            -- assigned with `id'.
43                    require
44                            valid_id: id > 0
45                    do
46                            base_id := id
47                    ensure
48                            base_id_set: base_id = id
49                    end
50                    
51  feature -- Access  feature -- Access
52    
53          base_id: INTEGER          base_id: INTEGER
# Line 271  feature -- Status Line 287  feature -- Status
287    
288  feature -- Setting  feature -- Setting
289    
         set_base_id (c: INTEGER) is  
                         -- Assign `c' to `base_id'.  
                 do  
                         base_id := c  
                 end  
   
290          set_is_true_expanded (b: BOOLEAN) is          set_is_true_expanded (b: BOOLEAN) is
291                          -- Assign `b' to `is_true_expanded'.                          -- Assign `b' to `is_true_expanded'.
292                  do                  do
# Line 291  feature -- Setting Line 301  feature -- Setting
301    
302          set_cr_info (cinfo : CREATE_INFO) is          set_cr_info (cinfo : CREATE_INFO) is
303                          -- Set `cr_info' to `cinfo'.                          -- Set `cr_info' to `cinfo'.
304                    require
305                            create_info_not_void: cinfo /= Void
306                  do                  do
307                          cr_info := cinfo                          cr_info := cinfo
308                  ensure                  ensure

Legend:
Removed from v.30169  
changed lines
  Added in v.30224

  ViewVC Help
Powered by ViewVC 1.1.23