public static IVdmProject getVdmProject(ExecutionEvent event) {
ISelection selection = HandlerUtil.getCurrentSelection(event);
if (!(selection instanceof IStructuredSelection)) {
return null;
}
IStructuredSelection structuredSelection = (IStructuredSelection) selection;
Object firstElement = structuredSelection.getFirstElement();
if (!(firstElement instanceof IProject)) {
return null;
}
IProject project = (IProject) firstElement;
IVdmProject vdmProject = (IVdmProject) project.getAdapter(IVdmProject.class);
return vdmProject;
}
