package net.certware.argument.sfp.review;
import java.net.URL;
import org.eclipse.core.runtime.FileLocator;
import org.eclipse.core.runtime.IPath;
import org.eclipse.core.runtime.Path;
import org.eclipse.core.runtime.Platform;
import org.eclipse.jface.resource.ImageDescriptor;
import org.eclipse.jface.resource.ImageRegistry;
import org.eclipse.ui.plugin.AbstractUIPlugin;
import org.osgi.framework.Bundle;
public class Activator extends AbstractUIPlugin {
public static final String REVIEW_VALID_IMAGE = "valid.image"; //$NON-NLS-1$
public static final String REVIEW_INVALID_IMAGE = "invalid.image"; //$NON-NLS-1$
public static final String REVIEW_UNKNOWN_IMAGE = "unknown.image"; //$NON-NLS-1$
public static final String REVIEW_PROOF_IMAGE = "proof.image"; //$NON-NLS-1$
public static final String REVIEW_STATEMENT_IMAGE = "statement.image"; //$NON-NLS-1$
public static final String REVIEW_HYPOTHESIS_IMAGE = "hypothesis.image"; //$NON-NLS-1$
public static final String REVIEW_HORIZONTAL_IMAGE = "horizontal.image"; //$NON-NLS-1$
public static final String REVIEW_VERTICAL_IMAGE = "vertical.image"; //$NON-NLS-1$
public static final String REVIEW_ENTAILMENT_IMAGE = "entailment.image"; //$NON-NLS-1$
/** plugin id */
public static final String PLUGIN_ID = "net.certware.argument.sfp.review"; //$NON-NLS-1$
/** singleton reference */
static private Activator plugin = null;
public Activator() {
super();
plugin = this;
}
/**
* Returns the reference to the plugin.
* @return plugin reference
*/
public static Activator getDefault() {
return plugin;
}
/**
* Load and install an image in the registry.
* @param registry plugin registry from activation
* @param bundle plugin bundle containing images
* @param fileName image file name relative to bundle
* @param id key for image retrieval
*/
private void initializeImage(ImageRegistry registry, Bundle bundle, String fileName, String id) {
IPath path = new Path(fileName);
URL url = FileLocator.find(bundle,path,null);
ImageDescriptor desc = ImageDescriptor.createFromURL(url);
registry.put(id, desc);
}
/**
* Image registry loading.
*/
@Override
protected void initializeImageRegistry(ImageRegistry registry) {
Bundle bundle = Platform.getBundle(PLUGIN_ID);
initializeImage(registry,bundle,"icons/obj16/hypothesis.gif",REVIEW_HYPOTHESIS_IMAGE);
initializeImage(registry,bundle,"icons/obj16/invalid.png",REVIEW_INVALID_IMAGE);
initializeImage(registry,bundle,"icons/obj16/proof.gif",REVIEW_PROOF_IMAGE);
initializeImage(registry,bundle,"icons/obj16/statement.gif",REVIEW_STATEMENT_IMAGE);
initializeImage(registry,bundle,"icons/obj16/th_horizontal.gif",REVIEW_HORIZONTAL_IMAGE);
initializeImage(registry,bundle,"icons/obj16/th_vertical.gif",REVIEW_VERTICAL_IMAGE);
initializeImage(registry,bundle,"icons/obj16/unknown.gif",REVIEW_UNKNOWN_IMAGE);
initializeImage(registry,bundle,"icons/obj16/valid.png",REVIEW_VALID_IMAGE);
initializeImage(registry,bundle,"icons/obj16/entailment.gif",REVIEW_ENTAILMENT_IMAGE);
}
}