/[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 56535 by manus, Tue Jan 17 01:37:10 2006 UTC revision 57234 by manus, Thu Mar 2 01:57:13 2006 UTC
# Line 14  inherit Line 14  inherit
14                          is_none, dump, type_i, same_as, is_full_named_type                          is_none, dump, type_i, same_as, is_full_named_type
15                  end                  end
16    
17    feature -- Visitor
18    
19            process (v: TYPE_A_VISITOR) is
20                            -- Process current element.
21                    do
22                            v.process_none_a (Current)
23                    end
24    
25  feature -- Comparison  feature -- Comparison
26    
27          is_equivalent (other: like Current): BOOLEAN is          is_equivalent (other: like Current): BOOLEAN is
# Line 85  indexing Line 93  indexing
93          licensing_options:      "http://www.eiffel.com/licensing"          licensing_options:      "http://www.eiffel.com/licensing"
94          copying: "[          copying: "[
95                          This file is part of Eiffel Software's Eiffel Development Environment.                          This file is part of Eiffel Software's Eiffel Development Environment.
96                            
97                          Eiffel Software's Eiffel Development Environment is free                          Eiffel Software's Eiffel Development Environment is free
98                          software; you can redistribute it and/or modify it under                          software; you can redistribute it and/or modify it under
99                          the terms of the GNU General Public License as published                          the terms of the GNU General Public License as published
100                          by the Free Software Foundation, version 2 of the License                          by the Free Software Foundation, version 2 of the License
101                          (available at the URL listed under "license" above).                          (available at the URL listed under "license" above).
102                            
103                          Eiffel Software's Eiffel Development Environment is                          Eiffel Software's Eiffel Development Environment is
104                          distributed in the hope that it will be useful, but                          distributed in the hope that it will be useful, but
105                          WITHOUT ANY WARRANTY; without even the implied warranty                          WITHOUT ANY WARRANTY; without even the implied warranty
106                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
107                          See the GNU General Public License for more details.                          See the GNU General Public License for more details.
108                            
109                          You should have received a copy of the GNU General Public                          You should have received a copy of the GNU General Public
110                          License along with Eiffel Software's Eiffel Development                          License along with Eiffel Software's Eiffel Development
111                          Environment; if not, write to the Free Software Foundation,                          Environment; if not, write to the Free Software Foundation,

Legend:
Removed from v.56535  
changed lines
  Added in v.57234

  ViewVC Help
Powered by ViewVC 1.1.23