/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/API/evaluated_type/formal_a.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/API/evaluated_type/formal_a.e

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

revision 69867 by juliant, Wed Jul 25 23:42:05 2007 UTC revision 69868 by martins, Fri Aug 3 22:28:26 2007 UTC
# Line 32  create Line 32  create
32    
33  feature {NONE} -- Initialization  feature {NONE} -- Initialization
34    
35          make (is_ref: like is_reference; is_exp: like is_expanded; i: like position) is          make (is_ref: like is_reference; is_exp: like is_expanded; is_mono: like is_monomorph; i: like position) is
36                          -- Initialize new instance of FORMAL_A which is garanteed to                          -- Initialize new instance of FORMAL_A which is garanteed to
37                          -- be instantiated as a reference type if `is_ref'.                          -- be instantiated as a reference type if `is_ref'.
38                  do                  do
39                          is_reference := is_ref                          is_reference := is_ref
40                          is_expanded := is_exp                          is_expanded := is_exp
41                            is_monomorph := is_mono
42                          position := i                          position := i
43                  ensure                  ensure
44                          is_reference_set: is_reference = is_ref                          is_reference_set: is_reference = is_ref
45                          is_expanded_set: is_expanded = is_exp                          is_expanded_set: is_expanded = is_exp
46                            is_monomoprh_set: is_monomorph = is_mono
47                          position_set: position = i                          position_set: position = i
48                  end                  end
49    
# Line 81  feature -- Property Line 83  feature -- Property
83          is_expanded: BOOLEAN          is_expanded: BOOLEAN
84                          -- Is current constrained to be always an expanded?                          -- Is current constrained to be always an expanded?
85    
         is_monomorph: BOOLEAN  
                         -- Is curren type a monomorph?  
   
86          hash_code: INTEGER is          hash_code: INTEGER is
87                          --                          --
88                  do                  do
89                          Result := position                          Result := position
90                  end                  end
91    
92            is_monomorph: BOOLEAN
93                            -- Is current formal marked as monomorph?
94                            --| This is the mark in the class header: class A [frozen G -> CONSTRAINT]
95                            --| It means that all occurrences of G are monomorph by default.
96    
97          is_single_constraint_without_renaming (a_context_class: CLASS_C): BOOLEAN          is_single_constraint_without_renaming (a_context_class: CLASS_C): BOOLEAN
98                          -- Is current type a formal type which is single constrained and the constraint has not a feature renaming?                                              -- Is current type a formal type which is single constrained and the constraint has not a feature renaming?                    
99                          --                          --

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

  ViewVC Help
Powered by ViewVC 1.1.23