/** * Copyright 2009 Red Hat, Inc. * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation; either version 2 of the License, or * (at your option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ package org.safehaus.penrose.studio.module.editor; import org.eclipse.ui.IEditorInput; import org.eclipse.ui.IPersistableElement; import org.eclipse.jface.resource.ImageDescriptor; import org.safehaus.penrose.studio.server.Server; /** * @author Endi S. Dewata */ public class ModuleEditorInput implements IEditorInput { private Server server; private String partitionName; private String moduleName; public ModuleEditorInput() { } public boolean exists() { return true; } public ImageDescriptor getImageDescriptor() { return null; } public String getName() { return partitionName+"."+moduleName; } public IPersistableElement getPersistable() { return null; } public String getToolTipText() { return getName(); } public Object getAdapter(Class aClass) { return null; } public boolean equals(Object object) { if (this == object) return true; if (object == null) return false; if (object.getClass() != this.getClass()) return false; ModuleEditorInput ei = (ModuleEditorInput)object; return moduleName.equals(ei.moduleName); } public Server getServer() { return server; } public void setServer(Server server) { this.server = server; } public String getModuleName() { return moduleName; } public void setModuleName(String moduleName) { this.moduleName = moduleName; } public String getPartitionName() { return partitionName; } public void setPartitionName(String partitionName) { this.partitionName = partitionName; } }