Adding a menu

From Wiki.overturetool.org

Jump to: navigation, search

Contents

Introduction

Commands 

<extension point="org.eclipse.ui.commands">
      <command
            id="org.overture.ide.plugins.csk.commandOpenProject"
            name="Open VDM Tools">
      </command>
</extension>

Menus

More information about org.eclipse.ui.menus 

<extension point="org.eclipse.ui.menus">
      <menuContribution
            locationURI="popup:org.overture.ide.ui.VdmExplorer">
         <menu
               icon="icons/cview16/vdmtools_nav.gif"
               label="VDM Tools">
            <command
                  commandId="org.overture.ide.plugins.csk.commandOpenProject"
                  label="Open Project in VDM Tools"
                  style="push">
               <visibleWhen
                     checkEnabled="false">
                      <iterate>
                     	<adapt type="org.overture.ide.core.resources.IVdmProject"></adapt>
                     </iterate>
               </visibleWhen>
            </command>
         </menu>
      </menuContribution>
</extension>

Handlers 

<extension point="org.eclipse.ui.handlers">
      <handler
            class="org.overture.ide.plugins.csk.handlers.OpenVdmToolsProjectCommandHandler"
            commandId="org.overture.ide.plugins.csk.commandOpenProject">
      </handler>
   </extension>
public class OpenVdmToolsProjectCommandHandler extends AbstractHandler
{
 
	public Object execute(ExecutionEvent event) throws ExecutionException
	{
		IStructuredSelection selection = (IStructuredSelection) HandlerUtil.getCurrentSelectionChecked(event);
		final IContainer c = (IContainer) selection.getFirstElement();
 
		final IProject project = c.getProject();
 
		final IVdmProject vdmProject = (IVdmProject) project.getAdapter(IVdmProject.class);
 
		if (vdmProject != null)
		{
			...
		}
	}
}
Retrieved from "http://wiki.overturetool.org/index.php/Adding_a_menu"
Personal tools