/[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 40972 by manus, Mon Jan 12 17:53:39 2004 UTC revision 41740 by manus, Fri Mar 5 19:07:40 2004 UTC
# Line 9  class Line 9  class
9  inherit  inherit
10          TYPE_A          TYPE_A
11                  redefine                  redefine
12                          is_none, dump, type_i, same_as,                          is_none, dump, type_i, same_as
                         internal_conform_to  
13                  end                  end
14    
15  feature -- Comparison  feature -- Comparison
# Line 63  feature {COMPILER_EXPORTER} Line 62  feature {COMPILER_EXPORTER}
62                          Result := None_c_type                          Result := None_c_type
63                  end                  end
64    
65          internal_conform_to (other: TYPE_A in_generics: BOOLEAN): BOOLEAN is          conform_to (other: TYPE_A): BOOLEAN is
66                          -- Does `other' conform to Current ?                          -- Does Current conform to `other'?
67                  do                  do
68                                  -- If `other' is a basic, a BIT or an expanded type, it is not                                  -- If `other' is a basic, a BIT or an expanded type, it is not
69                                  -- conform to NONE.                                  -- conform to NONE.
# Line 73  feature {COMPILER_EXPORTER} Line 72  feature {COMPILER_EXPORTER}
72  -- FIXME: This test needs to be done, but since it's causing to much trouble for now  -- FIXME: This test needs to be done, but since it's causing to much trouble for now
73  -- we just desactivated it and we are back to the previous implementation  -- we just desactivated it and we are back to the previous implementation
74  --                      Result := not (other.is_basic or else other.is_expanded)  --                      Result := not (other.is_basic or else other.is_expanded)
75                          Result := not other.is_void                          Result := not other.actual_type.is_void
76                  end                  end
77    
78  end -- class NONE_A  end -- class NONE_A

Legend:
Removed from v.40972  
changed lines
  Added in v.41740

  ViewVC Help
Powered by ViewVC 1.1.23