Eclipse Community Forums: OCL » oclIstTypeOf and oclIsKindOf

Home » Modeling » OCL » oclIstTypeOf and oclIsKindOf

oclIstTypeOf and oclIsKindOf [message #58648]

Fri, 13 June 2008 08:22

Eclipse User

Hi all,

i've cross-read the OCL Specification and have a question concerning the
functions, mentioned in the subject line.

let's assume, there are a Class A, and a inheritance tree like

X
|->Y
|->Z1
|->Z2

and A has a association of type X with rolename name.

Now i want to check, whether the A.name carries the Type Z2 during
evaluation time. I think i have to write (with context type A):

self.name.oclIsKindOf(Z2) --checks the inheritance tree, whether name is
a type of the inheritance tree of Z2?

But the expression

self.name.oclIsTypeOf(Z2)

will fail, because isTypeOf is equals to the Java equal(Objet obj) method,
taht doesn't care about inheritance, but only about the concrete type.

Is this a correct interpretation?

Cheers,
--Timothy

Re: oclIstTypeOf and oclIsKindOf [message #58672 is a reply to message #58648]

Fri, 13 June 2008 09:16

Eclipse User

Originally posted by: cdamus.zeligsoft.com

--=-tEFYiLRj4p+oym3CubPr
Content-Type: text/plain
Content-Transfer-Encoding: 7bit

Hi, Timothy,

The oclIsTypeOf() operation checks whether an object's type is identical
to the specified type. The oclIsKindOf() operation checks whether an
object's type conforms to the specified type. The Java analogues are:

self.name.oclIsKindOf(Z2) <==> this.name instanceof Z2

self.name.oclIsTypeOf(Z2) <==> this.name.getClass() == Z2.class

HTH,

Christian

On Fri, 2008-06-13 at 14:22 +0200, Timothy Marc wrote:

> Hi all,
>
> i've cross-read the OCL Specification and have a question concerning the
> functions, mentioned in the subject line.
>
> let's assume, there are a Class A, and a inheritance tree like
>
> X
> |->Y
> |->Z1
> |->Z2
>
> and A has a association of type X with rolename name.
>
> Now i want to check, whether the A.name carries the Type Z2 during
> evaluation time. I think i have to write (with context type A):
>
> self.name.oclIsKindOf(Z2) --checks the inheritance tree, whether name is
> a type of the inheritance tree of Z2?
>
> But the expression
>
> self.name.oclIsTypeOf(Z2)
>
> will fail, because isTypeOf is equals to the Java equal(Objet obj) method,
> taht doesn't care about inheritance, but only about the concrete type.
>
> Is this a correct interpretation?
>
> Cheers,
> --Timothy
>
>
>

--=-tEFYiLRj4p+oym3CubPr
Content-Type: text/html; charset=utf-8

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.16.0">
</HEAD>
<BODY>
Hi, Timothy, 
 
The oclIsTypeOf() operation checks whether an object's type is identical to the specified type.  The oclIsKindOf() operation checks whether an object's type conforms to the specified type.  The Java analogues are: 
 
  self.name.oclIsKindOf(Z2)  <==>  this.name instanceof Z2 
 
  self.name.oclIsTypeOf(Z2) <==>  this.name.getClass() == Z2.class 
 
HTH, 
 
Christian 
 
  
On Fri, 2008-06-13 at 14:22 +0200, Timothy Marc wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
Hi all,

i've cross-read the OCL Specification and have a question concerning the 
functions, mentioned in the subject line.

let's assume, there are a Class A, and a inheritance tree like

X
|->Y
 |->Z1
 |->Z2

and A has a association of type X with rolename name.

Now i want to check, whether the A.name carries the Type Z2 during 
evaluation time. I think i have to write (with context type A):

 self.name.oclIsKindOf(Z2) --checks the inheritance tree, whether name is 
a type of the inheritance tree of Z2?

But the expression

 self.name.oclIsTypeOf(Z2)

will fail, because isTypeOf is equals to the Java equal(Objet obj) method, 
taht doesn't care about inheritance, but only about the concrete type.

Is this a correct interpretation?

Cheers,
--Timothy

</PRE>
</BLOCKQUOTE>
</BODY>
</HTML>

--=-tEFYiLRj4p+oym3CubPr--

Re: oclIstTypeOf and oclIsKindOf [message #58745 is a reply to message #58672]

Mon, 16 June 2008 08:54

Eclipse User

This is a multi-part message in MIME format.

------=_NextPart_000_0011_01C8CFC0.F1BF84B0
Content-Type: text/plain;
charset="utf-8"
Content-Transfer-Encoding: quoted-printable

Hi Christian,

thanks again.=20

Timothy

"Christian W. Damus" <cdamus@zeligsoft.com> schrieb im Newsbeitrag =
news:1213363017.6414.18.camel@cwdlappy...
Hi, Timothy,

The oclIsTypeOf() operation checks whether an object's type is =
identical to the specified type. The oclIsKindOf() operation checks =
whether an object's type conforms to the specified type. The Java =
analogues are:

self.name.oclIsKindOf(Z2) <=3D=3D> this.name instanceof Z2

self.name.oclIsTypeOf(Z2) <=3D=3D> this.name.getClass() =3D=3D =
Z2.class

HTH,

Christian

=20
On Fri, 2008-06-13 at 14:22 +0200, Timothy Marc wrote:=20
Hi all,

i've cross-read the OCL Specification and have a question concerning the =

functions, mentioned in the subject line.

let's assume, there are a Class A, and a inheritance tree like

X
|->Y
|->Z1
|->Z2

and A has a association of type X with rolename name.

Now i want to check, whether the A.name carries the Type Z2 during=20
evaluation time. I think i have to write (with context type A):

self.name.oclIsKindOf(Z2) --checks the inheritance tree, whether =
name is=20
a type of the inheritance tree of Z2?

But the expression

self.name.oclIsTypeOf(Z2)

will fail, because isTypeOf is equals to the Java equal(Objet obj) =
method,=20
taht doesn't care about inheritance, but only about the concrete type.

Is this a correct interpretation?

Cheers,
--Timothy

------=_NextPart_000_0011_01C8CFC0.F1BF84B0
Content-Type: text/html;
charset="utf-8"
Content-Transfer-Encoding: quoted-printable

=EF=BB=BF<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=3DContent-Type content=3D"text/html; CHARSET=3DUTF-8">
<META content=3D"MSHTML 6.00.6000.16674" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV>Hi Christian,</DIV>
<DIV> </DIV>
<DIV>thanks again. </DIV>
<DIV> </DIV>
<DIV>Timothy</DIV>
<DIV> </DIV>
<DIV>"Christian W. Damus" <<A=20
href=3D"mailto:cdamus@zeligsoft.com">cdamus@zeligsoft.com</A>> =
schrieb im=20
Newsbeitrag <A=20
href=3D"news:1213363017.6414.18.camel@cwdlappy">news:1213363017.6414.18.c=
amel@cwdlappy</A>...</DIV>
<BLOCKQUOTE dir=3Dltr=20
style=3D"PADDING-RIGHT: 0px; PADDING-LEFT: 5px; MARGIN-LEFT: 5px; =
BORDER-LEFT: #000000 2px solid; MARGIN-RIGHT: 0px">Hi,=20
Timothy, The oclIsTypeOf() operation checks whether an object's =
type is=20
identical to the specified type.  The oclIsKindOf() operation =
checks=20
whether an object's type conforms to the specified type.  The =
Java=20
analogues are:   self.name.oclIsKindOf(Z2)  =
<=3D=3D> =20
this.name instanceof Z2   self.name.oclIsTypeOf(Z2)=20
<=3D=3D>  this.name.getClass() =3D=3D=20
Z2.class HTH, Christian   On Fri, =
2008-06-13 at=20
14:22 +0200, Timothy Marc wrote:=20
<BLOCKQUOTE TYPE=3D"CITE"><PRE>Hi all,

i've cross-read the OCL Specification and have a =
question concerning the 
functions, mentioned in the subject line.

let's assume, there are a Class A, and a =
inheritance tree like

X
|->Y
 |->Z1
 |->Z2

and A has a association of type X with rolename =
name.

Now i want to check, whether the A.name carries =
the Type Z2 during 
evaluation time. I think i have to write (with =
context type A):

 self.name.oclIsKindOf(Z2) --checks the =
inheritance tree, whether name is 
a type of the inheritance tree of Z2?

But the expression

 self.name.oclIsTypeOf(Z2)

will fail, because isTypeOf is equals to the Java =
equal(Objet obj) method, 
taht doesn't care about inheritance, but only =
about the concrete type.

Is this a correct interpretation?

Cheers,
--Timothy

</PRE></BLOCKQUOTE></BLOCKQUOTE></BODY></HTML>

------=_NextPart_000_0011_01C8CFC0.F1BF84B0--

Previous Topic:	query Instance specification
Next Topic:	ASTNode - transient positions

Goto Forum:

-=] Back to Top [=-

Current Time: Mon May 12 12:13:06 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter