001    package org.meta_environment.eclipse;
002    
003    import org.eclipse.imp.runtime.PluginBase;
004    import org.eclipse.ui.IStartup;
005    import org.meta_environment.eclipse.actions.LanguageActionsTool;
006    import org.meta_environment.eclipse.editors.EditorTool;
007    import org.meta_environment.eclipse.errors.ErrorViewer;
008    import org.meta_environment.eclipse.facts.FactsTool;
009    import org.meta_environment.eclipse.files.BuildResults;
010    import org.meta_environment.eclipse.files.IOJ;
011    import org.meta_environment.eclipse.files.ResourceChanges;
012    import org.meta_environment.eclipse.focus.SelectionTrackerTool;
013    import org.meta_environment.eclipse.jobs.Jobs;
014    import org.meta_environment.eclipse.visualization.VisualizationTool;
015    import org.meta_environment.eclipse.modules.ModuleManager;
016    
017    public class Activator extends PluginBase implements IStartup{
018            public static final String PLUGIN_ID = "org.meta_environment";
019            
020            public Activator(){
021                    super();
022            }
023            
024            private static class InstanceKeeper{
025                    public final static Activator instance = new Activator();
026            }
027    
028            public static Activator getInstance(){
029                    return InstanceKeeper.instance;
030            }
031    
032            public void earlyStartup() {
033                    ModuleManager.getInstance();
034                    ErrorViewer.getInstance();
035                    ResourceChanges.getInstance();
036                    IOJ.getInstance();
037                    BuildResults.getInstance();
038                    EditorTool.getInstance();
039                    VisualizationTool.getInstance();
040                    LanguageActionsTool.getInstance();
041                    Jobs.getInstance();
042                    FactsTool.getInstance();
043                    SelectionTrackerTool.getInstance();
044            }
045    
046            public String getID() {
047                    return PLUGIN_ID;
048            }
049    }