com.ecfeed.core.operations.ModelOperationManager Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of ecfeed.junit Show documentation
Show all versions of ecfeed.junit Show documentation
An open library used to connect to the ecFeed service. It can be also used as a standalone testing tool. It is integrated with Junit5 and generates a stream of test cases using a selected algorithm (e.g. Cartesian, N-Wise). There are no limitations associated with the off-line version but the user cannot access the on-line computation servers and the model database.
The newest version!
/*******************************************************************************
*
* Copyright (c) 2016 ecFeed AS.
* 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
*
*******************************************************************************/
package com.ecfeed.core.operations;
import java.util.ArrayList;
import java.util.List;
import com.ecfeed.core.model.ModelOperationException;
public class ModelOperationManager {
private List fHistory;
private int fHistoryIndex = 0;
public ModelOperationManager(){
fHistory = new ArrayList();
}
protected void updateHistory(IModelOperation operation){
if(fHistory.size() > fHistoryIndex){
fHistory = fHistory.subList(0, fHistoryIndex);
}
else if(fHistory.size() < fHistoryIndex){
//shouldn't happen, but let's protect against it.
fHistoryIndex = fHistory.size();
}
fHistory.add(operation);
++fHistoryIndex;
}
public boolean undoEnabled(){
return fHistoryIndex > 0;
}
public boolean redoEnabled(){
return fHistoryIndex < fHistory.size();
}
public void undo() throws ModelOperationException{
if(fHistoryIndex > 0){
IModelOperation operation = fHistory.get(fHistoryIndex - 1).getReverseOperation();
operation.execute();
--fHistoryIndex;
}
}
public void redo() throws ModelOperationException{
if(fHistoryIndex < fHistory.size()){
IModelOperation operation = fHistory.get(fHistoryIndex);
operation.execute();
++fHistoryIndex;
}
}
public void execute(IModelOperation operation) throws ModelOperationException{
operation.execute();
updateHistory(operation);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy