cps/frameworktests/org.eclipse.viatra.examples.cps.tests/src/org/eclipse/viatra/examples/cps/tests/queries/dred.vql

package org.eclipse.viatra.examples.cps.tests.queries

import "http://www.eclipse.org/emf/2002/Ecore"
import "http://org.eclipse.viatra/model/cps"
 
pattern dependOn(dependant : ApplicationInstance, dependee : ApplicationInstance) {
	ApplicationInstance.dependOn(dependant, dependee);
}

@QueryExplorer(message = "$dependant$ <- $dependee$")
pattern allDependencies(dependant : ApplicationInstance, dependee : ApplicationInstance) {
	find dependOn(dependant, dependee);
} or {
	find dependOn(dependant, intermediate);
	find allDependencies(intermediate, dependee);
	dependant != dependee;
}