jack.plugin.compile
Class CompileButton

java.lang.Object
  jack.plugin.ToolbarButton
      jack.plugin.compile.CompileButton

All Implemented Interfaces:

org.eclipse.ui.IActionDelegate, org.eclipse.ui.IWorkbenchWindowActionDelegate

public class CompileButton

extends ToolbarButton

Action allowing to compile

Author:

A. Requet, L. Burdy

Constructor Summary

CompileButton()

Method Summary

void	run(org.eclipse.jface.action.IAction action)

Methods inherited from class jack.plugin.ToolbarButton

dispose, getSelection, getWindow, init, runProofTask, selectionChanged

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CompileButton

public CompileButton()

Method Detail

run

public void run(org.eclipse.jface.action.IAction action)