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

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

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

revision 79389 by alexk, Fri Mar 20 12:55:11 2009 UTC revision 79390 by manus, Mon Jun 22 17:52:58 2009 UTC
# Line 453  feature {COMPILER_EXPORTER} -- Primitive Line 453  feature {COMPILER_EXPORTER} -- Primitive
453          adapted_in, skeleton_adapted_in (a_class_type: CLASS_TYPE): CL_TYPE_A          adapted_in, skeleton_adapted_in (a_class_type: CLASS_TYPE): CL_TYPE_A
454                          -- Instantiation of Current in context of `other'.                          -- Instantiation of Current in context of `other'.
455                  do                  do
456                          Result := a_class_type.type                          if a_class_type.is_basic then
457                                    Result := a_class_type.basic_type
458                            else
459                                    Result := a_class_type.type
460                            end
461                  end                  end
462    
463          instantiated_in (class_type: TYPE_A): TYPE_A          instantiated_in (class_type: TYPE_A): TYPE_A
# Line 530  note Line 534  note
534                          (available at the URL listed under "license" above).                          (available at the URL listed under "license" above).
535                                                    
536                          Eiffel Software's Eiffel Development Environment is                          Eiffel Software's Eiffel Development Environment is
537                          distributed in the hope that it will be useful, but                          distributed in the hope that it will be useful, but
538                          WITHOUT ANY WARRANTY; without even the implied warranty                          WITHOUT ANY WARRANTY; without even the implied warranty
539                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
540                          See the GNU General Public License for more details.                          See the GNU General Public License for more details.
541                                                    
542                          You should have received a copy of the GNU General Public                          You should have received a copy of the GNU General Public
543                          License along with Eiffel Software's Eiffel Development                          License along with Eiffel Software's Eiffel Development
544                          Environment; if not, write to the Free Software Foundation,                          Environment; if not, write to the Free Software Foundation,
545                          Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301  USA                          Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
546                  ]"                  ]"
547          source: "[          source: "[
548                           Eiffel Software                          Eiffel Software
549                           356 Storke Road, Goleta, CA 93117 USA                          5949 Hollister Ave., Goleta, CA 93117 USA
550                           Telephone 805-685-1006, Fax 805-685-6869                          Telephone 805-685-1006, Fax 805-685-6869
551                           Website http://www.eiffel.com                          Website http://www.eiffel.com
552                           Customer support http://support.eiffel.com                          Customer support http://support.eiffel.com
553                  ]"                  ]"
554    
555  end  end

Legend:
Removed from v.79389  
changed lines
  Added in v.79390

  ViewVC Help
Powered by ViewVC 1.1.23