Eclipse Community Forums: OCL

Help

Home

Home » Modeling » OCL » SimpleAnyType

Show: Today's Messages :: Show Polls :: Message Navigator

SimpleAnyType [message #48988]

Fri, 18 January 2008 19:38

Philipp Kutter

Messages: 306
Registered: July 2009

Senior Member

Hi.
Ed Merks told me to use

SimpleAnyType

to wrap any value, independent whether it is an object or a data type.

Does OCL support the treatment of instances of SimpleAnyType in a
convenient way?

This would be huge!

Best, Philipp

-------- Original Message --------
Subject: Re: Wrapper for arbitrary values or objects
Date: Fri, 18 Jan 2008 10:35:22 -0500
From: Ed Merks <merks@ca.ibm.com>
Organization: EclipseCorner
Newsgroups: eclipse.tools.emf
References: <fmqgel$rv9$1@build.eclipse.org>

Phillip,

An instance of SimpleAnyType is an EObject and can have its
setInstanceType be called to reference any EDataType and then setValue
or setRawValue can be used to set an instance of that type or a literal
representation of an instance of that type so in that way it acts as a
wrapper. This is what's created when a serialized instance uses
xsi:type="..." where "..." refers to an EDataType rather than an EClass...

Philipp W. Kutter wrote:
> Hi.
> Has anyone an idea what is the most elegant solution for a
> wrapper for values of some EDataYype, and objects of some EClass?
>
> We need to define an EStructuralFeature which can point both to any
> EObject, or any of EInt, EBoolean, EString, e.t.c.
>
> Creating a class
>
> Wrapper(type: EType, many: boolean, objectValue: EObject*, intValue:
> EInt*, ...)
>
> is obvious, but then the OCL expressions over this get very ugly.
>
> Best, Philipp

Report message to a moderator

Re: SimpleAnyType [message #49021 is a reply to message #48988]

Fri, 18 January 2008 20:26

Eclipse User

Originally posted by: cdamus.ca.ibm.com

Hi, Philipp,

The SimpleAnyType has a demand-created EClass, if I'm not mistaken, right?
With demand-created features corresponding to the elements and attributes
found in the XML?

In that case, OCL's usual introspection mechanism will find the metadata
that it needs to figure out what you're trying to tell it.

Of course, I haven't actually tried this ... why don't you?

Cheers,

Christian

Philipp W. Kutter wrote:

> Hi.
> Ed Merks told me to use
>
> SimpleAnyType
>
> to wrap any value, independent whether it is an object or a data type.
>
> Does OCL support the treatment of instances of SimpleAnyType in a
> convenient way?
>
> This would be huge!
>
> Best, Philipp
>
> -------- Original Message --------
> Subject: Re: Wrapper for arbitrary values or objects
> Date: Fri, 18 Jan 2008 10:35:22 -0500
> From: Ed Merks <merks@ca.ibm.com>
> Organization: EclipseCorner
> Newsgroups: eclipse.tools.emf
> References: <fmqgel$rv9$1@build.eclipse.org>
>
> Phillip,
>
> An instance of SimpleAnyType is an EObject and can have its
> setInstanceType be called to reference any EDataType and then setValue
> or setRawValue can be used to set an instance of that type or a literal
> representation of an instance of that type so in that way it acts as a
> wrapper. This is what's created when a serialized instance uses
> xsi:type="..." where "..." refers to an EDataType rather than an EClass...
>
>
> Philipp W. Kutter wrote:
> > Hi.
> > Has anyone an idea what is the most elegant solution for a
> > wrapper for values of some EDataYype, and objects of some EClass?
> >
> > We need to define an EStructuralFeature which can point both to any
> > EObject, or any of EInt, EBoolean, EString, e.t.c.
> >
> > Creating a class
> >
> > Wrapper(type: EType, many: boolean, objectValue: EObject*, intValue:
> > EInt*, ...)
> >
> > is obvious, but then the OCL expressions over this get very ugly.
> >
> > Best, Philipp

Report message to a moderator

Re: SimpleAnyType [message #49050 is a reply to message #49021]

Fri, 18 January 2008 21:37

Eclipse User

Originally posted by: merks.ca.ibm.com

This is a multi-part message in MIME format.
--------------070204060005080907020609
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit

Christian,

It's like this. You'd create an instance and then you can set it's
instance type to any EDataType. After that you can set the raw value
which must be a literal of the data type or the value which must be an
instance of the data type. In all cases the value is recorded in the
mixed text feature of the parent AnyType. No demand created metadata
need be involved. I suppose the only tricky thing is that the value
returned by getValue must be an instance of the type returned by
getInstanceType. I'm not sure what type of specialized support, if any,
this would need.

package org.eclipse.emf.ecore.xml.type;

import org.eclipse.emf.ecore.EDataType;

/**
* 
* A representation of the model object 'Simple Any
Type'.
* 
*
* 
* The following features are supported:
* <ul>
* <li>{@link
org.eclipse.emf.ecore.xml.type.SimpleAnyType#getRawValue Raw
Value}</li>
* <li>{@link
org.eclipse.emf.ecore.xml.type.SimpleAnyType#getValue
Value}</li>
* <li>{@link
org.eclipse.emf.ecore.xml.type.SimpleAnyType#getInstanceType
Instance Type}</li>
* </ul>
* 
*
* @see org.eclipse.emf.ecore.xml.type.XMLTypePackage#getSimpleAnyTy pe()
* @model extendedMetaData="name='simpleAnyType' kind='simple'"
* @generated
*/
public interface SimpleAnyType extends AnyType
{
/**
* Returns the value of the 'Raw Value' attribute.
* 
* 
* @return the value of the 'Raw Value' attribute.
* @see #setRawValue(String)
* @see
org.eclipse.emf.ecore.xml.type.XMLTypePackage#getSimpleAnyTy pe_RawValue()
* @model dataType="org.eclipse.emf.ecore.xml.type.String"
transient="true" volatile="true" derived="true"
* extendedMetaData="name=':3' kind='simple'"
* @generated
*/
String getRawValue();

/**
* Sets the value of the '{@link
org.eclipse.emf.ecore.xml.type.SimpleAnyType#getRawValue Raw
Value}' attribute.
* 
* 
* @param value the new value of the 'Raw Value' attribute.
* @see #getRawValue()
* @generated
*/
void setRawValue(String value);

/**
* Returns the value of the 'Value' attribute.
* 
* 
* @return the value of the 'Value' attribute.
* @see #setValue(Object)
* @see
org.eclipse.emf.ecore.xml.type.XMLTypePackage#getSimpleAnyTy pe_Value()
* @model dataType="org.eclipse.emf.ecore.xml.type.AnySimpleType"
transient="true" volatile="true" derived="true"
* extendedMetaData="name=':4' kind='simple'"
* @generated
*/
Object getValue();

/**
* Sets the value of the '{@link
org.eclipse.emf.ecore.xml.type.SimpleAnyType#getValue
Value}' attribute.
* 
* 
* @param value the new value of the 'Value' attribute.
* @see #getValue()
* @generated
*/
void setValue(Object value);

/**
* Returns the value of the 'Instance Type' reference.
* 
* 
* @return the value of the 'Instance Type' reference.
* @see #setInstanceType(EDataType)
* @see
org.eclipse.emf.ecore.xml.type.XMLTypePackage#getSimpleAnyTy pe_InstanceType()
* @model resolveProxies="false" required="true"
* extendedMetaData="name=':5' kind='simple'"
* @generated
*/
EDataType getInstanceType();

/**
* Sets the value of the '{@link
org.eclipse.emf.ecore.xml.type.SimpleAnyType#getInstanceType
Instance Type}' reference.
* 
* 
* @param value the new value of the 'Instance Type'
reference.
* @see #getInstanceType()
* @generated
*/
void setInstanceType(EDataType value);

} // SimpleAnyType

Christian W. Damus wrote:
> Hi, Philipp,
>
> The SimpleAnyType has a demand-created EClass, if I'm not mistaken, right?
> With demand-created features corresponding to the elements and attributes
> found in the XML?
>
> In that case, OCL's usual introspection mechanism will find the metadata
> that it needs to figure out what you're trying to tell it.
>
> Of course, I haven't actually tried this ... why don't you?
>
> Cheers,
>
> Christian
>
>
> Philipp W. Kutter wrote:
>
>
>> Hi.
>> Ed Merks told me to use
>>
>> SimpleAnyType
>>
>> to wrap any value, independent whether it is an object or a data type.
>>
>> Does OCL support the treatment of instances of SimpleAnyType in a
>> convenient way?
>>
>> This would be huge!
>>
>> Best, Philipp
>>
>> -------- Original Message --------
>> Subject: Re: Wrapper for arbitrary values or objects
>> Date: Fri, 18 Jan 2008 10:35:22 -0500
>> From: Ed Merks <merks@ca.ibm.com>
>> Organization: EclipseCorner
>> Newsgroups: eclipse.tools.emf
>> References: <fmqgel$rv9$1@build.eclipse.org>
>>
>> Phillip,
>>
>> An instance of SimpleAnyType is an EObject and can have its
>> setInstanceType be called to reference any EDataType and then setValue
>> or setRawValue can be used to set an instance of that type or a literal
>> representation of an instance of that type so in that way it acts as a
>> wrapper. This is what's created when a serialized instance uses
>> xsi:type="..." where "..." refers to an EDataType rather than an EClass...
>>
>>
>> Philipp W. Kutter wrote:
>> > Hi.
>> > Has anyone an idea what is the most elegant solution for a
>> > wrapper for values of some EDataYype, and objects of some EClass?
>> >
>> > We need to define an EStructuralFeature which can point both to any
>> > EObject, or any of EInt, EBoolean, EString, e.t.c.
>> >
>> > Creating a class
>> >
>> > Wrapper(type: EType, many: boolean, objectValue: EObject*, intValue:
>> > EInt*, ...)
>> >
>> > is obvious, but then the OCL expressions over this get very ugly.
>> >
>> > Best, Philipp
>>
>
>

--------------070204060005080907020609
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Christian, 
 
It's like this.  You'd create an instance and then you can set it's
instance type to any EDataType.  After that you can set the raw value
which must be a literal of the data type or the value which must be an
instance of the data type.  In all cases the value is recorded in the
mixed text feature of the parent AnyType.  No demand created metadata
need be involved. I suppose the only tricky thing is that the value
returned by getValue must be an instance of the type returned by
getInstanceType.  I'm not sure what type of specialized support, if
any, this would need. 

<blockquote>package org.eclipse.emf.ecore.xml.type; 
 
 
import org.eclipse.emf.ecore.EDataType; 
 
 
/** 
 *  
 * A representation of the model object
'Simple Any Type'. 
 *  
 * 
 * 
 * The following features are supported: 
 * <ul> 
 *   <li>{@link
org.eclipse.emf.ecore.xml.type.SimpleAnyType#getRawValue Raw
Value}</li> 
 *   <li>{@link
org.eclipse.emf.ecore.xml.type.SimpleAnyType#getValue
Value}</li&g t; 
 *   <li>{@link
org.eclipse.emf.ecore.xml.type.SimpleAnyType#getInstanceType
Instance Type}</li> 
 * </ul> 
 * 
 * 
 * @see
org.eclipse.emf.ecore.xml.type.XMLTypePackage#getSimpleAnyTy pe() 
 * @model extendedMetaData="name='simpleAnyType' kind='simple'" 
 * @generated 
 */ 
public interface SimpleAnyType extends AnyType 
{ 
  /** 
   * Returns the value of the 'Raw
Value' attribute. 
   *  
   *  
   * @return the value of the 'Raw Value'
attribute. 
   * @see #setRawValue(String) 
   * @see
org.eclipse.emf.ecore.xml.type.XMLTypePackage#getSimpleAnyTy pe_RawValue() 
   * @model dataType="org.eclipse.emf.ecore.xml.type.String"
transient="true" volatile="true" derived="true" 
   *     &nbsp ;  extendedMetaData="name=':3' kind='simple'" 
   * @generated 
   */ 
  String getRawValue(); 
 
  /** 
   * Sets the value of the '{@link
org.eclipse.emf.ecore.xml.type.SimpleAnyType#getRawValue Raw
Value}' attribute. 
   *  
   *  
   * @param value the new value of the 'Raw
Value' attribute. 
   * @see #getRawValue() 
   * @generated 
   */ 
  void setRawValue(String value); 
 
  /** 
   * Returns the value of the
'Value& amp;lt;/em>' attribute. 
   *  
   *  
   * @return the value of the 'Value'
attribute. 
   * @see #setValue(Object) 
   * @see
org.eclipse.emf.ecore.xml.type.XMLTypePackage#getSimpleAnyTy pe_Value() 
   * @model
dataType="org.eclipse.emf.ecore.xml.type.AnySimpleType"
transient="true" volatile="true" derived="true" 
   *     &nbsp ;  extendedMetaData="name=':4' kind='simple'" 
   * @generated 
   */ 
  Object getValue(); 
 
  /** 
   * Sets the value of the '{@link
org.eclipse.emf.ecore.xml.type.SimpleAnyType#getValue
Value}' attribute. 
   *  
   *  
   * @param value the new value of the
'Value' attribute. 
   * @see #getValue() 
   * @generated 
   */ 
  void setValue(Object value); 
 
  /** 
   * Returns the value of the 'Instance
Type' reference. 
   *  
   *  
   * @return the value of the 'Instance
Type' reference. 
   * @see #setInstanceType(EDataType) 
   * @see
org.eclipse.emf.ecore.xml.type.XMLTypePackage#getSimpleAnyTy pe_InstanceType() 
   * @model resolveProxies="false" required="true" 
   *     &nbsp ;  extendedMetaData="name=':5' kind='simple'" 
   * @generated 
   */ 
  EDataType getInstanceType(); 
 
  /** 
   * Sets the value of the '{@link
org.eclipse.emf.ecore.xml.type.SimpleAnyType#getInstanceType
Instance Type}' reference. 
   *  
   *  
   * @param value the new value of the 'Instance
Type' reference. 
   * @see #getInstanceType() 
   * @generated 
   */ 
  void setInstanceType(EDataType value); 
 
} // SimpleAnyType 
</blockquote>
 
Christian W. Damus wrote:
<blockquote cite="mid:fmr217$a7n$1@build.eclipse.org" type="cite">
<pre wrap="">Hi, Philipp,

The SimpleAnyType has a demand-created EClass, if I'm not mistaken, right?
With demand-created features corresponding to the elements and attributes
found in the XML?

In that case, OCL's usual introspection mechanism will find the metadata
that it needs to figure out what you're trying to tell it.

Of course, I haven't actually tried this ... why don't you?

Cheers,

Christian

Philipp W. Kutter wrote:

</pre>
<blockquote type="cite">
<pre wrap="">Hi.
Ed Merks told me to use

SimpleAnyType

to wrap any value, independent whether it is an object or a data type.

Does OCL support the treatment of instances of SimpleAnyType in a
convenient way?

This would be huge!

Best, Philipp

-------- Original Message --------
Subject: Re: Wrapper for arbitrary values or objects
Date: Fri, 18 Jan 2008 10:35:22 -0500
From: Ed Merks <a class="moz-txt-link-rfc2396E" href="mailto:merks@ca.ibm.com"><merks@ca.ibm.com></a>
Organization: EclipseCorner
Newsgroups: eclipse.tools.emf
References: <a class="moz-txt-link-rfc2396E" href="mailto:fmqgel$rv9$1@build.eclipse.org"><fmqgel$rv9$1@build.eclipse.org></a>

Phillip,

An instance of SimpleAnyType is an EObject and can have its
setInstanceType be called to reference any EDataType and then setValue
or setRawValue can be used to set an instance of that type or a literal
representation of an instance of that type so in that way it acts as a
wrapper. This is what's created when a serialized instance uses
xsi:type="..." where "..." refers to an EDataType rather than an EClass...

Philipp W. Kutter wrote:
> Hi.
> Has anyone an idea what is the most elegant solution for a
> wrapper for values of some EDataYype, and objects of some EClass?
>
> We need to define an EStructuralFeature which can point both to any
> EObject, or any of EInt, EBoolean, EString, e.t.c.
>
> Creating a class
>
> Wrapper(type: EType, many: boolean, objectValue: EObject*, intValue:
> EInt*, ...)
>
> is obvious, but then the OCL expressions over this get very ugly.
>
> Best, Philipp
</pre>
</blockquote>
<pre wrap="">
</pre>
</blockquote>
 
</body>
</html>

--------------070204060005080907020609--

Report message to a moderator

Re: SimpleAnyType [message #49082 is a reply to message #49050]

Fri, 18 January 2008 22:13

Eclipse User

Originally posted by: cdamus.ca.ibm.com

Hi, Ed,

Ah! I see. I wasn't quite grokking the significance of the "Simple" part
of the name. Naturally, a SimpleAnyType wouldn't have structure.

All of this feels to me like an XSD-ism, not a modeling concept. I wouldn't
expect this to have any meaning in OCL. The closest equivalent in OCL
would be declaring a property of type OclAny. The value can be anything at
all, except a collection. Unless, of course, the property has
multiplicity, in which case the value is a collection of anything at all,
except a collection.

:-)

I would expect that the SimpleAnyType is already interepreted by MDT OCL as
OclAny, because this is the default type for anything that we don't
understand (don't have a type mapping for). This makes sense to me, but
probably doesn't help Philipp.

Cheers,

Christian

Ed Merks wrote:

> Christian,
>
> It's like this. You'd create an instance and then you can set it's
> instance type to any EDataType. After that you can set the raw value
> which must be a literal of the data type or the value which must be an
> instance of the data type. In all cases the value is recorded in the
> mixed text feature of the parent AnyType. No demand created metadata
> need be involved. I suppose the only tricky thing is that the value
> returned by getValue must be an instance of the type returned by
> getInstanceType. I'm not sure what type of specialized support, if any,
> this would need.

-----8<-----

Report message to a moderator

Previous Topic:	[Announce] MDT OCL 1.2.0 I200801162020 is available
Next Topic:	Cardinality constraint for non-navigable associations ?

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue Nov 12 19:40:57 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter