Make Reactions routine generically typed with facade

vitruv-tools · Aug 17, 2022 · 6a54f95 · 6a54f95
1 parent c606bd4
commit 6a54f95
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/....reactions.runtime/src/tools/vitruv/dsls/reactions/runtime/routines/AbstractRoutine.xtend b/....reactions.runtime/src/tools/vitruv/dsls/reactions/runtime/routines/AbstractRoutine.xtend
@@ -15,20 +15,20 @@ import org.eclipse.xtend.lib.annotations.Accessors
 import tools.vitruv.change.correspondence.view.EditableCorrespondenceModelView
 import tools.vitruv.dsls.reactions.runtime.correspondence.ReactionsCorrespondence
 
-abstract class AbstractRoutine extends CallHierarchyHaving implements Routine {
-	val AbstractRoutinesFacade routinesFacade
+abstract class AbstractRoutine<T extends AbstractRoutinesFacade> extends CallHierarchyHaving implements Routine {
+	val T routinesFacade
 	@Accessors(PROTECTED_GETTER)
 	extension val ReactionExecutionState executionState
 
-	new(AbstractRoutinesFacade routinesFacade, ReactionExecutionState executionState, CallHierarchyHaving calledBy) {
+	new(T routinesFacade, ReactionExecutionState executionState, CallHierarchyHaving calledBy) {
 		super(calledBy)
 		this.routinesFacade = routinesFacade
 		this.executionState = executionState
 	}
 
 	// generic return type for convenience; the requested type has to match the type of the facade provided during construction
-	protected def <T extends AbstractRoutinesFacade> T getRoutinesFacade() {
-		return routinesFacade as T
+	protected def T getRoutinesFacade() {
+		return routinesFacade
 	}
 
 	override boolean execute() {

diff --git a/...tions/src/tools/vitruv/dsls/reactions/codegen/classgenerators/RoutineClassGenerator.xtend b/...tions/src/tools/vitruv/dsls/reactions/codegen/classgenerators/RoutineClassGenerator.xtend
@@ -96,7 +96,7 @@ class RoutineClassGenerator extends ClassGenerator {
 		val executeMethod = generateMethodExecuteRoutine()
 		generatedClass => [
 			documentation = getCommentWithoutMarkers(routine.documentation)
-			superTypes += typeRef(AbstractRoutine)
+			superTypes += typeRef(AbstractRoutine, typeRef(routinesFacadeQualifiedName))
 			if(hasInputValues) members += routine.toField(INPUT_VALUES_FIELD_NAME, typeRef(inputValuesClass))
 			members += if (!matchBlockClassGenerator.empty)
 				routine.toField(RETRIEVED_VALUES_FIELD_NAME,