/[eiffelstudio]/branches/CAT_mono/Src/framework/parser/AST/types/class_type_as.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/framework/parser/AST/types/class_type_as.e

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

revision 69649 by manus, Mon Jul 23 21:36:18 2007 UTC revision 69650 by juliant, Tue Jul 24 17:18:14 2007 UTC
# Line 69  feature -- Attributes Line 69  feature -- Attributes
69          is_separate: BOOLEAN          is_separate: BOOLEAN
70                          -- Is current type used with `separate' keyword?                          -- Is current type used with `separate' keyword?
71    
72            is_monomorph: BOOLEAN
73                            -- Is current type marked as monomorph?
74    
75  feature -- Roundtrip  feature -- Roundtrip
76    
77          expanded_keyword: KEYWORD_AS          expanded_keyword: KEYWORD_AS
# Line 77  feature -- Roundtrip Line 80  feature -- Roundtrip
80          separate_keyword: KEYWORD_AS          separate_keyword: KEYWORD_AS
81                          -- Keyword "separate" associated with this structure.                            -- Keyword "separate" associated with this structure.  
82    
83            monomorph_keyword: KEYWORD_AS
84                            -- Keyword which marks type as monomorph
85    
86          internal_generics: like generics          internal_generics: like generics
87                          -- Internal possible generical parameters                          -- Internal possible generical parameters
88    
# Line 93  feature -- Roundtrip/Token Line 99  feature -- Roundtrip/Token
99                                                  Result := expanded_keyword.first_token (a_list)                                                  Result := expanded_keyword.first_token (a_list)
100                                          elseif separate_keyword /= Void then                                          elseif separate_keyword /= Void then
101                                                  Result := separate_keyword.first_token (a_list)                                                  Result := separate_keyword.first_token (a_list)
102                                            elseif monomorph_keyword /= Void then
103                                                    Result := monomorph_keyword.first_token (a_list)
104                                          else                                          else
105                                                  Result := class_name.first_token (a_list)                                                  Result := class_name.first_token (a_list)
106                                          end                                          end
# Line 127  feature -- Comparison Line 135  feature -- Comparison
135                  do                  do
136                          Result := equivalent (class_name, other.class_name) and then                          Result := equivalent (class_name, other.class_name) and then
137                                  equivalent (generics, other.generics) and then                                  equivalent (generics, other.generics) and then
138                                  is_expanded = other.is_expanded                                  is_expanded = other.is_expanded and then
139                                    is_monomorph = other.is_monomorph
140                  end                  end
141    
142  feature {AST_FACTORY, COMPILER_EXPORTER} -- Conveniences  feature {AST_FACTORY, COMPILER_EXPORTER} -- Conveniences
# Line 152  feature {AST_FACTORY, COMPILER_EXPORTER} Line 161  feature {AST_FACTORY, COMPILER_EXPORTER}
161                          separate_keyword_set: separate_keyword = s_as                          separate_keyword_set: separate_keyword = s_as
162                  end                  end
163    
164            set_is_monomorph (i: like is_monomorph; s_as: like monomorph_keyword) is
165                            -- Set `is_monomorph' to `i'.
166                    do
167                            is_monomorph := i
168                            monomorph_keyword := s_as
169                    ensure
170                            is_monomorph_set: is_monomorph = i
171                            monomorph_keyword_set: monomorph_keyword = s_as
172                    end
173    
174          set_class_name (s: like class_name) is          set_class_name (s: like class_name) is
175                          -- Assign `s' to `class_name'.                          -- Assign `s' to `class_name'.
176                  do                  do

Legend:
Removed from v.69649  
changed lines
  Added in v.69650

  ViewVC Help
Powered by ViewVC 1.1.23