/******************************************************************************* | |
* Copyright (c) 2004-2010 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.tracetree; | |
import org.eclipse.viatra2.core.tracebased.TraceException; | |
import org.eclipse.viatra2.framework.IFramework; | |
/** | |
* @author Abel Hegedus | |
* | |
*/ | |
public class EmptyTraceTreeNode extends AbstractTraceTreeNode { | |
/** | |
* @param parent | |
* @param id | |
*/ | |
public EmptyTraceTreeNode(ITraceTreeNode parent, String id) { | |
super(parent, id); | |
setTerminated(true); | |
} | |
/* (non-Javadoc) | |
* @see org.eclipse.viatra2.trace.trace.ITraceTreeNode#doExecute(org.eclipse.viatra2.framework.IFramework) | |
*/ | |
@Override | |
public void doExecute(IFramework framework) throws TraceException { | |
throw new TraceException("Empty Trace Tree Nodes are not executable"); | |
} | |
/* (non-Javadoc) | |
* @see org.eclipse.viatra2.trace.trace.ITraceTreeNode#undo(org.eclipse.viatra2.framework.IFramework) | |
*/ | |
@Override | |
public void undo(IFramework framework) throws TraceException { | |
throw new TraceException("Empty Trace Tree Nodes are not undoable"); | |
} | |
} |