org.eclipse.tptp.platform.llc.launch.internal.sets
Class MethodSpecDialogPart

java.lang.Object
  org.eclipse.tptp.platform.llc.launch.internal.sets.MethodSpecDialogPart

public class MethodSpecDialogPart
extends java.lang.Object

Part of the launch dialog that contains the list of method specs and the buttons

Constructor Summary

MethodSpecDialogPart()

Method Summary

org.eclipse.swt.widgets.Control	createDialogPart(org.eclipse.swt.widgets.Composite parent)
java.util.List	getSpecs()
void	setEnabled(boolean enabled_)
void	setSpecs(java.util.List specs_)

Methods inherited from class java.lang.Object

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

Constructor Detail

MethodSpecDialogPart

public MethodSpecDialogPart()

Method Detail

createDialogPart

public org.eclipse.swt.widgets.Control createDialogPart(org.eclipse.swt.widgets.Composite parent)

setSpecs

public void setSpecs(java.util.List specs_)

Parameters:

specs_ -

getSpecs

public java.util.List getSpecs()

Returns:

the filters list after editing

setEnabled

public void setEnabled(boolean enabled_)