[gme-users] OCL supertypes

Zoltan Molnar zolmol at isis.vanderbilt.edu
Wed Oct 12 17:43:04 CDT 2005

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.
Available operations/methods for a type, are the ones that are defined
for it, and the ones that are defined for its basetypes.

-----Original Message-----
From: gme-users-bounces at list.isis.vanderbilt.edu
[mailto:gme-users-bounces at list.isis.vanderbilt.edu] On Behalf Of joc
Sent: Tuesday, October 11, 2005 9:41 AM
To: gme-users
Subject: [gme-users] OCL supertypes


I am struggling through OCL... Currently I am stuck at predefined OCL
types and GME Kinds and Meta-Kinds... 

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...)?

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...

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?

Have a nice day, 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://list.isis.vanderbilt.edu/pipermail/gme-users/attachments/20051012/cf3f67ea/attachment.htm

More information about the gme-users mailing list