/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/none_a.e
ViewVC logotype

Diff of /branches/eth/eve/Src/Eiffel/API/evaluated_type/none_a.e

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

revision 48079 by manus, Sat Jan 29 01:50:07 2005 UTC revision 48130 by manus, Sun Jan 30 22:56:28 2005 UTC
# Line 67  feature {COMPILER_EXPORTER} Line 67  feature {COMPILER_EXPORTER}
67    
68          conform_to (other: TYPE_A): BOOLEAN is          conform_to (other: TYPE_A): BOOLEAN is
69                          -- Does Current conform to `other'?                          -- Does Current conform to `other'?
70                    local
71                            l_type: TYPE_A
72                  do                  do
73                                  -- If `other' is expanded, then it does not conform to NONE.                                  -- If `other' is expanded, then it does not conform to NONE.
74                          Result := not other.is_expanded                                  -- But it should not be `VOID_A' since VOID_A is only used as
75                                    -- return type for procedure
76                            l_type := other.actual_type
77                            Result := not l_type.is_expanded and not l_type.is_void
78                  end                  end
79    
80  end -- class NONE_A  end -- class NONE_A

Legend:
Removed from v.48079  
changed lines
  Added in v.48130

  ViewVC Help
Powered by ViewVC 1.1.23