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

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

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

revision 69867 by manus, Mon Jul 23 21:36:18 2007 UTC revision 69868 by martins, Fri Aug 3 22:28:26 2007 UTC
# Line 20  inherit Line 20  inherit
20                          complete_instantiation_in,                          complete_instantiation_in,
21                          generated_id, is_explicit, generate_gen_type_il,                          generated_id, is_explicit, generate_gen_type_il,
22                          generate_cid, generate_cid_array, generate_cid_init,                          generate_cid, generate_cid_array, generate_cid_init,
23                          make_gen_type_byte_code, is_reference, is_expanded, is_standalone                          make_gen_type_byte_code, is_reference, is_expanded, is_standalone, is_monomorph
24                  end                  end
25    
26          SHARED_BYTE_CONTEXT          SHARED_BYTE_CONTEXT
# Line 33  create Line 33  create
33    
34  feature {NONE} -- Initialization  feature {NONE} -- Initialization
35    
36          make (is_ref: like is_reference; is_exp: like is_expanded; i: like position; a_constraint_position: like constraint_position) is          make (is_ref: like is_reference; is_exp: like is_expanded; is_mono: like is_monomorph; i: like position; a_constraint_position: like constraint_position) is
37                          -- Assign `i' to `position'.                          -- Assign `i' to `position'.
38                  require                  require
39                          valid_position: i > 0                          valid_position: i > 0
40                  do                  do
41                          is_expanded := is_exp                          is_expanded := is_exp
42                            is_monomorph := is_mono
43                          position := i                          position := i
44                          constraint_position := a_constraint_position                          constraint_position := a_constraint_position
45                  ensure                  ensure
46                          constraint_position_set: a_constraint_position = constraint_position                          constraint_position_set: a_constraint_position = constraint_position
47                          is_expanded_set: is_expanded = is_exp                          is_expanded_set: is_expanded = is_exp
48                            is_monomorph_set: is_monomorph = is_mono
49                          position_set: position = i                          position_set: position = i
50                  end                  end
51    
# Line 111  feature -- Status report Line 113  feature -- Status report
113          is_multi_constrained: BOOLEAN is True          is_multi_constrained: BOOLEAN is True
114                          -- Is the type a formal type ?                          -- Is the type a formal type ?
115    
116            is_monomorph: BOOLEAN
117                            -- Is the type monomorph?
118    
119          is_explicit: BOOLEAN is False          is_explicit: BOOLEAN is False
120    
121          is_standalone: BOOLEAN is False          is_standalone: BOOLEAN is False
# Line 148  feature -- Status report Line 153  feature -- Status report
153          type_a: FORMAL_A is          type_a: FORMAL_A is
154                          -- Associated FORMAL_A object.                          -- Associated FORMAL_A object.
155                  do                  do
156                          create Result.make (is_reference, is_expanded, position)                          create Result.make (is_reference, is_expanded, is_monomorph, position)
157                  end                  end
158    
159  feature -- Comparison  feature -- Comparison

Legend:
Removed from v.69867  
changed lines
  Added in v.69868

  ViewVC Help
Powered by ViewVC 1.1.23