2015-01-21 21:58:35 +01:00
|
|
|
/*******************************************************************************
|
2015-10-22 00:25:12 +02:00
|
|
|
* Copyright (c) 2015 MINRES Technologies GmbH and others.
|
2015-01-21 21:58:35 +01:00
|
|
|
* 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:
|
|
|
|
* MINRES Technologies GmbH - initial API and implementation
|
|
|
|
*******************************************************************************/
|
2015-01-03 16:34:32 +01:00
|
|
|
package com.minres.scviewer.ui;
|
2015-01-01 23:17:32 +01:00
|
|
|
|
|
|
|
import java.util.ArrayList;
|
|
|
|
import java.util.List;
|
|
|
|
|
|
|
|
import org.eclipse.core.resources.IFile;
|
|
|
|
import org.eclipse.ui.IMemento;
|
|
|
|
import org.eclipse.ui.part.FileEditorInput;
|
|
|
|
|
|
|
|
public class TxEditorInput extends FileEditorInput {
|
|
|
|
|
|
|
|
private ArrayList<String> streamNames;
|
|
|
|
|
2015-01-21 21:58:35 +01:00
|
|
|
private Boolean secondaryLoaded=null;
|
|
|
|
|
2015-01-01 23:17:32 +01:00
|
|
|
public TxEditorInput(IFile file) {
|
|
|
|
super(file);
|
|
|
|
streamNames=new ArrayList<String>();
|
|
|
|
}
|
|
|
|
|
|
|
|
public String getFactoryId(){
|
|
|
|
return TxEditorInputFactory.getFactoryId();
|
|
|
|
}
|
|
|
|
|
|
|
|
public void saveState(IMemento memento) {
|
|
|
|
TxEditorInputFactory.saveState(memento, this);
|
|
|
|
}
|
|
|
|
|
|
|
|
public List<String> getStreamNames() {
|
|
|
|
return streamNames;
|
|
|
|
}
|
2015-01-21 21:58:35 +01:00
|
|
|
|
|
|
|
public Boolean isSecondaryLoaded() {
|
|
|
|
return secondaryLoaded;
|
|
|
|
}
|
|
|
|
|
|
|
|
public void setSecondaryLoaded(Boolean secondaryLoaded) {
|
|
|
|
this.secondaryLoaded = secondaryLoaded;
|
|
|
|
}
|
2015-01-01 23:17:32 +01:00
|
|
|
|
|
|
|
}
|