<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii">
<TITLE>Message</TITLE>
<META content="MSHTML 6.00.2900.2722" name=GENERATOR></HEAD>
<BODY>
<DIV><SPAN class=204583221-12102005><FONT face=Arial color=#0000ff
size=2>Hi,</FONT></SPAN></DIV>
<DIV><SPAN class=204583221-12102005><FONT face=Arial color=#0000ff
size=2></FONT></SPAN> </DIV>
<DIV><SPAN class=204583221-12102005><FONT face=Arial color=#0000ff size=2>Answer
for 1) A supertype is the same as basetype. In the specific case
Ocl:Integer is a derived type from Ocl:Real, so Ocl:Integer's supertype is
Ocl:Real. You can think of this relation as a generalization - specialization
relation. The higher the type is in the hierarchy (base classes on top,
derived classes below) the more general concept it represents. The lower
the type is, the more specialized is the concept.</FONT></SPAN></DIV>
<DIV><SPAN class=204583221-12102005><FONT face=Arial color=#0000ff
size=2>Available operations/methods for a type, are the ones that are defined
for it, and the ones that are defined for its basetypes.</FONT></SPAN></DIV>
<DIV><SPAN class=204583221-12102005><FONT face=Arial color=#0000ff
size=2></FONT></SPAN> </DIV>
<DIV><SPAN class=204583221-12102005><FONT face=Arial color=#0000ff
size=2>Zoli</FONT></SPAN></DIV>
<BLOCKQUOTE dir=ltr
style="PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #0000ff 2px solid; MARGIN-RIGHT: 0px">
<DIV></DIV>
<DIV class=OutlookMessageHeader lang=en-us dir=ltr align=left><FONT
face=Tahoma size=2>-----Original Message-----<BR><B>From:</B>
gme-users-bounces@list.isis.vanderbilt.edu
[mailto:gme-users-bounces@list.isis.vanderbilt.edu] <B>On Behalf Of
</B>joc<BR><B>Sent:</B> Tuesday, October 11, 2005 9:41 AM<BR><B>To:</B>
gme-users<BR><B>Subject:</B> [gme-users] OCL supertypes<BR><BR></FONT></DIV><!-- Converted from text/rtf format -->
<P><FONT face=Tahoma color=#800000 size=2>Hi</FONT> </P>
<P><FONT face=Tahoma color=#800000 size=2>I am struggling through OCL...
Currently I am stuck at predefined OCL types and GME Kinds and
Meta-Kinds...</FONT> </P>
<P><FONT face=Tahoma color=#800000 size=2>1) I can not understand what is the
mean of "supertype"? I.e. ocl::Real is supertype of ocl::Integer (pdf manual,
p.155) - is that like saying that ocl::Integer is derived from ocl::Real (that
would mean that all ocl::Real methods can be used on ocl::Integer, but not
vice versa...)?</FONT></P>
<P><FONT face=Tahoma color=#800000 size=2>2) Where can I find more information
about integration of predefined types into GME (maybe even examples)? On one
tutorial is partially related to OCL...</FONT></P>
<P><FONT face=Tahoma color=#800000 size=2>3) Can anybody suggests some
"helper-environment" for writing ocl statements (code highlighting, member
auto completion)... I'm writing class declarations in visual studio .NET to
get some benefit from IntelliSense. Any idea here?</FONT></P>
<P><FONT face=Tahoma color=#800000 size=2>Have a nice day,</FONT> <BR><FONT
face=Tahoma color=#800000 size=2>jOc</FONT> </P></BLOCKQUOTE></BODY></HTML>