| /******************************************************************************* | |
| * Copyright (c) 2004-2011 Abel Hegedus and Daniel Varro | |
| * 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: | |
| * Abel Hegedus - initial API and implementation | |
| *******************************************************************************/ | |
| package org.eclipse.viatra2.core.tracebased; | |
| import org.eclipse.viatra2.EclipseExtensionProvider; | |
| import org.eclipse.viatra2.core.IModelSpace; | |
| import org.eclipse.viatra2.framework.properties.VPMProperties; | |
| /** | |
| * @author Abel Hegedus | |
| * | |
| */ | |
| public class TraceExtensionProvider extends EclipseExtensionProvider { | |
| @Override | |
| public IModelSpace getEmptyModelspace(VPMProperties props) { | |
| return new TraceModelSpace(); | |
| } | |
| } |