Class ReasonerSettings

  • All Implemented Interfaces:
    java.util.EventListener, org.eclipse.swt.events.ModifyListener, org.eclipse.swt.internal.SWTEventListener

    public class ReasonerSettings
    extends java.lang.Object
    implements org.eclipse.swt.events.ModifyListener
    Some UI elements for defining the project specific reasoner settings.
    Author:
    Holger Eichelberger
    • Constructor Detail

      • ReasonerSettings

        public ReasonerSettings​(org.eclipse.swt.widgets.Composite parent,
                                ReasonerConfiguration cfg,
                                AbstractEASyEditorPage parentPage)
        Sole constructor for this class.
        Parameters:
        parent - The parent composite which will hold this Combobox.
        cfg - the reasoner configuration of the current project
        parentPage - The parent page which will react on changes of this Combobox.
    • Method Detail

      • setTimeout

        private void setTimeout()
        Sets the actual timeout value.
      • refresh

        public void refresh()
        Refreshes the timeout.
      • modifyText

        public void modifyText​(org.eclipse.swt.events.ModifyEvent ev)
        Specified by:
        modifyText in interface org.eclipse.swt.events.ModifyListener