Eclipse Community Forums: M2T (model-to-text transformation)

Home

Home » Modeling » M2T (model-to-text transformation) » [check]

[check] [message #534576]

Wed, 19 May 2010 11:11

Eclipse User

Hi,
im little bit confused im working on a problem for 2 days and wasnt able to resolve it:

Quote:

EvaluationException : Couldn't find property 'type' for type :Services::Operation

the Operation inheritate from a Datatype that contained the element type. i had the same problem with ATL and i solve it by using :

Quote:

out.eSet(out.eClass().getEStructuralFeature('type'),
String);

any ideas why i get this comportement

mahmoud

Re: [check] [message #534582 is a reply to message #534576]

Wed, 19 May 2010 11:26

Eclipse User

Hello,

I want to reproduce your problem but i don't know how to. can u tell more about your metamodel? the Operation EClass, it's hierarchy? Can you post your ecore? And your check statement?

~Christian

[Updated on: Wed, 19 May 2010 11:39] by Moderator

Re: [check] [message #534612 is a reply to message #534582]

Wed, 19 May 2010 12:06

Eclipse User

Quote:

its worked before with this MM but when i make it a subpackege i mean some thing like:

Quote:

<ecore:EPackage xmi:version="2.0"
name="DSLMetaModel"
<eSubpackages name="Entities" nsURI="www.netfective.com/Entities" nsPrefix="Entities">
......

it got

Quote:

EvaluationException : Couldn't find property 'type'

context Entities::Attribute ERROR 'an attribute must have a type':
this.type.name!= null;

thanks in advance
mahmoud

Re: [check] [message #534648 is a reply to message #534612]

Wed, 19 May 2010 13:57

Eclipse User

hello, some of the things you posted don't fit together - can you try to give me a reduced runnable sample? just a complete ecore file and a check

[Updated on: Wed, 19 May 2010 14:00] by Moderator

Re: [check] [message #534764 is a reply to message #534648]

Thu, 20 May 2010 05:37

Eclipse User

Hi,

Quote:

<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage xmi:version="2.0"
xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="myMM"
nsURI="http://www.eclipse.org/myMM" nsPrefix="myMM">
<eClassifiers xsi:type="ecore:EClass" name="Project" eSuperTypes="#//Entities/NamedElement">
<eStructuralFeatures xsi:type="ecore:EReference" name="namespace" upperBound="-1"
eType="#//Namespace" containment="true"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="qualifiedName" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Namespace" abstract="true" eSuperTypes="#//Entities/NamedElement"/>
<eClassifiers xsi:type="ecore:EClass" name="NamespaceEntities" eSuperTypes="#//Namespace">
<eStructuralFeatures xsi:type="ecore:EReference" name="ownedPackage" upperBound="-1"
eType="#//Entities/Package" containment="true" eOpposite="#//Entities/Package/namespace"/>
</eClassifiers>
<eSubpackages name="Entities" nsURI="www.netfective.com/Entities" nsPrefix="Entities">
<eClassifiers xsi:type="ecore:EClass" name="Package" eSuperTypes="#//Entities/NamedElement">
<eStructuralFeatures xsi:type="ecore:EReference" name="namespace" unique="false"
lowerBound="1" eType="#//NamespaceEntities" eOpposite="#//NamespaceEntities/ownedPackage"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="ownedMainElement" upperBound="-1"
eType="#//Entities/MainElement" containment="true" eOpposite="#//Entities/MainElement/package"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="MainElement" abstract="true" eSuperTypes="#//Entities/NamedElement">
<eStructuralFeatures xsi:type="ecore:EReference" name="package" unique="false"
lowerBound="1" eType="#//Entities/Package" eOpposite="#//Entities/Package/ownedMainElement"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Feature" abstract="true" eSuperTypes="#//Entities/NamedElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="isStatic" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="TypedElement" abstract="true" eSuperTypes="#//Entities/NamedElement"/>
<eClassifiers xsi:type="ecore:EClass" name="GeneralTypedElement" abstract="true"
eSuperTypes="#//Entities/TypedElement">
<eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//Entities/GeneralType"
containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="DataTypedElement" abstract="true"
eSuperTypes="#//Entities/TypedElement">
<eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="#//Entities/DataType"
containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="GeneralType" abstract="true"/>
<eClassifiers xsi:type="ecore:EClass" name="DataType" eSuperTypes="#//Entities/GeneralType">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="name" lowerBound="1"
eType="#//Entities/EnumDataType"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Property" abstract="true" eSuperTypes="#//Entities/Feature">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="default" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Operation" eSuperTypes="#//Entities/Feature #//Entities/GeneralTypedElement">
<eStructuralFeatures xsi:type="ecore:EReference" name="class" eType="#//Entities/Class"
eOpposite="#//Entities/Class/ownedOperation"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="setter" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="getter" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Attribute" eSuperTypes="#//Entities/Property #//Entities/DataTypedElement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="identifier" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="userid" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Class" eSuperTypes="#//Entities/MainElement">
<eStructuralFeatures xsi:type="ecore:EReference" name="ownedOperation" upperBound="-1"
eType="#//Entities/Operation" containment="true" eOpposite="#//Entities/Operation/class"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="ownedAttribute" upperBound="-1"
eType="#//Entities/Attribute" containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EEnum" name="EnumDataType">
<eLiterals name="Blob"/>
<eLiterals name="URI"/>
<eLiterals name="URI_T"/>
<eLiterals name="URL"/>
<eLiterals name="URL_T"/>
<eLiterals name="P_void"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="NamedElement" abstract="true">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
</eClassifiers>
</eSubpackages>
</ecore:EPackage>

the validation was working when ihadnt an a subpackage with just

Quote:

context DSLMetaModel::Attribute ERROR 'an attribute must have a type': this.type.name!= null;

but when i add a subpackage entity with this validation it shows me an error like the type as reference couldnt be found

Quote:

context Entity::Attribute ERROR 'an attribute must have a type': this.type.name!= null;

thnaks
mahmoud

Re: [check] [message #534787 is a reply to message #534764]

Thu, 20 May 2010 06:52

Eclipse User

Hello,

I can reproduce the problem using a "default" workflow.
Could you please file a Bug for it. Don't know if it is a Bug or a Feature (Dynamic EMF Registration of the Reader), but we'll see.

You can get it running anyway when you modifying the stuff (workflow) like this:

(snippets from good old oaw 4.3.1)

	<bean class="org.eclipse.mwe.emf.StandaloneSetup" >
		<platformUri value=".."/>
		<registerEcoreFile value="src/metamodel/metamodel.ecore" />
	</bean>

[Updated on: Thu, 20 May 2010 06:53] by Moderator

Re: [check] [message #534792 is a reply to message #534787]

Thu, 20 May 2010 07:10

Eclipse User

Hi Christian,

thanks for your help but im working with :

org.eclipse.xtend.typesystem.emf Sad

, and not a oaw project so i dont have the workflow stuff. is there any other solution?

mahmoud

Re: [check] [message #534793 is a reply to message #534792]

Thu, 20 May 2010 07:13

Eclipse User

Isn't org.eclipse.xtend.typesystem.emf just a renaming from oaw?! Wink

Retestet with a 1.0.0M6 Sample and it works anyway (without my modifications)

How do you then start / invoke the checks?

[Updated on: Thu, 20 May 2010 07:32] by Moderator

Re: [check] [message #534817 is a reply to message #534793]

Thu, 20 May 2010 08:53

Eclipse User

Hi,
by doing so,

Quote:

and in the new eclipse instance i click on validate, so i dont have an workflow stuff.
i hope that its a the right answer

thanks Christian.

Re: [check] [message #534822 is a reply to message #534817]

Thu, 20 May 2010 09:08

Eclipse User

What about registering your subpackages here too?

Re: [check] [message #534832 is a reply to message #534822]

Thu, 20 May 2010 09:16

Eclipse User

I did so, it was just a part, all the element validation are working fine, excepet for type, that shows an error, its a little bit confusing.

Re: [check] [message #534833 is a reply to message #534832]

Thu, 20 May 2010 09:22

Eclipse User

and what do i need to configure to see the error? which version of mwe do you use?

Update: Got it: CheckRegistry.getInstance();

[Updated on: Thu, 20 May 2010 09:33] by Moderator

Re: [check] [message #534841 is a reply to message #534833]

Thu, 20 May 2010 09:33

Eclipse User

Hi, my hole work was based on the sample you gave me once : http://drop.io/oaw15003. i hope you rember it Smile

Re: [check] [message #534853 is a reply to message #534841]

Thu, 20 May 2010 09:45

Eclipse User

I remember Wink

But still cannot reproduce the problem the following works perfect for me (using one of the latest xtend 1.0.0 Milestones):

context Entities::Attribute
	ERROR 'an attribute must have a type'
	: 
	this.type.name != null
;

   <extension
         point="org.eclipse.xtend.typesystem.emf.checks">
      <metaModel
            nsURI="www.netfective.com/Entities">
         <checkFile
               path="model/Checks.chk">
         </checkFile>
      </metaModel>
   </extension>

i get as i expect the validation error:

Description	Resource	Path	Location	Type
an attribute must have a type	My.mymm	/test	Unknown	EMF Problem

Re: [check] [message #534865 is a reply to message #534853]

Thu, 20 May 2010 10:17

Eclipse User

Hi,

perhaps its due to the fact that i have xtend 0.7.2, where can i find xtend 1.0.0 Milestones so i can update mine. in the eclipse site there is just the 0.7.2 version.

thanks for all
mahmoud

Re: [check] [message #534867 is a reply to message #534865]

Thu, 20 May 2010 10:21

Eclipse User

Hi,

its a RC1 now and should be shipped with the itemis xtext distibutions that can be found here: http://xtext.itemis.com/xtext/language=en/23947/downloads

Regards, Christian

Re: [check] [message #535208 is a reply to message #534867]

Fri, 21 May 2010 11:04

Eclipse User

Hi Christian,

I couldnt find some plugins when i update xtend; like org.eclipse.xtend.util.stdlib and org.eclipse.xtend.typesystem.emf, are they taken into considération in the last version?

Re: [check] [message #535247 is a reply to message #535208]

Fri, 21 May 2010 13:47

Eclipse User

Hello,

downloaded the RC1 distribution and found the plugins:
- org.eclipse.xtend.util.stdlib 1.0.0.v201005180835
- org.eclipse.xtend.typesystem.emf 1.0.0.v201005180835
So I cannot reproduce your problem.

Regards
Christian

Re: [check] [message #535623 is a reply to message #535247]

Mon, 24 May 2010 19:14

Eclipse User

Hi Christian,

plz it would help me so much if i could de something like:

context Entity::Attribute ERROR 'an attribute must have a type':
this.eClass().getEStructuralFeature('type').name!=null;

java programing insteadof Ocl.

thanks in advance

mahmoud

Re: [check] [message #535667 is a reply to message #535623]

Tue, 25 May 2010 04:24

Eclipse User

So why don't you call a java extension then?
but

context Entity::Attribute ERROR 'an attribute must have a type':
this.type.name!=null;

should work anyway.

Re: [check] [message #536147 is a reply to message #535667]

Thu, 27 May 2010 05:22

Eclipse User

Quote:

public static boolean val (EClass e)
{
return e.eClass().getEStructuralFeature("type")!=null;
}

in my extension file i did :

[QUOTE
boolean referencetype(EClass p):
JAVA com.sms.Messages.val(org.eclipse.emf.ecore.EClass)
;
QUOTE]

but in my check file, it displays an error : that it cannot cast from Entities::Attribute to ecore::EClass

Quote:

context Entities::Attribute ERROR msg('test.0'):
pins((EClass)this)
;

and the Entities::Attribute refering to the MM is an Eclass

Quote:

how can i solve this please
mahmoud

Re: [check] [message #536185 is a reply to message #536147]

Thu, 27 May 2010 06:43

Eclipse User

Hi,

you are mixing MetaMetaModel, MetaModel and Model:

(1) public static boolean val (EClass e)

Here you are working on MetaMetaModel level

(2) context Entities::Attribute ERROR msg('test.0'):
pins((EClass)this)
;

here you define a check rule for a MetaClass = element of the MetaModel
thereby this is a Instance of this MetaClass which is an EObject in Ecore case

~Christian

Re: [check] [message #536195 is a reply to message #536185]

Thu, 27 May 2010 07:06

Eclipse User

Hi,

i see the mistake, but how can i cast from and emf ecore(MMM) and my metamodel?

Re: [check] [message #536207 is a reply to message #536195]

Thu, 27 May 2010 07:35

Eclipse User

Hello,

Don't really understand. You can ask an EObject for it's EClass.
can you please tell what you want to solve? can you post a sample (incorrect) model (just as pseudo-code)

Regards, Christian

[Updated on: Thu, 27 May 2010 07:39] by Moderator

Re: [check] [message #536220 is a reply to message #536207]

Thu, 27 May 2010 08:28

Eclipse User

hi, thanks for the reply
i want to verify if an attribute got a type by using a java extension like i posted before

this is an example for my model:

Quote:

<?xml version="1.0" encoding="UTF-8"?>
<myMM:NamespaceEntities xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:myMM="http://www.eclipse.org/myMM" xmlns:Entities="www.eclipse.com/Entities">
<ownedPackage>
<ownedMainElement xsi:type="Entities:Class">
<ownedAttribute>
<type name="String"/>
</ownedAttribute>
</ownedMainElement>
</ownedPackage>
</DSLMetaModel:NamespaceEntities>

mahmoud

Re: [check] [message #536222 is a reply to message #536220]

Thu, 27 May 2010 08:32

Eclipse User

So cast your attribute to and eobject and ask it for its eclass.
But i Still don't understand why you need java at all !

Re: [check] [message #536230 is a reply to message #536222]

Thu, 27 May 2010 09:03

Eclipse User

Hi,
i couldn make it work Sad

because im workin with xtend 0.7.2(i couldnt find the 1.0.0 for ganymed) and i cant get through type(reference).
displaying the error :

Quote:

EvaluationException : Couldn't find property 'type' for type Entities::Attribute

so i decide to force the access to the element type diffrently

Re: [check] [message #536437 is a reply to message #536230]

Fri, 28 May 2010 05:03

Eclipse User

hi Christian,
soory for disturbing you, ive notice the same problem with all my Ereference element, its look like they are nit registred, ive checked in the java code and element are created.

any ideas?

mahmoud

Previous Topic:	[Acceleo] match/drop Special chars
Next Topic:	[JET] How to Dynamically call JET transform api through a plugin?

Goto Forum:

-=] Back to Top [=-

Current Time: Fri Jul 25 04:54:07 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter