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

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

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

revision 69686 by manus, Mon Jul 23 21:36:18 2007 UTC revision 69687 by martins, Wed Jul 25 18:55:08 2007 UTC
# Line 11  deferred class TYPE_AS Line 11  deferred class TYPE_AS
11  inherit  inherit
12          AST_EIFFEL          AST_EIFFEL
13    
14            REFACTORING_HELPER
15                    export
16                            {NONE} all
17                    undefine
18                            is_equal, out
19                    end
20    
21  feature -- Roundtrip  feature -- Roundtrip
22    
23          lcurly_symbol, rcurly_symbol: SYMBOL_AS          lcurly_symbol, rcurly_symbol: SYMBOL_AS
# Line 49  feature -- Roundtrip/Token Line 56  feature -- Roundtrip/Token
56                          end                          end
57                  end                  end
58    
59    feature -- Status
60    
61            has_covariant_keyword: BOOLEAN
62                            -- Is the type marked with a covariant keyword?
63                    do
64                            Result := covariant_keyword /= Void
65                            fixme ("Move covariant_keyword into wrapper class which encapsulates the keyword and a TYPE_AS. Adapt type list for generic derivation to use the new wrapper.")
66                    end
67    
68    feature -- Access
69    
70            covariant_keyword: KEYWORD_AS
71                            -- Keyword which marks type as covariant
72                            --| Void if type is not part of generic derivation.
73    
74    feature -- Element change
75    
76            set_covariant_keyword (a_keyword: KEYWORD_AS)
77                            -- Set `covariant_keyword' to `a_keyword'
78                    require
79                            a_keyword_not_void: a_keyword /= Void
80                    do
81                            covariant_keyword := a_keyword
82                    ensure
83                            keyword_set: covariant_keyword = a_keyword
84                    end
85    
86  feature -- Output  feature -- Output
87    
88          dump: STRING is          dump: STRING is

Legend:
Removed from v.69686  
changed lines
  Added in v.69687

  ViewVC Help
Powered by ViewVC 1.1.23