/[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 83441 by jasonw, Sat Jun 5 13:52:53 2010 UTC revision 83524 by jasonw, Fri Jun 11 08:12:14 2010 UTC
# Line 50  feature -- Access Line 50  feature -- Access
50          same_as (other: TYPE_A): BOOLEAN          same_as (other: TYPE_A): BOOLEAN
51                          -- Is the current type the same as `other' ?                          -- Is the current type the same as `other' ?
52                  do                  do
53                          Result := other.is_none                          if other.is_valid then
54                                    Result := other.is_none
55                            end
56                  end                  end
57    
58          associated_class: CLASS_C          associated_class: CLASS_C
# Line 113  feature {COMPILER_EXPORTER} Line 115  feature {COMPILER_EXPORTER}
115                  end                  end
116    
117  note  note
118          copyright:      "Copyright (c) 1984-2008, Eiffel Software"          copyright:      "Copyright (c) 1984-2010, Eiffel Software"
119          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
120          licensing_options:      "http://www.eiffel.com/licensing"          licensing_options:      "http://www.eiffel.com/licensing"
121          copying: "[          copying: "[
# Line 126  note Line 128  note
128                          (available at the URL listed under "license" above).                          (available at the URL listed under "license" above).
129                                                    
130                          Eiffel Software's Eiffel Development Environment is                          Eiffel Software's Eiffel Development Environment is
131                          distributed in the hope that it will be useful, but                          distributed in the hope that it will be useful, but
132                          WITHOUT ANY WARRANTY; without even the implied warranty                          WITHOUT ANY WARRANTY; without even the implied warranty
133                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
134                          See the GNU General Public License for more details.                          See the GNU General Public License for more details.
135                                                    
136                          You should have received a copy of the GNU General Public                          You should have received a copy of the GNU General Public
137                          License along with Eiffel Software's Eiffel Development                          License along with Eiffel Software's Eiffel Development
138                          Environment; if not, write to the Free Software Foundation,                          Environment; if not, write to the Free Software Foundation,
139                          Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301  USA                          Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
140                  ]"                  ]"
141          source: "[          source: "[
142                           Eiffel Software                          Eiffel Software
143                           356 Storke Road, Goleta, CA 93117 USA                          5949 Hollister Ave., Goleta, CA 93117 USA
144                           Telephone 805-685-1006, Fax 805-685-6869                          Telephone 805-685-1006, Fax 805-685-6869
145                           Website http://www.eiffel.com                          Website http://www.eiffel.com
146                           Customer support http://support.eiffel.com                          Customer support http://support.eiffel.com
147                  ]"                  ]"
148    
149  end -- class NONE_A  end -- class NONE_A

Legend:
Removed from v.83441  
changed lines
  Added in v.83524

  ViewVC Help
Powered by ViewVC 1.1.23