/*******************************************************************************
* Copyright (c) 2014-2016 IncQuery Labs Ltd.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* Akos Horvath, Abel Hegedus, Zoltan Ujhelyi - initial API and implementation
*******************************************************************************/
package org.eclipse.viatra.examples.cps.view;
import java.util.Collection;
import org.eclipse.viatra.examples.cps.model.viewer.util.AppInstancesNoAllocationQuerySpecification;
import org.eclipse.viatra.examples.cps.model.viewer.util.AppInstancesWithAllocationQuerySpecification;
import org.eclipse.viatra.examples.cps.model.viewer.util.ApplicationTypesQuerySpecification;
import org.eclipse.viatra.examples.cps.model.viewer.util.ConnectTypesAndInstancesAppQuerySpecification;
import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
import org.eclipse.viatra.query.runtime.exception.ViatraQueryException;
import com.google.common.collect.ImmutableSet;
public class CpsSoftwareViewPart extends AbstractCpsViewPart {
@Override
protected Collection<IQuerySpecification<?>> getSpecifications()
throws ViatraQueryException {
return ImmutableSet.<IQuerySpecification<?>>of(
AppInstancesNoAllocationQuerySpecification.instance(),
AppInstancesWithAllocationQuerySpecification.instance(),
ApplicationTypesQuerySpecification.instance(),
ConnectTypesAndInstancesAppQuerySpecification.instance()
//DependenciesQuerySpecification.instance()
);
}
}