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 }