/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/interface/pointer_b.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/interface/pointer_b.e

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

revision 69867 by juliant, Tue Jul 24 17:18:14 2007 UTC revision 69868 by martins, Fri Aug 3 22:28:26 2007 UTC
# Line 39  feature -- Access Line 39  feature -- Access
39                          l_formal: FORMAL_A                          l_formal: FORMAL_A
40                  do                  do
41                          if is_typed_pointer then                          if is_typed_pointer then
42                                  create l_formal.make (False, False, 1)                                          -- TODO: is polymorph ok? (3rd False)
43                                    create l_formal.make (False, False, False, 1)
44                                  create {TYPED_POINTER_A} Result.make_typed (l_formal)                                  create {TYPED_POINTER_A} Result.make_typed (l_formal)
45                          else                          else
46                                  Result := Pointer_type                                  Result := Pointer_type

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

  ViewVC Help
Powered by ViewVC 1.1.23