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

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.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 396  feature -- Status Line 396  feature -- Status
396                          definition: Result = (declaration_mark = {CL_TYPE_A}.separate_mark)                          definition: Result = (declaration_mark = {CL_TYPE_A}.separate_mark)
397                  end                  end
398    
399            has_monomorph_mark: BOOLEAN is
400                            -- Is class type explicitly marked as monomorph?
401                    do
402                            Result := declaration_mark = {CL_TYPE_A}.monomorph_mark
403                    ensure
404                            definition: Result = (declaration_mark = {CL_TYPE_A}.monomorph_mark)
405                    end
406    
407          is_expanded: BOOLEAN is          is_expanded: BOOLEAN is
408                          -- Is the type expanded?                          -- Is the type expanded?
409                  do                  do
# Line 529  feature -- Setting Line 537  feature -- Setting
537                          has_separate_mark: has_separate_mark                          has_separate_mark: has_separate_mark
538                  end                  end
539    
540            set_monomorph_mark is
541                            -- Set class type declaration as monomorph.
542                    do
543                            declaration_mark := {CL_TYPE_A}.monomorph_mark
544                    ensure
545                            has_monomorph_mark: has_monomorph_mark
546                    end
547    
548          set_cr_info (cinfo : CREATE_INFO) is          set_cr_info (cinfo : CREATE_INFO) is
549                          -- Set `cr_info' to `cinfo'.                          -- Set `cr_info' to `cinfo'.
550                  require                  require
# Line 754  feature {CL_TYPE_A, TUPLE_CLASS_B} -- Im Line 770  feature {CL_TYPE_A, TUPLE_CLASS_B} -- Im
770                  require                  require
771                          valid_declaration_mark:                          valid_declaration_mark:
772                                  mark = {CL_TYPE_A}.no_mark or mark = {CL_TYPE_A}.expanded_mark or                                  mark = {CL_TYPE_A}.no_mark or mark = {CL_TYPE_A}.expanded_mark or
773                                  mark = {CL_TYPE_A}.reference_mark or mark = {CL_TYPE_A}.separate_mark                                  mark = {CL_TYPE_A}.reference_mark or mark = {CL_TYPE_A}.separate_mark or
774                                    mark = {CL_TYPE_A}.monomorph_mark
775                  do                  do
776                          declaration_mark := mark                          declaration_mark := mark
777                  ensure                  ensure
# Line 767  invariant Line 784  invariant
784                  declaration_mark = {CL_TYPE_A}.no_mark or                  declaration_mark = {CL_TYPE_A}.no_mark or
785                  declaration_mark = {CL_TYPE_A}.expanded_mark or                  declaration_mark = {CL_TYPE_A}.expanded_mark or
786                  declaration_mark = {CL_TYPE_A}.reference_mark or                  declaration_mark = {CL_TYPE_A}.reference_mark or
787                  declaration_mark = {CL_TYPE_A}.separate_mark                  declaration_mark = {CL_TYPE_A}.separate_mark or
788                    declaration_mark = {CL_TYPE_A}.monomorph_mark
789    
790  indexing  indexing
791          copyright:      "Copyright (c) 1984-2006, Eiffel Software"          copyright:      "Copyright (c) 1984-2006, Eiffel Software"

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

  ViewVC Help
Powered by ViewVC 1.1.23