92 lines
1.8 KiB
Java
92 lines
1.8 KiB
Java
|
/**
|
||
|
|
*/
|
||
|
|
package petrinet.presentation;
|
||
|
|
|
||
|
|
import org.eclipse.emf.common.EMFPlugin;
|
||
|
|
|
||
|
|
import org.eclipse.emf.common.ui.EclipseUIPlugin;
|
||
|
|
|
||
|
|
import org.eclipse.emf.common.util.ResourceLocator;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* This is the central singleton for the Petrinet editor plugin.
|
||
|
|
* <!-- begin-user-doc -->
|
||
|
|
* <!-- end-user-doc -->
|
||
|
|
* @generated
|
||
|
|
*/
|
||
|
|
public final class PetrinetEditorPlugin extends EMFPlugin {
|
||
|
|
/**
|
||
|
|
* Keep track of the singleton.
|
||
|
|
* <!-- begin-user-doc -->
|
||
|
|
* <!-- end-user-doc -->
|
||
|
|
* @generated
|
||
|
|
*/
|
||
|
|
public static final PetrinetEditorPlugin INSTANCE = new PetrinetEditorPlugin();
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Keep track of the singleton.
|
||
|
|
* <!-- begin-user-doc -->
|
||
|
|
* <!-- end-user-doc -->
|
||
|
|
* @generated
|
||
|
|
*/
|
||
|
|
private static Implementation plugin;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Create the instance.
|
||
|
|
* <!-- begin-user-doc -->
|
||
|
|
* <!-- end-user-doc -->
|
||
|
|
* @generated
|
||
|
|
*/
|
||
|
|
public PetrinetEditorPlugin() {
|
||
|
|
super
|
||
|
|
(new ResourceLocator [] {
|
||
|
|
});
|
||
|
|
}
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Returns the singleton instance of the Eclipse plugin.
|
||
|
|
* <!-- begin-user-doc -->
|
||
|
|
* <!-- end-user-doc -->
|
||
|
|
* @return the singleton instance.
|
||
|
|
* @generated
|
||
|
|
*/
|
||
|
|
@Override
|
||
|
|
public ResourceLocator getPluginResourceLocator() {
|
||
|
|
return plugin;
|
||
|
|
}
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Returns the singleton instance of the Eclipse plugin.
|
||
|
|
* <!-- begin-user-doc -->
|
||
|
|
* <!-- end-user-doc -->
|
||
|
|
* @return the singleton instance.
|
||
|
|
* @generated
|
||
|
|
*/
|
||
|
|
public static Implementation getPlugin() {
|
||
|
|
return plugin;
|
||
|
|
}
|
||
|
|
|
||
|
|
/**
|
||
|
|
* The actual implementation of the Eclipse <b>Plugin</b>.
|
||
|
|
* <!-- begin-user-doc -->
|
||
|
|
* <!-- end-user-doc -->
|
||
|
|
* @generated
|
||
|
|
*/
|
||
|
|
public static class Implementation extends EclipseUIPlugin {
|
||
|
|
/**
|
||
|
|
* Creates an instance.
|
||
|
|
* <!-- begin-user-doc -->
|
||
|
|
* <!-- end-user-doc -->
|
||
|
|
* @generated
|
||
|
|
*/
|
||
|
|
public Implementation() {
|
||
|
|
super();
|
||
|
|
|
||
|
|
// Remember the static instance.
|
||
|
|
//
|
||
|
|
plugin = this;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
}
|