From 5e8d92e0d03e8fa5d7dd0cb371c4e16c2d0c63f0 Mon Sep 17 00:00:00 2001
From: tkuehn <thomas.kuehn3@tu-dresden.de>
Date: Mon, 16 Sep 2019 05:08:11 +0200
Subject: [PATCH] Added KindOf check for method parameters

to prevent non rigid types to be assigned to parameter types, which can
only hold rigid types, according to the CROM spec.
---
 .../core/attributeAndOperation/AttributeAndOperation.etl        | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/org.framed.iorm.ui/core/attributeAndOperation/AttributeAndOperation.etl b/org.framed.iorm.ui/core/attributeAndOperation/AttributeAndOperation.etl
index 68d0831b..fb87575b 100644
--- a/org.framed.iorm.ui/core/attributeAndOperation/AttributeAndOperation.etl
+++ b/org.framed.iorm.ui/core/attributeAndOperation/AttributeAndOperation.etl
@@ -85,7 +85,7 @@ operation source!Shape addOperations(t : target!Type) {
 				parameter.name = paramName;
 
 				var pt = findTypeForName(paramType);			
-				if (not (pt == null)) {
+				if ((not (pt == null)) and (pt.isKindOf(target!RigidType))) {
 					parameter.type = pt;
 				}
 				op.params.add(parameter);					 
-- 
GitLab