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

Diff of /branches/CAT_mono/Src/framework/parser/AST/types/formal_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 20  create Line 20  create
20    
21  feature {NONE} -- Initialization  feature {NONE} -- Initialization
22    
23          initialize (n: ID_AS; is_ref, is_exp: BOOLEAN; r_as: like reference_expanded_keyword) is          initialize (n: ID_AS; is_ref, is_exp, a_is_monomorph: BOOLEAN; r_as: like reference_expanded_keyword) is
24                          -- Create a new FORMAL AST node.                          -- Create a new FORMAL AST node.
25                  require                  require
26                          n_not_void: n /= Void                          n_not_void: n /= Void
# Line 28  feature {NONE} -- Initialization Line 28  feature {NONE} -- Initialization
28                          name := n                          name := n
29                          is_reference := is_ref                          is_reference := is_ref
30                          is_expanded := is_exp                          is_expanded := is_exp
31                            is_monomorph := a_is_monomorph
32                          reference_expanded_keyword := r_as                          reference_expanded_keyword := r_as
33                  ensure                  ensure
34                          name_set: name = n                          name_set: name = n
# Line 49  feature -- Roundtrip Line 50  feature -- Roundtrip
50          reference_expanded_keyword: KEYWORD_AS          reference_expanded_keyword: KEYWORD_AS
51                          -- Keyword "reference" or "expanded" associated with this structure                          -- Keyword "reference" or "expanded" associated with this structure
52    
53            monomorph_keyword: KEYWORD_AS
54                            -- Keyword which marks type as monomorph
55                    do
56                            Result := reference_expanded_keyword
57                    end
58    
59  feature -- Properties  feature -- Properties
60    
61          name: ID_AS          name: ID_AS
# Line 64  feature -- Properties Line 71  feature -- Properties
71          is_expanded: BOOLEAN          is_expanded: BOOLEAN
72                          -- Is Current formal to be always instantiated as an expanded type?                          -- Is Current formal to be always instantiated as an expanded type?
73    
74            is_monomorph: BOOLEAN
75                            -- Is Current formal marked as monomorph formal?
76    
77  feature -- Roundtrip/Token  feature -- Roundtrip/Token
78    
79          first_token (a_list: LEAF_AS_LIST): LEAF_AS is          first_token (a_list: LEAF_AS_LIST): LEAF_AS is

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

  ViewVC Help
Powered by ViewVC 1.1.23